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-3289483-1304081593/watcher-3289483-1304081593 -o /tmp/evaluation-result-3289483-1304081593/solver-3289483-1304081593 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3289483-1304081593.cnf
running on 4 cores: 0,2,4,6
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: 8.14 8.10 8.03 2/174 6860
/proc/meminfo: memFree=31710104/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=11716 CPUtime=0 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) R 6858 6860 6426 0 -1 4202496 1006 1261 0 0 0 0 0 0 25 0 1 0 500574971 11997184 935 33554432000 4194304 4417332 140734304919888 18446744073709551615 270338002526 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/6860/statm: 2929 935 147 55 0 815 0
[startup+0.082912 s]
/proc/loadavg: 8.14 8.10 8.03 2/174 6860
/proc/meminfo: memFree=31710104/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=27212 CPUtime=0.07 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) R 6858 6860 6426 0 -1 4202496 4930 1261 0 0 7 0 0 0 25 0 1 0 500574971 27865088 4826 33554432000 4194304 4417332 140734304919888 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/6860/statm: 6803 4826 148 55 0 4689 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27212
[startup+0.10085 s]
/proc/loadavg: 8.14 8.10 8.03 2/174 6860
/proc/meminfo: memFree=31710104/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=65900 CPUtime=0.1 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 5217 1261 0 0 10 0 0 0 25 0 5 0 500574971 67481600 4278 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 16475 4278 164 55 0 14361 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 65900
[startup+0.300807 s]
/proc/loadavg: 8.14 8.10 8.03 2/174 6860
/proc/meminfo: memFree=31710104/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=133508 CPUtime=0.91 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 9873 1261 0 0 90 1 0 0 25 0 5 0 500574971 136712192 5523 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 33377 5523 174 55 0 31263 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 133508
[startup+0.700698 s]
/proc/loadavg: 8.14 8.10 8.03 2/174 6860
/proc/meminfo: memFree=31710104/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=134192 CPUtime=2.51 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 11519 1261 0 0 250 1 0 0 25 0 5 0 500574971 137412608 5694 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 33548 5694 174 55 0 31434 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 134192
[startup+1.50054 s]
/proc/loadavg: 8.14 8.10 8.03 9/186 6885
/proc/meminfo: memFree=31599208/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=145508 CPUtime=5.7 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 16274 1261 0 0 568 2 0 0 25 0 5 0 500574971 149000192 8754 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 36377 8754 181 55 0 34263 0
[pid=6860/tid=6867] ppid=6858 vsize=145508 CPUtime=1.4 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 2915 1261 0 0 140 0 0 0 25 0 5 0 500574980 149000192 8754 33554432000 4194304 4417332 140734304919888 18446744073709551615 4346401 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=145508 CPUtime=1.39 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 4032 1261 0 0 139 0 0 0 25 0 5 0 500574980 149000192 8754 33554432000 4194304 4417332 140734304919888 18446744073709551615 4346399 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=145508 CPUtime=1.4 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 3358 1261 0 0 140 0 0 0 25 0 5 0 500574980 149000192 8754 33554432000 4194304 4417332 140734304919888 18446744073709551615 4335834 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=145508 CPUtime=1.4 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 1027 1261 0 0 140 0 0 0 25 0 5 0 500574980 149000192 8754 33554432000 4194304 4417332 140734304919888 18446744073709551615 4232648 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 145508
[startup+3.10022 s]
/proc/loadavg: 8.13 8.10 8.03 9/186 6885
/proc/meminfo: memFree=31604064/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=142948 CPUtime=12.09 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 17927 1261 0 0 1207 2 0 0 25 0 5 0 500574971 146378752 8126 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 35737 8126 181 55 0 33623 0
[pid=6860/tid=6867] ppid=6858 vsize=142948 CPUtime=3 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 3449 1261 0 0 300 0 0 0 25 0 5 0 500574980 146378752 8126 33554432000 4194304 4417332 140734304919888 18446744073709551615 4250697 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=142948 CPUtime=2.98 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 4672 1261 0 0 298 0 0 0 25 0 5 0 500574980 146378752 8126 33554432000 4194304 4417332 140734304919888 18446744073709551615 4353607 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=142948 CPUtime=3 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 3369 1261 0 0 300 0 0 0 25 0 5 0 500574980 146378752 8126 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=142948 CPUtime=3 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 1495 1261 0 0 300 0 0 0 25 0 5 0 500574980 146378752 8126 33554432000 4194304 4417332 140734304919888 18446744073709551615 4353502 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 142948
[startup+6.30059 s]
/proc/loadavg: 8.13 8.10 8.03 9/186 6885
/proc/meminfo: memFree=31549132/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=151844 CPUtime=24.88 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 20167 1261 0 0 2486 2 0 0 25 0 5 0 500574971 155488256 10350 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 37961 10350 181 55 0 35847 0
[pid=6860/tid=6867] ppid=6858 vsize=151844 CPUtime=6.2 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 3966 1261 0 0 620 0 0 0 25 0 5 0 500574980 155488256 10350 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364487 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=151844 CPUtime=6.17 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 4672 1261 0 0 617 0 0 0 25 0 5 0 500574980 155488256 10350 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365846 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=151844 CPUtime=6.2 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 4116 1261 0 0 620 0 0 0 25 0 5 0 500574980 155488256 10350 33554432000 4194304 4417332 140734304919888 18446744073709551615 4236593 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=151844 CPUtime=6.2 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 2471 1261 0 0 620 0 0 0 25 0 5 0 500574980 155488256 10350 33554432000 4194304 4417332 140734304919888 18446744073709551615 4236689 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 151844
[startup+12.7003 s]
/proc/loadavg: 8.11 8.09 8.03 9/186 6886
/proc/meminfo: memFree=31526984/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=168696 CPUtime=50.44 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 27543 1261 0 0 5041 3 0 0 25 0 5 0 500574971 172744704 14563 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 42174 14563 181 55 0 40060 0
[pid=6860/tid=6867] ppid=6858 vsize=168696 CPUtime=12.6 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 4483 1261 0 0 1260 0 0 0 25 0 5 0 500574980 172744704 14563 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364973 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=168696 CPUtime=12.53 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 5944 1261 0 0 1253 0 0 0 25 0 5 0 500574980 172744704 14563 33554432000 4194304 4417332 140734304919888 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=168696 CPUtime=12.59 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 5654 1261 0 0 1259 0 0 0 25 0 5 0 500574980 172744704 14563 33554432000 4194304 4417332 140734304919888 18446744073709551615 4310217 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=168696 CPUtime=12.59 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 6520 1261 0 0 1259 0 0 0 25 0 5 0 500574980 172744704 14563 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 168696
[startup+25.5008 s]
/proc/loadavg: 8.09 8.09 8.03 9/186 6886
/proc/meminfo: memFree=31511356/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=172472 CPUtime=101.59 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 38399 1261 0 0 10154 5 0 0 25 0 5 0 500574971 176611328 15527 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 43118 15527 181 55 0 41004 0
[pid=6860/tid=6867] ppid=6858 vsize=172472 CPUtime=25.4 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 7024 1261 0 0 2540 0 0 0 25 0 5 0 500574980 176611328 15527 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364938 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=172472 CPUtime=25.27 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 9190 1261 0 0 2527 0 0 0 25 0 5 0 500574980 176611328 15527 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=172472 CPUtime=25.39 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 6823 1261 0 0 2539 0 0 0 25 0 5 0 500574980 176611328 15527 33554432000 4194304 4417332 140734304919888 18446744073709551615 4316282 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=172472 CPUtime=25.4 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 10420 1261 0 0 2539 1 0 0 25 0 5 0 500574980 176611328 15527 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 172472
[startup+51.1007 s]
/proc/loadavg: 8.06 8.08 8.03 9/186 6886
/proc/meminfo: memFree=31491244/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=197940 CPUtime=203.86 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 72039 1261 0 0 20375 11 0 0 25 0 5 0 500574971 202690560 21880 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 49485 21880 181 55 0 47371 0
[pid=6860/tid=6867] ppid=6858 vsize=197940 CPUtime=51 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 15512 1261 0 0 5099 1 0 0 25 0 5 0 500574980 202690560 21880 33554432000 4194304 4417332 140734304919888 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=197940 CPUtime=50.74 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 19765 1261 0 0 5071 3 0 0 25 0 5 0 500574980 202690560 21880 33554432000 4194304 4417332 140734304919888 18446744073709551615 4264942 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=197940 CPUtime=51 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 12462 1261 0 0 5098 2 0 0 25 0 5 0 500574980 202690560 21880 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=197940 CPUtime=51 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 19358 1261 0 0 5097 3 0 0 25 0 5 0 500574980 202690560 21880 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 197940
[startup+102.307 s]
/proc/loadavg: 8.10 8.08 8.03 9/186 6888
/proc/meminfo: memFree=31481292/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=208292 CPUtime=408.41 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 141729 1261 0 0 40817 24 0 0 25 0 5 0 500574971 213291008 24500 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 52073 24500 181 55 0 49959 0
[pid=6860/tid=6867] ppid=6858 vsize=208292 CPUtime=102.21 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 34115 1261 0 0 10216 5 0 0 25 0 5 0 500574980 213291008 24500 33554432000 4194304 4417332 140734304919888 18446744073709551615 4357910 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=208292 CPUtime=101.68 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 37507 1261 0 0 10161 7 0 0 25 0 5 0 500574980 213291008 24500 33554432000 4194304 4417332 140734304919888 18446744073709551615 4355173 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=208292 CPUtime=102.21 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 28236 1261 0 0 10216 5 0 0 25 0 5 0 500574980 213291008 24500 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=208292 CPUtime=102.2 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 36929 1261 0 0 10215 5 0 0 25 0 5 0 500574980 213291008 24500 33554432000 4194304 4417332 140734304919888 18446744073709551615 4353461 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 208292
[startup+162.301 s]
/proc/loadavg: 8.14 8.10 8.03 9/186 6890
/proc/meminfo: memFree=31411464/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=230668 CPUtime=648.08 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 223081 1261 0 0 64770 38 0 0 25 0 5 0 500574971 236204032 30062 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 57667 30062 181 55 0 55553 0
[pid=6860/tid=6867] ppid=6858 vsize=230668 CPUtime=162.2 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 52741 1261 0 0 16212 8 0 0 25 0 5 0 500574980 236204032 30062 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=230668 CPUtime=161.35 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 61505 1261 0 0 16125 10 0 0 25 0 5 0 500574980 236204032 30062 33554432000 4194304 4417332 140734304919888 18446744073709551615 4271592 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=230668 CPUtime=162.2 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 47832 1261 0 0 16212 8 0 0 25 0 5 0 500574980 236204032 30062 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=230668 CPUtime=162.21 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 56061 1261 0 0 16212 9 0 0 25 0 5 0 500574980 236204032 30062 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365869 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.08
Current children cumulated vsize (KiB) 230668
################
# More data... #
################
[pid=6860/tid=6868] ppid=6858 vsize=386772 CPUtime=698.4 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 209463 1261 0 0 69804 36 0 0 25 0 5 0 500574980 396054528 69088 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=386772 CPUtime=702.22 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 183707 1261 0 0 70191 31 0 0 25 0 5 0 500574980 396054528 69088 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=386772 CPUtime=702.22 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 193896 1261 0 0 70191 31 0 0 25 0 5 0 500574980 396054528 69088 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.19
Current children cumulated vsize (KiB) 386772
[startup+762.307 s]
/proc/loadavg: 8.07 8.08 8.05 9/186 6915
/proc/meminfo: memFree=31117400/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=430464 CPUtime=3044.91 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 833427 1261 0 0 304351 140 0 0 25 0 5 0 500574971 440795136 80011 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 107616 80011 181 55 0 105502 0
[pid=6860/tid=6867] ppid=6858 vsize=430464 CPUtime=762.24 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 201347 1261 0 0 76191 33 0 0 25 0 5 0 500574980 440795136 80011 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=430464 CPUtime=758.08 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 223599 1261 0 0 75770 38 0 0 25 0 5 0 500574980 440795136 80011 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=430464 CPUtime=762.23 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 197678 1261 0 0 76190 33 0 0 25 0 5 0 500574980 440795136 80011 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=430464 CPUtime=762.23 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 205861 1261 0 0 76190 33 0 0 25 0 5 0 500574980 440795136 80011 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365037 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.91
Current children cumulated vsize (KiB) 430464
[startup+822.301 s]
/proc/loadavg: 7.74 8.02 8.03 5/177 6933
/proc/meminfo: memFree=31390604/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=432852 CPUtime=3284.56 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 871424 1261 0 0 328310 146 0 0 25 0 5 0 500574971 443240448 80608 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 108213 80608 181 55 0 106099 0
[pid=6860/tid=6867] ppid=6858 vsize=432852 CPUtime=822.24 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 211901 1261 0 0 82189 35 0 0 25 0 5 0 500574980 443240448 80608 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364502 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=432852 CPUtime=817.75 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 226356 1261 0 0 81735 40 0 0 25 0 5 0 500574980 443240448 80608 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=432852 CPUtime=822.23 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 211382 1261 0 0 82188 35 0 0 25 0 5 0 500574980 443240448 80608 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364631 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=432852 CPUtime=822.23 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 216843 1261 0 0 82189 34 0 0 25 0 5 0 500574980 443240448 80608 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.56
Current children cumulated vsize (KiB) 432852
[startup+882.301 s]
/proc/loadavg: 5.45 7.30 7.78 5/176 6935
/proc/meminfo: memFree=31357508/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=467648 CPUtime=3524.29 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 912546 1261 0 0 352275 154 0 0 25 0 5 0 500574971 478871552 89307 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 116912 89307 181 55 0 114798 0
[pid=6860/tid=6867] ppid=6858 vsize=467648 CPUtime=882.24 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 220172 1261 0 0 88188 36 0 0 25 0 5 0 500574980 478871552 89307 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=467648 CPUtime=877.47 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 240537 1261 0 0 87705 42 0 0 25 0 5 0 500574980 478871552 89307 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=467648 CPUtime=882.23 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 221266 1261 0 0 88186 37 0 0 25 0 5 0 500574980 478871552 89307 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=467648 CPUtime=882.23 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 225629 1261 0 0 88187 36 0 0 25 0 5 0 500574980 478871552 89307 33554432000 4194304 4417332 140734304919888 18446744073709551615 4353461 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.29
Current children cumulated vsize (KiB) 467648
[startup+942.301 s]
/proc/loadavg: 4.61 6.71 7.54 5/176 6936
/proc/meminfo: memFree=31312688/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=495580 CPUtime=3764.03 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 964093 1261 0 0 376242 161 0 0 25 0 5 0 500574971 507473920 96290 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 123895 96290 181 55 0 121781 0
[pid=6860/tid=6867] ppid=6858 vsize=495580 CPUtime=942.24 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 240672 1261 0 0 94185 39 0 0 25 0 5 0 500574980 507473920 96290 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=495580 CPUtime=937.19 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 245742 1261 0 0 93676 43 0 0 25 0 5 0 500574980 507473920 96290 33554432000 4194304 4417332 140734304919888 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=495580 CPUtime=942.23 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 234263 1261 0 0 94185 38 0 0 25 0 5 0 500574980 507473920 96290 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=495580 CPUtime=942.24 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 238474 1261 0 0 94186 38 0 0 25 0 5 0 500574980 507473920 96290 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 495580
[startup+1002.3 s]
/proc/loadavg: 4.29 6.23 7.32 5/176 6938
/proc/meminfo: memFree=31264780/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=560400 CPUtime=4003.75 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 1024652 1261 0 0 400205 170 0 0 25 0 5 0 500574971 573849600 112495 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 140100 112495 181 55 0 137986 0
[pid=6860/tid=6867] ppid=6858 vsize=560400 CPUtime=1002.24 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 248869 1261 0 0 100184 40 0 0 25 0 5 0 500574980 573849600 112495 33554432000 4194304 4417332 140734304919888 18446744073709551615 4356907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=560400 CPUtime=996.92 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 269110 1261 0 0 99645 47 0 0 25 0 5 0 500574980 573849600 112495 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=560400 CPUtime=1002.24 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 252137 1261 0 0 100182 42 0 0 25 0 5 0 500574980 573849600 112495 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=560400 CPUtime=1002.24 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 249594 1261 0 0 100185 39 0 0 25 0 5 0 500574980 573849600 112495 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 560400
[startup+1062.3 s]
/proc/loadavg: 4.10 5.82 7.11 5/176 6940
/proc/meminfo: memFree=31270036/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=555164 CPUtime=4243.49 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 1075164 1261 0 0 424172 177 0 0 25 0 5 0 500574971 568487936 111186 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 138791 111186 181 55 0 136677 0
[pid=6860/tid=6867] ppid=6858 vsize=555164 CPUtime=1062.25 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 256386 1261 0 0 106184 41 0 0 25 0 5 0 500574980 568487936 111186 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=555164 CPUtime=1056.65 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 290925 1261 0 0 105615 50 0 0 25 0 5 0 500574980 568487936 111186 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=555164 CPUtime=1062.24 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 260549 1261 0 0 106181 43 0 0 25 0 5 0 500574980 568487936 111186 33554432000 4194304 4417332 140734304919888 18446744073709551615 4366038 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=555164 CPUtime=1062.24 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 262362 1261 0 0 106183 41 0 0 25 0 5 0 500574980 568487936 111186 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364575 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 555164
[startup+1122.3 s]
/proc/loadavg: 4.04 5.49 6.92 5/176 6941
/proc/meminfo: memFree=31268736/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=556364 CPUtime=4483.22 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 1105866 1261 0 0 448140 182 0 0 25 0 5 0 500574971 569716736 111486 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 139091 111486 181 55 0 136977 0
[pid=6860/tid=6867] ppid=6858 vsize=556364 CPUtime=1122.25 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 258260 1261 0 0 112183 42 0 0 25 0 5 0 500574980 569716736 111486 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364599 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=556364 CPUtime=1116.37 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 290925 1261 0 0 111587 50 0 0 25 0 5 0 500574980 569716736 111486 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=556364 CPUtime=1122.24 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 277412 1261 0 0 112178 46 0 0 25 0 5 0 500574980 569716736 111486 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=556364 CPUtime=1122.24 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 274327 1261 0 0 112181 43 0 0 25 0 5 0 500574980 569716736 111486 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365094 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.22
Current children cumulated vsize (KiB) 556364
[startup+1182.3 s]
/proc/loadavg: 4.01 5.21 6.73 5/176 6943
/proc/meminfo: memFree=31229380/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=595556 CPUtime=4722.95 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 1144276 1261 0 0 472107 188 0 0 25 0 5 0 500574971 609849344 121284 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 148889 121284 181 55 0 146775 0
[pid=6860/tid=6867] ppid=6858 vsize=595556 CPUtime=1182.25 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 275729 1261 0 0 118181 44 0 0 25 0 5 0 500574980 609849344 121284 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=595556 CPUtime=1176.09 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 290925 1261 0 0 117559 50 0 0 25 0 5 0 500574980 609849344 121284 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365963 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=595556 CPUtime=1182.25 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 287932 1261 0 0 118177 48 0 0 25 0 5 0 500574980 609849344 121284 33554432000 4194304 4417332 140734304919888 18446744073709551615 4357493 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=595556 CPUtime=1182.24 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 284748 1261 0 0 118180 44 0 0 25 0 5 0 500574980 609849344 121284 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.95
Current children cumulated vsize (KiB) 595556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.6 s]
/proc/loadavg: 4.01 5.13 6.67 5/176 6943
/proc/meminfo: memFree=31256884/32951124 swapFree=67111356/67111528
[pid=6860] ppid=6858 vsize=568496 CPUtime=4800.08 cores=0,2,4,6
/proc/6860/stat : 6860 (plingeling) S 6858 6860 6426 0 -1 4202496 1159448 1261 0 0 479817 191 0 0 25 0 5 0 500574971 582139904 114519 33554432000 4194304 4417332 140734304919888 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6860/statm: 142124 114519 181 55 0 140010 0
[pid=6860/tid=6867] ppid=6858 vsize=568496 CPUtime=1201.56 cores=0,2,4,6
/proc/6860/task/6867/stat : 6867 (plingeling) R 6858 6860 6426 0 -1 4202560 275729 1261 0 0 120112 44 0 0 25 0 5 0 500574980 582139904 114519 33554432000 4194304 4417332 140734304919888 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6860/tid=6868] ppid=6858 vsize=568496 CPUtime=1195.3 cores=0,2,4,6
/proc/6860/task/6868/stat : 6868 (plingeling) R 6858 6860 6426 0 -1 4202560 300657 1261 0 0 119479 51 0 0 25 0 5 0 500574980 582139904 114519 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6860/tid=6869] ppid=6858 vsize=568496 CPUtime=1201.55 cores=0,2,4,6
/proc/6860/task/6869/stat : 6869 (plingeling) R 6858 6860 6426 0 -1 4202560 290781 1261 0 0 120107 48 0 0 25 0 5 0 500574980 582139904 114519 33554432000 4194304 4417332 140734304919888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6860/tid=6870] ppid=6858 vsize=568496 CPUtime=1201.55 cores=0,2,4,6
/proc/6860/task/6870/stat : 6870 (plingeling) R 6858 6860 6426 0 -1 4202560 287339 1261 0 0 120110 45 0 0 25 0 5 0 500574980 582139904 114519 33554432000 4194304 4417332 140734304919888 18446744073709551615 4365094 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 568496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.14
CPU user time (s): 4798.2
CPU system time (s): 1.9377
CPU usage (%): 399.468
Max. virtual memory (cumulated for all children) (KiB): 635648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.2
system time used= 1.93771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1160709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 36263
runsolver used 1.84072 second user time and 4.30434 second system time
The end