runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711250-1338168567/watcher-3711250-1338168567 -o /tmp/evaluation-result-3711250-1338168567/solver-3711250-1338168567 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711250-1338168567.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 6070
/proc/meminfo: memFree=28914804/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/6070/stat : 6070 (runsolver) D 6068 6070 3132 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 282982613 12095488 51 33554432000 4194304 5436572 140734332959840 140734332956136 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/6070/statm: 2953 51 31 304 0 2645 0
[startup+0.082902 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 6070
/proc/meminfo: memFree=28914804/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 3419 0 1 0 4 1 0 0 20 0 18 0 282982613 9787842560 4627 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2389610 4627 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440
[startup+0.100213 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 6070
/proc/meminfo: memFree=28914804/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 4235 0 1 0 7 1 0 0 20 0 18 0 282982613 9787842560 5442 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2389610 5442 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300174 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 6070
/proc/meminfo: memFree=28914804/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9558440 CPUtime=0.44 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 5362 0 1 0 43 1 0 0 20 0 18 0 282982613 9787842560 7848 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2389610 7848 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558440
[startup+0.700182 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 6070
/proc/meminfo: memFree=28914804/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9625004 CPUtime=1.65 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 19229 0 1 0 160 5 0 0 20 0 19 0 282982613 9856004096 20544 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2406251 20576 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9625004
[startup+1.50076 s]
/proc/loadavg: 1.92 1.98 1.99 4/213 6089
/proc/meminfo: memFree=28831940/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9625004 CPUtime=3.14 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 24165 0 1 0 307 7 0 0 20 0 19 0 282982613 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2406251 31775 2292 9 0 2396937 0
[pid=6070/tid=6072] ppid=6068 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/6070/task/6072/stat : 6072 (java) R 6068 6070 3132 0 -1 4202560 2541 0 1 0 140 2 0 0 20 0 19 0 282982615 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482729030056 140482559448275 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6073] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6073/stat : 6073 (java) S 6068 6070 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482690521384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6074] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6074/stat : 6074 (java) S 6068 6070 3132 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482689468584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6075] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6075/stat : 6075 (java) S 6068 6070 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482688416296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6076] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6076/stat : 6076 (java) S 6068 6070 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482687363496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6077] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6077/stat : 6077 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482686311208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6078] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6078/stat : 6078 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482685258408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6079] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6079/stat : 6079 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482684206120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6080] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6080/stat : 6080 (java) S 6068 6070 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482683153320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6081] ppid=6068 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6070/task/6081/stat : 6081 (java) S 6068 6070 3132 0 -1 4202560 37 0 0 0 1 0 0 0 20 0 19 0 282982617 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482553288936 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6082] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6082/stat : 6082 (java) S 6068 6070 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482552235000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6083] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6083/stat : 6083 (java) S 6068 6070 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482551182600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6084] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6084/stat : 6084 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482550131088 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6085] ppid=6068 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/6070/task/6085/stat : 6085 (java) S 6068 6070 3132 0 -1 4202560 11993 0 0 0 83 2 0 0 20 0 19 0 282982619 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482549078712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6086] ppid=6068 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/6070/task/6086/stat : 6086 (java) S 6068 6070 3132 0 -1 4202560 8357 0 0 0 74 1 0 0 20 0 19 0 282982619 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482548025912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6087] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6087/stat : 6087 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482546973816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6088] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6088/stat : 6088 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482545921224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6089] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6089/stat : 6089 (java) S 6068 6070 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282982675 9856004096 31775 33554432000 1073741824 1073778376 140736350356064 140482544866216 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 9625004
[startup+3.10156 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 6089
/proc/meminfo: memFree=28780740/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9625004 CPUtime=4.84 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 24196 0 1 0 476 8 0 0 20 0 19 0 282982613 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2406251 36901 2292 9 0 2396937 0
[pid=6070/tid=6072] ppid=6068 vsize=9625004 CPUtime=2.94 cores=0,2,4,6
/proc/6070/task/6072/stat : 6072 (java) R 6068 6070 3132 0 -1 4202560 2542 0 1 0 292 2 0 0 20 0 19 0 282982615 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482729030056 140482559437577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6073] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6073/stat : 6073 (java) S 6068 6070 3132 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482690521384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6074] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6074/stat : 6074 (java) S 6068 6070 3132 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482689468584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6075] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6075/stat : 6075 (java) S 6068 6070 3132 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482688416296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6076] ppid=6068 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6070/task/6076/stat : 6076 (java) S 6068 6070 3132 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 282982616 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482687363496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6077] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6077/stat : 6077 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482686311208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6078] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6078/stat : 6078 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482685258408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6079] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6079/stat : 6079 (java) S 6068 6070 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482684206120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6080] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6080/stat : 6080 (java) S 6068 6070 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482683153320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6081] ppid=6068 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/6070/task/6081/stat : 6081 (java) S 6068 6070 3132 0 -1 4202560 42 0 0 0 6 0 0 0 20 0 19 0 282982617 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482553288936 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6082] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6082/stat : 6082 (java) S 6068 6070 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482552235000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6083] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6083/stat : 6083 (java) S 6068 6070 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482551182600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6084] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6084/stat : 6084 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482550131088 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6085] ppid=6068 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/6070/task/6085/stat : 6085 (java) S 6068 6070 3132 0 -1 4202560 11994 0 0 0 86 3 0 0 20 0 19 0 282982619 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482549078712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6086] ppid=6068 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/6070/task/6086/stat : 6086 (java) S 6068 6070 3132 0 -1 4202560 8357 0 0 0 76 2 0 0 20 0 19 0 282982619 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482548025912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6087] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6087/stat : 6087 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482546973816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6088] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6088/stat : 6088 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482545921224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6089] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6089/stat : 6089 (java) S 6068 6070 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282982675 9856004096 36901 33554432000 1073741824 1073778376 140736350356064 140482544866216 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 9625004
[startup+6.30075 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 6089
/proc/meminfo: memFree=28768204/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9625004 CPUtime=8.12 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 24229 0 1 0 803 9 0 0 20 0 19 0 282982613 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2406251 40489 2292 9 0 2396937 0
[pid=6070/tid=6072] ppid=6068 vsize=9625004 CPUtime=5.99 cores=0,2,4,6
/proc/6070/task/6072/stat : 6072 (java) R 6068 6070 3132 0 -1 4202560 2546 0 1 0 597 2 0 0 20 0 19 0 282982615 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482729029936 140482559448165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6073] ppid=6068 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6070/task/6073/stat : 6073 (java) S 6068 6070 3132 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 282982616 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482690521384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6074] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6074/stat : 6074 (java) S 6068 6070 3132 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482689468584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6075] ppid=6068 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6070/task/6075/stat : 6075 (java) S 6068 6070 3132 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 282982616 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482688416296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6076] ppid=6068 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/6070/task/6076/stat : 6076 (java) S 6068 6070 3132 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 282982616 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482687363496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6077] ppid=6068 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6070/task/6077/stat : 6077 (java) S 6068 6070 3132 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 282982616 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482686311208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6078] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6078/stat : 6078 (java) S 6068 6070 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282982616 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482685258408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6079] ppid=6068 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6070/task/6079/stat : 6079 (java) S 6068 6070 3132 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 282982616 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482684206120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6080] ppid=6068 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6070/task/6080/stat : 6080 (java) S 6068 6070 3132 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 282982616 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482683153320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6081] ppid=6068 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/6070/task/6081/stat : 6081 (java) S 6068 6070 3132 0 -1 4202560 46 0 0 0 17 0 0 0 20 0 19 0 282982617 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482553288936 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6082] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6082/stat : 6082 (java) S 6068 6070 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482552235000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6083] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6083/stat : 6083 (java) S 6068 6070 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482551182600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6084] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6084/stat : 6084 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482550131088 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6085] ppid=6068 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/6070/task/6085/stat : 6085 (java) S 6068 6070 3132 0 -1 4202560 11995 0 0 0 88 3 0 0 20 0 19 0 282982619 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482549078712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6086] ppid=6068 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/6070/task/6086/stat : 6086 (java) S 6068 6070 3132 0 -1 4202560 8357 0 0 0 76 2 0 0 20 0 19 0 282982619 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482548025912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6087] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6087/stat : 6087 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482546973816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6088] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6088/stat : 6088 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482545921224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6089] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6089/stat : 6089 (java) S 6068 6070 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282982675 9856004096 40489 33554432000 1073741824 1073778376 140736350356064 140482544866216 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 9625004
[startup+12.7008 s]
################
# More data... #
################
[pid=6070/tid=6085] ppid=6068 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/6070/task/6085/stat : 6085 (java) S 6068 6070 3132 0 -1 4202560 12017 0 0 0 90 3 0 0 20 0 19 0 282982619 9856004096 172365 33554432000 1073741824 1073778376 140736350356064 140482549078712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6086] ppid=6068 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/6070/task/6086/stat : 6086 (java) S 6068 6070 3132 0 -1 4202560 8357 0 0 0 76 2 0 0 20 0 19 0 282982619 9856004096 172365 33554432000 1073741824 1073778376 140736350356064 140482548025912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6087] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6087/stat : 6087 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 172365 33554432000 1073741824 1073778376 140736350356064 140482546973816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6088] ppid=6068 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/6070/task/6088/stat : 6088 (java) S 6068 6070 3132 0 -1 4202560 94 0 0 0 25 27 0 0 20 0 19 0 282982619 9856004096 172365 33554432000 1073741824 1073778376 140736350356064 140482545921224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6089] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6089/stat : 6089 (java) S 6068 6070 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282982675 9856004096 172365 33554432000 1073741824 1073778376 140736350356064 140482544866216 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1673.95
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6161
/proc/meminfo: memFree=28112512/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9625004 CPUtime=1735.44 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 32368 0 1 0 173424 120 0 0 20 0 19 0 282982613 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2406251 170293 2293 9 0 2396937 0
[pid=6070/tid=6072] ppid=6068 vsize=9625004 CPUtime=1703.4 cores=0,2,4,6
/proc/6070/task/6072/stat : 6072 (java) R 6068 6070 3132 0 -1 4202560 2802 0 1 0 170310 30 0 0 20 0 19 0 282982615 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482729028992 140482559640728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6073] ppid=6068 vsize=9625004 CPUtime=2.11 cores=0,2,4,6
/proc/6070/task/6073/stat : 6073 (java) S 6068 6070 3132 0 -1 4202560 756 0 0 0 199 12 0 0 20 0 19 0 282982616 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482690521384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6074] ppid=6068 vsize=9625004 CPUtime=1.96 cores=0,2,4,6
/proc/6070/task/6074/stat : 6074 (java) S 6068 6070 3132 0 -1 4202560 614 0 0 0 185 11 0 0 20 0 19 0 282982616 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482689468584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6075] ppid=6068 vsize=9625004 CPUtime=1.86 cores=0,2,4,6
/proc/6070/task/6075/stat : 6075 (java) S 6068 6070 3132 0 -1 4202560 934 0 0 0 179 7 0 0 20 0 19 0 282982616 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482688416296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6076] ppid=6068 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/6070/task/6076/stat : 6076 (java) S 6068 6070 3132 0 -1 4202560 673 0 0 0 179 9 0 0 20 0 19 0 282982616 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482687363496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6077] ppid=6068 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/6070/task/6077/stat : 6077 (java) S 6068 6070 3132 0 -1 4202560 1240 0 0 0 181 9 0 0 20 0 19 0 282982616 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482686311208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6078] ppid=6068 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/6070/task/6078/stat : 6078 (java) S 6068 6070 3132 0 -1 4202560 1152 0 0 0 178 10 0 0 20 0 19 0 282982616 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482685258408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6079] ppid=6068 vsize=9625004 CPUtime=1.92 cores=0,2,4,6
/proc/6070/task/6079/stat : 6079 (java) S 6068 6070 3132 0 -1 4202560 653 0 0 0 181 11 0 0 20 0 19 0 282982616 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482684206120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6080] ppid=6068 vsize=9625004 CPUtime=1.99 cores=0,2,4,6
/proc/6070/task/6080/stat : 6080 (java) S 6068 6070 3132 0 -1 4202560 726 0 0 0 189 10 0 0 20 0 19 0 282982616 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482683153320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6081] ppid=6068 vsize=9625004 CPUtime=9.92 cores=0,2,4,6
/proc/6070/task/6081/stat : 6081 (java) S 6068 6070 3132 0 -1 4202560 1160 0 0 0 989 3 0 0 20 0 19 0 282982617 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482553288936 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6082] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6082/stat : 6082 (java) S 6068 6070 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482552235000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6083] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6083/stat : 6083 (java) S 6068 6070 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482551182600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6084] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6084/stat : 6084 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482550131088 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6085] ppid=6068 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/6070/task/6085/stat : 6085 (java) S 6068 6070 3132 0 -1 4202560 12017 0 0 0 90 3 0 0 20 0 19 0 282982619 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482549078712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6086] ppid=6068 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/6070/task/6086/stat : 6086 (java) S 6068 6070 3132 0 -1 4202560 8357 0 0 0 76 2 0 0 20 0 19 0 282982619 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482548025912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6087] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6087/stat : 6087 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482546973816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6088] ppid=6068 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/6070/task/6088/stat : 6088 (java) S 6068 6070 3132 0 -1 4202560 98 0 0 0 26 29 0 0 20 0 19 0 282982619 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482545921224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6089] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6089/stat : 6089 (java) S 6068 6070 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282982675 9856004096 170293 33554432000 1073741824 1073778376 140736350356064 140482544866216 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1735.44
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6161
/proc/meminfo: memFree=28065540/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9625004 CPUtime=1796.87 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 34512 0 1 0 179560 127 0 0 20 0 19 0 282982613 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2406251 180485 2293 9 0 2396937 0
[pid=6070/tid=6072] ppid=6068 vsize=9625004 CPUtime=1762.4 cores=0,2,4,6
/proc/6070/task/6072/stat : 6072 (java) R 6068 6070 3132 0 -1 4202560 2830 0 1 0 176208 32 0 0 20 0 19 0 282982615 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482729028976 140482559501516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6073] ppid=6068 vsize=9625004 CPUtime=2.37 cores=0,2,4,6
/proc/6070/task/6073/stat : 6073 (java) S 6068 6070 3132 0 -1 4202560 1237 0 0 0 224 13 0 0 20 0 19 0 282982616 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482690521384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6074] ppid=6068 vsize=9625004 CPUtime=2.19 cores=0,2,4,6
/proc/6070/task/6074/stat : 6074 (java) S 6068 6070 3132 0 -1 4202560 709 0 0 0 208 11 0 0 20 0 19 0 282982616 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482689468584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6075] ppid=6068 vsize=9625004 CPUtime=2.1 cores=0,2,4,6
/proc/6070/task/6075/stat : 6075 (java) S 6068 6070 3132 0 -1 4202560 944 0 0 0 201 9 0 0 20 0 19 0 282982616 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482688416296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6076] ppid=6068 vsize=9625004 CPUtime=2.13 cores=0,2,4,6
/proc/6070/task/6076/stat : 6076 (java) S 6068 6070 3132 0 -1 4202560 883 0 0 0 204 9 0 0 20 0 19 0 282982616 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482687363496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6077] ppid=6068 vsize=9625004 CPUtime=2.18 cores=0,2,4,6
/proc/6070/task/6077/stat : 6077 (java) S 6068 6070 3132 0 -1 4202560 1355 0 0 0 208 10 0 0 20 0 19 0 282982616 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482686311208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6078] ppid=6068 vsize=9625004 CPUtime=2.12 cores=0,2,4,6
/proc/6070/task/6078/stat : 6078 (java) S 6068 6070 3132 0 -1 4202560 1670 0 0 0 202 10 0 0 20 0 19 0 282982616 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482685258408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6079] ppid=6068 vsize=9625004 CPUtime=2.17 cores=0,2,4,6
/proc/6070/task/6079/stat : 6079 (java) S 6068 6070 3132 0 -1 4202560 1149 0 0 0 206 11 0 0 20 0 19 0 282982616 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482684206120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6080] ppid=6068 vsize=9625004 CPUtime=2.24 cores=0,2,4,6
/proc/6070/task/6080/stat : 6080 (java) S 6068 6070 3132 0 -1 4202560 866 0 0 0 213 11 0 0 20 0 19 0 282982616 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482683153320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6081] ppid=6068 vsize=9625004 CPUtime=10.22 cores=0,2,4,6
/proc/6070/task/6081/stat : 6081 (java) S 6068 6070 3132 0 -1 4202560 1207 0 0 0 1019 3 0 0 20 0 19 0 282982617 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482553288936 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6082] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6082/stat : 6082 (java) S 6068 6070 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482552235000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6083] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6083/stat : 6083 (java) S 6068 6070 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482551182600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6084] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6084/stat : 6084 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482550131088 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6085] ppid=6068 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/6070/task/6085/stat : 6085 (java) S 6068 6070 3132 0 -1 4202560 12017 0 0 0 90 3 0 0 20 0 19 0 282982619 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482549078712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6086] ppid=6068 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/6070/task/6086/stat : 6086 (java) S 6068 6070 3132 0 -1 4202560 8357 0 0 0 76 2 0 0 20 0 19 0 282982619 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482548025912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6087] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6087/stat : 6087 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482546973816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6088] ppid=6068 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/6070/task/6088/stat : 6088 (java) S 6068 6070 3132 0 -1 4202560 102 0 0 0 27 29 0 0 20 0 19 0 282982619 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482545921224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6089] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6089/stat : 6089 (java) S 6068 6070 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282982675 9856004096 180485 33554432000 1073741824 1073778376 140736350356064 140482544866216 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6161
/proc/meminfo: memFree=28071744/32873648 swapFree=6844/6844
[pid=6070] ppid=6068 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/6070/stat : 6070 (java) S 6068 6070 3132 0 -1 4202496 34514 0 1 0 179877 127 0 0 20 0 19 0 282982613 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140736350347200 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6070/statm: 2406251 178355 2293 9 0 2396937 0
[pid=6070/tid=6072] ppid=6068 vsize=9625004 CPUtime=1765.47 cores=0,2,4,6
/proc/6070/task/6072/stat : 6072 (java) R 6068 6070 3132 0 -1 4202560 2832 0 1 0 176515 32 0 0 20 0 19 0 282982615 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482729029112 140482559437544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6073] ppid=6068 vsize=9625004 CPUtime=2.38 cores=0,2,4,6
/proc/6070/task/6073/stat : 6073 (java) S 6068 6070 3132 0 -1 4202560 1237 0 0 0 225 13 0 0 20 0 19 0 282982616 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482690521384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6074] ppid=6068 vsize=9625004 CPUtime=2.19 cores=0,2,4,6
/proc/6070/task/6074/stat : 6074 (java) S 6068 6070 3132 0 -1 4202560 709 0 0 0 208 11 0 0 20 0 19 0 282982616 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482689468584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6075] ppid=6068 vsize=9625004 CPUtime=2.11 cores=0,2,4,6
/proc/6070/task/6075/stat : 6075 (java) S 6068 6070 3132 0 -1 4202560 944 0 0 0 202 9 0 0 20 0 19 0 282982616 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482688416296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6076] ppid=6068 vsize=9625004 CPUtime=2.14 cores=0,2,4,6
/proc/6070/task/6076/stat : 6076 (java) S 6068 6070 3132 0 -1 4202560 883 0 0 0 204 10 0 0 20 0 19 0 282982616 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482687363496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6077] ppid=6068 vsize=9625004 CPUtime=2.19 cores=0,2,4,6
/proc/6070/task/6077/stat : 6077 (java) S 6068 6070 3132 0 -1 4202560 1355 0 0 0 209 10 0 0 20 0 19 0 282982616 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482686311208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6078] ppid=6068 vsize=9625004 CPUtime=2.14 cores=0,2,4,6
/proc/6070/task/6078/stat : 6078 (java) S 6068 6070 3132 0 -1 4202560 1670 0 0 0 204 10 0 0 20 0 19 0 282982616 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482685258408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6079] ppid=6068 vsize=9625004 CPUtime=2.19 cores=0,2,4,6
/proc/6070/task/6079/stat : 6079 (java) S 6068 6070 3132 0 -1 4202560 1149 0 0 0 208 11 0 0 20 0 19 0 282982616 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482684206120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6080] ppid=6068 vsize=9625004 CPUtime=2.26 cores=0,2,4,6
/proc/6070/task/6080/stat : 6080 (java) S 6068 6070 3132 0 -1 4202560 866 0 0 0 215 11 0 0 20 0 19 0 282982616 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482683153320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6081] ppid=6068 vsize=9625004 CPUtime=10.22 cores=0,2,4,6
/proc/6070/task/6081/stat : 6081 (java) S 6068 6070 3132 0 -1 4202560 1207 0 0 0 1019 3 0 0 20 0 19 0 282982617 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482553288936 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6070/tid=6082] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6082/stat : 6082 (java) S 6068 6070 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482552235000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6083] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6083/stat : 6083 (java) S 6068 6070 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282982617 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482551182600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6084] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6084/stat : 6084 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482550131088 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6070/tid=6085] ppid=6068 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/6070/task/6085/stat : 6085 (java) S 6068 6070 3132 0 -1 4202560 12017 0 0 0 90 3 0 0 20 0 19 0 282982619 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482549078712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6086] ppid=6068 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/6070/task/6086/stat : 6086 (java) S 6068 6070 3132 0 -1 4202560 8357 0 0 0 76 2 0 0 20 0 19 0 282982619 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482548025912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6087] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6087/stat : 6087 (java) S 6068 6070 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282982619 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482546973816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6070/tid=6088] ppid=6068 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/6070/task/6088/stat : 6088 (java) S 6068 6070 3132 0 -1 4202560 102 0 0 0 28 29 0 0 20 0 19 0 282982619 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482545921224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6070/tid=6089] ppid=6068 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6070/task/6089/stat : 6089 (java) S 6068 6070 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282982675 9856004096 178355 33554432000 1073741824 1073778376 140736350356064 140482544866216 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6070 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=239234
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=682744
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1785.45
CPU time (s): 1800.04
CPU user time (s): 1798.77
CPU system time (s): 1.27
CPU usage (%): 100.817
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 1.68274
maximum resident set size= 801776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34549
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45498
involuntary context switches= 35337
runsolver used 6.33104 second user time and 14.8017 second system time
The end