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-3394864-1306108292/watcher-3394864-1306108292 -o /tmp/evaluation-result-3394864-1306108292/solver-3394864-1306108292 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3394864-1306108292.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.10 7.98 7.95 2/528 16748
/proc/meminfo: memFree=18708220/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=156948 CPUtime=0.01 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 499 1256 0 0 1 0 0 0 25 0 9 0 722427140 160714752 425 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 39237 425 178 55 0 37123 0
[pid=16748/tid=16754] ppid=16746 vsize=157080 CPUtime=0.01 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 46 1256 0 0 1 0 0 0 25 0 9 0 722427141 160849920 483 33554432000 4194304 4417452 140733542334496 18446744073709551615 4252379 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=157080 CPUtime=0 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 1 1256 0 0 0 0 0 0 25 0 9 0 722427141 160849920 483 33554432000 4194304 4417452 140733542334496 18446744073709551615 228244453870 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=157080 CPUtime=0.01 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 53 1256 0 0 1 0 0 0 17 0 9 0 722427141 160849920 483 33554432000 4194304 4417452 140733542334496 18446744073709551615 4277785 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=157080 CPUtime=0 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1 1256 0 0 0 0 0 0 25 0 9 0 722427141 160849920 483 33554432000 4194304 4417452 140733542334496 18446744073709551615 228244453870 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=157080 CPUtime=0 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 5 1256 0 0 0 0 0 0 17 0 9 0 722427141 160849920 483 33554432000 4194304 4417452 140733542334496 18446744073709551615 4257729 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=157080 CPUtime=0 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1 1256 0 0 0 0 0 0 25 0 9 0 722427141 160849920 483 33554432000 4194304 4417452 140733542334496 18446744073709551615 228244453870 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=157080 CPUtime=0 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 2 1256 0 0 0 0 0 0 25 0 9 0 722427141 160849920 483 33554432000 4194304 4417452 140733542334496 18446744073709551615 4277897 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=157080 CPUtime=0.01 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 21 1256 0 0 1 0 0 0 25 0 9 0 722427141 160849920 483 33554432000 4194304 4417452 140733542334496 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 2 0 0 0
[startup+0.122323 s]
/proc/loadavg: 8.10 7.98 7.95 2/528 16748
/proc/meminfo: memFree=18708220/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=160876 CPUtime=0.8 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 1707 1256 0 0 80 0 0 0 25 0 9 0 722427140 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 40219 1441 180 55 0 38105 0
[pid=16748/tid=16754] ppid=16746 vsize=160876 CPUtime=0.11 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 178 1256 0 0 11 0 0 0 25 0 9 0 722427141 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 4358826 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=160876 CPUtime=0.09 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 65 1256 0 0 9 0 0 0 25 0 9 0 722427141 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 228244392026 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=160876 CPUtime=0.11 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 263 1256 0 0 11 0 0 0 18 0 9 0 722427141 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 4356852 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=160876 CPUtime=0.07 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 256 1256 0 0 7 0 0 0 25 0 9 0 722427141 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=160876 CPUtime=0.1 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) S 16746 16748 16458 0 -1 4202560 132 1256 0 0 10 0 0 0 18 0 9 0 722427141 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 228244453870 0 0 4096 17442 18446604451898649344 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=160876 CPUtime=0.09 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 75 1256 0 0 9 0 0 0 25 0 9 0 722427141 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 4357902 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=160876 CPUtime=0.09 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 168 1256 0 0 9 0 0 0 25 0 9 0 722427141 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=160876 CPUtime=0.11 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) S 16746 16748 16458 0 -1 4202560 143 1256 0 0 11 0 0 0 25 0 9 0 722427141 164737024 1441 33554432000 4194304 4417452 140733542334496 18446744073709551615 228244453870 0 0 4096 17442 18446604451898649344 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 160876
[startup+0.200641 s]
/proc/loadavg: 8.10 7.98 7.95 2/528 16748
/proc/meminfo: memFree=18708220/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=163048 CPUtime=1.43 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 3027 1256 0 0 143 0 0 0 25 0 9 0 722427140 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 40762 1987 180 55 0 38648 0
[pid=16748/tid=16754] ppid=16746 vsize=163048 CPUtime=0.19 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 310 1256 0 0 19 0 0 0 25 0 9 0 722427141 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364619 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=163048 CPUtime=0.17 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 254 1256 0 0 17 0 0 0 25 0 9 0 722427141 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 4354532 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=163048 CPUtime=0.18 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 479 1256 0 0 18 0 0 0 18 0 9 0 722427141 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 4237237 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=163048 CPUtime=0.15 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 417 1256 0 0 15 0 0 0 25 0 9 0 722427141 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 4365078 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=163048 CPUtime=0.18 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 307 1256 0 0 18 0 0 0 18 0 9 0 722427141 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 4357094 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=163048 CPUtime=0.17 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 259 1256 0 0 17 0 0 0 25 0 9 0 722427141 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 4357018 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=163048 CPUtime=0.16 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 307 1256 0 0 16 0 0 0 25 0 9 0 722427141 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 4251107 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=163048 CPUtime=0.19 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 267 1256 0 0 19 0 0 0 25 0 9 0 722427141 166961152 1987 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 163048
[startup+0.300624 s]
/proc/loadavg: 8.10 7.98 7.95 2/528 16748
/proc/meminfo: memFree=18708220/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=165996 CPUtime=2.23 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 5262 1256 0 0 223 0 0 0 25 0 9 0 722427140 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 41499 2735 180 55 0 39385 0
[pid=16748/tid=16754] ppid=16746 vsize=165996 CPUtime=0.29 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 660 1256 0 0 29 0 0 0 25 0 9 0 722427141 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=165996 CPUtime=0.27 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 449 1256 0 0 27 0 0 0 25 0 9 0 722427141 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 4322090 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=165996 CPUtime=0.28 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 701 1256 0 0 28 0 0 0 18 0 9 0 722427141 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 4302932 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=165996 CPUtime=0.25 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 808 1256 0 0 25 0 0 0 25 0 9 0 722427141 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=165996 CPUtime=0.28 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 536 1256 0 0 28 0 0 0 18 0 9 0 722427141 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 4273929 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=165996 CPUtime=0.27 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 515 1256 0 0 27 0 0 0 25 0 9 0 722427141 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=165996 CPUtime=0.26 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 578 1256 0 0 26 0 0 0 25 0 9 0 722427141 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=165996 CPUtime=0.29 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 588 1256 0 0 29 0 0 0 25 0 9 0 722427141 169979904 2735 33554432000 4194304 4417452 140733542334496 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 165996
[startup+0.700555 s]
/proc/loadavg: 8.10 7.98 7.95 2/528 16748
/proc/meminfo: memFree=18708220/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=170916 CPUtime=5.43 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 11765 1256 0 0 542 1 0 0 25 0 9 0 722427140 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 42729 3965 180 55 0 40615 0
[pid=16748/tid=16754] ppid=16746 vsize=170916 CPUtime=0.69 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 1713 1256 0 0 69 0 0 0 25 0 9 0 722427141 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=170916 CPUtime=0.67 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 1153 1256 0 0 67 0 0 0 25 0 9 0 722427141 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=170916 CPUtime=0.68 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 1467 1256 0 0 68 0 0 0 18 0 9 0 722427141 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=170916 CPUtime=0.65 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1490 1256 0 0 65 0 0 0 25 0 9 0 722427141 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=170916 CPUtime=0.68 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 1498 1256 0 0 68 0 0 0 18 0 9 0 722427141 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=170916 CPUtime=0.67 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1369 1256 0 0 67 0 0 0 25 0 9 0 722427141 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 4256110 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=170916 CPUtime=0.66 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 1317 1256 0 0 66 0 0 0 25 0 9 0 722427141 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=170916 CPUtime=0.68 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 1331 1256 0 0 68 0 0 0 25 0 9 0 722427141 175017984 3965 33554432000 4194304 4417452 140733542334496 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 170916
[startup+1.50042 s]
/proc/loadavg: 8.10 7.98 7.95 9/537 16763
/proc/meminfo: memFree=18686676/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=180456 CPUtime=11.8 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 25494 1256 0 0 1176 4 0 0 25 0 9 0 722427140 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 45114 6350 180 55 0 43000 0
[pid=16748/tid=16754] ppid=16746 vsize=180456 CPUtime=1.48 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 3553 1256 0 0 148 0 0 0 25 0 9 0 722427141 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=180456 CPUtime=1.45 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 2762 1256 0 0 145 0 0 0 25 0 9 0 722427141 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=180456 CPUtime=1.48 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 3272 1256 0 0 148 0 0 0 20 0 9 0 722427141 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364696 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=180456 CPUtime=1.44 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 3082 1256 0 0 144 0 0 0 18 0 9 0 722427141 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 4354385 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=180456 CPUtime=1.47 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 3055 1256 0 0 147 0 0 0 19 0 9 0 722427141 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=180456 CPUtime=1.47 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 3304 1256 0 0 147 0 0 0 25 0 9 0 722427141 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 4250915 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=180456 CPUtime=1.46 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 2806 1256 0 0 146 0 0 0 25 0 9 0 722427141 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=180456 CPUtime=1.48 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 3233 1256 0 0 148 0 0 0 25 0 9 0 722427141 184786944 6350 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (KiB) 180456
[startup+3.10114 s]
/proc/loadavg: 8.10 7.98 7.95 9/537 16763
/proc/meminfo: memFree=18678492/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=184256 CPUtime=24.59 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 47276 1256 0 0 2450 9 0 0 25 0 9 0 722427140 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 46064 7300 180 55 0 43950 0
[pid=16748/tid=16754] ppid=16746 vsize=184256 CPUtime=3.09 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 6691 1256 0 0 308 1 0 0 25 0 9 0 722427141 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364696 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=184256 CPUtime=3.02 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 5582 1256 0 0 302 0 0 0 25 0 9 0 722427141 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 4365092 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=184256 CPUtime=3.08 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 5555 1256 0 0 307 1 0 0 25 0 9 0 722427141 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 4357791 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=184256 CPUtime=3.05 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 5780 1256 0 0 304 1 0 0 22 0 9 0 722427141 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=184256 CPUtime=3.08 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 6024 1256 0 0 307 1 0 0 25 0 9 0 722427141 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=184256 CPUtime=3.07 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 6396 1256 0 0 306 1 0 0 25 0 9 0 722427141 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 4322039 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=184256 CPUtime=3.07 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 5293 1256 0 0 306 1 0 0 25 0 9 0 722427141 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=184256 CPUtime=3.08 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 5528 1256 0 0 307 1 0 0 25 0 9 0 722427141 188678144 7300 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 184256
[startup+6.30058 s]
/proc/loadavg: 8.09 7.98 7.95 9/537 16763
/proc/meminfo: memFree=18667480/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=205640 CPUtime=50.12 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 84794 1256 0 0 4995 17 0 0 25 0 9 0 722427140 210575360 12628 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 51410 12628 180 55 0 49296 0
################
# More data... #
################
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1397196 1256 0 0 472013 221 0 0 25 0 9 0 722427141 776663040 150841 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=758460 CPUtime=4721.05 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 1051342 1256 0 0 471941 164 0 0 25 0 9 0 722427141 776663040 150841 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=758460 CPUtime=4643.49 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1065071 1256 0 0 464169 180 0 0 25 0 9 0 722427141 776663040 150841 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=758460 CPUtime=4722.38 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 1170424 1256 0 0 472048 190 0 0 25 0 9 0 722427141 776663040 150841 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=758460 CPUtime=4722.37 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 1205600 1256 0 0 472043 194 0 0 25 0 9 0 722427141 776663040 150841 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37691.6
Current children cumulated vsize (KiB) 758460
[startup+4782.3 s]
/proc/loadavg: 8.07 8.06 8.01 9/537 16915
/proc/meminfo: memFree=18061104/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=799156 CPUtime=38170.5 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 9750941 1256 0 0 3815455 1591 0 0 25 0 9 0 722427140 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 199789 161015 180 55 0 197675 0
[pid=16748/tid=16754] ppid=16746 vsize=799156 CPUtime=4781.45 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 1294561 1256 0 0 477934 211 0 0 25 0 9 0 722427141 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=799156 CPUtime=4776.94 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 1233340 1256 0 0 477485 209 0 0 25 0 9 0 722427141 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=799156 CPUtime=4781.56 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 1298037 1256 0 0 477943 213 0 0 25 0 9 0 722427141 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=799156 CPUtime=4782.32 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1405680 1256 0 0 478010 222 0 0 25 0 9 0 722427141 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=799156 CPUtime=4781.01 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 1057273 1256 0 0 477936 165 0 0 25 0 9 0 722427141 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=799156 CPUtime=4702.39 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1068384 1256 0 0 470059 180 0 0 25 0 9 0 722427141 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=799156 CPUtime=4782.36 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 1177193 1256 0 0 478045 191 0 0 25 0 9 0 722427141 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=799156 CPUtime=4782.35 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 1216046 1256 0 0 478039 196 0 0 25 0 9 0 722427141 818335744 161015 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38170.5
Current children cumulated vsize (KiB) 799156
[startup+4842.32 s]
/proc/loadavg: 8.08 8.06 8.01 9/537 16917
/proc/meminfo: memFree=18085408/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=775876 CPUtime=38649.5 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 9839990 1256 0 0 3863346 1605 0 0 25 0 9 0 722427140 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 193969 155207 180 55 0 191855 0
[pid=16748/tid=16754] ppid=16746 vsize=775876 CPUtime=4841.46 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 1302802 1256 0 0 483934 212 0 0 25 0 9 0 722427141 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=775876 CPUtime=4836.96 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 1243792 1256 0 0 483485 211 0 0 25 0 9 0 722427141 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=775876 CPUtime=4841.59 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 1316974 1256 0 0 483943 216 0 0 25 0 9 0 722427141 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=775876 CPUtime=4842.35 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1418616 1256 0 0 484010 225 0 0 25 0 9 0 722427141 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=775876 CPUtime=4841.01 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 1064872 1256 0 0 483935 166 0 0 25 0 9 0 722427141 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=775876 CPUtime=4761.31 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1086870 1256 0 0 475948 183 0 0 25 0 9 0 722427141 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=775876 CPUtime=4842.39 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 1182418 1256 0 0 484047 192 0 0 25 0 9 0 722427141 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=775876 CPUtime=4842.37 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 1223219 1256 0 0 484041 196 0 0 25 0 9 0 722427141 794497024 155207 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38649.5
Current children cumulated vsize (KiB) 775876
[startup+4902.3 s]
/proc/loadavg: 8.09 8.07 8.01 9/537 16918
/proc/meminfo: memFree=18062584/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=798880 CPUtime=39128.3 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 9944615 1256 0 0 3911208 1619 0 0 25 0 9 0 722427140 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 199720 160927 180 55 0 197606 0
[pid=16748/tid=16754] ppid=16746 vsize=798880 CPUtime=4901.45 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 1317871 1256 0 0 489930 215 0 0 25 0 9 0 722427141 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=798880 CPUtime=4896.94 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 1252536 1256 0 0 489482 212 0 0 25 0 9 0 722427141 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=798880 CPUtime=4901.57 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 1332861 1256 0 0 489939 218 0 0 25 0 9 0 722427141 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=798880 CPUtime=4902.32 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1434987 1256 0 0 490005 227 0 0 25 0 9 0 722427141 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=798880 CPUtime=4900.98 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 1074297 1256 0 0 489931 167 0 0 25 0 9 0 722427141 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=798880 CPUtime=4820.21 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1100476 1256 0 0 481836 185 0 0 25 0 9 0 722427141 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=798880 CPUtime=4902.36 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 1196019 1256 0 0 490043 193 0 0 25 0 9 0 722427141 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=798880 CPUtime=4902.36 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 1235141 1256 0 0 490038 198 0 0 25 0 9 0 722427141 818053120 160927 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39128.3
Current children cumulated vsize (KiB) 798880
[startup+4962.3 s]
/proc/loadavg: 8.08 8.06 8.01 9/537 16920
/proc/meminfo: memFree=18075728/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=785764 CPUtime=39607.2 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 10036389 1256 0 0 3959084 1632 0 0 25 0 9 0 722427140 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 196441 157649 180 55 0 194327 0
[pid=16748/tid=16754] ppid=16746 vsize=785764 CPUtime=4961.45 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 1327372 1256 0 0 495929 216 0 0 25 0 9 0 722427141 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=785764 CPUtime=4956.94 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 1266890 1256 0 0 495479 215 0 0 25 0 9 0 722427141 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=785764 CPUtime=4961.57 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 1344291 1256 0 0 495938 219 0 0 25 0 9 0 722427141 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=785764 CPUtime=4962.32 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1446591 1256 0 0 496004 228 0 0 25 0 9 0 722427141 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=785764 CPUtime=4960.96 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 1087790 1256 0 0 495927 169 0 0 25 0 9 0 722427141 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=785764 CPUtime=4879.11 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1112256 1256 0 0 487724 187 0 0 25 0 9 0 722427141 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=785764 CPUtime=4962.37 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 1202914 1256 0 0 496042 195 0 0 25 0 9 0 722427141 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=785764 CPUtime=4962.35 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 1247858 1256 0 0 496036 199 0 0 25 0 9 0 722427141 804622336 157649 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39607.2
Current children cumulated vsize (KiB) 785764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5011.6 s]
/proc/loadavg: 8.10 8.07 8.01 10/537 16921
/proc/meminfo: memFree=18077200/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=783652 CPUtime=40000.9 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 10083075 1256 0 0 3998448 1639 0 0 25 0 9 0 722427140 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 195913 157121 180 55 0 193799 0
[pid=16748/tid=16754] ppid=16746 vsize=783652 CPUtime=5010.8 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 1331517 1256 0 0 500863 217 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4366804 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=783652 CPUtime=5006.28 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 1271863 1256 0 0 500412 216 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=783652 CPUtime=5010.9 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 1347956 1256 0 0 500871 219 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=783652 CPUtime=5011.66 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1454385 1256 0 0 500936 230 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=783652 CPUtime=5010.28 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 1094423 1256 0 0 500858 170 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=783652 CPUtime=4927.53 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1115639 1256 0 0 492565 188 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=783652 CPUtime=5011.71 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 1210381 1256 0 0 500976 195 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=783652 CPUtime=5011.7 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 1256484 1256 0 0 500970 200 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 783652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5011.6 s]
/proc/loadavg: 8.10 8.07 8.01 10/537 16921
/proc/meminfo: memFree=18077200/32951124 swapFree=64205420/67111528
[pid=16748] ppid=16746 vsize=783652 CPUtime=40000.9 cores=0-7
/proc/16748/stat : 16748 (plingeling) S 16746 16748 16458 0 -1 4202496 10083075 1256 0 0 3998448 1639 0 0 25 0 9 0 722427140 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/16748/statm: 195913 157121 180 55 0 193799 0
[pid=16748/tid=16754] ppid=16746 vsize=783652 CPUtime=5010.8 cores=0-7
/proc/16748/task/16754/stat : 16754 (plingeling) R 16746 16748 16458 0 -1 4202560 1331517 1256 0 0 500863 217 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4366804 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16748/tid=16755] ppid=16746 vsize=783652 CPUtime=5006.28 cores=0-7
/proc/16748/task/16755/stat : 16755 (plingeling) R 16746 16748 16458 0 -1 4202560 1271863 1256 0 0 500412 216 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16748/tid=16756] ppid=16746 vsize=783652 CPUtime=5010.9 cores=0-7
/proc/16748/task/16756/stat : 16756 (plingeling) R 16746 16748 16458 0 -1 4202560 1347956 1256 0 0 500871 219 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16748/tid=16757] ppid=16746 vsize=783652 CPUtime=5011.66 cores=0-7
/proc/16748/task/16757/stat : 16757 (plingeling) R 16746 16748 16458 0 -1 4202560 1454385 1256 0 0 500936 230 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16748/tid=16758] ppid=16746 vsize=783652 CPUtime=5010.28 cores=0-7
/proc/16748/task/16758/stat : 16758 (plingeling) R 16746 16748 16458 0 -1 4202560 1094423 1256 0 0 500858 170 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16748/tid=16759] ppid=16746 vsize=783652 CPUtime=4927.53 cores=0-7
/proc/16748/task/16759/stat : 16759 (plingeling) R 16746 16748 16458 0 -1 4202560 1115639 1256 0 0 492565 188 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16748/tid=16760] ppid=16746 vsize=783652 CPUtime=5011.71 cores=0-7
/proc/16748/task/16760/stat : 16760 (plingeling) R 16746 16748 16458 0 -1 4202560 1210381 1256 0 0 500976 195 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16748/tid=16761] ppid=16746 vsize=783652 CPUtime=5011.7 cores=0-7
/proc/16748/task/16761/stat : 16761 (plingeling) R 16746 16748 16458 0 -1 4202560 1256484 1256 0 0 500970 200 0 0 25 0 9 0 722427141 802459648 157121 33554432000 4194304 4417452 140733542334496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 783652
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5011.67
CPU time (s): 40001
CPU user time (s): 39984.6
CPU system time (s): 16.4285
CPU usage (%): 798.157
Max. virtual memory (cumulated for all children) (KiB): 890792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39984.6
system time used= 16.4285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10084331
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= 472
involuntary context switches= 190502
runsolver used 25.4471 second user time and 64.1722 second system time
The end
Begin job on node136 at 2011-05-23 01:51:32
IDJOB=3394864
IDBENCH=85780
IDSOLVER=1851
FILE ID=node136/3394864-1306108292
RUNJOBID= node136-1306102930-16472
PBS_JOBID= 13387997
Free space on /tmp= 72892 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT05/crafted/markstrom05/eulcbip/eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394864-1306108292/watcher-3394864-1306108292 -o /tmp/evaluation-result-3394864-1306108292/solver-3394864-1306108292 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3394864-1306108292.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 151ccdb2c52c7f525fde5dca388bb6e6
RANDOM SEED=2020031069
node136.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.809
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.61
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.809
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 : 5332.75
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.809
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.75
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.809
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.76
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.809
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.75
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.809
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.809
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.75
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.809
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 18708624 kB
Buffers: 211900 kB
Cached: 4935812 kB
SwapCached: 25092 kB
Active: 4193524 kB
Inactive: 9784720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 18708624 kB
SwapTotal: 67111528 kB
SwapFree: 64205420 kB
Dirty: 448 kB
Writeback: 0 kB
AnonPages: 8811556 kB
Mapped: 39684 kB
Slab: 124876 kB
PageTables: 68376 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 169213276 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= 72892 MiB
End job on node136 at 2011-05-23 03:15:05