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-3456170-1307664213/watcher-3456170-1307664213 -o /tmp/evaluation-result-3456170-1307664213/solver-3456170-1307664213 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456170-1307664213.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: 1.78 1.95 1.98 2/173 26449
/proc/meminfo: memFree=32051820/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/26449/stat : 26449 (java) R 26445 26449 23633 0 -1 4202496 772 0 0 0 0 0 0 0 17 0 1 0 956651780 23580672 516 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252453103360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26449/statm: 5757 529 397 9 0 124 0
[startup+0.0946229 s]
/proc/loadavg: 1.78 1.95 1.98 2/173 26449
/proc/meminfo: memFree=32051820/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10539900 CPUtime=0.09 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 12935 0 1 0 7 2 0 0 17 0 18 0 956651780 10792857600 12597 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2634975 12597 2091 9 0 2625709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539900
[startup+0.100278 s]
/proc/loadavg: 1.78 1.95 1.98 2/173 26449
/proc/meminfo: memFree=32051820/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10539900 CPUtime=0.1 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 13016 0 1 0 8 2 0 0 17 0 18 0 956651780 10792857600 12678 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2634975 12678 2092 9 0 2625709 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539900
[startup+0.303323 s]
/proc/loadavg: 1.78 1.95 1.98 2/173 26449
/proc/meminfo: memFree=32051820/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10541772 CPUtime=0.47 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 15673 0 1 0 45 2 0 0 17 0 18 0 956651780 10794774528 15136 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2635443 15137 2218 9 0 2626177 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541772
[startup+0.700163 s]
/proc/loadavg: 1.78 1.95 1.98 2/173 26449
/proc/meminfo: memFree=32051820/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10550184 CPUtime=1.64 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 30211 0 1 0 159 5 0 0 17 0 19 0 956651780 10803388416 26591 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2637546 26591 2231 9 0 2628280 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10550184
[startup+1.50103 s]
/proc/loadavg: 2.04 2.00 2.00 5/210 26543
/proc/meminfo: memFree=31809604/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10550184 CPUtime=3.03 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 58974 0 1 0 295 8 0 0 17 0 19 0 956651780 10803388416 55353 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2637546 55354 2236 9 0 2628280 0
[pid=26449/tid=26453] ppid=26445 vsize=10550184 CPUtime=1.48 cores=1,3,5,7
/proc/26449/task/26453/stat : 26453 (java) R 26445 26449 23633 0 -1 4202560 47212 0 1 0 142 6 0 0 18 0 19 0 956651781 10803388416 55355 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 46912505846988 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26449/tid=26454] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26454/stat : 26454 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956651783 10803388416 55356 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26455] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26455/stat : 26455 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 55357 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26456] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26456/stat : 26456 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 55357 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26457] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26457/stat : 26457 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 55358 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26458] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26458/stat : 26458 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 55360 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26459] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26459/stat : 26459 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 55361 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26460] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26460/stat : 26460 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 55362 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26461] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26461/stat : 26461 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 55363 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26470] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26470/stat : 26470 (java) S 26445 26449 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956651784 10803388416 55364 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 0 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26472] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26472/stat : 26472 (java) S 26445 26449 23633 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 956651784 10803388416 55365 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26473] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26473/stat : 26473 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 956651784 10803388416 55366 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26476] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26476/stat : 26476 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651787 10803388416 55368 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469889457 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26478] ppid=26445 vsize=10550184 CPUtime=0.81 cores=1,3,5,7
/proc/26449/task/26478/stat : 26478 (java) S 26445 26449 23633 0 -1 4202560 4050 0 0 0 80 1 0 0 15 0 19 0 956651787 10803388416 55369 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26480] ppid=26445 vsize=10550184 CPUtime=0.71 cores=1,3,5,7
/proc/26449/task/26480/stat : 26480 (java) S 26445 26449 23633 0 -1 4202560 6553 0 0 0 71 0 0 0 16 0 19 0 956651787 10803388416 55370 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26482] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26482/stat : 26482 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956651787 10803388416 55372 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26484] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26484/stat : 26484 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956651787 10803388416 55373 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26543] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26543/stat : 26543 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956651838 10803388416 55374 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 10550184
[startup+3.10072 s]
/proc/loadavg: 2.04 2.00 2.00 3/211 26544
/proc/meminfo: memFree=31444916/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10550184 CPUtime=4.75 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 119586 0 1 0 462 13 0 0 17 0 19 0 956651780 10803388416 115964 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2637546 115967 2237 9 0 2628280 0
[pid=26449/tid=26453] ppid=26445 vsize=10550184 CPUtime=3.07 cores=1,3,5,7
/proc/26449/task/26453/stat : 26453 (java) R 26445 26449 23633 0 -1 4202560 107812 0 1 0 297 10 0 0 19 0 19 0 956651781 10803388416 115968 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 46912505846974 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26449/tid=26454] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26454/stat : 26454 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956651783 10803388416 115970 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26455] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26455/stat : 26455 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 115971 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26456] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26456/stat : 26456 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 115971 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26457] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26457/stat : 26457 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 115972 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26458] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26458/stat : 26458 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 115973 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26459] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26459/stat : 26459 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 115973 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26460] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26460/stat : 26460 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 115974 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26461] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26461/stat : 26461 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 115974 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26470] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26470/stat : 26470 (java) S 26445 26449 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956651784 10803388416 115975 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 0 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26472] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26472/stat : 26472 (java) S 26445 26449 23633 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 956651784 10803388416 115975 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26473] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26473/stat : 26473 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 956651784 10803388416 115976 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26476] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26476/stat : 26476 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651787 10803388416 115977 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469889457 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26478] ppid=26445 vsize=10550184 CPUtime=0.88 cores=1,3,5,7
/proc/26449/task/26478/stat : 26478 (java) S 26445 26449 23633 0 -1 4202560 4058 0 0 0 87 1 0 0 15 0 19 0 956651787 10803388416 115977 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26480] ppid=26445 vsize=10550184 CPUtime=0.77 cores=1,3,5,7
/proc/26449/task/26480/stat : 26480 (java) S 26445 26449 23633 0 -1 4202560 6559 0 0 0 77 0 0 0 15 0 19 0 956651787 10803388416 115978 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26482] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26482/stat : 26482 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956651787 10803388416 115979 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26484] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26484/stat : 26484 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956651787 10803388416 115979 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26543] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26543/stat : 26543 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956651838 10803388416 115980 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 10550184
[startup+6.30114 s]
/proc/loadavg: 2.03 2.00 2.00 3/211 26544
/proc/meminfo: memFree=30453772/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10550184 CPUtime=8.01 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 235332 0 1 0 774 27 0 0 17 0 19 0 956651780 10803388416 231706 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2637546 231707 2238 9 0 2628280 0
[pid=26449/tid=26453] ppid=26445 vsize=10550184 CPUtime=6.28 cores=1,3,5,7
/proc/26449/task/26453/stat : 26453 (java) R 26445 26449 23633 0 -1 4202560 223547 0 1 0 603 25 0 0 19 0 19 0 956651781 10803388416 231708 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 46912505846977 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26449/tid=26454] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26454/stat : 26454 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956651783 10803388416 231708 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26455] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26455/stat : 26455 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 231709 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26456] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26456/stat : 26456 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 231710 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26457] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26457/stat : 26457 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 231710 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26458] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26458/stat : 26458 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 231711 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26459] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26459/stat : 26459 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 231711 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26460] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26460/stat : 26460 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 231712 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26461] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26461/stat : 26461 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651783 10803388416 231712 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26470] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26470/stat : 26470 (java) S 26445 26449 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956651784 10803388416 231712 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 0 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26472] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26472/stat : 26472 (java) S 26445 26449 23633 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 956651784 10803388416 231713 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26473] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26473/stat : 26473 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 956651784 10803388416 231713 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26476] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26476/stat : 26476 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651787 10803388416 231714 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469889457 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26478] ppid=26445 vsize=10550184 CPUtime=0.92 cores=1,3,5,7
/proc/26449/task/26478/stat : 26478 (java) S 26445 26449 23633 0 -1 4202560 4065 0 0 0 91 1 0 0 16 0 19 0 956651787 10803388416 231714 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26480] ppid=26445 vsize=10550184 CPUtime=0.79 cores=1,3,5,7
/proc/26449/task/26480/stat : 26480 (java) S 26445 26449 23633 0 -1 4202560 6560 0 0 0 79 0 0 0 16 0 19 0 956651787 10803388416 231714 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26482] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26482/stat : 26482 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956651787 10803388416 231714 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26484] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26484/stat : 26484 (java) S 26445 26449 23633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956651787 10803388416 231714 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26543] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26543/stat : 26543 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956651838 10803388416 231715 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 10550184
[startup+12.701 s]
################
# More data... #
################
[pid=26449/tid=26543] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26543/stat : 26543 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956651838 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1671.46
Current children cumulated vsize (KiB) 10550184
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26590
/proc/meminfo: memFree=23213092/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10550184 CPUtime=1731.47 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 1132431 0 1 0 173007 140 0 0 17 0 19 0 956651780 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2637546 1121338 2267 9 0 2628280 0
[pid=26449/tid=26453] ppid=26445 vsize=10550184 CPUtime=1717.93 cores=1,3,5,7
/proc/26449/task/26453/stat : 26453 (java) R 26445 26449 23633 0 -1 4202560 729370 0 1 0 171710 83 0 0 25 0 19 0 956651781 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 46912506051294 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26449/tid=26454] ppid=26445 vsize=10550184 CPUtime=0.99 cores=1,3,5,7
/proc/26449/task/26454/stat : 26454 (java) S 26445 26449 23633 0 -1 4202560 40352 0 0 0 93 6 0 0 15 0 19 0 956651783 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26455] ppid=26445 vsize=10550184 CPUtime=1.34 cores=1,3,5,7
/proc/26449/task/26455/stat : 26455 (java) S 26445 26449 23633 0 -1 4202560 57568 0 0 0 127 7 0 0 16 0 19 0 956651783 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26456] ppid=26445 vsize=10550184 CPUtime=1.15 cores=1,3,5,7
/proc/26449/task/26456/stat : 26456 (java) S 26445 26449 23633 0 -1 4202560 42202 0 0 0 110 5 0 0 16 0 19 0 956651783 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26457] ppid=26445 vsize=10550184 CPUtime=1.45 cores=1,3,5,7
/proc/26449/task/26457/stat : 26457 (java) S 26445 26449 23633 0 -1 4202560 66124 0 0 0 136 9 0 0 15 0 19 0 956651783 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26458] ppid=26445 vsize=10550184 CPUtime=1.1 cores=1,3,5,7
/proc/26449/task/26458/stat : 26458 (java) S 26445 26449 23633 0 -1 4202560 40185 0 0 0 105 5 0 0 15 0 19 0 956651783 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26459] ppid=26445 vsize=10550184 CPUtime=0.99 cores=1,3,5,7
/proc/26449/task/26459/stat : 26459 (java) S 26445 26449 23633 0 -1 4202560 43427 0 0 0 93 6 0 0 16 0 19 0 956651783 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26460] ppid=26445 vsize=10550184 CPUtime=1.05 cores=1,3,5,7
/proc/26449/task/26460/stat : 26460 (java) S 26445 26449 23633 0 -1 4202560 42103 0 0 0 101 4 0 0 16 0 19 0 956651783 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26461] ppid=26445 vsize=10550184 CPUtime=1.34 cores=1,3,5,7
/proc/26449/task/26461/stat : 26461 (java) S 26445 26449 23633 0 -1 4202560 55904 0 0 0 127 7 0 0 15 0 19 0 956651783 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26470] ppid=26445 vsize=10550184 CPUtime=1.92 cores=1,3,5,7
/proc/26449/task/26470/stat : 26470 (java) S 26445 26449 23633 0 -1 4202560 3269 0 0 0 192 0 0 0 15 0 19 0 956651784 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 0 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26472] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26472/stat : 26472 (java) S 26445 26449 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956651784 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26473] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26473/stat : 26473 (java) S 26445 26449 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956651784 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26476] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26476/stat : 26476 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651787 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469889457 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26478] ppid=26445 vsize=10550184 CPUtime=0.98 cores=1,3,5,7
/proc/26449/task/26478/stat : 26478 (java) S 26445 26449 23633 0 -1 4202560 4074 0 0 0 97 1 0 0 15 0 19 0 956651787 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26480] ppid=26445 vsize=10550184 CPUtime=1.1 cores=1,3,5,7
/proc/26449/task/26480/stat : 26480 (java) S 26445 26449 23633 0 -1 4202560 6601 0 0 0 109 1 0 0 15 0 19 0 956651787 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26482] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26482/stat : 26482 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956651787 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26484] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26484/stat : 26484 (java) S 26445 26449 23633 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956651787 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26543] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26543/stat : 26543 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956651838 10803388416 1121338 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1731.47
Current children cumulated vsize (KiB) 10550184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26591
/proc/meminfo: memFree=23107392/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10550184 CPUtime=1791.61 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 1148501 0 1 0 179017 144 0 0 17 0 19 0 956651780 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2637546 1136417 2267 9 0 2628280 0
[pid=26449/tid=26453] ppid=26445 vsize=10550184 CPUtime=1777.88 cores=1,3,5,7
/proc/26449/task/26453/stat : 26453 (java) R 26445 26449 23633 0 -1 4202560 729371 0 1 0 177705 83 0 0 25 0 19 0 956651781 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 46912506051248 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26449/tid=26454] ppid=26445 vsize=10550184 CPUtime=1.04 cores=1,3,5,7
/proc/26449/task/26454/stat : 26454 (java) S 26445 26449 23633 0 -1 4202560 43980 0 0 0 97 7 0 0 16 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26455] ppid=26445 vsize=10550184 CPUtime=1.39 cores=1,3,5,7
/proc/26449/task/26455/stat : 26455 (java) S 26445 26449 23633 0 -1 4202560 61629 0 0 0 131 8 0 0 16 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26456] ppid=26445 vsize=10550184 CPUtime=1.21 cores=1,3,5,7
/proc/26449/task/26456/stat : 26456 (java) S 26445 26449 23633 0 -1 4202560 46064 0 0 0 115 6 0 0 16 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26457] ppid=26445 vsize=10550184 CPUtime=1.45 cores=1,3,5,7
/proc/26449/task/26457/stat : 26457 (java) S 26445 26449 23633 0 -1 4202560 66124 0 0 0 136 9 0 0 15 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26458] ppid=26445 vsize=10550184 CPUtime=1.1 cores=1,3,5,7
/proc/26449/task/26458/stat : 26458 (java) S 26445 26449 23633 0 -1 4202560 40185 0 0 0 105 5 0 0 15 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26459] ppid=26445 vsize=10550184 CPUtime=1 cores=1,3,5,7
/proc/26449/task/26459/stat : 26459 (java) S 26445 26449 23633 0 -1 4202560 43427 0 0 0 94 6 0 0 15 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26460] ppid=26445 vsize=10550184 CPUtime=1.05 cores=1,3,5,7
/proc/26449/task/26460/stat : 26460 (java) S 26445 26449 23633 0 -1 4202560 42103 0 0 0 101 4 0 0 15 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26461] ppid=26445 vsize=10550184 CPUtime=1.39 cores=1,3,5,7
/proc/26449/task/26461/stat : 26461 (java) S 26445 26449 23633 0 -1 4202560 60418 0 0 0 131 8 0 0 16 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26470] ppid=26445 vsize=10550184 CPUtime=1.92 cores=1,3,5,7
/proc/26449/task/26470/stat : 26470 (java) S 26445 26449 23633 0 -1 4202560 3271 0 0 0 192 0 0 0 15 0 19 0 956651784 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 0 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26472] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26472/stat : 26472 (java) S 26445 26449 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956651784 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26473] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26473/stat : 26473 (java) S 26445 26449 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956651784 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26476] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26476/stat : 26476 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469889457 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26478] ppid=26445 vsize=10550184 CPUtime=0.98 cores=1,3,5,7
/proc/26449/task/26478/stat : 26478 (java) S 26445 26449 23633 0 -1 4202560 4074 0 0 0 97 1 0 0 15 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26480] ppid=26445 vsize=10550184 CPUtime=1.1 cores=1,3,5,7
/proc/26449/task/26480/stat : 26480 (java) S 26445 26449 23633 0 -1 4202560 6601 0 0 0 109 1 0 0 15 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26482] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26482/stat : 26482 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26484] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26484/stat : 26484 (java) S 26445 26449 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26543] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26543/stat : 26543 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956651838 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 10550184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26591
/proc/meminfo: memFree=23107388/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=10550184 CPUtime=1800.02 cores=1,3,5,7
/proc/26449/stat : 26449 (java) S 26445 26449 23633 0 -1 4202496 1148503 0 1 0 179858 144 0 0 17 0 19 0 956651780 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 2637546 1136417 2267 9 0 2628280 0
[pid=26449/tid=26453] ppid=26445 vsize=10550184 CPUtime=1786.29 cores=1,3,5,7
/proc/26449/task/26453/stat : 26453 (java) R 26445 26449 23633 0 -1 4202560 729371 0 1 0 178546 83 0 0 25 0 19 0 956651781 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 46912506051342 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26449/tid=26454] ppid=26445 vsize=10550184 CPUtime=1.04 cores=1,3,5,7
/proc/26449/task/26454/stat : 26454 (java) S 26445 26449 23633 0 -1 4202560 43980 0 0 0 97 7 0 0 16 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
[pid=26449/tid=26455] ppid=26445 vsize=10550184 CPUtime=1.39 cores=1,3,5,7
/proc/26449/task/26455/stat : 26455 (java) S 26445 26449 23633 0 -1 4202560 61629 0 0 0 131 8 0 0 16 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26456] ppid=26445 vsize=10550184 CPUtime=1.21 cores=1,3,5,7
/proc/26449/task/26456/stat : 26456 (java) S 26445 26449 23633 0 -1 4202560 46064 0 0 0 115 6 0 0 16 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26457] ppid=26445 vsize=10550184 CPUtime=1.45 cores=1,3,5,7
/proc/26449/task/26457/stat : 26457 (java) S 26445 26449 23633 0 -1 4202560 66124 0 0 0 136 9 0 0 15 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26458] ppid=26445 vsize=10550184 CPUtime=1.1 cores=1,3,5,7
/proc/26449/task/26458/stat : 26458 (java) S 26445 26449 23633 0 -1 4202560 40185 0 0 0 105 5 0 0 15 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26459] ppid=26445 vsize=10550184 CPUtime=1 cores=1,3,5,7
/proc/26449/task/26459/stat : 26459 (java) S 26445 26449 23633 0 -1 4202560 43427 0 0 0 94 6 0 0 15 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26460] ppid=26445 vsize=10550184 CPUtime=1.05 cores=1,3,5,7
/proc/26449/task/26460/stat : 26460 (java) S 26445 26449 23633 0 -1 4202560 42103 0 0 0 101 4 0 0 15 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26461] ppid=26445 vsize=10550184 CPUtime=1.39 cores=1,3,5,7
/proc/26449/task/26461/stat : 26461 (java) S 26445 26449 23633 0 -1 4202560 60418 0 0 0 131 8 0 0 16 0 19 0 956651783 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26470] ppid=26445 vsize=10550184 CPUtime=1.92 cores=1,3,5,7
/proc/26449/task/26470/stat : 26470 (java) S 26445 26449 23633 0 -1 4202560 3271 0 0 0 192 0 0 0 15 0 19 0 956651784 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 0 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26472] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26472/stat : 26472 (java) S 26445 26449 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956651784 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26473] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26473/stat : 26473 (java) S 26445 26449 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956651784 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26476] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26476/stat : 26476 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469889457 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26478] ppid=26445 vsize=10550184 CPUtime=0.98 cores=1,3,5,7
/proc/26449/task/26478/stat : 26478 (java) S 26445 26449 23633 0 -1 4202560 4074 0 0 0 97 1 0 0 15 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 5 0 0 0
[pid=26449/tid=26480] ppid=26445 vsize=10550184 CPUtime=1.1 cores=1,3,5,7
/proc/26449/task/26480/stat : 26480 (java) S 26445 26449 23633 0 -1 4202560 6601 0 0 0 109 1 0 0 15 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26482] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26482/stat : 26482 (java) S 26445 26449 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469881753 0 4 0 16800975 18446604454641883136 0 0 -1 1 0 0 0
[pid=26449/tid=26484] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26484/stat : 26484 (java) S 26445 26449 23633 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956651787 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 3 0 0 0
[pid=26449/tid=26543] ppid=26445 vsize=10550184 CPUtime=0 cores=1,3,5,7
/proc/26449/task/26543/stat : 26543 (java) S 26445 26449 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956651838 10803388416 1136417 33554432000 1073741824 1073778376 140737274215776 18446744073709551615 252469882368 0 4 0 16800975 18446604454641883136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10550184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26591
/proc/meminfo: memFree=23107388/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/26449/stat : 26449 (java) Z 26445 26449 23633 0 -1 4203548 1148536 0 1 0 179862 151 0 0 15 0 2 0 956651780 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 0 0 0 0 0 0 0
[pid=26449/tid=26482] ppid=26445 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/26449/task/26482/stat : 26482 (java) R 26445 26449 23633 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 956651787 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
[startup+1790.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26591
/proc/meminfo: memFree=23107388/32951124 swapFree=67062556/67111528
[pid=26449] ppid=26445 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/26449/stat : 26449 (java) Z 26445 26449 23633 0 -1 4203548 1148536 0 1 0 179862 160 0 0 15 0 2 0 956651780 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26449/statm: 0 0 0 0 0 0 0
[pid=26449/tid=26482] ppid=26445 vsize=0 CPUtime=0.15 cores=1,3,5,7
/proc/26449/task/26482/stat : 26482 (java) R 26445 26449 23633 0 -1 4203588 1 0 0 0 0 15 0 0 18 0 2 0 956651787 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.91
CPU time (s): 1800.23
CPU user time (s): 1798.62
CPU system time (s): 1.60776
CPU usage (%): 100.521
Max. virtual memory (cumulated for all children) (KiB): 10550184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.60776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1148536
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= 38508
involuntary context switches= 22654
runsolver used 3.06453 second user time and 6.71798 second system time
The end