runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312161-1304185453/watcher-3312161-1304185453 -o /tmp/evaluation-result-3312161-1304185453/solver-3312161-1304185453 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312161-1304185453.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.86 7.85 7.83 2/194 31925
/proc/meminfo: memFree=30467740/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 1413 0 0 0 0 0 0 0 25 0 2 0 608776001 26714112 885 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 6522 885 678 9 0 381 0
[pid=31925/tid=31926] ppid=31923 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) R 31923 31925 31870 0 -1 4202560 56 0 0 0 0 0 0 0 25 0 2 0 608776001 26714112 885 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224280002183 0 2147483391 4096 0 0 0 0 -1 5 0 0 0
[startup+0.097172 s]
/proc/loadavg: 6.86 7.85 7.83 2/194 31925
/proc/meminfo: memFree=30467740/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15741716 CPUtime=0.1 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 5600 0 1 0 9 1 0 0 25 0 18 0 608776001 16119517184 5000 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3935429 5000 2116 9 0 3926148 0
[pid=31925/tid=31926] ppid=31923 vsize=15741716 CPUtime=0.07 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) S 31923 31925 31870 0 -1 4202560 3417 0 1 0 7 0 0 0 18 0 18 0 608776001 16119517184 5000 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296755167 0 2147483391 0 16800975 18446744071699199166 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741716
[startup+0.101157 s]
/proc/loadavg: 6.86 7.85 7.83 2/194 31925
/proc/meminfo: memFree=30467740/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15741716 CPUtime=0.1 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 5669 0 1 0 9 1 0 0 25 0 18 0 608776001 16119517184 5069 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3935429 5069 2117 9 0 3926148 0
[pid=31925/tid=31926] ppid=31923 vsize=15741716 CPUtime=0.08 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) R 31923 31925 31870 0 -1 4202560 3486 0 1 0 8 0 0 0 18 0 18 0 608776001 16119517184 5069 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 47923528841235 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741716
[startup+0.301129 s]
/proc/loadavg: 6.86 7.85 7.83 2/194 31925
/proc/meminfo: memFree=30467740/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15747720 CPUtime=0.5 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 16273 0 1 0 47 3 0 0 25 0 18 0 608776001 16125665280 14639 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3936930 14648 2206 9 0 3927649 0
[pid=31925/tid=31926] ppid=31923 vsize=15747720 CPUtime=0.28 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) R 31923 31925 31870 0 -1 4202560 11201 0 1 0 26 2 0 0 18 0 18 0 608776001 16125665280 14652 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912505585394 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15747720
[startup+0.701109 s]
/proc/loadavg: 6.86 7.85 7.83 2/194 31925
/proc/meminfo: memFree=30467740/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15747720 CPUtime=0.92 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 41752 0 1 0 85 7 0 0 25 0 18 0 608776001 16125665280 40114 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3936930 40114 2222 9 0 3927649 0
[pid=31925/tid=31926] ppid=31923 vsize=15747720 CPUtime=0.68 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) R 31923 31925 31870 0 -1 4202560 35528 0 1 0 63 5 0 0 18 0 18 0 608776001 16125665280 40114 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912505637880 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15747720
[startup+1.50093 s]
/proc/loadavg: 6.86 7.85 7.83 5/216 31947
/proc/meminfo: memFree=30258492/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15747720 CPUtime=1.74 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 68636 0 1 0 164 10 0 0 25 0 18 0 608776001 16125665280 66980 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3936930 66988 2222 9 0 3927649 0
[pid=31925/tid=31926] ppid=31923 vsize=15747720 CPUtime=1.47 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) R 31923 31925 31870 0 -1 4202560 59397 0 1 0 139 8 0 0 19 0 18 0 608776001 16125665280 66991 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912505640083 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31925/tid=31928] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31928/stat : 31928 (java) S 31923 31925 31870 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 18 0 608776002 16125665280 66995 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31929] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31929/stat : 31929 (java) S 31923 31925 31870 0 -1 4202560 345 0 0 0 0 0 0 0 16 0 18 0 608776002 16125665280 66998 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31930] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31930/stat : 31930 (java) S 31923 31925 31870 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 18 0 608776002 16125665280 67002 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31931] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31931/stat : 31931 (java) S 31923 31925 31870 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 18 0 608776002 16125665280 67006 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31932] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31932/stat : 31932 (java) S 31923 31925 31870 0 -1 4202560 693 0 0 0 0 0 0 0 16 0 18 0 608776002 16125665280 67011 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31933] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31933/stat : 31933 (java) S 31923 31925 31870 0 -1 4202560 2878 0 0 0 0 0 0 0 16 0 18 0 608776002 16125665280 67015 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31934] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31934/stat : 31934 (java) S 31923 31925 31870 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 18 0 608776002 16125665280 67019 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31935] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31935/stat : 31935 (java) S 31923 31925 31870 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 608776002 16125665280 67023 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31936] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31936/stat : 31936 (java) S 31923 31925 31870 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 608776003 16125665280 67028 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31937] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31937/stat : 31937 (java) S 31923 31925 31870 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 608776003 16125665280 67031 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31938] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31938/stat : 31938 (java) S 31923 31925 31870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 608776003 16125665280 67035 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31939] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31939/stat : 31939 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 608776005 16125665280 67039 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296749489 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31940] ppid=31923 vsize=15747720 CPUtime=0.11 cores=1,3,5,7
/proc/31925/task/31940/stat : 31940 (java) S 31923 31925 31870 0 -1 4202560 2346 0 0 0 11 0 0 0 15 0 18 0 608776005 16125665280 67043 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31941] ppid=31923 vsize=15747720 CPUtime=0.1 cores=1,3,5,7
/proc/31925/task/31941/stat : 31941 (java) S 31923 31925 31870 0 -1 4202560 1348 0 0 0 10 0 0 0 17 0 18 0 608776005 16125665280 67047 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31942] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31942/stat : 31942 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 608776005 16125665280 67052 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31943] ppid=31923 vsize=15747720 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31943/stat : 31943 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 608776005 16125665280 67056 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15747720
[startup+3.10067 s]
/proc/loadavg: 6.63 7.78 7.81 7/216 31947
/proc/meminfo: memFree=30084148/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15751832 CPUtime=3.44 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 145189 0 1 0 324 20 0 0 25 0 22 0 608776001 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3937958 143502 2240 9 0 3928677 0
[pid=31925/tid=31926] ppid=31923 vsize=15751832 CPUtime=3.04 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) R 31923 31925 31870 0 -1 4202560 127786 0 1 0 288 16 0 0 25 0 22 0 608776001 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 47923530939492 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31925/tid=31928] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31928/stat : 31928 (java) S 31923 31925 31870 0 -1 4202560 2685 0 0 0 0 0 0 0 16 0 22 0 608776002 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31929] ppid=31923 vsize=15751832 CPUtime=0.01 cores=1,3,5,7
/proc/31925/task/31929/stat : 31929 (java) S 31923 31925 31870 0 -1 4202560 349 0 0 0 1 0 0 0 15 0 22 0 608776002 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31930] ppid=31923 vsize=15751832 CPUtime=0.01 cores=1,3,5,7
/proc/31925/task/31930/stat : 31930 (java) S 31923 31925 31870 0 -1 4202560 52 0 0 0 1 0 0 0 16 0 22 0 608776002 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31931] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31931/stat : 31931 (java) S 31923 31925 31870 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 22 0 608776002 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31932] ppid=31923 vsize=15751832 CPUtime=0.01 cores=1,3,5,7
/proc/31925/task/31932/stat : 31932 (java) S 31923 31925 31870 0 -1 4202560 5816 0 0 0 1 0 0 0 16 0 22 0 608776002 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31933] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31933/stat : 31933 (java) S 31923 31925 31870 0 -1 4202560 2889 0 0 0 0 0 0 0 16 0 22 0 608776002 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31934] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31934/stat : 31934 (java) S 31923 31925 31870 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 608776002 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31935] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31935/stat : 31935 (java) S 31923 31925 31870 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 608776002 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31936] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31936/stat : 31936 (java) S 31923 31925 31870 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 22 0 608776003 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31937] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31937/stat : 31937 (java) S 31923 31925 31870 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 608776003 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31938] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31938/stat : 31938 (java) S 31923 31925 31870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 608776003 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31939] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31939/stat : 31939 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296749489 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31940] ppid=31923 vsize=15751832 CPUtime=0.14 cores=1,3,5,7
/proc/31925/task/31940/stat : 31940 (java) S 31923 31925 31870 0 -1 4202560 2373 0 0 0 14 0 0 0 15 0 22 0 608776005 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31941] ppid=31923 vsize=15751832 CPUtime=0.13 cores=1,3,5,7
/proc/31925/task/31941/stat : 31941 (java) S 31923 31925 31870 0 -1 4202560 1382 0 0 0 13 0 0 0 15 0 22 0 608776005 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31942] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31942/stat : 31942 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31943] ppid=31923 vsize=15751832 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31943/stat : 31943 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608776005 16129875968 143502 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 15751832
[startup+6.30112 s]
/proc/loadavg: 6.63 7.78 7.81 7/220 31951
/proc/meminfo: memFree=29471160/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15756344 CPUtime=7.53 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 152564 0 1 0 732 21 0 0 25 0 22 0 608776001 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3939086 148134 2265 9 0 3929805 0
[pid=31925/tid=31926] ppid=31923 vsize=15756344 CPUtime=6.24 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) R 31923 31925 31870 0 -1 4202560 127820 0 1 0 608 16 0 0 25 0 22 0 608776001 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506082618 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31925/tid=31928] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31928/stat : 31928 (java) S 31923 31925 31870 0 -1 4202560 2685 0 0 0 0 0 0 0 16 0 22 0 608776002 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31929] ppid=31923 vsize=15756344 CPUtime=0.01 cores=1,3,5,7
/proc/31925/task/31929/stat : 31929 (java) S 31923 31925 31870 0 -1 4202560 349 0 0 0 1 0 0 0 15 0 22 0 608776002 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31930] ppid=31923 vsize=15756344 CPUtime=0.01 cores=1,3,5,7
/proc/31925/task/31930/stat : 31930 (java) S 31923 31925 31870 0 -1 4202560 52 0 0 0 1 0 0 0 16 0 22 0 608776002 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31931] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31931/stat : 31931 (java) S 31923 31925 31870 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 22 0 608776002 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31932] ppid=31923 vsize=15756344 CPUtime=0.01 cores=1,3,5,7
/proc/31925/task/31932/stat : 31932 (java) S 31923 31925 31870 0 -1 4202560 5816 0 0 0 1 0 0 0 16 0 22 0 608776002 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31933] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31933/stat : 31933 (java) S 31923 31925 31870 0 -1 4202560 2889 0 0 0 0 0 0 0 16 0 22 0 608776002 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31934] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31934/stat : 31934 (java) S 31923 31925 31870 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 608776002 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31935] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31935/stat : 31935 (java) S 31923 31925 31870 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 608776002 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31936] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31936/stat : 31936 (java) S 31923 31925 31870 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 608776003 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31937] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31937/stat : 31937 (java) S 31923 31925 31870 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 608776003 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31938] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31938/stat : 31938 (java) S 31923 31925 31870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 608776003 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31939] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31939/stat : 31939 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296749489 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31940] ppid=31923 vsize=15756344 CPUtime=0.57 cores=1,3,5,7
/proc/31925/task/31940/stat : 31940 (java) S 31923 31925 31870 0 -1 4202560 4083 0 0 0 57 0 0 0 15 0 22 0 608776005 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31941] ppid=31923 vsize=15756344 CPUtime=0.58 cores=1,3,5,7
/proc/31925/task/31941/stat : 31941 (java) S 31923 31925 31870 0 -1 4202560 7011 0 0 0 58 0 0 0 15 0 22 0 608776005 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31942] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31942/stat : 31942 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31943] ppid=31923 vsize=15756344 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31943/stat : 31943 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608776005 16134496256 148134 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=31925/tid=31949] ppid=31923 vsize=15765340 CPUtime=1093.99 cores=1,3,5,7
/proc/31925/task/31949/stat : 31949 (java) R 31923 31925 31870 0 -1 4202560 8675 0 0 0 109397 2 0 0 25 0 22 0 608776309 16143708160 479464 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506211147 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31925/tid=31950] ppid=31923 vsize=15765340 CPUtime=1086.92 cores=1,3,5,7
/proc/31925/task/31950/stat : 31950 (java) R 31923 31925 31870 0 -1 4202560 16079 0 0 0 108690 2 0 0 25 0 22 0 608776309 16143708160 479464 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912505600906 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31925/tid=31951] ppid=31923 vsize=15765340 CPUtime=1087.54 cores=1,3,5,7
/proc/31925/task/31951/stat : 31951 (java) R 31923 31925 31870 0 -1 4202560 10199 0 0 0 108753 1 0 0 25 0 22 0 608776309 16143708160 479464 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506082638 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4391.7
Current children cumulated vsize (KiB) 15765340
[startup+1182.3 s]
/proc/loadavg: 8.16 8.13 7.99 9/220 31992
/proc/meminfo: memFree=28205904/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15765340 CPUtime=4630.94 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 1619745 0 1 0 462809 285 0 0 25 0 22 0 608776001 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3941335 442302 2294 9 0 3932054 0
[pid=31925/tid=31926] ppid=31923 vsize=15765340 CPUtime=14.15 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) S 31923 31925 31870 0 -1 4202560 127859 0 1 0 1399 16 0 0 25 0 22 0 608776001 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31928] ppid=31923 vsize=15765340 CPUtime=4.23 cores=1,3,5,7
/proc/31925/task/31928/stat : 31928 (java) S 31923 31925 31870 0 -1 4202560 180169 0 0 0 393 30 0 0 15 0 22 0 608776002 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31929] ppid=31923 vsize=15765340 CPUtime=4.05 cores=1,3,5,7
/proc/31925/task/31929/stat : 31929 (java) S 31923 31925 31870 0 -1 4202560 181148 0 0 0 375 30 0 0 16 0 22 0 608776002 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31930] ppid=31923 vsize=15765340 CPUtime=3.87 cores=1,3,5,7
/proc/31925/task/31930/stat : 31930 (java) S 31923 31925 31870 0 -1 4202560 171920 0 0 0 360 27 0 0 16 0 22 0 608776002 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31931] ppid=31923 vsize=15765340 CPUtime=4.11 cores=1,3,5,7
/proc/31925/task/31931/stat : 31931 (java) S 31923 31925 31870 0 -1 4202560 197323 0 0 0 378 33 0 0 15 0 22 0 608776002 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31932] ppid=31923 vsize=15765340 CPUtime=3.89 cores=1,3,5,7
/proc/31925/task/31932/stat : 31932 (java) S 31923 31925 31870 0 -1 4202560 168522 0 0 0 362 27 0 0 15 0 22 0 608776002 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31933] ppid=31923 vsize=15765340 CPUtime=4.1 cores=1,3,5,7
/proc/31925/task/31933/stat : 31933 (java) S 31923 31925 31870 0 -1 4202560 182669 0 0 0 379 31 0 0 16 0 22 0 608776002 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31934] ppid=31923 vsize=15765340 CPUtime=3.83 cores=1,3,5,7
/proc/31925/task/31934/stat : 31934 (java) S 31923 31925 31870 0 -1 4202560 182310 0 0 0 354 29 0 0 16 0 22 0 608776002 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31935] ppid=31923 vsize=15765340 CPUtime=3.86 cores=1,3,5,7
/proc/31925/task/31935/stat : 31935 (java) S 31923 31925 31870 0 -1 4202560 158058 0 0 0 360 26 0 0 15 0 22 0 608776002 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31936] ppid=31923 vsize=15765340 CPUtime=2.27 cores=1,3,5,7
/proc/31925/task/31936/stat : 31936 (java) S 31923 31925 31870 0 -1 4202560 6710 0 0 0 206 21 0 0 15 0 22 0 608776003 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31937] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31937/stat : 31937 (java) S 31923 31925 31870 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608776003 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31938] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31938/stat : 31938 (java) S 31923 31925 31870 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608776003 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31939] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31939/stat : 31939 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296749489 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31940] ppid=31923 vsize=15765340 CPUtime=1.29 cores=1,3,5,7
/proc/31925/task/31940/stat : 31940 (java) S 31923 31925 31870 0 -1 4202560 6145 0 0 0 129 0 0 0 15 0 22 0 608776005 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31941] ppid=31923 vsize=15765340 CPUtime=1.28 cores=1,3,5,7
/proc/31925/task/31941/stat : 31941 (java) S 31923 31925 31870 0 -1 4202560 7078 0 0 0 128 0 0 0 16 0 22 0 608776005 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31942] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31942/stat : 31942 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31943] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31943/stat : 31943 (java) S 31923 31925 31870 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 608776005 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31948] ppid=31923 vsize=15765340 CPUtime=1133.49 cores=1,3,5,7
/proc/31925/task/31948/stat : 31948 (java) R 31923 31925 31870 0 -1 4202560 11583 0 0 0 113348 1 0 0 25 0 22 0 608776309 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31925/tid=31949] ppid=31923 vsize=15765340 CPUtime=1153.07 cores=1,3,5,7
/proc/31925/task/31949/stat : 31949 (java) R 31923 31925 31870 0 -1 4202560 9076 0 0 0 115305 2 0 0 25 0 22 0 608776309 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31925/tid=31950] ppid=31923 vsize=15765340 CPUtime=1146.32 cores=1,3,5,7
/proc/31925/task/31950/stat : 31950 (java) R 31923 31925 31870 0 -1 4202560 16085 0 0 0 114630 2 0 0 25 0 22 0 608776309 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506082598 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31925/tid=31951] ppid=31923 vsize=15765340 CPUtime=1146.95 cores=1,3,5,7
/proc/31925/task/31951/stat : 31951 (java) R 31923 31925 31870 0 -1 4202560 11635 0 0 0 114693 2 0 0 25 0 22 0 608776309 16143708160 442302 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912505601265 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4630.94
Current children cumulated vsize (KiB) 15765340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1224.7 s]
/proc/loadavg: 7.76 8.02 7.96 9/220 32045
/proc/meminfo: memFree=28707892/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15765340 CPUtime=4800.07 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 1646650 0 1 0 479716 291 0 0 25 0 22 0 608776001 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3941335 417415 2294 9 0 3932054 0
[pid=31925/tid=31926] ppid=31923 vsize=15765340 CPUtime=14.15 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) S 31923 31925 31870 0 -1 4202560 127859 0 1 0 1399 16 0 0 25 0 22 0 608776001 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31928] ppid=31923 vsize=15765340 CPUtime=4.4 cores=1,3,5,7
/proc/31925/task/31928/stat : 31928 (java) S 31923 31925 31870 0 -1 4202560 181402 0 0 0 410 30 0 0 15 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31929] ppid=31923 vsize=15765340 CPUtime=4.24 cores=1,3,5,7
/proc/31925/task/31929/stat : 31929 (java) S 31923 31925 31870 0 -1 4202560 184161 0 0 0 394 30 0 0 16 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31930] ppid=31923 vsize=15765340 CPUtime=4.05 cores=1,3,5,7
/proc/31925/task/31930/stat : 31930 (java) S 31923 31925 31870 0 -1 4202560 177337 0 0 0 377 28 0 0 16 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31931] ppid=31923 vsize=15765340 CPUtime=4.26 cores=1,3,5,7
/proc/31925/task/31931/stat : 31931 (java) S 31923 31925 31870 0 -1 4202560 200847 0 0 0 392 34 0 0 16 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31932] ppid=31923 vsize=15765340 CPUtime=4.03 cores=1,3,5,7
/proc/31925/task/31932/stat : 31932 (java) S 31923 31925 31870 0 -1 4202560 169427 0 0 0 376 27 0 0 16 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31933] ppid=31923 vsize=15765340 CPUtime=4.24 cores=1,3,5,7
/proc/31925/task/31933/stat : 31933 (java) S 31923 31925 31870 0 -1 4202560 188378 0 0 0 392 32 0 0 15 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31934] ppid=31923 vsize=15765340 CPUtime=3.99 cores=1,3,5,7
/proc/31925/task/31934/stat : 31934 (java) S 31923 31925 31870 0 -1 4202560 182331 0 0 0 370 29 0 0 15 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31935] ppid=31923 vsize=15765340 CPUtime=4.04 cores=1,3,5,7
/proc/31925/task/31935/stat : 31935 (java) S 31923 31925 31870 0 -1 4202560 165000 0 0 0 378 26 0 0 15 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31936] ppid=31923 vsize=15765340 CPUtime=2.34 cores=1,3,5,7
/proc/31925/task/31936/stat : 31936 (java) S 31923 31925 31870 0 -1 4202560 6813 0 0 0 212 22 0 0 15 0 22 0 608776003 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31937] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31937/stat : 31937 (java) S 31923 31925 31870 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608776003 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31938] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31938/stat : 31938 (java) S 31923 31925 31870 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608776003 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31939] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31939/stat : 31939 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296749489 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31940] ppid=31923 vsize=15765340 CPUtime=1.29 cores=1,3,5,7
/proc/31925/task/31940/stat : 31940 (java) S 31923 31925 31870 0 -1 4202560 6145 0 0 0 129 0 0 0 15 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31941] ppid=31923 vsize=15765340 CPUtime=1.28 cores=1,3,5,7
/proc/31925/task/31941/stat : 31941 (java) S 31923 31925 31870 0 -1 4202560 7078 0 0 0 128 0 0 0 16 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31942] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31942/stat : 31942 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31943] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31943/stat : 31943 (java) S 31923 31925 31870 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31948] ppid=31923 vsize=15765340 CPUtime=1175.49 cores=1,3,5,7
/proc/31925/task/31948/stat : 31948 (java) R 31923 31925 31870 0 -1 4202560 11592 0 0 0 117548 1 0 0 25 0 22 0 608776309 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506082466 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31925/tid=31949] ppid=31923 vsize=15765340 CPUtime=1194.96 cores=1,3,5,7
/proc/31925/task/31949/stat : 31949 (java) R 31923 31925 31870 0 -1 4202560 9083 0 0 0 119494 2 0 0 25 0 22 0 608776309 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506105277 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31925/tid=31950] ppid=31923 vsize=15765340 CPUtime=1188.18 cores=1,3,5,7
/proc/31925/task/31950/stat : 31950 (java) R 31923 31925 31870 0 -1 4202560 16091 0 0 0 118816 2 0 0 25 0 22 0 608776309 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506305763 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31925/tid=31951] ppid=31923 vsize=15765340 CPUtime=1188.94 cores=1,3,5,7
/proc/31925/task/31951/stat : 31951 (java) R 31923 31925 31870 0 -1 4202560 11649 0 0 0 118892 2 0 0 25 0 22 0 608776309 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506367151 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 15765340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1224.7 s]
/proc/loadavg: 7.76 8.02 7.96 9/220 32045
/proc/meminfo: memFree=28707892/32951124 swapFree=67103364/67111528
[pid=31925] ppid=31923 vsize=15765340 CPUtime=4800.07 cores=1,3,5,7
/proc/31925/stat : 31925 (java) S 31923 31925 31870 0 -1 4202496 1646650 0 1 0 479716 291 0 0 25 0 22 0 608776001 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31925/statm: 3941335 417415 2294 9 0 3932054 0
[pid=31925/tid=31926] ppid=31923 vsize=15765340 CPUtime=14.15 cores=1,3,5,7
/proc/31925/task/31926/stat : 31926 (java) S 31923 31925 31870 0 -1 4202560 127859 0 1 0 1399 16 0 0 25 0 22 0 608776001 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31928] ppid=31923 vsize=15765340 CPUtime=4.4 cores=1,3,5,7
/proc/31925/task/31928/stat : 31928 (java) S 31923 31925 31870 0 -1 4202560 181402 0 0 0 410 30 0 0 15 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31929] ppid=31923 vsize=15765340 CPUtime=4.24 cores=1,3,5,7
/proc/31925/task/31929/stat : 31929 (java) S 31923 31925 31870 0 -1 4202560 184161 0 0 0 394 30 0 0 16 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31930] ppid=31923 vsize=15765340 CPUtime=4.05 cores=1,3,5,7
/proc/31925/task/31930/stat : 31930 (java) S 31923 31925 31870 0 -1 4202560 177337 0 0 0 377 28 0 0 16 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31931] ppid=31923 vsize=15765340 CPUtime=4.26 cores=1,3,5,7
/proc/31925/task/31931/stat : 31931 (java) S 31923 31925 31870 0 -1 4202560 200847 0 0 0 392 34 0 0 16 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31932] ppid=31923 vsize=15765340 CPUtime=4.03 cores=1,3,5,7
/proc/31925/task/31932/stat : 31932 (java) S 31923 31925 31870 0 -1 4202560 169427 0 0 0 376 27 0 0 16 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31933] ppid=31923 vsize=15765340 CPUtime=4.24 cores=1,3,5,7
/proc/31925/task/31933/stat : 31933 (java) S 31923 31925 31870 0 -1 4202560 188378 0 0 0 392 32 0 0 15 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31934] ppid=31923 vsize=15765340 CPUtime=3.99 cores=1,3,5,7
/proc/31925/task/31934/stat : 31934 (java) S 31923 31925 31870 0 -1 4202560 182331 0 0 0 370 29 0 0 15 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31935] ppid=31923 vsize=15765340 CPUtime=4.04 cores=1,3,5,7
/proc/31925/task/31935/stat : 31935 (java) S 31923 31925 31870 0 -1 4202560 165000 0 0 0 378 26 0 0 15 0 22 0 608776002 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31936] ppid=31923 vsize=15765340 CPUtime=2.34 cores=1,3,5,7
/proc/31925/task/31936/stat : 31936 (java) S 31923 31925 31870 0 -1 4202560 6813 0 0 0 212 22 0 0 15 0 22 0 608776003 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31937] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31937/stat : 31937 (java) S 31923 31925 31870 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608776003 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31938] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31938/stat : 31938 (java) S 31923 31925 31870 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608776003 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31939] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31939/stat : 31939 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296749489 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31940] ppid=31923 vsize=15765340 CPUtime=1.29 cores=1,3,5,7
/proc/31925/task/31940/stat : 31940 (java) S 31923 31925 31870 0 -1 4202560 6145 0 0 0 129 0 0 0 15 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=31925/tid=31941] ppid=31923 vsize=15765340 CPUtime=1.28 cores=1,3,5,7
/proc/31925/task/31941/stat : 31941 (java) S 31923 31925 31870 0 -1 4202560 7078 0 0 0 128 0 0 0 16 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=31925/tid=31942] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31942/stat : 31942 (java) S 31923 31925 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296741785 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=31925/tid=31943] ppid=31923 vsize=15765340 CPUtime=0 cores=1,3,5,7
/proc/31925/task/31943/stat : 31943 (java) S 31923 31925 31870 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 608776005 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 224296742400 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=31925/tid=31948] ppid=31923 vsize=15765340 CPUtime=1175.49 cores=1,3,5,7
/proc/31925/task/31948/stat : 31948 (java) R 31923 31925 31870 0 -1 4202560 11592 0 0 0 117548 1 0 0 25 0 22 0 608776309 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506082466 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31925/tid=31949] ppid=31923 vsize=15765340 CPUtime=1194.96 cores=1,3,5,7
/proc/31925/task/31949/stat : 31949 (java) R 31923 31925 31870 0 -1 4202560 9083 0 0 0 119494 2 0 0 25 0 22 0 608776309 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506105277 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31925/tid=31950] ppid=31923 vsize=15765340 CPUtime=1188.18 cores=1,3,5,7
/proc/31925/task/31950/stat : 31950 (java) R 31923 31925 31870 0 -1 4202560 16091 0 0 0 118816 2 0 0 25 0 22 0 608776309 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506305763 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31925/tid=31951] ppid=31923 vsize=15765340 CPUtime=1188.94 cores=1,3,5,7
/proc/31925/task/31951/stat : 31951 (java) R 31923 31925 31870 0 -1 4202560 11649 0 0 0 118892 2 0 0 25 0 22 0 608776309 16143708160 417415 33554432000 1073741824 1073778376 140733250477184 18446744073709551615 46912506367151 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 15765340
Child status: 143
Real time (s): 1224.77
CPU time (s): 4800.16
CPU user time (s): 4797.19
CPU system time (s): 2.97355
CPU usage (%): 391.922
Max. virtual memory (cumulated for all children) (KiB): 15765340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.19
system time used= 2.97355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1646676
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= 42181
involuntary context switches= 66658
runsolver used 2.13967 second user time and 4.5993 second system time
The end