runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3394918-1306109059/watcher-3394918-1306109059 -o /tmp/evaluation-result-3394918-1306109059/solver-3394918-1306109059 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3394918-1306109059.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.00 7.97 7.97 1/408 1422
/proc/meminfo: memFree=25220576/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=8724 CPUtime=0 cores=0-7
/proc/1422/stat : 1422 (plingeling) R 1420 1422 1170 0 -1 4202496 243 1260 0 0 0 0 0 0 18 0 1 0 178515342 8933376 173 33554432000 4194304 4417452 140735215164160 18446744073709551615 218880225989 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1422/statm: 2181 175 136 55 0 67 0
[pid=1422/tid=1428] ppid=1420 vsize=159076 CPUtime=0 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 80 1260 0 0 0 0 0 0 18 0 9 0 178515343 162893824 962 33554432000 4194304 4417452 140735215164160 18446744073709551615 218880259053 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=159076 CPUtime=0 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) S 1420 1422 1170 0 -1 4202560 1 1260 0 0 0 0 0 0 19 0 9 0 178515343 162893824 962 33554432000 4194304 4417452 140735215164160 18446744073709551615 218880670190 0 0 4096 17442 18446604443223684096 0 0 -1 6 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=159076 CPUtime=0 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 3 1260 0 0 0 0 0 0 19 0 9 0 178515343 162893824 962 33554432000 4194304 4417452 140735215164160 18446744073709551615 4255456 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=159076 CPUtime=0 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 1 1260 0 0 0 0 0 0 19 0 9 0 178515343 162893824 962 33554432000 4194304 4417452 140735215164160 18446744073709551615 218880670190 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=159076 CPUtime=0 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 33 1260 0 0 0 0 0 0 20 0 9 0 178515343 162893824 962 33554432000 4194304 4417452 140735215164160 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=159076 CPUtime=0 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 34 1260 0 0 0 0 0 0 20 0 9 0 178515343 162893824 962 33554432000 4194304 4417452 140735215164160 18446744073709551615 4278200 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=159076 CPUtime=0 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 1 1260 0 0 0 0 0 0 19 0 9 0 178515343 162893824 962 33554432000 4194304 4417452 140735215164160 18446744073709551615 4259674 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=159076 CPUtime=0 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 37 1260 0 0 0 0 0 0 18 0 9 0 178515343 162893824 963 33554432000 4194304 4417452 140735215164160 18446744073709551615 4297342 0 0 4096 17442 0 0 0 -1 1 0 0 0
[startup+0.0641329 s]
/proc/loadavg: 8.00 7.97 7.97 1/408 1422
/proc/meminfo: memFree=25220576/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=162796 CPUtime=0.39 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 2101 1260 0 0 39 0 0 0 18 0 9 0 178515342 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 40699 1923 179 55 0 38585 0
[pid=1422/tid=1428] ppid=1420 vsize=162796 CPUtime=0.05 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 160 1260 0 0 5 0 0 0 18 0 9 0 178515343 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 4357714 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=162796 CPUtime=0.04 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 97 1260 0 0 4 0 0 0 18 0 9 0 178515343 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 4232705 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=162796 CPUtime=0.04 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 151 1260 0 0 4 0 0 0 20 0 9 0 178515343 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=162796 CPUtime=0.03 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 183 1260 0 0 3 0 0 0 20 0 9 0 178515343 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=162796 CPUtime=0.05 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 137 1260 0 0 5 0 0 0 20 0 9 0 178515343 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=162796 CPUtime=0.05 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 135 1260 0 0 5 0 0 0 20 0 9 0 178515343 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=162796 CPUtime=0.04 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 154 1260 0 0 4 0 0 0 18 0 9 0 178515343 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364903 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=162796 CPUtime=0.05 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 166 1260 0 0 5 0 0 0 18 0 9 0 178515343 166703104 1923 33554432000 4194304 4417452 140735215164160 18446744073709551615 4250623 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 162796
[startup+0.101126 s]
/proc/loadavg: 8.00 7.97 7.97 1/408 1422
/proc/meminfo: memFree=25220576/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=161916 CPUtime=0.68 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 2458 1260 0 0 68 0 0 0 18 0 9 0 178515342 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 40479 1737 179 55 0 38365 0
[pid=1422/tid=1428] ppid=1420 vsize=161916 CPUtime=0.08 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 175 1260 0 0 8 0 0 0 18 0 9 0 178515343 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 4236554 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=161916 CPUtime=0.08 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 122 1260 0 0 8 0 0 0 18 0 9 0 178515343 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366092 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=161916 CPUtime=0.07 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 173 1260 0 0 7 0 0 0 20 0 9 0 178515343 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 4251081 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=161916 CPUtime=0.07 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 272 1260 0 0 7 0 0 0 20 0 9 0 178515343 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=161916 CPUtime=0.08 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 185 1260 0 0 8 0 0 0 20 0 9 0 178515343 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=161916 CPUtime=0.08 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 183 1260 0 0 8 0 0 0 20 0 9 0 178515343 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=161916 CPUtime=0.08 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 230 1260 0 0 8 0 0 0 18 0 9 0 178515343 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=161916 CPUtime=0.08 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 200 1260 0 0 8 0 0 0 18 0 9 0 178515343 165801984 1737 33554432000 4194304 4417452 140735215164160 18446744073709551615 4250929 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 161916
[startup+0.301093 s]
/proc/loadavg: 8.00 7.97 7.97 1/408 1422
/proc/meminfo: memFree=25220576/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=166360 CPUtime=2.28 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 6335 1260 0 0 227 1 0 0 18 0 9 0 178515342 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 41590 2867 179 55 0 39476 0
[pid=1422/tid=1428] ppid=1420 vsize=166360 CPUtime=0.28 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 729 1260 0 0 28 0 0 0 18 0 9 0 178515343 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=166360 CPUtime=0.28 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 618 1260 0 0 28 0 0 0 18 0 9 0 178515343 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=166360 CPUtime=0.27 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 710 1260 0 0 27 0 0 0 20 0 9 0 178515343 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366130 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=166360 CPUtime=0.27 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 733 1260 0 0 27 0 0 0 20 0 9 0 178515343 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=166360 CPUtime=0.28 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 546 1260 0 0 28 0 0 0 20 0 9 0 178515343 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=166360 CPUtime=0.28 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 642 1260 0 0 28 0 0 0 20 0 9 0 178515343 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=166360 CPUtime=0.28 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 640 1260 0 0 28 0 0 0 18 0 9 0 178515343 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 18446744073699066094 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=166360 CPUtime=0.28 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 799 1260 0 0 28 0 0 0 18 0 9 0 178515343 170352640 2867 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 166360
[startup+0.701024 s]
/proc/loadavg: 8.00 7.97 7.97 1/408 1422
/proc/meminfo: memFree=25220576/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=172016 CPUtime=5.48 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 12781 1260 0 0 546 2 0 0 18 0 9 0 178515342 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 43004 4282 179 55 0 40890 0
[pid=1422/tid=1428] ppid=1420 vsize=172016 CPUtime=0.68 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 1547 1260 0 0 68 0 0 0 18 0 9 0 178515343 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=172016 CPUtime=0.68 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 1557 1260 0 0 68 0 0 0 18 0 9 0 178515343 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=172016 CPUtime=0.67 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 1508 1260 0 0 67 0 0 0 21 0 9 0 178515343 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366068 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=172016 CPUtime=0.67 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 1384 1260 0 0 67 0 0 0 21 0 9 0 178515343 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=172016 CPUtime=0.68 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 1380 1260 0 0 68 0 0 0 21 0 9 0 178515343 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=172016 CPUtime=0.68 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 1426 1260 0 0 68 0 0 0 21 0 9 0 178515343 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=172016 CPUtime=0.68 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 1492 1260 0 0 68 0 0 0 18 0 9 0 178515343 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=172016 CPUtime=0.68 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 1569 1260 0 0 68 0 0 0 18 0 9 0 178515343 176144384 4282 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 172016
[startup+1.50088 s]
/proc/loadavg: 8.00 7.97 7.97 9/417 1436
/proc/meminfo: memFree=25203028/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=178968 CPUtime=11.87 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 25486 1260 0 0 1182 5 0 0 18 0 9 0 178515342 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 44742 6020 179 55 0 42628 0
[pid=1422/tid=1428] ppid=1420 vsize=178968 CPUtime=1.48 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 3468 1260 0 0 148 0 0 0 20 0 9 0 178515343 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 4356802 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=178968 CPUtime=1.47 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 2965 1260 0 0 147 0 0 0 20 0 9 0 178515343 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364791 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=178968 CPUtime=1.45 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 3003 1260 0 0 145 0 0 0 23 0 9 0 178515343 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366813 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=178968 CPUtime=1.47 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 3084 1260 0 0 147 0 0 0 23 0 9 0 178515343 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=178968 CPUtime=1.48 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 2664 1260 0 0 148 0 0 0 23 0 9 0 178515343 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=178968 CPUtime=1.48 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 3097 1260 0 0 148 0 0 0 23 0 9 0 178515343 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 18446744073699065904 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=178968 CPUtime=1.47 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 3184 1260 0 0 147 0 0 0 20 0 9 0 178515343 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=178968 CPUtime=1.47 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 3103 1260 0 0 147 0 0 0 20 0 9 0 178515343 183263232 6020 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364699 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 178968
[startup+3.10061 s]
/proc/loadavg: 8.00 7.97 7.97 9/417 1436
/proc/meminfo: memFree=25192984/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=183664 CPUtime=24.65 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 48174 1260 0 0 2455 10 0 0 18 0 9 0 178515342 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 45916 7197 179 55 0 43802 0
[pid=1422/tid=1428] ppid=1420 vsize=183664 CPUtime=3.08 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 6373 1260 0 0 307 1 0 0 25 0 9 0 178515343 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=183664 CPUtime=3.07 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 5500 1260 0 0 307 0 0 0 25 0 9 0 178515343 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=183664 CPUtime=3.04 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 5698 1260 0 0 303 1 0 0 25 0 9 0 178515343 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=183664 CPUtime=3.06 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 5444 1260 0 0 306 0 0 0 25 0 9 0 178515343 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 4251107 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=183664 CPUtime=3.08 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 5526 1260 0 0 307 1 0 0 25 0 9 0 178515343 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=183664 CPUtime=3.08 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 6060 1260 0 0 307 1 0 0 25 0 9 0 178515343 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 4358947 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=183664 CPUtime=3.08 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 6183 1260 0 0 307 1 0 0 25 0 9 0 178515343 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=183664 CPUtime=3.08 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 6472 1260 0 0 307 1 0 0 25 0 9 0 178515343 188071936 7197 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 183664
[startup+6.30105 s]
/proc/loadavg: 8.08 7.98 7.97 9/417 1436
/proc/meminfo: memFree=25185376/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=193012 CPUtime=50.2 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 83135 1260 0 0 5004 16 0 0 18 0 9 0 178515342 197644288 9536 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 48253 9536 179 55 0 46139 0
################
# More data... #
################
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 858799 1260 0 0 472078 160 0 0 25 0 9 0 178515343 614088704 111329 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=599696 CPUtime=4722.25 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 932139 1260 0 0 472053 172 0 0 25 0 9 0 178515343 614088704 111329 33554432000 4194304 4417452 140735215164160 18446744073709551615 4251261 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=599696 CPUtime=4722.38 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 990180 1260 0 0 472055 183 0 0 25 0 9 0 178515343 614088704 111329 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=599696 CPUtime=4721.32 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 941515 1260 0 0 471959 173 0 0 25 0 9 0 178515343 614088704 111329 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=599696 CPUtime=4722.37 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 1045683 1260 0 0 472051 186 0 0 25 0 9 0 178515343 614088704 111329 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 37711.9
Current children cumulated vsize (KiB) 599696
[startup+4782.3 s]
/proc/loadavg: 8.09 8.09 8.03 9/417 1578
/proc/meminfo: memFree=24792852/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=583492 CPUtime=38191 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 7687422 1260 0 0 3817697 1401 0 0 18 0 9 0 178515342 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 145873 107279 179 55 0 143759 0
[pid=1422/tid=1428] ppid=1420 vsize=583492 CPUtime=4782.37 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 926513 1260 0 0 478067 170 0 0 25 0 9 0 178515343 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=583492 CPUtime=4780.73 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 961422 1260 0 0 477904 169 0 0 25 0 9 0 178515343 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=583492 CPUtime=4717.19 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 989375 1260 0 0 471543 176 0 0 25 0 9 0 178515343 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=583492 CPUtime=4782.37 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 864643 1260 0 0 478076 161 0 0 25 0 9 0 178515343 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=583492 CPUtime=4782.23 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 941371 1260 0 0 478050 173 0 0 25 0 9 0 178515343 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=583492 CPUtime=4782.37 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 995026 1260 0 0 478052 185 0 0 25 0 9 0 178515343 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=583492 CPUtime=4781.28 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 950639 1260 0 0 477954 174 0 0 25 0 9 0 178515343 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=583492 CPUtime=4782.36 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 1057515 1260 0 0 478047 189 0 0 25 0 9 0 178515343 597495808 107279 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38191
Current children cumulated vsize (KiB) 583492
[startup+4842.3 s]
/proc/loadavg: 8.06 8.08 8.03 9/417 1580
/proc/meminfo: memFree=24724132/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=652188 CPUtime=38670.2 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 7751316 1260 0 0 3865605 1411 0 0 18 0 9 0 178515342 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 163047 124453 179 55 0 160933 0
[pid=1422/tid=1428] ppid=1420 vsize=652188 CPUtime=4842.37 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 935350 1260 0 0 484066 171 0 0 25 0 9 0 178515343 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=652188 CPUtime=4840.73 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 966152 1260 0 0 483903 170 0 0 25 0 9 0 178515343 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=652188 CPUtime=4776.37 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 994932 1260 0 0 477460 177 0 0 25 0 9 0 178515343 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=652188 CPUtime=4842.37 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 879207 1260 0 0 484074 163 0 0 25 0 9 0 178515343 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=652188 CPUtime=4842.23 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 951205 1260 0 0 484048 175 0 0 25 0 9 0 178515343 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=652188 CPUtime=4842.37 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 1003509 1260 0 0 484051 186 0 0 25 0 9 0 178515343 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=652188 CPUtime=4841.27 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 955243 1260 0 0 483952 175 0 0 25 0 9 0 178515343 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=652188 CPUtime=4842.37 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 1064800 1260 0 0 484046 191 0 0 25 0 9 0 178515343 667840512 124453 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38670.2
Current children cumulated vsize (KiB) 652188
[startup+4902.3 s]
/proc/loadavg: 8.02 8.06 8.02 9/417 1582
/proc/meminfo: memFree=24789972/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=586240 CPUtime=39149.3 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 7804091 1260 0 0 3913514 1420 0 0 18 0 9 0 178515342 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 146560 107966 179 55 0 144446 0
[pid=1422/tid=1428] ppid=1420 vsize=586240 CPUtime=4902.38 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 939275 1260 0 0 490066 172 0 0 25 0 9 0 178515343 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 4344176 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=586240 CPUtime=4900.73 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 976324 1260 0 0 489902 171 0 0 25 0 9 0 178515343 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=586240 CPUtime=4835.56 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 1002775 1260 0 0 483378 178 0 0 25 0 9 0 178515343 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=586240 CPUtime=4902.36 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 883075 1260 0 0 490072 164 0 0 25 0 9 0 178515343 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=586240 CPUtime=4902.23 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 955608 1260 0 0 490047 176 0 0 25 0 9 0 178515343 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=586240 CPUtime=4902.37 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 1008842 1260 0 0 490050 187 0 0 25 0 9 0 178515343 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=586240 CPUtime=4901.26 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 964389 1260 0 0 489950 176 0 0 25 0 9 0 178515343 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=586240 CPUtime=4902.36 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 1072885 1260 0 0 490044 192 0 0 25 0 9 0 178515343 600309760 107966 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 39149.3
Current children cumulated vsize (KiB) 586240
[startup+4962.3 s]
/proc/loadavg: 8.01 8.05 8.01 9/417 1583
/proc/meminfo: memFree=24688448/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=687676 CPUtime=39628.5 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 7858440 1260 0 0 3961422 1429 0 0 18 0 9 0 178515342 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 171919 133325 179 55 0 169805 0
[pid=1422/tid=1428] ppid=1420 vsize=687676 CPUtime=4962.38 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 948119 1260 0 0 496065 173 0 0 25 0 9 0 178515343 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=687676 CPUtime=4960.73 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 979013 1260 0 0 495902 171 0 0 25 0 9 0 178515343 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=687676 CPUtime=4894.73 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 1010322 1260 0 0 489295 178 0 0 25 0 9 0 178515343 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=687676 CPUtime=4962.37 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 895625 1260 0 0 496069 168 0 0 25 0 9 0 178515343 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=687676 CPUtime=4962.23 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 962882 1260 0 0 496046 177 0 0 25 0 9 0 178515343 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=687676 CPUtime=4962.37 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 1012199 1260 0 0 496049 188 0 0 25 0 9 0 178515343 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=687676 CPUtime=4961.25 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 968950 1260 0 0 495948 177 0 0 25 0 9 0 178515343 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=687676 CPUtime=4962.36 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 1080412 1260 0 0 496043 193 0 0 25 0 9 0 178515343 704180224 133325 33554432000 4194304 4417452 140735215164160 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 39628.5
Current children cumulated vsize (KiB) 687676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5008.9 s]
/proc/loadavg: 8.00 8.04 8.01 9/417 1584
/proc/meminfo: memFree=24726120/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=649816 CPUtime=40000.7 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 7903872 1260 0 0 3998633 1437 0 0 18 0 9 0 178515342 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 162454 123830 179 55 0 160340 0
[pid=1422/tid=1428] ppid=1420 vsize=649816 CPUtime=5009 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 952204 1260 0 0 500726 174 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=649816 CPUtime=5007.35 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 984365 1260 0 0 500563 172 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=649816 CPUtime=4940.71 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 1017106 1260 0 0 493891 180 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=649816 CPUtime=5008.98 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 899541 1260 0 0 500730 168 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4344176 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=649816 CPUtime=5008.84 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 962882 1260 0 0 500707 177 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=649816 CPUtime=5008.99 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 1021761 1260 0 0 500710 189 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=649816 CPUtime=5007.85 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 976540 1260 0 0 500607 178 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=649816 CPUtime=5008.98 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 1088555 1260 0 0 500704 194 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40000.7
Current children cumulated vsize (KiB) 649816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5008.9 s]
/proc/loadavg: 8.00 8.04 8.01 9/417 1584
/proc/meminfo: memFree=24726120/32950928 swapFree=53456944/67111528
[pid=1422] ppid=1420 vsize=649816 CPUtime=40000.7 cores=0-7
/proc/1422/stat : 1422 (plingeling) S 1420 1422 1170 0 -1 4202496 7903872 1260 0 0 3998633 1437 0 0 18 0 9 0 178515342 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/1422/statm: 162454 123830 179 55 0 160340 0
[pid=1422/tid=1428] ppid=1420 vsize=649816 CPUtime=5009 cores=0-7
/proc/1422/task/1428/stat : 1428 (plingeling) R 1420 1422 1170 0 -1 4202560 952204 1260 0 0 500726 174 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1422/tid=1429] ppid=1420 vsize=649816 CPUtime=5007.35 cores=0-7
/proc/1422/task/1429/stat : 1429 (plingeling) R 1420 1422 1170 0 -1 4202560 984365 1260 0 0 500563 172 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1422/tid=1430] ppid=1420 vsize=649816 CPUtime=4940.71 cores=0-7
/proc/1422/task/1430/stat : 1430 (plingeling) R 1420 1422 1170 0 -1 4202560 1017106 1260 0 0 493891 180 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1422/tid=1431] ppid=1420 vsize=649816 CPUtime=5008.98 cores=0-7
/proc/1422/task/1431/stat : 1431 (plingeling) R 1420 1422 1170 0 -1 4202560 899541 1260 0 0 500730 168 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4344176 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1422/tid=1432] ppid=1420 vsize=649816 CPUtime=5008.84 cores=0-7
/proc/1422/task/1432/stat : 1432 (plingeling) R 1420 1422 1170 0 -1 4202560 962882 1260 0 0 500707 177 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1422/tid=1433] ppid=1420 vsize=649816 CPUtime=5008.99 cores=0-7
/proc/1422/task/1433/stat : 1433 (plingeling) R 1420 1422 1170 0 -1 4202560 1021761 1260 0 0 500710 189 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1422/tid=1434] ppid=1420 vsize=649816 CPUtime=5007.85 cores=0-7
/proc/1422/task/1434/stat : 1434 (plingeling) R 1420 1422 1170 0 -1 4202560 976540 1260 0 0 500607 178 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1422/tid=1435] ppid=1420 vsize=649816 CPUtime=5008.98 cores=0-7
/proc/1422/task/1435/stat : 1435 (plingeling) R 1420 1422 1170 0 -1 4202560 1088555 1260 0 0 500704 194 0 0 25 0 9 0 178515343 665411584 123830 33554432000 4194304 4417452 140735215164160 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40000.7
Current children cumulated vsize (KiB) 649816
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5008.95
CPU time (s): 40000.9
CPU user time (s): 39986.5
CPU system time (s): 14.3998
CPU usage (%): 798.588
Max. virtual memory (cumulated for all children) (KiB): 688340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39986.5
system time used= 14.3998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7905132
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= 580
involuntary context switches= 189935
runsolver used 19.3311 second user time and 48.9716 second system time
The end
Begin job on node112 at 2011-05-23 02:04:19
IDJOB=3394918
IDBENCH=87447
IDSOLVER=1851
FILE ID=node112/3394918-1306109059
RUNJOBID= node112-1306108919-1184
PBS_JOBID= 13388035
Free space on /tmp= 73332 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_170.shuffled.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394918-1306109059/watcher-3394918-1306109059 -o /tmp/evaluation-result-3394918-1306109059/solver-3394918-1306109059 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3394918-1306109059.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 82789f57e506af1994452e76af2dcbf0
RANDOM SEED=1032402415
node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5180.45
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 25220856 kB
Buffers: 219032 kB
Cached: 5127964 kB
SwapCached: 62308 kB
Active: 590672 kB
Inactive: 6917528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 25220856 kB
SwapTotal: 67111528 kB
SwapFree: 53456944 kB
Dirty: 532 kB
Writeback: 0 kB
AnonPages: 2107652 kB
Mapped: 15592 kB
Slab: 94376 kB
PageTables: 58900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 98613640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73332 MiB
End job on node112 at 2011-05-23 03:27:50