runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 4/37 25165
/proc/meminfo: memFree=558036/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=11048 CPUtime=0.01
/proc/25165/stat : 25165 (java) R 25164 25164 22717 34817 22717 4202496 686 0 0 0 0 1 0 0 25 0 1 0 71956798 11313152 422 1283457024 134512640 134550932 4288422560 18446744073709551615 4159817442 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25165/statm: 2762 422 179 10 0 1104 0

[startup+0.125434 s]
/proc/loadavg: 1.00 1.00 0.93 4/37 25165
/proc/meminfo: memFree=558036/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=409928 CPUtime=0.13
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 3879 0 1 0 10 3 0 0 25 0 9 0 71956798 419766272 3307 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102482 3307 1906 10 0 96630 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412492

[startup+0.20544 s]
/proc/loadavg: 1.00 1.00 0.93 4/37 25165
/proc/meminfo: memFree=558036/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=409928 CPUtime=0.21
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 4053 0 1 0 18 3 0 0 25 0 9 0 71956798 419766272 3481 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102482 3481 1906 10 0 96630 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412492

[startup+0.305456 s]
/proc/loadavg: 1.00 1.00 0.93 4/37 25165
/proc/meminfo: memFree=558036/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=410344 CPUtime=0.31
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 4417 0 1 0 28 3 0 0 25 0 9 0 71956798 420192256 3844 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102586 3844 1945 10 0 96734 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412908

[startup+0.705539 s]
/proc/loadavg: 1.00 1.00 0.93 4/37 25165
/proc/meminfo: memFree=558036/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=410624 CPUtime=0.7
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 12479 0 1 0 62 8 0 0 25 0 9 0 71956798 420478976 11719 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102656 11719 2901 10 0 96804 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413188

[startup+1.50569 s]
/proc/loadavg: 1.00 1.00 0.93 3/46 25174
/proc/meminfo: memFree=499796/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=410756 CPUtime=1.51
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 26690 0 1 0 139 12 0 0 25 0 9 0 71956798 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102689 25930 2901 10 0 96837 0
[pid=25165/tid=25167] ppid=25164 vsize=410756 CPUtime=0.8
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 6776 0 1 0 76 4 0 0 25 0 9 0 71956798 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=410756 CPUtime=0.62
/proc/25165/task/25168/stat : 25168 (java) R 25164 25164 22717 34817 22717 4202560 18526 0 0 0 56 6 0 0 18 0 9 0 71956799 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4150695864 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=410756 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71956799 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=410756 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71956799 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=410756 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71956800 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=410756 CPUtime=0.06
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 446 0 0 0 6 0 0 0 20 0 9 0 71956800 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=410756 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 71956801 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=410756 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 71956801 420614144 25930 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413320

[startup+3.1261 s]
/proc/loadavg: 1.08 1.02 0.94 2/46 25174
/proc/meminfo: memFree=426016/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=410888 CPUtime=3.13
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 48715 0 1 0 291 22 0 0 25 0 9 0 71956798 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102722 47955 2901 10 0 96870 0
[pid=25165/tid=25167] ppid=25164 vsize=410888 CPUtime=1.47
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14105 0 1 0 138 9 0 0 25 0 9 0 71956798 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=410888 CPUtime=1.56
/proc/25165/task/25168/stat : 25168 (java) R 25164 25164 22717 34817 22717 4202560 33219 0 0 0 146 10 0 0 15 0 9 0 71956799 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4151075024 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=410888 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71956799 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=410888 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71956799 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=410888 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71956800 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=410888 CPUtime=0.06
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 449 0 0 0 6 0 0 0 15 0 9 0 71956800 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=410888 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 71956801 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=410888 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) R 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 71956801 420749312 47955 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 413452

[startup+6.30721 s]
/proc/loadavg: 1.08 1.02 0.94 3/46 25174
/proc/meminfo: memFree=295196/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411356 CPUtime=6.3
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71081 0 1 0 600 30 0 0 25 0 10 0 71956798 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102839 70227 2918 10 0 96984 0
[pid=25165/tid=25167] ppid=25164 vsize=411356 CPUtime=2.94
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14370 0 1 0 285 9 0 0 25 0 10 0 71956798 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4115320868 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411356 CPUtime=3.24
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55238 0 0 0 305 19 0 0 16 0 10 0 71956799 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411356 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411356 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411356 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411356 CPUtime=0.08
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 527 0 0 0 8 0 0 0 15 0 10 0 71956800 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411356 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411356 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421228544 70227 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413920

[startup+12.7089 s]
/proc/loadavg: 1.07 1.02 0.94 2/47 25175
/proc/meminfo: memFree=287500/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411488 CPUtime=12.7
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71399 0 1 0 1238 32 0 0 25 0 10 0 71956798 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102872 70545 2919 10 0 97017 0
[pid=25165/tid=25167] ppid=25164 vsize=411488 CPUtime=8.77
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 868 9 0 0 25 0 10 0 71956798 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4115474317 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411488 CPUtime=3.76
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55514 0 0 0 356 20 0 0 16 0 10 0 71956799 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411488 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411488 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411488 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411488 CPUtime=0.13
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 562 0 0 0 12 1 0 0 15 0 10 0 71956800 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411488 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411488 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411488 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421363712 70545 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 414052

[startup+25.5117 s]
/proc/loadavg: 1.13 1.03 0.94 2/47 25175
/proc/meminfo: memFree=287500/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=25.48
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71411 0 1 0 2516 32 0 0 25 0 10 0 71956798 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70509 2919 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=20.84
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 2075 9 0 0 25 0 10 0 71956798 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4115319317 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=4.48
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55521 0 0 0 428 20 0 0 15 0 10 0 71956799 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.13
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 567 0 0 0 12 1 0 0 15 0 10 0 71956800 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421183488 70509 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413876

[startup+51.1081 s]
/proc/loadavg: 1.08 1.03 0.94 3/47 25175
/proc/meminfo: memFree=287500/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=51.06
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71413 0 1 0 5073 33 0 0 25 0 10 0 71956798 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70511 2921 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=45.65
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 4555 10 0 0 25 0 10 0 71956798 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4115480709 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=5.24
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55523 0 0 0 504 20 0 0 15 0 10 0 71956799 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.13
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 567 0 0 0 12 1 0 0 15 0 10 0 71956800 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421183488 70511 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 413876

[startup+102.312 s]
/proc/loadavg: 1.03 1.02 0.94 2/47 25175
/proc/meminfo: memFree=287376/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=102.2
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71416 0 1 0 10187 33 0 0 25 0 10 0 71956798 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70514 2921 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=95.55
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 9545 10 0 0 25 0 10 0 71956798 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4115345201 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=6.47
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 627 20 0 0 15 0 10 0 71956799 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 569 0 0 0 13 1 0 0 15 0 10 0 71956800 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421183488 70514 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 413876

[startup+162.309 s]
/proc/loadavg: 1.01 1.02 0.94 2/47 25175
/proc/meminfo: memFree=287376/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=162.13
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71419 0 1 0 16179 34 0 0 25 0 10 0 71956798 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70517 2921 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=154.61
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 15450 11 0 0 25 0 10 0 71956798 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4115320492 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=7.34
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 714 20 0 0 15 0 10 0 71956799 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 572 0 0 0 13 1 0 0 15 0 10 0 71956800 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421183488 70517 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 413876

[startup+222.313 s]
/proc/loadavg: 1.06 1.03 0.95 2/50 25178
/proc/meminfo: memFree=283268/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=222.03
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71425 0 1 0 22169 34 0 0 25 0 10 0 71956798 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70523 2921 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=214.07
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 21396 11 0 0 25 0 10 0 71956798 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4115480709 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=7.78
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 758 20 0 0 15 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 578 0 0 0 13 1 0 0 15 0 10 0 71956800 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 413876

[startup+282.308 s]
/proc/loadavg: 1.02 1.02 0.95 2/49 25183
/proc/meminfo: memFree=283548/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=281.97
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71425 0 1 0 28163 34 0 0 25 0 10 0 71956798 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70523 2921 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=273.53
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 27342 11 0 0 25 0 10 0 71956798 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4115474300 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=8.26
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 806 20 0 0 15 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 578 0 0 0 13 1 0 0 15 0 10 0 71956800 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (KiB) 413876

Solver just ended. Dumping a history of the last processes samples

[startup+283.209 s]
/proc/loadavg: 1.02 1.02 0.95 2/49 25183
/proc/meminfo: memFree=283548/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=282.87
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71425 0 1 0 28253 34 0 0 25 0 10 0 71956798 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70523 2921 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=274.42
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 27431 11 0 0 25 0 10 0 71956798 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4115480696 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=8.27
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 807 20 0 0 16 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 578 0 0 0 13 1 0 0 15 0 10 0 71956800 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.87
Current children cumulated vsize (KiB) 413876

[startup+284.809 s]
/proc/loadavg: 1.02 1.02 0.95 2/49 25183
/proc/meminfo: memFree=283548/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=284.47
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71425 0 1 0 28413 34 0 0 25 0 10 0 71956798 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70523 2921 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=276.02
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 27591 11 0 0 25 0 10 0 71956798 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4115474313 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=8.27
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 807 20 0 0 15 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71956799 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71956800 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 578 0 0 0 13 1 0 0 15 0 10 0 71956800 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 71956801 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 71956801 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25175] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25175/stat : 25175 (java) S 25164 25164 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 71957386 421183488 70523 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.47
Current children cumulated vsize (KiB) 413876

[startup+285.609 s]
/proc/loadavg: 1.02 1.02 0.95 2/49 25183
/proc/meminfo: memFree=283548/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=285.27
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71426 0 1 0 28493 34 0 0 25 0 9 0 71956798 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70524 2922 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=276.81
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 27670 11 0 0 25 0 9 0 71956798 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4115480709 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=8.28
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 808 20 0 0 16 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71956800 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 578 0 0 0 13 1 0 0 15 0 9 0 71956800 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 71956801 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 71956801 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.27
Current children cumulated vsize (KiB) 413876

[startup+286.009 s]
/proc/loadavg: 1.02 1.02 0.95 2/48 25184
/proc/meminfo: memFree=283556/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=285.67
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71426 0 1 0 28533 34 0 0 25 0 9 0 71956798 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70524 2922 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=277.21
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 27710 11 0 0 25 0 9 0 71956798 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4115480713 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=8.28
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 808 20 0 0 16 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71956800 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 578 0 0 0 13 1 0 0 15 0 9 0 71956800 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 71956801 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 71956801 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.67
Current children cumulated vsize (KiB) 413876

[startup+286.109 s]
/proc/loadavg: 1.02 1.02 0.95 2/48 25184
/proc/meminfo: memFree=283556/1048576 swapFree=0/0
[pid=25164] ppid=25163 vsize=2564 CPUtime=0
/proc/25164/stat : 25164 (gj-user-solver-) S 25163 25164 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71956798 2625536 268 1283457024 134512640 135304128 4293910656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25164/statm: 641 268 229 194 0 28 0
[pid=25165] ppid=25164 vsize=411312 CPUtime=285.77
/proc/25165/stat : 25165 (java) S 25164 25164 22717 34817 22717 4202496 71426 0 1 0 28543 34 0 0 25 0 9 0 71956798 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25165/statm: 102828 70524 2922 10 0 96973 0
[pid=25165/tid=25167] ppid=25164 vsize=411312 CPUtime=277.31
/proc/25165/task/25167/stat : 25167 (java) R 25164 25164 22717 34817 22717 4202560 14377 0 1 0 27720 11 0 0 25 0 9 0 71956798 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4115480696 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25165/tid=25168] ppid=25164 vsize=411312 CPUtime=8.28
/proc/25165/task/25168/stat : 25168 (java) S 25164 25164 22717 34817 22717 4202560 55524 0 0 0 808 20 0 0 15 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25169] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25169/stat : 25169 (java) S 25164 25164 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25170] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25170/stat : 25170 (java) S 25164 25164 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71956799 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25171] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25171/stat : 25171 (java) S 25164 25164 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71956800 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25172] ppid=25164 vsize=411312 CPUtime=0.14
/proc/25165/task/25172/stat : 25172 (java) S 25164 25164 22717 34817 22717 4202560 578 0 0 0 13 1 0 0 15 0 9 0 71956800 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25173] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25173/stat : 25173 (java) S 25164 25164 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 71956801 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=25165/tid=25174] ppid=25164 vsize=411312 CPUtime=0
/proc/25165/task/25174/stat : 25174 (java) S 25164 25164 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 71956801 421183488 70524 1283457024 134512640 134550932 4288422560 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.77
Current children cumulated vsize (KiB) 413876

Child status: 0
Real time (s): 286.175
CPU time (s): 285.822
CPU user time (s): 285.462
CPU system time (s): 0.360022
CPU usage (%): 99.8767
Max. virtual memory (cumulated for all children) (KiB): 414052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.462
system time used= 0.360022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71812
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6538
involuntary context switches= 9702

runsolver used 0 second user time and 0.020001 second system time

The end