runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457067-1307215873/watcher-3457067-1307215873 -o /tmp/evaluation-result-3457067-1307215873/solver-3457067-1307215873 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457067-1307215873.opb
running on 4 cores: 1,3,5,7
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: 0.00 0.00 0.00 4/447 6619
/proc/meminfo: memFree=28879744/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 2631 0 1 0 0 0 0 0 22 0 2 0 833187762 10681323520 2332 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2607745 2346 906 9 0 2598901 0
[pid=6619/tid=6620] ppid=6617 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 5654 0 1 0 0 0 0 0 24 0 2 0 833187762 10694979584 6470 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0545321 s]
/proc/loadavg: 0.00 0.00 0.00 4/447 6619
/proc/meminfo: memFree=28879744/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 11518 0 1 0 3 1 0 0 22 0 13 0 833187762 10718838784 11214 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2616904 11214 1685 9 0 2607652 0
[pid=6619/tid=6620] ppid=6617 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 10370 0 1 0 3 1 0 0 25 0 13 0 833187762 10718838784 11214 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 46912505219208 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100524 s]
/proc/loadavg: 0.00 0.00 0.00 4/447 6619
/proc/meminfo: memFree=28879744/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10539992 CPUtime=0.1 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 13116 0 1 0 9 1 0 0 22 0 18 0 833187762 10792951808 12774 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2634998 12775 2092 9 0 2625732 0
[pid=6619/tid=6620] ppid=6617 vsize=10539992 CPUtime=0.08 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 11172 0 1 0 7 1 0 0 25 0 18 0 833187762 10792951808 12775 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 47155084499795 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539992
[startup+0.30503 s]
/proc/loadavg: 0.00 0.00 0.00 4/447 6619
/proc/meminfo: memFree=28879744/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10542380 CPUtime=0.5 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 16246 0 1 0 48 2 0 0 22 0 19 0 833187762 10795397120 15356 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2635595 15356 2209 9 0 2626329 0
[pid=6619/tid=6620] ppid=6617 vsize=10542380 CPUtime=0.28 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 12982 0 1 0 27 1 0 0 25 0 19 0 833187762 10795397120 15356 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542380
[startup+0.700411 s]
/proc/loadavg: 0.00 0.00 0.00 4/447 6619
/proc/meminfo: memFree=28879744/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10556752 CPUtime=1.62 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 44551 0 1 0 157 5 0 0 22 0 19 0 833187762 10810114048 40268 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2639188 40269 2221 9 0 2629922 0
[pid=6619/tid=6620] ppid=6617 vsize=10556752 CPUtime=0.68 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 31606 0 1 0 64 4 0 0 25 0 19 0 833187762 10810114048 40270 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 47155084499764 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10556752
[startup+1.50127 s]
/proc/loadavg: 0.00 0.00 0.00 3/466 6638
/proc/meminfo: memFree=28173252/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10556752 CPUtime=2.94 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 130631 0 1 0 279 15 0 0 22 0 19 0 833187762 10810114048 125373 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2639188 125377 2225 9 0 2629922 0
[pid=6619/tid=6620] ppid=6617 vsize=10556752 CPUtime=1.49 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 117119 0 1 0 135 14 0 0 25 0 19 0 833187762 10810114048 125378 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 46912505678903 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6619/tid=6622] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6622/stat : 6622 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 125380 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6623] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6623/stat : 6623 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 125383 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6624] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6624/stat : 6624 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 125385 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6625] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6625/stat : 6625 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 125386 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6626] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6626/stat : 6626 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 125388 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6627] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6627/stat : 6627 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 125390 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6628] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6628/stat : 6628 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 125390 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6629] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6629/stat : 6629 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 125392 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6630] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6630/stat : 6630 (java) S 6617 6619 6563 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833187765 10810114048 125393 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 0 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6631] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6631/stat : 6631 (java) S 6617 6619 6563 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833187765 10810114048 125394 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6632] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6632/stat : 6632 (java) S 6617 6619 6563 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833187765 10810114048 125396 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6633] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6633/stat : 6633 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187767 10810114048 125399 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458768817 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6634] ppid=6617 vsize=10556752 CPUtime=0.75 cores=1,3,5,7
/proc/6619/task/6634/stat : 6634 (java) S 6617 6619 6563 0 -1 4202560 7071 0 0 0 75 0 0 0 15 0 19 0 833187767 10810114048 125402 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6635] ppid=6617 vsize=10556752 CPUtime=0.67 cores=1,3,5,7
/proc/6619/task/6635/stat : 6635 (java) S 6617 6619 6563 0 -1 4202560 5281 0 0 0 67 0 0 0 15 0 19 0 833187768 10810114048 125405 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6636] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6636/stat : 6636 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187768 10810114048 125408 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6637] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6637/stat : 6637 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833187768 10810114048 125411 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6638] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6638/stat : 6638 (java) S 6617 6619 6563 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 833187791 10810114048 125413 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 10556752
[startup+3.10097 s]
/proc/loadavg: 0.00 0.00 0.00 3/466 6638
/proc/meminfo: memFree=27233580/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10556752 CPUtime=4.54 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 298626 0 1 0 420 34 0 0 22 0 19 0 833187762 10810114048 293367 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2639188 293370 2225 9 0 2629922 0
[pid=6619/tid=6620] ppid=6617 vsize=10556752 CPUtime=3.08 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 285114 0 1 0 275 33 0 0 25 0 19 0 833187762 10810114048 293372 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 46912505662756 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6619/tid=6622] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6622/stat : 6622 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 293374 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6623] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6623/stat : 6623 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 293377 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6624] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6624/stat : 6624 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 293379 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6625] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6625/stat : 6625 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 293381 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6626] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6626/stat : 6626 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 293383 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6627] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6627/stat : 6627 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 293385 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6628] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6628/stat : 6628 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 293387 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6629] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6629/stat : 6629 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 293389 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6630] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6630/stat : 6630 (java) S 6617 6619 6563 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833187765 10810114048 293391 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 0 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6631] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6631/stat : 6631 (java) S 6617 6619 6563 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833187765 10810114048 293392 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6632] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6632/stat : 6632 (java) S 6617 6619 6563 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833187765 10810114048 293394 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6633] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6633/stat : 6633 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187767 10810114048 293396 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458768817 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6634] ppid=6617 vsize=10556752 CPUtime=0.76 cores=1,3,5,7
/proc/6619/task/6634/stat : 6634 (java) S 6617 6619 6563 0 -1 4202560 7071 0 0 0 76 0 0 0 15 0 19 0 833187767 10810114048 293397 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6635] ppid=6617 vsize=10556752 CPUtime=0.67 cores=1,3,5,7
/proc/6619/task/6635/stat : 6635 (java) S 6617 6619 6563 0 -1 4202560 5281 0 0 0 67 0 0 0 15 0 19 0 833187768 10810114048 293399 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6636] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6636/stat : 6636 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187768 10810114048 293401 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6637] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6637/stat : 6637 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833187768 10810114048 293404 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6638] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6638/stat : 6638 (java) S 6617 6619 6563 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 833187791 10810114048 293405 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 10556752
[startup+6.30138 s]
/proc/loadavg: 0.16 0.03 0.01 5/466 6638
/proc/meminfo: memFree=24588376/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10556752 CPUtime=7.75 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 618970 0 1 0 706 69 0 0 22 0 19 0 833187762 10810114048 613711 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2639188 613718 2226 9 0 2629922 0
[pid=6619/tid=6620] ppid=6617 vsize=10556752 CPUtime=6.29 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 605463 0 1 0 561 68 0 0 25 0 19 0 833187762 10810114048 613721 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 46912505647231 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6619/tid=6622] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6622/stat : 6622 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 613726 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6623] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6623/stat : 6623 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 613730 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6624] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6624/stat : 6624 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 613734 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6625] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6625/stat : 6625 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 613737 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6626] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6626/stat : 6626 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 613741 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6627] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6627/stat : 6627 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 613744 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6628] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6628/stat : 6628 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 613748 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6629] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6629/stat : 6629 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187764 10810114048 613751 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6630] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6630/stat : 6630 (java) S 6617 6619 6563 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833187765 10810114048 613754 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 0 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6631] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6631/stat : 6631 (java) S 6617 6619 6563 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833187765 10810114048 613756 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6632] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6632/stat : 6632 (java) S 6617 6619 6563 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833187765 10810114048 613758 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6633] ppid=6617 vsize=10556752 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6633/stat : 6633 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187767 10810114048 613760 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458768817 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6634] ppid=6617 vsize=10556752 CPUtime=0.77 cores=1,3,5,7
/proc/6619/task/6634/stat : 6634 (java) S 6617 6619 6563 0 -1 4202560 7071 0 0 0 77 0 0 0 15 0 19 0 833187767 10810114048 613761 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6635] ppid=6617 vsize=10556752 CPUtime=0.67 cores=1,3,5,7
/proc/6619/task/6635/stat : 6635 (java) S 6617 6619 6563 0 -1 4202560 5281 0 0 0 67 0 0 0 15 0 19 0 833187768 10810114048 613763 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/6619/task/6632/stat : 6632 (java) S 6617 6619 6563 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833187765 10804944896 918972 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6633] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6633/stat : 6633 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187767 10804944896 918972 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458768817 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6634] ppid=6617 vsize=10551704 CPUtime=1.04 cores=1,3,5,7
/proc/6619/task/6634/stat : 6634 (java) S 6617 6619 6563 0 -1 4202560 7109 0 0 0 104 0 0 0 15 0 19 0 833187767 10804944896 918972 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6635] ppid=6617 vsize=10551704 CPUtime=0.84 cores=1,3,5,7
/proc/6619/task/6635/stat : 6635 (java) S 6617 6619 6563 0 -1 4202560 5300 0 0 0 84 0 0 0 15 0 19 0 833187768 10804944896 918972 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6636] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6636/stat : 6636 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187768 10804944896 918972 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6637] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6637/stat : 6637 (java) S 6617 6619 6563 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833187768 10804944896 918972 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6638] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6638/stat : 6638 (java) S 6617 6619 6563 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 833187791 10804944896 918972 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.42
Current children cumulated vsize (KiB) 10551704
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.68 3/466 6684
/proc/meminfo: memFree=21675864/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10551704 CPUtime=1727.55 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 926746 0 1 0 172653 102 0 0 22 0 19 0 833187762 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2637926 918996 2256 9 0 2628660 0
[pid=6619/tid=6620] ppid=6617 vsize=10551704 CPUtime=1719.67 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 837137 0 1 0 171878 89 0 0 25 0 19 0 833187762 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 46912505678804 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6619/tid=6622] ppid=6617 vsize=10551704 CPUtime=0.64 cores=1,3,5,7
/proc/6619/task/6622/stat : 6622 (java) S 6617 6619 6563 0 -1 4202560 7542 0 0 0 63 1 0 0 16 0 19 0 833187764 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6623] ppid=6617 vsize=10551704 CPUtime=0.62 cores=1,3,5,7
/proc/6619/task/6623/stat : 6623 (java) S 6617 6619 6563 0 -1 4202560 10250 0 0 0 62 0 0 0 15 0 19 0 833187764 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6624] ppid=6617 vsize=10551704 CPUtime=0.62 cores=1,3,5,7
/proc/6619/task/6624/stat : 6624 (java) S 6617 6619 6563 0 -1 4202560 8623 0 0 0 61 1 0 0 15 0 19 0 833187764 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6625] ppid=6617 vsize=10551704 CPUtime=0.63 cores=1,3,5,7
/proc/6619/task/6625/stat : 6625 (java) S 6617 6619 6563 0 -1 4202560 10175 0 0 0 62 1 0 0 16 0 19 0 833187764 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6626] ppid=6617 vsize=10551704 CPUtime=0.5 cores=1,3,5,7
/proc/6619/task/6626/stat : 6626 (java) S 6617 6619 6563 0 -1 4202560 5803 0 0 0 50 0 0 0 16 0 19 0 833187764 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6627] ppid=6617 vsize=10551704 CPUtime=0.61 cores=1,3,5,7
/proc/6619/task/6627/stat : 6627 (java) S 6617 6619 6563 0 -1 4202560 8658 0 0 0 60 1 0 0 15 0 19 0 833187764 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6628] ppid=6617 vsize=10551704 CPUtime=0.65 cores=1,3,5,7
/proc/6619/task/6628/stat : 6628 (java) S 6617 6619 6563 0 -1 4202560 10259 0 0 0 64 1 0 0 16 0 19 0 833187764 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6629] ppid=6617 vsize=10551704 CPUtime=0.58 cores=1,3,5,7
/proc/6619/task/6629/stat : 6629 (java) S 6617 6619 6563 0 -1 4202560 6247 0 0 0 58 0 0 0 15 0 19 0 833187764 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6630] ppid=6617 vsize=10551704 CPUtime=0.99 cores=1,3,5,7
/proc/6619/task/6630/stat : 6630 (java) S 6617 6619 6563 0 -1 4202560 8386 0 0 0 98 1 0 0 15 0 19 0 833187765 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 0 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6631] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6631/stat : 6631 (java) S 6617 6619 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833187765 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6632] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6632/stat : 6632 (java) S 6617 6619 6563 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833187765 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6633] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6633/stat : 6633 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187767 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458768817 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6634] ppid=6617 vsize=10551704 CPUtime=1.04 cores=1,3,5,7
/proc/6619/task/6634/stat : 6634 (java) S 6617 6619 6563 0 -1 4202560 7109 0 0 0 104 0 0 0 15 0 19 0 833187767 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6635] ppid=6617 vsize=10551704 CPUtime=0.84 cores=1,3,5,7
/proc/6619/task/6635/stat : 6635 (java) S 6617 6619 6563 0 -1 4202560 5300 0 0 0 84 0 0 0 15 0 19 0 833187768 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6636] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6636/stat : 6636 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187768 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6637] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6637/stat : 6637 (java) S 6617 6619 6563 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833187768 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6638] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6638/stat : 6638 (java) S 6617 6619 6563 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 833187791 10804944896 918996 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.55
Current children cumulated vsize (KiB) 10551704
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.70 3/466 6686
/proc/meminfo: memFree=21671148/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10551704 CPUtime=1787.67 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 926788 0 1 0 178665 102 0 0 22 0 19 0 833187762 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2637926 919030 2256 9 0 2628660 0
[pid=6619/tid=6620] ppid=6617 vsize=10551704 CPUtime=1779.61 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 837141 0 1 0 177872 89 0 0 25 0 19 0 833187762 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 46912505678794 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6619/tid=6622] ppid=6617 vsize=10551704 CPUtime=0.67 cores=1,3,5,7
/proc/6619/task/6622/stat : 6622 (java) S 6617 6619 6563 0 -1 4202560 7553 0 0 0 66 1 0 0 16 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6623] ppid=6617 vsize=10551704 CPUtime=0.65 cores=1,3,5,7
/proc/6619/task/6623/stat : 6623 (java) S 6617 6619 6563 0 -1 4202560 10251 0 0 0 65 0 0 0 16 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6624] ppid=6617 vsize=10551704 CPUtime=0.64 cores=1,3,5,7
/proc/6619/task/6624/stat : 6624 (java) S 6617 6619 6563 0 -1 4202560 8629 0 0 0 63 1 0 0 16 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6625] ppid=6617 vsize=10551704 CPUtime=0.66 cores=1,3,5,7
/proc/6619/task/6625/stat : 6625 (java) S 6617 6619 6563 0 -1 4202560 10181 0 0 0 65 1 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6626] ppid=6617 vsize=10551704 CPUtime=0.53 cores=1,3,5,7
/proc/6619/task/6626/stat : 6626 (java) S 6617 6619 6563 0 -1 4202560 5807 0 0 0 53 0 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6627] ppid=6617 vsize=10551704 CPUtime=0.64 cores=1,3,5,7
/proc/6619/task/6627/stat : 6627 (java) S 6617 6619 6563 0 -1 4202560 8659 0 0 0 63 1 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6628] ppid=6617 vsize=10551704 CPUtime=0.65 cores=1,3,5,7
/proc/6619/task/6628/stat : 6628 (java) S 6617 6619 6563 0 -1 4202560 10259 0 0 0 64 1 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6629] ppid=6617 vsize=10551704 CPUtime=0.61 cores=1,3,5,7
/proc/6619/task/6629/stat : 6629 (java) S 6617 6619 6563 0 -1 4202560 6252 0 0 0 61 0 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6630] ppid=6617 vsize=10551704 CPUtime=0.99 cores=1,3,5,7
/proc/6619/task/6630/stat : 6630 (java) S 6617 6619 6563 0 -1 4202560 8388 0 0 0 98 1 0 0 15 0 19 0 833187765 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 0 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6631] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6631/stat : 6631 (java) S 6617 6619 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833187765 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6632] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6632/stat : 6632 (java) S 6617 6619 6563 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833187765 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6633] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6633/stat : 6633 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187767 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458768817 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6634] ppid=6617 vsize=10551704 CPUtime=1.04 cores=1,3,5,7
/proc/6619/task/6634/stat : 6634 (java) S 6617 6619 6563 0 -1 4202560 7109 0 0 0 104 0 0 0 15 0 19 0 833187767 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6635] ppid=6617 vsize=10551704 CPUtime=0.84 cores=1,3,5,7
/proc/6619/task/6635/stat : 6635 (java) S 6617 6619 6563 0 -1 4202560 5300 0 0 0 84 0 0 0 15 0 19 0 833187768 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6636] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6636/stat : 6636 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187768 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6637] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6637/stat : 6637 (java) S 6617 6619 6563 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833187768 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6638] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6638/stat : 6638 (java) S 6617 6619 6563 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 833187791 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.67
Current children cumulated vsize (KiB) 10551704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.7 s]
/proc/loadavg: 2.00 2.02 1.71 3/466 6695
/proc/meminfo: memFree=21670396/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=10551704 CPUtime=1800.08 cores=1,3,5,7
/proc/6619/stat : 6619 (java) S 6617 6619 6563 0 -1 4202496 926790 0 1 0 179906 102 0 0 22 0 19 0 833187762 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 2637926 919030 2256 9 0 2628660 0
[pid=6619/tid=6620] ppid=6617 vsize=10551704 CPUtime=1792.03 cores=1,3,5,7
/proc/6619/task/6620/stat : 6620 (java) R 6617 6619 6563 0 -1 4202560 837141 0 1 0 179114 89 0 0 25 0 19 0 833187762 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 46912505720632 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6619/tid=6622] ppid=6617 vsize=10551704 CPUtime=0.67 cores=1,3,5,7
/proc/6619/task/6622/stat : 6622 (java) S 6617 6619 6563 0 -1 4202560 7553 0 0 0 66 1 0 0 16 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6623] ppid=6617 vsize=10551704 CPUtime=0.65 cores=1,3,5,7
/proc/6619/task/6623/stat : 6623 (java) S 6617 6619 6563 0 -1 4202560 10251 0 0 0 65 0 0 0 16 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6624] ppid=6617 vsize=10551704 CPUtime=0.64 cores=1,3,5,7
/proc/6619/task/6624/stat : 6624 (java) S 6617 6619 6563 0 -1 4202560 8629 0 0 0 63 1 0 0 16 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6625] ppid=6617 vsize=10551704 CPUtime=0.66 cores=1,3,5,7
/proc/6619/task/6625/stat : 6625 (java) S 6617 6619 6563 0 -1 4202560 10181 0 0 0 65 1 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6626] ppid=6617 vsize=10551704 CPUtime=0.53 cores=1,3,5,7
/proc/6619/task/6626/stat : 6626 (java) S 6617 6619 6563 0 -1 4202560 5807 0 0 0 53 0 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6627] ppid=6617 vsize=10551704 CPUtime=0.64 cores=1,3,5,7
/proc/6619/task/6627/stat : 6627 (java) S 6617 6619 6563 0 -1 4202560 8659 0 0 0 63 1 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6628] ppid=6617 vsize=10551704 CPUtime=0.65 cores=1,3,5,7
/proc/6619/task/6628/stat : 6628 (java) S 6617 6619 6563 0 -1 4202560 10259 0 0 0 64 1 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6629] ppid=6617 vsize=10551704 CPUtime=0.61 cores=1,3,5,7
/proc/6619/task/6629/stat : 6629 (java) S 6617 6619 6563 0 -1 4202560 6252 0 0 0 61 0 0 0 15 0 19 0 833187764 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6630] ppid=6617 vsize=10551704 CPUtime=0.99 cores=1,3,5,7
/proc/6619/task/6630/stat : 6630 (java) S 6617 6619 6563 0 -1 4202560 8388 0 0 0 98 1 0 0 15 0 19 0 833187765 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 0 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6631] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6631/stat : 6631 (java) S 6617 6619 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833187765 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6632] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6632/stat : 6632 (java) S 6617 6619 6563 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833187765 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 7 0 0 0
[pid=6619/tid=6633] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6633/stat : 6633 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187767 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458768817 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6634] ppid=6617 vsize=10551704 CPUtime=1.04 cores=1,3,5,7
/proc/6619/task/6634/stat : 6634 (java) S 6617 6619 6563 0 -1 4202560 7109 0 0 0 104 0 0 0 15 0 19 0 833187767 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 1 0 0 0
[pid=6619/tid=6635] ppid=6617 vsize=10551704 CPUtime=0.84 cores=1,3,5,7
/proc/6619/task/6635/stat : 6635 (java) S 6617 6619 6563 0 -1 4202560 5300 0 0 0 84 0 0 0 15 0 19 0 833187768 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
[pid=6619/tid=6636] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6636/stat : 6636 (java) S 6617 6619 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187768 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761113 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6637] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6637/stat : 6637 (java) S 6617 6619 6563 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833187768 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 3 0 0 0
[pid=6619/tid=6638] ppid=6617 vsize=10551704 CPUtime=0 cores=1,3,5,7
/proc/6619/task/6638/stat : 6638 (java) S 6617 6619 6563 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 833187791 10804944896 919030 33554432000 1073741824 1073778376 140736881611584 18446744073709551615 244458761728 0 4 0 16800975 18446604470255421248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10551704
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.82 s]
/proc/loadavg: 2.00 2.02 1.71 3/466 6695
/proc/meminfo: memFree=21670396/32951124 swapFree=43324008/67111528
[pid=6619] ppid=6617 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/6619/stat : 6619 (java) Z 6617 6619 6563 0 -1 4203548 926830 0 1 0 179911 109 0 0 17 0 2 0 833187762 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6619/statm: 0 0 0 0 0 0 0
[pid=6619/tid=6638] ppid=6617 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/6619/task/6638/stat : 6638 (java) R 6617 6619 6563 0 -1 4203588 11 0 0 0 0 6 0 0 18 0 2 0 833187791 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.89
CPU time (s): 1800.28
CPU user time (s): 1799.12
CPU system time (s): 1.16482
CPU usage (%): 100.301
Max. virtual memory (cumulated for all children) (KiB): 10556752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.16482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926830
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= 40123
involuntary context switches= 9924
runsolver used 7.78682 second user time and 18.3502 second system time
The end