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-3456388-1307645866/watcher-3456388-1307645866 -o /tmp/evaluation-result-3456388-1307645866/solver-3456388-1307645866 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456388-1307645866.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.04 2.01 2.00 3/195 10860
/proc/meminfo: memFree=29735336/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10860/stat : 10860 (java) R 10858 10860 9650 0 -1 4202496 550 0 0 0 0 0 0 0 17 0 1 0 332196111 23580672 294 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218875602709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10860/statm: 5757 305 235 9 0 124 0
[startup+0.051898 s]
/proc/loadavg: 2.04 2.01 2.00 3/195 10860
/proc/meminfo: memFree=29735336/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 11376 0 1 0 2 1 0 0 17 0 13 0 332196111 10718699520 11073 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2616870 11074 1681 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100871 s]
/proc/loadavg: 2.04 2.01 2.00 3/195 10860
/proc/meminfo: memFree=29735336/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10539976 CPUtime=0.1 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 13002 0 1 0 8 2 0 0 17 0 18 0 332196111 10792935424 12699 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2634994 12700 2092 9 0 2625728 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539976
[startup+0.300833 s]
/proc/loadavg: 2.04 2.01 2.00 3/195 10860
/proc/meminfo: memFree=29735336/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10542976 CPUtime=0.54 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 20358 0 1 0 52 2 0 0 17 0 18 0 332196111 10796007424 19045 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2635744 19047 2209 9 0 2626478 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10542976
[startup+0.700786 s]
/proc/loadavg: 2.04 2.01 2.00 3/195 10860
/proc/meminfo: memFree=29735336/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10550808 CPUtime=1.45 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 49532 0 1 0 140 5 0 0 17 0 18 0 332196111 10804027392 44846 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2637702 44850 2220 9 0 2628436 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 10550808
[startup+1.50066 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 10878
/proc/meminfo: memFree=29459276/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10550808 CPUtime=2.25 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 118121 0 1 0 210 15 0 0 17 0 18 0 332196111 10804027392 113435 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2637702 113438 2220 9 0 2628436 0
[pid=10860/tid=10862] ppid=10858 vsize=10550808 CPUtime=1.47 cores=1,3,5,7
/proc/10860/task/10862/stat : 10862 (java) R 10858 10860 9650 0 -1 4202560 104514 0 1 0 134 13 0 0 19 0 18 0 332196112 10804027392 113440 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 46912505654800 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 332196114 10804027392 113442 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10864] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 113444 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10865] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 113446 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10866] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 113448 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 113450 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10868] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 113452 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10869] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10869/stat : 10869 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 113454 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10870] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10870/stat : 10870 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 332196114 10804027392 113456 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10871] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10871/stat : 10871 (java) S 10858 10860 9650 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 332196115 10804027392 113457 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 0 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
[pid=10860/tid=10872] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10872/stat : 10872 (java) S 10858 10860 9650 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 332196115 10804027392 113459 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10873] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10873/stat : 10873 (java) S 10858 10860 9650 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 332196115 10804027392 113461 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10874] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10874/stat : 10874 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 332196118 10804027392 113463 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892388785 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10875] ppid=10858 vsize=10550808 CPUtime=0.3 cores=1,3,5,7
/proc/10860/task/10875/stat : 10875 (java) S 10858 10860 9650 0 -1 4202560 3248 0 0 0 30 0 0 0 20 0 18 0 332196118 10804027392 113465 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10876] ppid=10858 vsize=10550808 CPUtime=0.45 cores=1,3,5,7
/proc/10860/task/10876/stat : 10876 (java) S 10858 10860 9650 0 -1 4202560 9214 0 0 0 45 0 0 0 17 0 18 0 332196118 10804027392 113467 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10877] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10877/stat : 10877 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 332196118 10804027392 113469 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10878] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10878/stat : 10878 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 332196118 10804027392 113471 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10550808
[startup+3.10139 s]
/proc/loadavg: 2.03 2.01 2.00 4/213 10878
/proc/meminfo: memFree=29083928/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10550808 CPUtime=3.9 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 248621 0 1 0 362 28 0 0 17 0 18 0 332196111 10804027392 243934 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2637702 243948 2221 9 0 2628436 0
[pid=10860/tid=10862] ppid=10858 vsize=10550808 CPUtime=3.07 cores=1,3,5,7
/proc/10860/task/10862/stat : 10862 (java) R 10858 10860 9650 0 -1 4202560 235028 0 1 0 281 26 0 0 18 0 18 0 332196112 10804027392 243955 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 46912505595582 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 332196114 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10864] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10865] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10866] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10868] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10869] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10869/stat : 10869 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10870] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10870/stat : 10870 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 332196114 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10871] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10871/stat : 10871 (java) S 10858 10860 9650 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 18 0 332196115 10804027392 243956 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 0 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
[pid=10860/tid=10872] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10872/stat : 10872 (java) S 10858 10860 9650 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 332196115 10804027392 243959 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10873] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10873/stat : 10873 (java) S 10858 10860 9650 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 332196115 10804027392 243962 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10874] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10874/stat : 10874 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 332196118 10804027392 243965 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892388785 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10875] ppid=10858 vsize=10550808 CPUtime=0.32 cores=1,3,5,7
/proc/10860/task/10875/stat : 10875 (java) S 10858 10860 9650 0 -1 4202560 3248 0 0 0 32 0 0 0 17 0 18 0 332196118 10804027392 243968 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10876] ppid=10858 vsize=10550808 CPUtime=0.47 cores=1,3,5,7
/proc/10860/task/10876/stat : 10876 (java) S 10858 10860 9650 0 -1 4202560 9214 0 0 0 47 0 0 0 15 0 18 0 332196118 10804027392 243970 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10877] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10877/stat : 10877 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 332196118 10804027392 243972 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10878] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10878/stat : 10878 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 332196118 10804027392 243974 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 10550808
[startup+6.30085 s]
/proc/loadavg: 2.03 2.01 2.00 2/193 10881
/proc/meminfo: memFree=30488428/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10550808 CPUtime=7.18 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 487404 0 1 0 664 54 0 0 17 0 18 0 332196111 10804027392 482567 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2637702 482569 2226 9 0 2628436 0
[pid=10860/tid=10862] ppid=10858 vsize=10550808 CPUtime=6.27 cores=1,3,5,7
/proc/10860/task/10862/stat : 10862 (java) R 10858 10860 9650 0 -1 4202560 473777 0 1 0 575 52 0 0 21 0 18 0 332196112 10804027392 482569 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 46912505751259 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 332196114 10804027392 482570 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10864] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 482571 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10865] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 482572 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10866] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 482573 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 482574 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10868] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 482574 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10869] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10869/stat : 10869 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 332196114 10804027392 482576 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10870] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10870/stat : 10870 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 332196114 10804027392 482578 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10871] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10871/stat : 10871 (java) S 10858 10860 9650 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 332196115 10804027392 482580 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 0 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
[pid=10860/tid=10872] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10872/stat : 10872 (java) S 10858 10860 9650 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 332196115 10804027392 482581 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10873] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10873/stat : 10873 (java) S 10858 10860 9650 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 332196115 10804027392 482583 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10874] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10874/stat : 10874 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 332196118 10804027392 482585 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892388785 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10875] ppid=10858 vsize=10550808 CPUtime=0.39 cores=1,3,5,7
/proc/10860/task/10875/stat : 10875 (java) S 10858 10860 9650 0 -1 4202560 3261 0 0 0 39 0 0 0 15 0 18 0 332196118 10804027392 482586 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10876] ppid=10858 vsize=10550808 CPUtime=0.49 cores=1,3,5,7
/proc/10860/task/10876/stat : 10876 (java) S 10858 10860 9650 0 -1 4202560 9216 0 0 0 49 0 0 0 15 0 18 0 332196118 10804027392 482587 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10877] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10877/stat : 10877 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 332196118 10804027392 482588 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10878] ppid=10858 vsize=10550808 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10878/stat : 10878 (java) S 10858 10860 9650 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 332196118 10804027392 482589 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 10550808
[startup+12.7008 s]
/proc/loadavg: 2.10 2.03 2.00 3/214 10938
/proc/meminfo: memFree=29741280/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10551836 CPUtime=13.71 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 520672 0 1 0 1313 58 0 0 17 0 19 0 332196111 10805080064 515830 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2637959 515830 2228 9 0 2628693 0
[pid=10860/tid=10862] ppid=10858 vsize=10551836 CPUtime=12.67 cores=1,3,5,7
################
# More data... #
################
/proc/10860/task/10872/stat : 10872 (java) S 10858 10860 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 332196115 10805080064 1100868 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10873] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10873/stat : 10873 (java) S 10858 10860 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 332196115 10805080064 1100868 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10874] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10874/stat : 10874 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 332196118 10805080064 1100868 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892388785 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10875] ppid=10858 vsize=10551836 CPUtime=0.69 cores=1,3,5,7
/proc/10860/task/10875/stat : 10875 (java) S 10858 10860 9650 0 -1 4202560 3304 0 0 0 69 0 0 0 15 0 19 0 332196118 10805080064 1100868 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10876] ppid=10858 vsize=10551836 CPUtime=0.98 cores=1,3,5,7
/proc/10860/task/10876/stat : 10876 (java) S 10858 10860 9650 0 -1 4202560 9283 0 0 0 97 1 0 0 15 0 19 0 332196118 10805080064 1100868 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10877] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10877/stat : 10877 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 332196118 10805080064 1100868 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10878] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10878/stat : 10878 (java) S 10858 10860 9650 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 332196118 10805080064 1100868 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10882] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10882/stat : 10882 (java) S 10858 10860 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 332196747 10805080064 1100868 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1673.68
Current children cumulated vsize (KiB) 10551836
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/214 10996
/proc/meminfo: memFree=24079008/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10551836 CPUtime=1733.9 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 1116051 0 1 0 173253 137 0 0 17 0 19 0 332196111 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2637959 1106278 2248 9 0 2628693 0
[pid=10860/tid=10862] ppid=10858 vsize=10551836 CPUtime=1718.66 cores=1,3,5,7
/proc/10860/task/10862/stat : 10862 (java) R 10858 10860 9650 0 -1 4202560 660274 0 1 0 171791 75 0 0 25 0 19 0 332196112 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 46912505609013 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=10551836 CPUtime=1.58 cores=1,3,5,7
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 9650 0 -1 4202560 74326 0 0 0 148 10 0 0 15 0 19 0 332196114 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10864] ppid=10858 vsize=10551836 CPUtime=1.83 cores=1,3,5,7
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 9650 0 -1 4202560 68897 0 0 0 174 9 0 0 16 0 19 0 332196114 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10865] ppid=10858 vsize=10551836 CPUtime=2.09 cores=1,3,5,7
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 9650 0 -1 4202560 57370 0 0 0 203 6 0 0 16 0 19 0 332196114 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 3 0 0 0
[pid=10860/tid=10866] ppid=10858 vsize=10551836 CPUtime=1.5 cores=1,3,5,7
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 9650 0 -1 4202560 63076 0 0 0 143 7 0 0 15 0 19 0 332196114 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 3 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=10551836 CPUtime=1.45 cores=1,3,5,7
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 9650 0 -1 4202560 52951 0 0 0 139 6 0 0 15 0 19 0 332196114 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10868] ppid=10858 vsize=10551836 CPUtime=1.68 cores=1,3,5,7
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 9650 0 -1 4202560 39757 0 0 0 163 5 0 0 16 0 19 0 332196114 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10869] ppid=10858 vsize=10551836 CPUtime=1.51 cores=1,3,5,7
/proc/10860/task/10869/stat : 10869 (java) S 10858 10860 9650 0 -1 4202560 33626 0 0 0 147 4 0 0 16 0 19 0 332196114 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 3 0 0 0
[pid=10860/tid=10870] ppid=10858 vsize=10551836 CPUtime=1.76 cores=1,3,5,7
/proc/10860/task/10870/stat : 10870 (java) S 10858 10860 9650 0 -1 4202560 51833 0 0 0 169 7 0 0 15 0 19 0 332196114 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10871] ppid=10858 vsize=10551836 CPUtime=0.05 cores=1,3,5,7
/proc/10860/task/10871/stat : 10871 (java) S 10858 10860 9650 0 -1 4202560 104 0 0 0 3 2 0 0 15 0 19 0 332196115 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 0 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10872] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10872/stat : 10872 (java) S 10858 10860 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 332196115 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10873] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10873/stat : 10873 (java) S 10858 10860 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 332196115 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10874] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10874/stat : 10874 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 332196118 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892388785 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10875] ppid=10858 vsize=10551836 CPUtime=0.69 cores=1,3,5,7
/proc/10860/task/10875/stat : 10875 (java) S 10858 10860 9650 0 -1 4202560 3304 0 0 0 69 0 0 0 15 0 19 0 332196118 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10876] ppid=10858 vsize=10551836 CPUtime=0.98 cores=1,3,5,7
/proc/10860/task/10876/stat : 10876 (java) S 10858 10860 9650 0 -1 4202560 9283 0 0 0 97 1 0 0 15 0 19 0 332196118 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10877] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10877/stat : 10877 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 332196118 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10878] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10878/stat : 10878 (java) S 10858 10860 9650 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 332196118 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10882] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10882/stat : 10882 (java) S 10858 10860 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 332196747 10805080064 1106278 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1733.9
Current children cumulated vsize (KiB) 10551836
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 10998
/proc/meminfo: memFree=24050692/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10551836 CPUtime=1794.07 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 1119175 0 1 0 179269 138 0 0 17 0 19 0 332196111 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2637959 1109321 2248 9 0 2628693 0
[pid=10860/tid=10862] ppid=10858 vsize=10551836 CPUtime=1778.6 cores=1,3,5,7
/proc/10860/task/10862/stat : 10862 (java) R 10858 10860 9650 0 -1 4202560 660279 0 1 0 177785 75 0 0 25 0 19 0 332196112 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 46912506068092 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=10551836 CPUtime=1.61 cores=1,3,5,7
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 9650 0 -1 4202560 75073 0 0 0 151 10 0 0 16 0 19 0 332196114 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10864] ppid=10858 vsize=10551836 CPUtime=1.87 cores=1,3,5,7
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 9650 0 -1 4202560 69605 0 0 0 178 9 0 0 15 0 19 0 332196114 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10865] ppid=10858 vsize=10551836 CPUtime=2.15 cores=1,3,5,7
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 9650 0 -1 4202560 57979 0 0 0 209 6 0 0 16 0 19 0 332196114 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
[pid=10860/tid=10866] ppid=10858 vsize=10551836 CPUtime=1.51 cores=1,3,5,7
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 9650 0 -1 4202560 63089 0 0 0 144 7 0 0 15 0 19 0 332196114 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 3 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=10551836 CPUtime=1.46 cores=1,3,5,7
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 9650 0 -1 4202560 53114 0 0 0 140 6 0 0 15 0 19 0 332196114 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10868] ppid=10858 vsize=10551836 CPUtime=1.7 cores=1,3,5,7
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 9650 0 -1 4202560 39947 0 0 0 165 5 0 0 16 0 19 0 332196114 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 3 0 0 0
[pid=10860/tid=10869] ppid=10858 vsize=10551836 CPUtime=1.54 cores=1,3,5,7
/proc/10860/task/10869/stat : 10869 (java) S 10858 10860 9650 0 -1 4202560 33982 0 0 0 149 5 0 0 15 0 19 0 332196114 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10870] ppid=10858 vsize=10551836 CPUtime=1.78 cores=1,3,5,7
/proc/10860/task/10870/stat : 10870 (java) S 10858 10860 9650 0 -1 4202560 52158 0 0 0 171 7 0 0 16 0 19 0 332196114 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10871] ppid=10858 vsize=10551836 CPUtime=0.05 cores=1,3,5,7
/proc/10860/task/10871/stat : 10871 (java) S 10858 10860 9650 0 -1 4202560 108 0 0 0 3 2 0 0 15 0 19 0 332196115 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 0 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10872] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10872/stat : 10872 (java) S 10858 10860 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 332196115 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10873] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10873/stat : 10873 (java) S 10858 10860 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 332196115 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10874] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10874/stat : 10874 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 332196118 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892388785 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10875] ppid=10858 vsize=10551836 CPUtime=0.69 cores=1,3,5,7
/proc/10860/task/10875/stat : 10875 (java) S 10858 10860 9650 0 -1 4202560 3304 0 0 0 69 0 0 0 15 0 19 0 332196118 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10876] ppid=10858 vsize=10551836 CPUtime=0.98 cores=1,3,5,7
/proc/10860/task/10876/stat : 10876 (java) S 10858 10860 9650 0 -1 4202560 9283 0 0 0 97 1 0 0 15 0 19 0 332196118 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10877] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10877/stat : 10877 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 332196118 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10878] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10878/stat : 10878 (java) S 10858 10860 9650 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 332196118 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10882] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10882/stat : 10882 (java) S 10858 10860 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 332196747 10805080064 1109321 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1794.07
Current children cumulated vsize (KiB) 10551836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 10998
/proc/meminfo: memFree=24044244/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=10551836 CPUtime=1800.01 cores=1,3,5,7
/proc/10860/stat : 10860 (java) S 10858 10860 9650 0 -1 4202496 1120032 0 1 0 179863 138 0 0 17 0 19 0 332196111 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 2637959 1110148 2248 9 0 2628693 0
[pid=10860/tid=10862] ppid=10858 vsize=10551836 CPUtime=1784.49 cores=1,3,5,7
/proc/10860/task/10862/stat : 10862 (java) R 10858 10860 9650 0 -1 4202560 660280 0 1 0 178374 75 0 0 25 0 19 0 332196112 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 46912505606334 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=10551836 CPUtime=1.62 cores=1,3,5,7
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 9650 0 -1 4202560 75128 0 0 0 152 10 0 0 16 0 19 0 332196114 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 3 0 0 0
[pid=10860/tid=10864] ppid=10858 vsize=10551836 CPUtime=1.88 cores=1,3,5,7
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 9650 0 -1 4202560 69605 0 0 0 179 9 0 0 15 0 19 0 332196114 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10865] ppid=10858 vsize=10551836 CPUtime=2.15 cores=1,3,5,7
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 9650 0 -1 4202560 57979 0 0 0 209 6 0 0 15 0 19 0 332196114 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
[pid=10860/tid=10866] ppid=10858 vsize=10551836 CPUtime=1.53 cores=1,3,5,7
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 9650 0 -1 4202560 63302 0 0 0 146 7 0 0 16 0 19 0 332196114 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 3 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=10551836 CPUtime=1.46 cores=1,3,5,7
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 9650 0 -1 4202560 53114 0 0 0 140 6 0 0 15 0 19 0 332196114 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10868] ppid=10858 vsize=10551836 CPUtime=1.72 cores=1,3,5,7
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 9650 0 -1 4202560 40268 0 0 0 167 5 0 0 16 0 19 0 332196114 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10869] ppid=10858 vsize=10551836 CPUtime=1.55 cores=1,3,5,7
/proc/10860/task/10869/stat : 10869 (java) S 10858 10860 9650 0 -1 4202560 34249 0 0 0 150 5 0 0 16 0 19 0 332196114 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10870] ppid=10858 vsize=10551836 CPUtime=1.78 cores=1,3,5,7
/proc/10860/task/10870/stat : 10870 (java) S 10858 10860 9650 0 -1 4202560 52158 0 0 0 171 7 0 0 15 0 19 0 332196114 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10871] ppid=10858 vsize=10551836 CPUtime=0.05 cores=1,3,5,7
/proc/10860/task/10871/stat : 10871 (java) S 10858 10860 9650 0 -1 4202560 108 0 0 0 3 2 0 0 15 0 19 0 332196115 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 0 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10872] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10872/stat : 10872 (java) S 10858 10860 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 332196115 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10873] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10873/stat : 10873 (java) S 10858 10860 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 332196115 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10874] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10874/stat : 10874 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 332196118 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892388785 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10875] ppid=10858 vsize=10551836 CPUtime=0.69 cores=1,3,5,7
/proc/10860/task/10875/stat : 10875 (java) S 10858 10860 9650 0 -1 4202560 3304 0 0 0 69 0 0 0 15 0 19 0 332196118 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10876] ppid=10858 vsize=10551836 CPUtime=0.98 cores=1,3,5,7
/proc/10860/task/10876/stat : 10876 (java) S 10858 10860 9650 0 -1 4202560 9283 0 0 0 97 1 0 0 15 0 19 0 332196118 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10877] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10877/stat : 10877 (java) S 10858 10860 9650 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 332196118 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381081 0 4 0 16800975 18446604471127593088 0 0 -1 1 0 0 0
[pid=10860/tid=10878] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10878/stat : 10878 (java) S 10858 10860 9650 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 332196118 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 5 0 0 0
[pid=10860/tid=10882] ppid=10858 vsize=10551836 CPUtime=0 cores=1,3,5,7
/proc/10860/task/10882/stat : 10882 (java) S 10858 10860 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 332196747 10805080064 1110148 33554432000 1073741824 1073778376 140736502081888 18446744073709551615 218892381696 0 4 0 16800975 18446604471127593088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10551836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 10998
/proc/meminfo: memFree=24044244/32950928 swapFree=67054696/67111528
[pid=10860] ppid=10858 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/10860/stat : 10860 (java) Z 10858 10860 9650 0 -1 4203548 1120061 0 1 0 179865 147 0 0 15 0 2 0 332196111 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10860/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.38
CPU time (s): 1800.2
CPU user time (s): 1798.65
CPU system time (s): 1.54377
CPU usage (%): 100.661
Max. virtual memory (cumulated for all children) (KiB): 10551836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.54377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1120061
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= 42152
involuntary context switches= 14368
runsolver used 2.95555 second user time and 6.81896 second system time
The end