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-3456146-1307663860/watcher-3456146-1307663860 -o /tmp/evaluation-result-3456146-1307663860/solver-3456146-1307663860 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456146-1307663860.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: 2.00 2.00 2.00 2/195 6582
/proc/meminfo: memFree=28624700/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/6582/stat : 6582 (java) R 6580 6582 4755 0 -1 4202496 926 0 0 0 0 0 0 0 25 0 1 0 858801903 23580672 670 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233505335061 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6582/statm: 5757 679 496 9 0 124 0
[startup+0.0924111 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 6582
/proc/meminfo: memFree=28624700/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10540352 CPUtime=0.08 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 12953 0 1 0 7 1 0 0 25 0 18 0 858801903 10793320448 12616 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2635088 12623 2092 9 0 2625822 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10540352
[startup+0.102357 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 6582
/proc/meminfo: memFree=28624700/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10540352 CPUtime=0.1 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 13098 0 1 0 8 2 0 0 25 0 18 0 858801903 10793320448 12761 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2635088 12761 2093 9 0 2625822 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540352
[startup+0.306382 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 6582
/proc/meminfo: memFree=28624700/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10542068 CPUtime=0.47 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 15610 0 1 0 45 2 0 0 25 0 18 0 858801903 10795077632 15142 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2635517 15142 2217 9 0 2626251 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542068
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 6582
/proc/meminfo: memFree=28624700/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10549596 CPUtime=1.57 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 26932 0 1 0 152 5 0 0 25 0 19 0 858801903 10802786304 24678 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2637399 24683 2238 9 0 2628133 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10549596
[startup+1.50112 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6601
/proc/meminfo: memFree=28446888/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10549596 CPUtime=2.65 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 87139 0 1 0 254 11 0 0 25 0 19 0 858801903 10802786304 84884 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2637399 84890 2242 9 0 2628133 0
[pid=6582/tid=6584] ppid=6580 vsize=10549596 CPUtime=1.48 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) R 6580 6582 4755 0 -1 4202560 78019 0 1 0 139 9 0 0 25 0 19 0 858801904 10802786304 84892 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 46912505925689 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6582/tid=6585] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 84895 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6586] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 84898 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6587] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 84901 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6588] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 84904 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6589] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 84907 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6590] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10802786304 84910 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6591] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10802786304 84912 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6592] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10802786304 84915 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6593] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6580 6582 4755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858801907 10802786304 84918 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 0 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6594] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6580 6582 4755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858801907 10802786304 84921 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6595] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801907 10802786304 84924 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6596] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10802786304 84926 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522121137 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6597] ppid=6580 vsize=10549596 CPUtime=0.59 cores=1,3,5,7
/proc/6582/task/6597/stat : 6597 (java) S 6580 6582 4755 0 -1 4202560 3149 0 0 0 59 0 0 0 15 0 19 0 858801909 10802786304 84929 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6598] ppid=6580 vsize=10549596 CPUtime=0.55 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) R 6580 6582 4755 0 -1 4202560 4819 0 0 0 55 0 0 0 15 0 19 0 858801909 10802786304 84932 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 47007078025104 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6582/tid=6599] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6599/stat : 6599 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10802786304 84934 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6600] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858801909 10802786304 84938 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6601] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801951 10802786304 84940 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10549596
[startup+3.10083 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6601
/proc/meminfo: memFree=28125728/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10549596 CPUtime=4.35 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 195991 0 1 0 411 24 0 0 25 0 19 0 858801903 10802786304 193735 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2637399 193736 2243 9 0 2628133 0
[pid=6582/tid=6584] ppid=6580 vsize=10549596 CPUtime=3.08 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) R 6580 6582 4755 0 -1 4202560 186848 0 1 0 285 23 0 0 25 0 19 0 858801904 10802786304 193737 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 46912505856692 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6582/tid=6585] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 193737 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6586] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 193738 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6587] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 193738 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6588] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 193739 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6589] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10802786304 193740 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6590] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10802786304 193740 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6591] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10802786304 193741 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6592] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10802786304 193742 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6593] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6580 6582 4755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858801907 10802786304 193742 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 0 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6594] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6580 6582 4755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858801907 10802786304 193743 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6595] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801907 10802786304 193744 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6596] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10802786304 193745 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522121137 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6597] ppid=6580 vsize=10549596 CPUtime=0.66 cores=1,3,5,7
/proc/6582/task/6597/stat : 6597 (java) S 6580 6582 4755 0 -1 4202560 3158 0 0 0 66 0 0 0 15 0 19 0 858801909 10802786304 193745 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6598] ppid=6580 vsize=10549596 CPUtime=0.59 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6580 6582 4755 0 -1 4202560 4827 0 0 0 59 0 0 0 15 0 19 0 858801909 10802786304 193748 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6599] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6599/stat : 6599 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10802786304 193749 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6600] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858801909 10802786304 193750 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6601] ppid=6580 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801951 10802786304 193752 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10549596
[startup+6.30125 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6601
/proc/meminfo: memFree=27314920/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10547480 CPUtime=7.65 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 384018 0 1 0 720 45 0 0 25 0 19 0 858801903 10800619520 381244 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2636870 381245 2244 9 0 2627604 0
[pid=6582/tid=6584] ppid=6580 vsize=10547480 CPUtime=6.28 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) R 6580 6582 4755 0 -1 4202560 374831 0 1 0 585 43 0 0 25 0 19 0 858801904 10800619520 381246 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 46912505795681 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6582/tid=6585] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10800619520 381246 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6586] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10800619520 381247 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6587] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10800619520 381248 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6588] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10800619520 381249 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6589] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801905 10800619520 381249 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6590] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10800619520 381251 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6591] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10800619520 381251 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6592] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801906 10800619520 381252 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6593] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6580 6582 4755 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858801907 10800619520 381253 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 0 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6594] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6580 6582 4755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858801907 10800619520 381254 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6595] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801907 10800619520 381255 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6596] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 381255 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522121137 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6597] ppid=6580 vsize=10547480 CPUtime=0.69 cores=1,3,5,7
/proc/6582/task/6597/stat : 6597 (java) S 6580 6582 4755 0 -1 4202560 3193 0 0 0 69 0 0 0 16 0 19 0 858801909 10800619520 381256 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6598] ppid=6580 vsize=10547480 CPUtime=0.65 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6580 6582 4755 0 -1 4202560 4835 0 0 0 65 0 0 0 15 0 19 0 858801909 10800619520 381257 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6599] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6599/stat : 6599 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 381258 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6600] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6580 6582 4755 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858801909 10800619520 381259 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
[pid=6582/tid=6601] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801951 10800619520 381260 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 10547480
[startup+12.7011 s]
################
# More data... #
################
/proc/6582/task/6595/stat : 6595 (java) S 6580 6582 4755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858801907 10800619520 989488 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6596] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 989488 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522121137 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6597] ppid=6580 vsize=10547480 CPUtime=0.78 cores=1,3,5,7
/proc/6582/task/6597/stat : 6597 (java) S 6580 6582 4755 0 -1 4202560 3216 0 0 0 78 0 0 0 15 0 19 0 858801909 10800619520 989488 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6598] ppid=6580 vsize=10547480 CPUtime=0.77 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6580 6582 4755 0 -1 4202560 4847 0 0 0 77 0 0 0 16 0 19 0 858801909 10800619520 989488 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6599] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6599/stat : 6599 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 989488 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6600] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6580 6582 4755 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 858801909 10800619520 989488 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6601] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801951 10800619520 989488 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.08
Current children cumulated vsize (KiB) 10547480
[startup+1722.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/190 6686
/proc/meminfo: memFree=28487540/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10547480 CPUtime=1728.18 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 996618 0 1 0 172699 119 0 0 25 0 19 0 858801903 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2636870 990271 2270 9 0 2627604 0
[pid=6582/tid=6584] ppid=6580 vsize=10547480 CPUtime=1719.65 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) R 6580 6582 4755 0 -1 4202560 757963 0 1 0 171879 86 0 0 25 0 19 0 858801904 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 46912505817259 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6582/tid=6585] ppid=6580 vsize=10547480 CPUtime=0.71 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6580 6582 4755 0 -1 4202560 33190 0 0 0 67 4 0 0 16 0 19 0 858801905 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6586] ppid=6580 vsize=10547480 CPUtime=0.69 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6580 6582 4755 0 -1 4202560 22524 0 0 0 67 2 0 0 15 0 19 0 858801905 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6587] ppid=6580 vsize=10547480 CPUtime=0.86 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6580 6582 4755 0 -1 4202560 37649 0 0 0 82 4 0 0 16 0 19 0 858801905 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6588] ppid=6580 vsize=10547480 CPUtime=0.62 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6580 6582 4755 0 -1 4202560 21280 0 0 0 59 3 0 0 15 0 19 0 858801905 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6589] ppid=6580 vsize=10547480 CPUtime=0.71 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6580 6582 4755 0 -1 4202560 29072 0 0 0 67 4 0 0 15 0 19 0 858801905 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6590] ppid=6580 vsize=10547480 CPUtime=0.58 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6580 6582 4755 0 -1 4202560 18916 0 0 0 56 2 0 0 16 0 19 0 858801906 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
[pid=6582/tid=6591] ppid=6580 vsize=10547480 CPUtime=0.68 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6580 6582 4755 0 -1 4202560 27825 0 0 0 65 3 0 0 16 0 19 0 858801906 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
[pid=6582/tid=6592] ppid=6580 vsize=10547480 CPUtime=0.83 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6580 6582 4755 0 -1 4202560 36116 0 0 0 79 4 0 0 16 0 19 0 858801906 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6593] ppid=6580 vsize=10547480 CPUtime=1.16 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6580 6582 4755 0 -1 4202560 2771 0 0 0 115 1 0 0 15 0 19 0 858801907 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 0 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6594] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6580 6582 4755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858801907 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6595] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6580 6582 4755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858801907 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6596] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522121137 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6597] ppid=6580 vsize=10547480 CPUtime=0.78 cores=1,3,5,7
/proc/6582/task/6597/stat : 6597 (java) S 6580 6582 4755 0 -1 4202560 3216 0 0 0 78 0 0 0 15 0 19 0 858801909 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6598] ppid=6580 vsize=10547480 CPUtime=0.77 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6580 6582 4755 0 -1 4202560 4847 0 0 0 77 0 0 0 16 0 19 0 858801909 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6599] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6599/stat : 6599 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6600] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6580 6582 4755 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 858801909 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6601] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801951 10800619520 990271 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.18
Current children cumulated vsize (KiB) 10547480
[startup+1782.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/190 6688
/proc/meminfo: memFree=28486488/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10547480 CPUtime=1788.24 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 996769 0 1 0 178704 120 0 0 25 0 19 0 858801903 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2636870 990415 2270 9 0 2627604 0
[pid=6582/tid=6584] ppid=6580 vsize=10547480 CPUtime=1779.64 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) R 6580 6582 4755 0 -1 4202560 757964 0 1 0 177878 86 0 0 25 0 19 0 858801904 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 46912505856603 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6582/tid=6585] ppid=6580 vsize=10547480 CPUtime=0.73 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6580 6582 4755 0 -1 4202560 33240 0 0 0 69 4 0 0 16 0 19 0 858801905 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6586] ppid=6580 vsize=10547480 CPUtime=0.69 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6580 6582 4755 0 -1 4202560 22524 0 0 0 67 2 0 0 15 0 19 0 858801905 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6587] ppid=6580 vsize=10547480 CPUtime=0.86 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6580 6582 4755 0 -1 4202560 37649 0 0 0 82 4 0 0 15 0 19 0 858801905 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6588] ppid=6580 vsize=10547480 CPUtime=0.63 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6580 6582 4755 0 -1 4202560 21315 0 0 0 60 3 0 0 16 0 19 0 858801905 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6589] ppid=6580 vsize=10547480 CPUtime=0.71 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6580 6582 4755 0 -1 4202560 29072 0 0 0 67 4 0 0 15 0 19 0 858801905 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6590] ppid=6580 vsize=10547480 CPUtime=0.59 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6580 6582 4755 0 -1 4202560 18951 0 0 0 57 2 0 0 16 0 19 0 858801906 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
[pid=6582/tid=6591] ppid=6580 vsize=10547480 CPUtime=0.69 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6580 6582 4755 0 -1 4202560 27849 0 0 0 66 3 0 0 16 0 19 0 858801906 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6592] ppid=6580 vsize=10547480 CPUtime=0.83 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6580 6582 4755 0 -1 4202560 36116 0 0 0 79 4 0 0 15 0 19 0 858801906 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6593] ppid=6580 vsize=10547480 CPUtime=1.17 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6580 6582 4755 0 -1 4202560 2773 0 0 0 116 1 0 0 15 0 19 0 858801907 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 0 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6594] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6580 6582 4755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858801907 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6595] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6580 6582 4755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858801907 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6596] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522121137 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6597] ppid=6580 vsize=10547480 CPUtime=0.78 cores=1,3,5,7
/proc/6582/task/6597/stat : 6597 (java) S 6580 6582 4755 0 -1 4202560 3216 0 0 0 78 0 0 0 15 0 19 0 858801909 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6598] ppid=6580 vsize=10547480 CPUtime=0.77 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6580 6582 4755 0 -1 4202560 4847 0 0 0 77 0 0 0 16 0 19 0 858801909 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6599] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6599/stat : 6599 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6600] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6580 6582 4755 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858801909 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6601] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801951 10800619520 990415 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 10547480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 1.00 1.18 1.57 2/190 6688
/proc/meminfo: memFree=28486088/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=10547480 CPUtime=1800 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6580 6582 4755 0 -1 4202496 996894 0 1 0 179880 120 0 0 25 0 19 0 858801903 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 2636870 990533 2270 9 0 2627604 0
[pid=6582/tid=6584] ppid=6580 vsize=10547480 CPUtime=1791.33 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) R 6580 6582 4755 0 -1 4202560 757965 0 1 0 179047 86 0 0 25 0 19 0 858801904 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 46912505795353 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6582/tid=6585] ppid=6580 vsize=10547480 CPUtime=0.73 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6580 6582 4755 0 -1 4202560 33240 0 0 0 69 4 0 0 15 0 19 0 858801905 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6586] ppid=6580 vsize=10547480 CPUtime=0.71 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6580 6582 4755 0 -1 4202560 22526 0 0 0 69 2 0 0 16 0 19 0 858801905 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
[pid=6582/tid=6587] ppid=6580 vsize=10547480 CPUtime=0.86 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6580 6582 4755 0 -1 4202560 37649 0 0 0 82 4 0 0 15 0 19 0 858801905 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6588] ppid=6580 vsize=10547480 CPUtime=0.65 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6580 6582 4755 0 -1 4202560 21363 0 0 0 62 3 0 0 16 0 19 0 858801905 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6589] ppid=6580 vsize=10547480 CPUtime=0.74 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6580 6582 4755 0 -1 4202560 29116 0 0 0 70 4 0 0 16 0 19 0 858801905 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6590] ppid=6580 vsize=10547480 CPUtime=0.61 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6580 6582 4755 0 -1 4202560 18979 0 0 0 59 2 0 0 16 0 19 0 858801906 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6591] ppid=6580 vsize=10547480 CPUtime=0.69 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6580 6582 4755 0 -1 4202560 27849 0 0 0 66 3 0 0 15 0 19 0 858801906 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6592] ppid=6580 vsize=10547480 CPUtime=0.83 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6580 6582 4755 0 -1 4202560 36116 0 0 0 79 4 0 0 15 0 19 0 858801906 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6593] ppid=6580 vsize=10547480 CPUtime=1.17 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6580 6582 4755 0 -1 4202560 2775 0 0 0 116 1 0 0 15 0 19 0 858801907 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 0 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6594] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6580 6582 4755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858801907 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6595] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6580 6582 4755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858801907 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6596] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522121137 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6597] ppid=6580 vsize=10547480 CPUtime=0.78 cores=1,3,5,7
/proc/6582/task/6597/stat : 6597 (java) S 6580 6582 4755 0 -1 4202560 3216 0 0 0 78 0 0 0 15 0 19 0 858801909 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6598] ppid=6580 vsize=10547480 CPUtime=0.77 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6580 6582 4755 0 -1 4202560 4847 0 0 0 77 0 0 0 16 0 19 0 858801909 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 3 0 0 0
[pid=6582/tid=6599] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6599/stat : 6599 (java) S 6580 6582 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858801909 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522113433 0 4 0 16800975 18446604458080401280 0 0 -1 5 0 0 0
[pid=6582/tid=6600] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6580 6582 4755 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858801909 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 1 0 0 0
[pid=6582/tid=6601] ppid=6580 vsize=10547480 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6580 6582 4755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858801951 10800619520 990533 33554432000 1073741824 1073778376 140736555441136 18446744073709551615 233522114048 0 4 0 16800975 18446604458080401280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10547480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.12 s]
/proc/loadavg: 1.00 1.18 1.57 2/190 6688
/proc/meminfo: memFree=28486088/32951124 swapFree=67056964/67111528
[pid=6582] ppid=6580 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/6582/stat : 6582 (java) Z 6580 6582 4755 0 -1 4203548 996923 0 1 0 179883 129 0 0 17 0 2 0 858801903 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6582/statm: 0 0 0 0 0 0 0
[pid=6582/tid=6584] ppid=6580 vsize=0 CPUtime=1791.43 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) R 6580 6582 4755 0 -1 4203588 757965 0 1 0 179048 95 0 0 25 0 2 0 858801904 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.17
CPU time (s): 1800.18
CPU user time (s): 1798.84
CPU system time (s): 1.3428
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 10549596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.34279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 996923
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= 38257
involuntary context switches= 14528
runsolver used 2.92955 second user time and 6.87296 second system time
The end