runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309375-1304002541/watcher-3309375-1304002541 -o /tmp/evaluation-result-3309375-1304002541/solver-3309375-1304002541 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309375-1304002541.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: 1.20 1.16 1.14 2/170 15625
/proc/meminfo: memFree=16015688/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=9556 CPUtime=0 cores=0-7
/proc/15625/stat : 15625 (plingeling) R 15623 15625 15599 0 -1 4202496 461 1253 0 0 0 0 0 0 25 0 1 0 511851171 9785344 391 33554432000 4194304 4417332 140736001442800 18446744073709551615 239476391691 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/15625/statm: 2389 403 147 55 0 275 0
[startup+0.106428 s]
/proc/loadavg: 1.20 1.16 1.14 2/170 15625
/proc/meminfo: memFree=16015688/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=175636 CPUtime=0.19 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 6736 1253 0 0 19 0 0 0 18 0 9 0 511851171 179851264 5171 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 43909 5171 171 55 0 41795 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 175636
[startup+0.200359 s]
/proc/loadavg: 1.20 1.16 1.14 2/170 15625
/proc/meminfo: memFree=16015688/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=178408 CPUtime=0.92 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 9146 1253 0 0 92 0 0 0 18 0 9 0 511851171 182689792 5826 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 44602 5826 172 55 0 42488 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 178408
[startup+0.300338 s]
/proc/loadavg: 1.20 1.16 1.14 2/170 15625
/proc/meminfo: memFree=16015688/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=178716 CPUtime=1.72 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 9368 1253 0 0 172 0 0 0 18 0 9 0 511851171 183005184 5900 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 44679 5900 175 55 0 42565 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 178716
[startup+0.700263 s]
/proc/loadavg: 1.20 1.16 1.14 2/170 15625
/proc/meminfo: memFree=16015688/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=200360 CPUtime=4.92 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 17242 1253 0 0 490 2 0 0 18 0 9 0 511851171 205168640 11424 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 50090 11424 176 55 0 47976 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 200360
[startup+1.5011 s]
/proc/loadavg: 1.74 1.27 1.18 9/179 15639
/proc/meminfo: memFree=15967636/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=201560 CPUtime=11.32 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 19908 1253 0 0 1129 3 0 0 18 0 9 0 511851171 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 50390 11620 180 55 0 48276 0
[pid=15625/tid=15632] ppid=15623 vsize=201560 CPUtime=1.41 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 2435 1253 0 0 141 0 0 0 19 0 9 0 511851180 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 4248516 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=201560 CPUtime=1.39 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 1382 1253 0 0 139 0 0 0 25 0 9 0 511851180 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 4249004 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=201560 CPUtime=1.36 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 1476 1253 0 0 136 0 0 0 25 0 9 0 511851180 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364329 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=201560 CPUtime=1.41 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 1189 1253 0 0 141 0 0 0 23 0 9 0 511851180 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=201560 CPUtime=1.4 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 2613 1253 0 0 140 0 0 0 23 0 9 0 511851180 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 4252419 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=201560 CPUtime=1.41 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 2529 1253 0 0 141 0 0 0 19 0 9 0 511851180 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 4252899 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=201560 CPUtime=1.41 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 933 1253 0 0 141 0 0 0 23 0 9 0 511851180 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 4353461 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=201560 CPUtime=1.4 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 2566 1253 0 0 140 0 0 0 23 0 9 0 511851180 206397440 11620 33554432000 4194304 4417332 140736001442800 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.32
Current children cumulated vsize (KiB) 201560
[startup+3.1008 s]
/proc/loadavg: 1.74 1.27 1.18 9/179 15639
/proc/meminfo: memFree=15975456/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=200716 CPUtime=24.11 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 22392 1253 0 0 2408 3 0 0 18 0 9 0 511851171 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 50179 11410 181 55 0 48065 0
[pid=15625/tid=15632] ppid=15623 vsize=200716 CPUtime=3.01 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 2658 1253 0 0 301 0 0 0 25 0 9 0 511851180 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=200716 CPUtime=2.99 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 1589 1253 0 0 299 0 0 0 25 0 9 0 511851180 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 4355756 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=200716 CPUtime=2.96 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 1692 1253 0 0 296 0 0 0 25 0 9 0 511851180 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 4251008 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=200716 CPUtime=3.01 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 2072 1253 0 0 301 0 0 0 25 0 9 0 511851180 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 4250651 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=200716 CPUtime=3 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 2747 1253 0 0 300 0 0 0 25 0 9 0 511851180 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364452 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=200716 CPUtime=3 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 2935 1253 0 0 300 0 0 0 22 0 9 0 511851180 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=200716 CPUtime=3 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 1194 1253 0 0 300 0 0 0 25 0 9 0 511851180 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 4357456 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=200716 CPUtime=3 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 2720 1253 0 0 300 0 0 0 25 0 9 0 511851180 205533184 11410 33554432000 4194304 4417332 140736001442800 18446744073709551615 4348324 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 200716
[startup+6.30119 s]
/proc/loadavg: 2.24 1.38 1.21 9/179 15639
/proc/meminfo: memFree=15956928/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=221636 CPUtime=49.7 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 27622 1253 0 0 4966 4 0 0 18 0 9 0 511851171 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 55409 16640 181 55 0 53295 0
[pid=15625/tid=15632] ppid=15623 vsize=221636 CPUtime=6.21 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 2686 1253 0 0 621 0 0 0 25 0 9 0 511851180 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 4237214 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=221636 CPUtime=6.19 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 2174 1253 0 0 619 0 0 0 25 0 9 0 511851180 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=221636 CPUtime=6.14 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 2435 1253 0 0 614 0 0 0 25 0 9 0 511851180 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=221636 CPUtime=6.21 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 3105 1253 0 0 621 0 0 0 25 0 9 0 511851180 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364409 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=221636 CPUtime=6.2 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 3412 1253 0 0 620 0 0 0 25 0 9 0 511851180 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 4305820 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=221636 CPUtime=6.2 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 4235 1253 0 0 620 0 0 0 25 0 9 0 511851180 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 4310641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=221636 CPUtime=6.2 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 1706 1253 0 0 620 0 0 0 25 0 9 0 511851180 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=221636 CPUtime=6.2 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 3084 1253 0 0 620 0 0 0 25 0 9 0 511851180 226955264 16640 33554432000 4194304 4417332 140736001442800 18446744073709551615 4275877 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (KiB) 221636
[startup+12.701 s]
/proc/loadavg: 2.70 1.49 1.25 9/179 15639
/proc/meminfo: memFree=15922632/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=242588 CPUtime=100.85 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 41526 1253 0 0 10079 6 0 0 18 0 9 0 511851171 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 60647 21890 181 55 0 58533 0
[pid=15625/tid=15632] ppid=15623 vsize=242588 CPUtime=12.6 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 3851 1253 0 0 1260 0 0 0 25 0 9 0 511851180 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=242588 CPUtime=12.59 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 2900 1253 0 0 1259 0 0 0 25 0 9 0 511851180 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=242588 CPUtime=12.5 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 3132 1253 0 0 1250 0 0 0 25 0 9 0 511851180 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 4250807 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=242588 CPUtime=12.6 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 5539 1253 0 0 1260 0 0 0 25 0 9 0 511851180 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 4357470 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=242588 CPUtime=12.6 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 9628 1253 0 0 1259 1 0 0 25 0 9 0 511851180 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=242588 CPUtime=12.61 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 5870 1253 0 0 1260 1 0 0 25 0 9 0 511851180 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 4366011 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=242588 CPUtime=12.6 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 2225 1253 0 0 1260 0 0 0 25 0 9 0 511851180 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 4366398 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=242588 CPUtime=12.6 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 3596 1253 0 0 1260 0 0 0 25 0 9 0 511851180 248410112 21890 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364452 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.85
Current children cumulated vsize (KiB) 242588
[startup+25.5005 s]
/proc/loadavg: 3.87 1.81 1.36 9/179 15640
/proc/meminfo: memFree=15888828/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=273876 CPUtime=203.18 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 77321 1253 0 0 20306 12 0 0 18 0 9 0 511851171 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 68469 29712 181 55 0 66355 0
[pid=15625/tid=15632] ppid=15623 vsize=273876 CPUtime=25.4 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 6335 1253 0 0 2540 0 0 0 25 0 9 0 511851180 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=273876 CPUtime=25.38 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 6816 1253 0 0 2538 0 0 0 25 0 9 0 511851180 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=273876 CPUtime=25.23 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 5254 1253 0 0 2523 0 0 0 25 0 9 0 511851180 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 4366314 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=273876 CPUtime=25.4 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 11953 1253 0 0 2539 1 0 0 25 0 9 0 511851180 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 4357164 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=273876 CPUtime=25.4 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 15787 1253 0 0 2538 2 0 0 25 0 9 0 511851180 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=273876 CPUtime=25.41 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 17301 1253 0 0 2538 3 0 0 25 0 9 0 511851180 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 4272899 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=273876 CPUtime=25.4 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 4417 1253 0 0 2540 0 0 0 25 0 9 0 511851180 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 4353484 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=273876 CPUtime=25.4 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 4673 1253 0 0 2540 0 0 0 25 0 9 0 511851180 280449024 29712 33554432000 4194304 4417332 140736001442800 18446744073709551615 4365869 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.18
Current children cumulated vsize (KiB) 273876
[startup+51.1006 s]
/proc/loadavg: 5.28 2.31 1.53 9/179 15640
/proc/meminfo: memFree=15844972/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=327208 CPUtime=407.85 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 173369 1253 0 0 40754 31 0 0 18 0 9 0 511851171 335060992 43045 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 81802 43045 181 55 0 79688 0
[pid=15625/tid=15632] ppid=15623 vsize=327208 CPUtime=51 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 16636 1253 0 0 5098 2 0 0 25 0 9 0 511851180 335060992 43045 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364491 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=327208 CPUtime=50.99 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 21033 1253 0 0 5097 2 0 0 25 0 9 0 511851180 335060992 43045 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=327208 CPUtime=50.7 cores=0-7
################
# More data... #
################
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 41129 1253 0 0 7664 7 0 0 25 0 9 0 511851180 423149568 64585 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364656 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=413232 CPUtime=76.69 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 38332 1253 0 0 7662 7 0 0 25 0 9 0 511851180 423149568 64585 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364599 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=413232 CPUtime=76.71 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 43763 1253 0 0 7663 8 0 0 25 0 9 0 511851180 423149568 64585 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=413232 CPUtime=76.7 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 25047 1253 0 0 7666 4 0 0 25 0 9 0 511851180 423149568 64585 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=413232 CPUtime=76.7 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 25395 1253 0 0 7666 4 0 0 25 0 9 0 511851180 423149568 64585 33554432000 4194304 4417332 140736001442800 18446744073709551615 4357701 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 613.31
Current children cumulated vsize (KiB) 413232
[startup+89.6012 s]
/proc/loadavg: 6.48 2.93 1.77 9/179 15641
/proc/meminfo: memFree=15729284/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=440008 CPUtime=715.64 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 308275 1253 0 0 71508 56 0 0 18 0 9 0 511851171 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 110002 71245 181 55 0 107888 0
[pid=15625/tid=15632] ppid=15623 vsize=440008 CPUtime=89.51 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 32965 1253 0 0 8945 6 0 0 25 0 9 0 511851180 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=440008 CPUtime=89.49 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 35264 1253 0 0 8944 5 0 0 25 0 9 0 511851180 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 4365986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=440008 CPUtime=88.98 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 32943 1253 0 0 8893 5 0 0 25 0 9 0 511851180 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=440008 CPUtime=89.5 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 43142 1253 0 0 8943 7 0 0 25 0 9 0 511851180 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 4237176 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=440008 CPUtime=89.49 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 44748 1253 0 0 8941 8 0 0 25 0 9 0 511851180 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=440008 CPUtime=89.51 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 50726 1253 0 0 8941 10 0 0 25 0 9 0 511851180 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=440008 CPUtime=89.5 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 32072 1253 0 0 8945 5 0 0 25 0 9 0 511851180 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=440008 CPUtime=89.5 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 31630 1253 0 0 8945 5 0 0 25 0 9 0 511851180 450568192 71245 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 715.64
Current children cumulated vsize (KiB) 440008
[startup+92.8006 s]
/proc/loadavg: 6.68 3.04 1.81 9/179 15641
/proc/meminfo: memFree=15715276/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=459160 CPUtime=741.22 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 317118 1253 0 0 74064 58 0 0 18 0 9 0 511851171 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 114790 76033 181 55 0 112676 0
[pid=15625/tid=15632] ppid=15623 vsize=459160 CPUtime=92.7 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 33427 1253 0 0 9264 6 0 0 25 0 9 0 511851180 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=459160 CPUtime=92.69 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 35264 1253 0 0 9264 5 0 0 25 0 9 0 511851180 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=459160 CPUtime=92.17 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 34991 1253 0 0 9211 6 0 0 25 0 9 0 511851180 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 4282436 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=459160 CPUtime=92.71 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 44828 1253 0 0 9263 8 0 0 25 0 9 0 511851180 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=459160 CPUtime=92.69 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 45722 1253 0 0 9260 9 0 0 25 0 9 0 511851180 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 4237552 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=459160 CPUtime=92.71 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 50726 1253 0 0 9261 10 0 0 25 0 9 0 511851180 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=459160 CPUtime=92.7 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 33467 1253 0 0 9265 5 0 0 25 0 9 0 511851180 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=459160 CPUtime=92.7 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 33908 1253 0 0 9264 6 0 0 25 0 9 0 511851180 470179840 76033 33554432000 4194304 4417332 140736001442800 18446744073709551615 4236764 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 741.22
Current children cumulated vsize (KiB) 459160
[startup+96.001 s]
/proc/loadavg: 6.79 3.12 1.84 9/179 15642
/proc/meminfo: memFree=15712672/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=460780 CPUtime=766.81 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 322830 1253 0 0 76622 59 0 0 18 0 9 0 511851171 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 115195 76438 181 55 0 113081 0
[pid=15625/tid=15632] ppid=15623 vsize=460780 CPUtime=95.9 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 33988 1253 0 0 9584 6 0 0 25 0 9 0 511851180 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=460780 CPUtime=95.89 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 36202 1253 0 0 9584 5 0 0 25 0 9 0 511851180 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=460780 CPUtime=95.35 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 35397 1253 0 0 9529 6 0 0 25 0 9 0 511851180 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 4365994 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=460780 CPUtime=95.91 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 46146 1253 0 0 9583 8 0 0 25 0 9 0 511851180 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=460780 CPUtime=95.89 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 45722 1253 0 0 9580 9 0 0 25 0 9 0 511851180 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=460780 CPUtime=95.91 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 50726 1253 0 0 9581 10 0 0 25 0 9 0 511851180 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=460780 CPUtime=95.91 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 35956 1253 0 0 9585 6 0 0 25 0 9 0 511851180 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=460780 CPUtime=95.9 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 33908 1253 0 0 9584 6 0 0 25 0 9 0 511851180 471838720 76438 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 766.81
Current children cumulated vsize (KiB) 460780
[startup+97.6007 s]
/proc/loadavg: 6.79 3.12 1.84 9/179 15642
/proc/meminfo: memFree=15709324/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=468896 CPUtime=779.61 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 324859 1253 0 0 77901 60 0 0 18 0 9 0 511851171 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 117224 78467 181 55 0 115110 0
[pid=15625/tid=15632] ppid=15623 vsize=468896 CPUtime=97.5 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 33988 1253 0 0 9744 6 0 0 25 0 9 0 511851180 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=468896 CPUtime=97.49 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 36202 1253 0 0 9744 5 0 0 25 0 9 0 511851180 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364652 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=468896 CPUtime=96.94 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 35823 1253 0 0 9688 6 0 0 25 0 9 0 511851180 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=468896 CPUtime=97.5 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 46282 1253 0 0 9742 8 0 0 25 0 9 0 511851180 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=468896 CPUtime=97.49 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 45722 1253 0 0 9740 9 0 0 25 0 9 0 511851180 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=468896 CPUtime=97.51 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 50726 1253 0 0 9741 10 0 0 25 0 9 0 511851180 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=468896 CPUtime=97.5 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 36553 1253 0 0 9744 6 0 0 25 0 9 0 511851180 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 4231988 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=468896 CPUtime=97.5 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 34778 1253 0 0 9744 6 0 0 25 0 9 0 511851180 480149504 78467 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 779.61
Current children cumulated vsize (KiB) 468896
[startup+98.0066 s]
/proc/loadavg: 6.79 3.12 1.84 9/179 15642
/proc/meminfo: memFree=15696180/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=479276 CPUtime=782.85 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 327454 1253 0 0 78224 61 0 0 18 0 9 0 511851171 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 119819 81062 181 55 0 117705 0
[pid=15625/tid=15632] ppid=15623 vsize=479276 CPUtime=97.91 cores=0-7
/proc/15625/task/15632/stat : 15632 (plingeling) R 15623 15625 15599 0 -1 4202560 34535 1253 0 0 9785 6 0 0 25 0 9 0 511851180 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=479276 CPUtime=97.9 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 36202 1253 0 0 9785 5 0 0 25 0 9 0 511851180 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 4232623 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=479276 CPUtime=97.34 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 35823 1253 0 0 9728 6 0 0 25 0 9 0 511851180 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=479276 CPUtime=97.91 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 46282 1253 0 0 9783 8 0 0 25 0 9 0 511851180 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 4357243 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=479276 CPUtime=97.9 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 47770 1253 0 0 9780 10 0 0 25 0 9 0 511851180 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364942 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=479276 CPUtime=97.92 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 50726 1253 0 0 9782 10 0 0 25 0 9 0 511851180 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=479276 CPUtime=97.91 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 36553 1253 0 0 9785 6 0 0 25 0 9 0 511851180 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=479276 CPUtime=97.91 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 34778 1253 0 0 9785 6 0 0 25 0 9 0 511851180 490778624 81062 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 782.85
Current children cumulated vsize (KiB) 479276
[startup+98.2006 s]
/proc/loadavg: 6.79 3.12 1.84 9/179 15642
/proc/meminfo: memFree=15696180/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=479276 CPUtime=784.39 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 327455 1253 0 0 78378 61 0 0 18 0 8 0 511851171 490778624 81063 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 119819 81063 182 55 0 117705 0
[pid=15625/tid=15633] ppid=15623 vsize=479276 CPUtime=98.09 cores=0-7
/proc/15625/task/15633/stat : 15633 (plingeling) R 15623 15625 15599 0 -1 4202560 36202 1253 0 0 9804 5 0 0 25 0 8 0 511851180 490778624 81063 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=479276 CPUtime=97.54 cores=0-7
/proc/15625/task/15634/stat : 15634 (plingeling) R 15623 15625 15599 0 -1 4202560 35823 1253 0 0 9748 6 0 0 25 0 8 0 511851180 490778624 81063 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15625/tid=15635] ppid=15623 vsize=479276 CPUtime=98.1 cores=0-7
/proc/15625/task/15635/stat : 15635 (plingeling) R 15623 15625 15599 0 -1 4202560 46282 1253 0 0 9802 8 0 0 25 0 8 0 511851180 490778624 81063 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15625/tid=15636] ppid=15623 vsize=479276 CPUtime=98.1 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 47770 1253 0 0 9800 10 0 0 25 0 8 0 511851180 490778624 81063 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15625/tid=15637] ppid=15623 vsize=479276 CPUtime=98.11 cores=0-7
/proc/15625/task/15637/stat : 15637 (plingeling) R 15623 15625 15599 0 -1 4202560 50726 1253 0 0 9801 10 0 0 25 0 8 0 511851180 490778624 81063 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15625/tid=15638] ppid=15623 vsize=479276 CPUtime=98.1 cores=0-7
/proc/15625/task/15638/stat : 15638 (plingeling) R 15623 15625 15599 0 -1 4202560 36553 1253 0 0 9804 6 0 0 25 0 8 0 511851180 490778624 81063 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15625/tid=15639] ppid=15623 vsize=479276 CPUtime=98.1 cores=0-7
/proc/15625/task/15639/stat : 15639 (plingeling) R 15623 15625 15599 0 -1 4202560 34778 1253 0 0 9804 6 0 0 25 0 8 0 511851180 490778624 81063 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364487 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 784.39
Current children cumulated vsize (KiB) 479276
[startup+98.3006 s]
/proc/loadavg: 6.79 3.12 1.84 9/179 15642
/proc/meminfo: memFree=15696180/32950928 swapFree=67087032/67111528
[pid=15625] ppid=15623 vsize=454616 CPUtime=784.83 cores=0-7
/proc/15625/stat : 15625 (plingeling) S 15623 15625 15599 0 -1 4202496 327797 1253 0 0 78422 61 0 0 17 0 2 0 511851171 465526784 77451 33554432000 4194304 4417332 140736001442800 18446744073709551615 239488497637 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/15625/statm: 113654 77451 182 55 0 111540 0
[pid=15625/tid=15636] ppid=15623 vsize=454616 CPUtime=98.19 cores=0-7
/proc/15625/task/15636/stat : 15636 (plingeling) R 15623 15625 15599 0 -1 4202560 48112 1253 0 0 9809 10 0 0 25 0 2 0 511851180 465526784 77451 33554432000 4194304 4417332 140736001442800 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 784.83
Current children cumulated vsize (KiB) 454616
Child status: 20
Real time (s): 98.3331
CPU time (s): 784.878
CPU user time (s): 784.241
CPU system time (s): 0.636903
CPU usage (%): 798.183
Max. virtual memory (cumulated for all children) (KiB): 506416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 784.241
system time used= 0.636903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329053
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= 325
involuntary context switches= 3546
runsolver used 0.158975 second user time and 0.377942 second system time
The end
Begin job on node148 at 2011-04-28 16:55:41
IDJOB=3309375
IDBENCH=70818
IDSOLVER=1695
FILE ID=node148/3309375-1304002541
RUNJOBID= node148-1304002541-15613
PBS_JOBID= 13168795
Free space on /tmp= 71432 MiB
SOLVER NAME= Plingeling 587
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309375-1304002541/watcher-3309375-1304002541 -o /tmp/evaluation-result-3309375-1304002541/solver-3309375-1304002541 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309375-1304002541.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e1a6f3a7c69cc7fbec84aac478eb151a
RANDOM SEED=1076452073
node148.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.854
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.70
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.854
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.854
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.83
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.854
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.75
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.854
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.82
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.854
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.75
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.854
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.82
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.854
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: 32950928 kB
MemFree: 16016100 kB
Buffers: 2083472 kB
Cached: 14238736 kB
SwapCached: 5264 kB
Active: 6830260 kB
Inactive: 9536060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 16016100 kB
SwapTotal: 67111528 kB
SwapFree: 67087032 kB
Dirty: 792 kB
Writeback: 36 kB
AnonPages: 40228 kB
Mapped: 13584 kB
Slab: 504116 kB
PageTables: 4300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 178844 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= 71432 MiB
End job on node148 at 2011-04-28 16:57:19