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-3309402-1304003259/watcher-3309402-1304003259 -o /tmp/evaluation-result-3309402-1304003259/solver-3309402-1304003259 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309402-1304003259.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: 3.00 1.45 1.15 2/170 24910
/proc/meminfo: memFree=16576792/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=9820 CPUtime=0 cores=0-7
/proc/24910/stat : 24910 (plingeling) R 24908 24910 24842 0 -1 4202496 548 1261 0 0 0 0 0 0 24 0 1 0 590556635 10055680 477 33554432000 4194304 4417332 140735228152048 18446744073709551615 231895184355 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24910/statm: 2495 485 147 55 0 381 0
[startup+0.0881499 s]
/proc/loadavg: 3.00 1.45 1.15 2/170 24910
/proc/meminfo: memFree=16576792/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=29136 CPUtime=0.07 cores=0-7
/proc/24910/stat : 24910 (plingeling) R 24908 24910 24842 0 -1 4202496 5362 1261 0 0 7 0 0 0 24 0 1 0 590556635 29835264 5291 33554432000 4194304 4417332 140735228152048 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24910/statm: 7284 5291 148 55 0 5170 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29136
[startup+0.101148 s]
/proc/loadavg: 3.00 1.45 1.15 2/170 24910
/proc/meminfo: memFree=16576792/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=30168 CPUtime=0.09 cores=0-7
/proc/24910/stat : 24910 (plingeling) R 24908 24910 24842 0 -1 4202496 5620 1261 0 0 9 0 0 0 24 0 1 0 590556635 30892032 5549 33554432000 4194304 4417332 140735228152048 18446744073709551615 4323339 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24910/statm: 7542 5549 148 55 0 5428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30168
[startup+0.301111 s]
/proc/loadavg: 3.00 1.45 1.15 2/170 24910
/proc/meminfo: memFree=16576792/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=66560 CPUtime=0.29 cores=0-7
/proc/24910/stat : 24910 (plingeling) R 24908 24910 24842 0 -1 4202496 14718 1261 0 0 27 2 0 0 25 0 1 0 590556635 68157440 14647 33554432000 4194304 4417332 140735228152048 18446744073709551615 4274422 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24910/statm: 16640 14647 148 55 0 14526 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66560
[startup+0.700963 s]
/proc/loadavg: 3.00 1.45 1.15 2/170 24910
/proc/meminfo: memFree=16576792/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=254988 CPUtime=2.63 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 35797 1261 0 0 259 4 0 0 25 0 9 0 590556635 261107712 26047 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 63747 26047 175 55 0 61633 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 254988
[startup+1.50081 s]
/proc/loadavg: 3.40 1.56 1.18 10/179 24924
/proc/meminfo: memFree=16471700/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=254128 CPUtime=9.03 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 43031 1261 0 0 898 5 0 0 25 0 9 0 590556635 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 63532 26210 176 55 0 61418 0
[pid=24910/tid=24917] ppid=24908 vsize=254128 CPUtime=1.08 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 5470 1261 0 0 108 0 0 0 19 0 9 0 590556675 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=254128 CPUtime=1.08 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 5275 1261 0 0 108 0 0 0 19 0 9 0 590556675 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 4287339 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=254128 CPUtime=1.09 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 720 1261 0 0 109 0 0 0 25 0 9 0 590556675 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 4265499 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=254128 CPUtime=1.09 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 501 1261 0 0 109 0 0 0 25 0 9 0 590556676 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=254128 CPUtime=1.05 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 790 1261 0 0 105 0 0 0 25 0 9 0 590556676 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=254128 CPUtime=1.06 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 601 1261 0 0 106 0 0 0 25 0 9 0 590556676 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 4276025 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=254128 CPUtime=1.08 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 710 1261 0 0 108 0 0 0 19 0 9 0 590556677 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 4290633 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=254128 CPUtime=1.05 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 1214 1261 0 0 105 0 0 0 25 0 9 0 590556679 260227072 26210 33554432000 4194304 4417332 140735228152048 18446744073709551615 4288638 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.03
Current children cumulated vsize (KiB) 254128
[startup+3.1005 s]
/proc/loadavg: 3.40 1.56 1.18 9/179 24924
/proc/meminfo: memFree=16475916/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=235484 CPUtime=21.82 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 51746 1261 0 0 2175 7 0 0 25 0 9 0 590556635 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 58871 21377 181 55 0 56757 0
[pid=24910/tid=24917] ppid=24908 vsize=235484 CPUtime=2.68 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 6842 1261 0 0 268 0 0 0 23 0 9 0 590556675 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365894 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=235484 CPUtime=2.68 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 6304 1261 0 0 268 0 0 0 22 0 9 0 590556675 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 4352432 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=235484 CPUtime=2.68 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 1340 1261 0 0 268 0 0 0 25 0 9 0 590556675 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 4357984 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=235484 CPUtime=2.69 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 501 1261 0 0 269 0 0 0 25 0 9 0 590556676 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 4356760 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=235484 CPUtime=2.65 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 2903 1261 0 0 265 0 0 0 25 0 9 0 590556676 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=235484 CPUtime=2.66 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 1450 1261 0 0 266 0 0 0 25 0 9 0 590556676 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364329 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=235484 CPUtime=2.67 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 833 1261 0 0 267 0 0 0 23 0 9 0 590556677 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365872 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=235484 CPUtime=2.64 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 3823 1261 0 0 264 0 0 0 25 0 9 0 590556679 241135616 21377 33554432000 4194304 4417332 140735228152048 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.82
Current children cumulated vsize (KiB) 235484
[startup+6.3009 s]
/proc/loadavg: 3.40 1.56 1.18 9/179 24924
/proc/meminfo: memFree=16492036/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=234704 CPUtime=47.4 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 53810 1261 0 0 4733 7 0 0 25 0 9 0 590556635 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 58676 21182 181 55 0 56562 0
[pid=24910/tid=24917] ppid=24908 vsize=234704 CPUtime=5.88 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 6848 1261 0 0 588 0 0 0 25 0 9 0 590556675 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 4366610 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=234704 CPUtime=5.89 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 6515 1261 0 0 588 1 0 0 25 0 9 0 590556675 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 4237338 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=234704 CPUtime=5.88 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 1744 1261 0 0 588 0 0 0 25 0 9 0 590556675 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364502 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=234704 CPUtime=5.89 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 501 1261 0 0 589 0 0 0 25 0 9 0 590556676 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=234704 CPUtime=5.85 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 3171 1261 0 0 585 0 0 0 25 0 9 0 590556676 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365872 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=234704 CPUtime=5.86 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 1750 1261 0 0 586 0 0 0 25 0 9 0 590556676 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 4357806 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=234704 CPUtime=5.87 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 1305 1261 0 0 587 0 0 0 25 0 9 0 590556677 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=234704 CPUtime=5.82 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 4226 1261 0 0 582 0 0 0 25 0 9 0 590556679 240336896 21182 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.4
Current children cumulated vsize (KiB) 234704
[startup+12.7007 s]
/proc/loadavg: 4.10 1.77 1.26 9/179 24924
/proc/meminfo: memFree=16474228/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=252936 CPUtime=98.57 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 58869 1261 0 0 9849 8 0 0 25 0 9 0 590556635 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 63234 25752 181 55 0 61120 0
[pid=24910/tid=24917] ppid=24908 vsize=252936 CPUtime=12.29 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 7676 1261 0 0 1228 1 0 0 25 0 9 0 590556675 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=252936 CPUtime=12.29 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 6727 1261 0 0 1228 1 0 0 25 0 9 0 590556675 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364652 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=252936 CPUtime=12.28 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 2596 1261 0 0 1228 0 0 0 25 0 9 0 590556675 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=252936 CPUtime=12.29 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 676 1261 0 0 1229 0 0 0 25 0 9 0 590556676 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 4236613 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=252936 CPUtime=12.25 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 3788 1261 0 0 1225 0 0 0 25 0 9 0 590556676 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=252936 CPUtime=12.26 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 2720 1261 0 0 1226 0 0 0 25 0 9 0 590556676 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=252936 CPUtime=12.27 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 1667 1261 0 0 1227 0 0 0 25 0 9 0 590556677 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=252936 CPUtime=12.18 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 5269 1261 0 0 1218 0 0 0 25 0 9 0 590556679 259006464 25752 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 98.57
Current children cumulated vsize (KiB) 252936
[startup+25.5013 s]
/proc/loadavg: 4.70 1.98 1.33 9/179 24924
/proc/meminfo: memFree=16429424/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=300460 CPUtime=200.9 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 71291 1261 0 0 20080 10 0 0 25 0 9 0 590556635 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 75115 37633 181 55 0 73001 0
[pid=24910/tid=24917] ppid=24908 vsize=300460 CPUtime=25.09 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 9211 1261 0 0 2508 1 0 0 25 0 9 0 590556675 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 4250876 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=300460 CPUtime=25.09 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 8104 1261 0 0 2508 1 0 0 25 0 9 0 590556675 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=300460 CPUtime=25.08 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 4802 1261 0 0 2508 0 0 0 25 0 9 0 590556675 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=300460 CPUtime=25.09 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 676 1261 0 0 2509 0 0 0 25 0 9 0 590556676 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364656 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=300460 CPUtime=25.05 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 5465 1261 0 0 2505 0 0 0 25 0 9 0 590556676 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=300460 CPUtime=25.06 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 4218 1261 0 0 2506 0 0 0 25 0 9 0 590556676 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=300460 CPUtime=25.07 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 3453 1261 0 0 2507 0 0 0 25 0 9 0 590556677 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 4245664 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=300460 CPUtime=24.92 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 7612 1261 0 0 2491 1 0 0 25 0 9 0 590556679 307671040 37633 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 200.9
Current children cumulated vsize (KiB) 300460
[startup+51.1005 s]
/proc/loadavg: 5.83 2.46 1.50 9/179 24925
/proc/meminfo: memFree=16400560/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=330000 CPUtime=405.56 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 88291 1261 0 0 40543 13 0 0 25 0 9 0 590556635 337920000 45047 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 82500 45047 181 55 0 80386 0
[pid=24910/tid=24917] ppid=24908 vsize=330000 CPUtime=50.68 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 10367 1261 0 0 5067 1 0 0 25 0 9 0 590556675 337920000 45047 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=330000 CPUtime=50.68 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 9475 1261 0 0 5067 1 0 0 25 0 9 0 590556675 337920000 45047 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364734 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=330000 CPUtime=50.68 cores=0-7
################
# More data... #
################
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 162799 1261 0 0 86577 30 0 0 25 0 9 0 590556635 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 95511 58061 181 55 0 93397 0
[pid=24910/tid=24917] ppid=24908 vsize=382044 CPUtime=108.29 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 27299 1261 0 0 10823 6 0 0 25 0 9 0 590556675 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364656 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=382044 CPUtime=108.28 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 9547 1261 0 0 10827 1 0 0 25 0 9 0 590556675 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365975 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=382044 CPUtime=108.28 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 18832 1261 0 0 10825 3 0 0 25 0 9 0 590556675 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364942 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=382044 CPUtime=108.28 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 2724 1261 0 0 10828 0 0 0 25 0 9 0 590556676 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=382044 CPUtime=108.25 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 20179 1261 0 0 10823 2 0 0 25 0 9 0 590556676 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=382044 CPUtime=108.26 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 8834 1261 0 0 10825 1 0 0 25 0 9 0 590556676 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=382044 CPUtime=108.27 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 23112 1261 0 0 10823 4 0 0 25 0 9 0 590556677 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=382044 CPUtime=107.67 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 24522 1261 0 0 10762 5 0 0 25 0 9 0 590556679 391213056 58061 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364491 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 866.07
Current children cumulated vsize (KiB) 382044
[startup+115.1 s]
/proc/loadavg: 7.37 3.57 1.95 9/179 24927
/proc/meminfo: memFree=16363524/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=359448 CPUtime=917.23 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 171932 1261 0 0 91691 32 0 0 25 0 9 0 590556635 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 89862 52412 181 55 0 87748 0
[pid=24910/tid=24917] ppid=24908 vsize=359448 CPUtime=114.69 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 29651 1261 0 0 11463 6 0 0 25 0 9 0 590556675 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365963 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=359448 CPUtime=114.68 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 9547 1261 0 0 11467 1 0 0 25 0 9 0 590556675 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=359448 CPUtime=114.68 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 20742 1261 0 0 11464 4 0 0 25 0 9 0 590556675 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364706 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=359448 CPUtime=114.68 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 2724 1261 0 0 11468 0 0 0 25 0 9 0 590556676 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364487 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=359448 CPUtime=114.65 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 21672 1261 0 0 11463 2 0 0 25 0 9 0 590556676 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364990 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=359448 CPUtime=114.66 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 9488 1261 0 0 11465 1 0 0 25 0 9 0 590556676 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=359448 CPUtime=114.68 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 24859 1261 0 0 11463 5 0 0 25 0 9 0 590556677 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364776 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=359448 CPUtime=114.03 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 25499 1261 0 0 11398 5 0 0 25 0 9 0 590556679 368074752 52412 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 917.23
Current children cumulated vsize (KiB) 359448
[startup+118.301 s]
/proc/loadavg: 7.42 3.64 1.98 9/179 24927
/proc/meminfo: memFree=16370844/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=358808 CPUtime=942.82 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 176287 1261 0 0 94250 32 0 0 25 0 9 0 590556635 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 89702 52252 181 55 0 87588 0
[pid=24910/tid=24917] ppid=24908 vsize=358808 CPUtime=117.89 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 30316 1261 0 0 11783 6 0 0 25 0 9 0 590556675 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=358808 CPUtime=117.88 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 9547 1261 0 0 11787 1 0 0 25 0 9 0 590556675 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=358808 CPUtime=117.88 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 21655 1261 0 0 11784 4 0 0 25 0 9 0 590556675 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=358808 CPUtime=117.89 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 2724 1261 0 0 11789 0 0 0 25 0 9 0 590556676 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365900 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=358808 CPUtime=117.85 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 21672 1261 0 0 11783 2 0 0 25 0 9 0 590556676 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364473 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=358808 CPUtime=117.86 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 10647 1261 0 0 11785 1 0 0 25 0 9 0 590556676 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=358808 CPUtime=117.88 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 25888 1261 0 0 11783 5 0 0 25 0 9 0 590556677 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=358808 CPUtime=117.21 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 26088 1261 0 0 11716 5 0 0 25 0 9 0 590556679 367419392 52252 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365994 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 942.82
Current children cumulated vsize (KiB) 358808
[startup+119.101 s]
/proc/loadavg: 7.42 3.64 1.98 9/179 24927
/proc/meminfo: memFree=16377904/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=352304 CPUtime=949.21 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 177003 1261 0 0 94889 32 0 0 25 0 9 0 590556635 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 88076 50626 181 55 0 85962 0
[pid=24910/tid=24917] ppid=24908 vsize=352304 CPUtime=118.69 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 30750 1261 0 0 11863 6 0 0 25 0 9 0 590556675 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=352304 CPUtime=118.68 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 9547 1261 0 0 11867 1 0 0 25 0 9 0 590556675 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 4365003 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=352304 CPUtime=118.68 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 21655 1261 0 0 11864 4 0 0 25 0 9 0 590556675 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 4353378 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=352304 CPUtime=118.68 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 2724 1261 0 0 11868 0 0 0 25 0 9 0 590556676 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=352304 CPUtime=118.65 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 21672 1261 0 0 11863 2 0 0 25 0 9 0 590556676 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=352304 CPUtime=118.66 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 10647 1261 0 0 11865 1 0 0 25 0 9 0 590556676 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=352304 CPUtime=118.68 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 25888 1261 0 0 11863 5 0 0 25 0 9 0 590556677 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=352304 CPUtime=118.01 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 26370 1261 0 0 11796 5 0 0 25 0 9 0 590556679 360759296 50626 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 949.21
Current children cumulated vsize (KiB) 352304
[startup+119.907 s]
/proc/loadavg: 7.42 3.64 1.98 9/179 24927
/proc/meminfo: memFree=16376788/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=353424 CPUtime=955.65 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 177918 1261 0 0 95533 32 0 0 25 0 9 0 590556635 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 88356 50906 181 55 0 86242 0
[pid=24910/tid=24917] ppid=24908 vsize=353424 CPUtime=119.49 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 30983 1261 0 0 11943 6 0 0 25 0 9 0 590556675 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=353424 CPUtime=119.49 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 9547 1261 0 0 11948 1 0 0 25 0 9 0 590556675 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 4252240 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=353424 CPUtime=119.48 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 21655 1261 0 0 11944 4 0 0 25 0 9 0 590556675 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=353424 CPUtime=119.49 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 2724 1261 0 0 11949 0 0 0 25 0 9 0 590556676 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 4357063 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=353424 CPUtime=119.45 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 21672 1261 0 0 11943 2 0 0 25 0 9 0 590556676 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=353424 CPUtime=119.47 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 11329 1261 0 0 11946 1 0 0 25 0 9 0 590556676 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 4232808 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=353424 CPUtime=119.48 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 25888 1261 0 0 11943 5 0 0 25 0 9 0 590556677 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=353424 CPUtime=118.81 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 26370 1261 0 0 11876 5 0 0 25 0 9 0 590556679 361906176 50906 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 955.65
Current children cumulated vsize (KiB) 353424
[startup+120.1 s]
/proc/loadavg: 7.42 3.64 1.98 9/179 24927
/proc/meminfo: memFree=16376788/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=348720 CPUtime=957.2 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 178359 1261 0 0 95688 32 0 0 25 0 9 0 590556635 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 87180 49730 181 55 0 85066 0
[pid=24910/tid=24917] ppid=24908 vsize=348720 CPUtime=119.69 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 30983 1261 0 0 11963 6 0 0 25 0 9 0 590556675 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=348720 CPUtime=119.68 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 9547 1261 0 0 11967 1 0 0 25 0 9 0 590556675 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=348720 CPUtime=119.68 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 21655 1261 0 0 11964 4 0 0 25 0 9 0 590556675 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4366038 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=348720 CPUtime=119.68 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 2724 1261 0 0 11968 0 0 0 25 0 9 0 590556676 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=348720 CPUtime=119.65 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 21672 1261 0 0 11963 2 0 0 25 0 9 0 590556676 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364652 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=348720 CPUtime=119.66 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 11329 1261 0 0 11965 1 0 0 25 0 9 0 590556676 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364919 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=348720 CPUtime=119.68 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 26329 1261 0 0 11963 5 0 0 25 0 9 0 590556677 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=348720 CPUtime=119 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 26370 1261 0 0 11895 5 0 0 25 0 9 0 590556679 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 957.2
Current children cumulated vsize (KiB) 348720
[startup+120.2 s]
/proc/loadavg: 7.42 3.64 1.98 9/179 24927
/proc/meminfo: memFree=16376788/32950928 swapFree=67111528/67111528
[pid=24910] ppid=24908 vsize=348720 CPUtime=958 cores=0-7
/proc/24910/stat : 24910 (plingeling) S 24908 24910 24842 0 -1 4202496 178359 1261 0 0 95768 32 0 0 25 0 9 0 590556635 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24910/statm: 87180 49730 181 55 0 85066 0
[pid=24910/tid=24917] ppid=24908 vsize=348720 CPUtime=119.79 cores=0-7
/proc/24910/task/24917/stat : 24917 (plingeling) R 24908 24910 24842 0 -1 4202560 30983 1261 0 0 11973 6 0 0 25 0 9 0 590556675 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24910/tid=24918] ppid=24908 vsize=348720 CPUtime=119.78 cores=0-7
/proc/24910/task/24918/stat : 24918 (plingeling) R 24908 24910 24842 0 -1 4202560 9547 1261 0 0 11977 1 0 0 25 0 9 0 590556675 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24910/tid=24919] ppid=24908 vsize=348720 CPUtime=119.78 cores=0-7
/proc/24910/task/24919/stat : 24919 (plingeling) R 24908 24910 24842 0 -1 4202560 21655 1261 0 0 11974 4 0 0 25 0 9 0 590556675 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24910/tid=24920] ppid=24908 vsize=348720 CPUtime=119.78 cores=0-7
/proc/24910/task/24920/stat : 24920 (plingeling) R 24908 24910 24842 0 -1 4202560 2724 1261 0 0 11978 0 0 0 25 0 9 0 590556676 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24910/tid=24921] ppid=24908 vsize=348720 CPUtime=119.75 cores=0-7
/proc/24910/task/24921/stat : 24921 (plingeling) R 24908 24910 24842 0 -1 4202560 21672 1261 0 0 11973 2 0 0 25 0 9 0 590556676 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24910/tid=24922] ppid=24908 vsize=348720 CPUtime=119.76 cores=0-7
/proc/24910/task/24922/stat : 24922 (plingeling) R 24908 24910 24842 0 -1 4202560 11329 1261 0 0 11975 1 0 0 25 0 9 0 590556676 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24910/tid=24923] ppid=24908 vsize=348720 CPUtime=119.78 cores=0-7
/proc/24910/task/24923/stat : 24923 (plingeling) R 24908 24910 24842 0 -1 4202560 26329 1261 0 0 11973 5 0 0 25 0 9 0 590556677 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24910/tid=24924] ppid=24908 vsize=348720 CPUtime=119.1 cores=0-7
/proc/24910/task/24924/stat : 24924 (plingeling) R 24908 24910 24842 0 -1 4202560 26370 1261 0 0 11905 5 0 0 25 0 9 0 590556679 357089280 49730 33554432000 4194304 4417332 140735228152048 18446744073709551615 4364919 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 958
Current children cumulated vsize (KiB) 348720
Child status: 20
Real time (s): 120.297
CPU time (s): 958.4
CPU user time (s): 958.057
CPU system time (s): 0.342947
CPU usage (%): 796.693
Max. virtual memory (cumulated for all children) (KiB): 386668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 958.057
system time used= 0.342947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179624
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= 386
involuntary context switches= 4552
runsolver used 0.189971 second user time and 0.465929 second system time
The end
Begin job on node114 at 2011-04-28 17:07:40
IDJOB=3309402
IDBENCH=70941
IDSOLVER=1695
FILE ID=node114/3309402-1304003259
RUNJOBID= node114-1304003235-24856
PBS_JOBID= 13168802
Free space on /tmp= 71800 MiB
SOLVER NAME= Plingeling 587
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309402-1304003259/watcher-3309402-1304003259 -o /tmp/evaluation-result-3309402-1304003259/solver-3309402-1304003259 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309402-1304003259.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED=1259723256
node114.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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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 : 5226.15
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.848
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.74
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.848
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.73
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.848
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.848
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 16577072 kB
Buffers: 2322052 kB
Cached: 13396876 kB
SwapCached: 0 kB
Active: 7265960 kB
Inactive: 8517304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 16577072 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3572 kB
Writeback: 0 kB
AnonPages: 64376 kB
Mapped: 14724 kB
Slab: 524352 kB
PageTables: 4408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 186976 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= 71800 MiB
End job on node114 at 2011-04-28 17:09:40