runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372579-1305689658/watcher-3372579-1305689658 -o /tmp/evaluation-result-3372579-1305689658/solver-3372579-1305689658 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372579-1305689658.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 16.43 28.04 30.59 1/413 30004
/proc/meminfo: memFree=255510860/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=16240 CPUtime=0.02 cores=0-31
/proc/30004/stat : 30004 (plingeling) R 30002 30004 29978 0 -1 4202496 2148 1239 0 0 2 0 0 0 22 0 1 0 680452389 16629760 2080 268435456000 4194304 4417452 140734470510560 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30004/statm: 4060 2080 145 55 0 1946 0
[startup+0.037035 s]
/proc/loadavg: 16.43 28.04 30.59 1/413 30004
/proc/meminfo: memFree=255510860/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=16240 CPUtime=0.02 cores=0-31
/proc/30004/stat : 30004 (plingeling) R 30002 30004 29978 0 -1 4202496 2148 1239 0 0 2 0 0 0 22 0 1 0 680452389 16629760 2080 268435456000 4194304 4417452 140734470510560 18446744073709551615 4264888 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30004/statm: 4060 2080 145 55 0 1946 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16240
[startup+0.100989 s]
/proc/loadavg: 16.43 28.04 30.59 1/413 30004
/proc/meminfo: memFree=255510860/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=29524 CPUtime=0.08 cores=0-31
/proc/30004/stat : 30004 (plingeling) R 30002 30004 29978 0 -1 4202496 5458 1239 0 0 8 0 0 0 22 0 1 0 680452389 30232576 5390 268435456000 4194304 4417452 140734470510560 18446744073709551615 4320802 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30004/statm: 7381 5390 146 55 0 5267 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29524
[startup+0.301015 s]
/proc/loadavg: 16.43 28.04 30.59 1/413 30004
/proc/meminfo: memFree=255510860/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=51688 CPUtime=0.28 cores=0-31
/proc/30004/stat : 30004 (plingeling) R 30002 30004 29978 0 -1 4202496 11003 1239 0 0 27 1 0 0 23 0 1 0 680452389 52928512 10935 268435456000 4194304 4417452 140734470510560 18446744073709551615 4259603 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30004/statm: 12922 10935 146 55 0 10808 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51688
[startup+0.701011 s]
/proc/loadavg: 16.43 28.04 30.59 1/413 30004
/proc/meminfo: memFree=255510860/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=90440 CPUtime=0.69 cores=0-31
/proc/30004/stat : 30004 (plingeling) R 30002 30004 29978 0 -1 4202496 20699 1239 0 0 66 3 0 0 25 0 1 0 680452389 92610560 20631 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236012 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30004/statm: 22610 20631 146 55 0 20496 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90440
[startup+1.50104 s]
/proc/loadavg: 16.43 28.04 30.59 2/414 30010
/proc/meminfo: memFree=255365392/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=152780 CPUtime=1.49 cores=0-31
/proc/30004/stat : 30004 (plingeling) R 30002 30004 29978 0 -1 4202496 36284 1239 0 0 143 6 0 0 25 0 1 0 680452389 156446720 36216 268435456000 4194304 4417452 140734470510560 18446744073709551615 4259600 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/30004/statm: 38195 36216 146 55 0 36081 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152780
[startup+3.1011 s]
/proc/loadavg: 16.43 28.04 30.59 2/414 30010
/proc/meminfo: memFree=255248652/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=293216 CPUtime=3.08 cores=0-31
/proc/30004/stat : 30004 (plingeling) R 30002 30004 29978 0 -1 4202496 71441 1239 0 0 295 13 0 0 25 0 1 0 680452389 300253184 71325 268435456000 4194304 4417452 140734470510560 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/30004/statm: 73304 71325 146 55 0 71190 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 293216
[startup+6.3012 s]
/proc/loadavg: 15.19 27.59 30.43 2/414 30010
/proc/meminfo: memFree=254942916/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=574852 CPUtime=6.28 cores=0-31
/proc/30004/stat : 30004 (plingeling) R 30002 30004 29978 0 -1 4202496 141920 1239 0 0 602 26 0 0 25 0 1 0 680452389 588648448 141734 268435456000 4194304 4417452 140734470510560 18446744073709551615 4227863 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/30004/statm: 143713 141734 146 55 0 141599 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 574852
[startup+12.7023 s]
/proc/loadavg: 14.06 27.15 30.27 9/446 30042
/proc/meminfo: memFree=254404372/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=2051328 CPUtime=113.74 cores=0-31
/proc/30004/stat : 30004 (plingeling) S 30002 30004 29978 0 -1 4202496 554192 1239 0 0 10915 459 0 0 18 0 33 0 680452389 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/30004/statm: 512832 328312 170 55 0 510718 0
[pid=30004/tid=30011] ppid=30002 vsize=2051328 CPUtime=3.13 cores=0-31
/proc/30004/task/30011/stat : 30011 (plingeling) R 30002 30004 29978 0 -1 4202560 10080 1239 0 0 299 14 0 0 21 0 33 0 680453304 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30004/tid=30012] ppid=30002 vsize=2051328 CPUtime=3.13 cores=0-31
/proc/30004/task/30012/stat : 30012 (plingeling) R 30002 30004 29978 0 -1 4202560 10873 1239 0 0 300 13 0 0 25 0 33 0 680453304 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30004/tid=30013] ppid=30002 vsize=2051328 CPUtime=3.31 cores=0-31
/proc/30004/task/30013/stat : 30013 (plingeling) R 30002 30004 29978 0 -1 4202560 13579 1239 0 0 315 16 0 0 23 0 33 0 680453304 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4264300 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30004/tid=30014] ppid=30002 vsize=2051328 CPUtime=3.5 cores=0-31
/proc/30004/task/30014/stat : 30014 (plingeling) R 30002 30004 29978 0 -1 4202560 3904 1239 0 0 344 6 0 0 25 0 33 0 680453305 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30004/tid=30015] ppid=30002 vsize=2051328 CPUtime=3.1 cores=0-31
/proc/30004/task/30015/stat : 30015 (plingeling) R 30002 30004 29978 0 -1 4202560 8603 1239 0 0 302 8 0 0 20 0 33 0 680453305 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30004/tid=30016] ppid=30002 vsize=2051328 CPUtime=3.22 cores=0-31
/proc/30004/task/30016/stat : 30016 (plingeling) R 30002 30004 29978 0 -1 4202560 9110 1239 0 0 304 18 0 0 20 0 33 0 680453305 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30004/tid=30017] ppid=30002 vsize=2051328 CPUtime=3.32 cores=0-31
/proc/30004/task/30017/stat : 30017 (plingeling) R 30002 30004 29978 0 -1 4202560 10072 1239 0 0 320 12 0 0 23 0 33 0 680453305 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30004/tid=30018] ppid=30002 vsize=2051328 CPUtime=3.18 cores=0-31
/proc/30004/task/30018/stat : 30018 (plingeling) R 30002 30004 29978 0 -1 4202560 8609 1239 0 0 301 17 0 0 20 0 33 0 680453305 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30004/tid=30019] ppid=30002 vsize=2051328 CPUtime=3.29 cores=0-31
/proc/30004/task/30019/stat : 30019 (plingeling) R 30002 30004 29978 0 -1 4202560 12301 1239 0 0 312 17 0 0 22 0 33 0 680453305 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4276016 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30004/tid=30020] ppid=30002 vsize=2051328 CPUtime=3.27 cores=0-31
/proc/30004/task/30020/stat : 30020 (plingeling) R 30002 30004 29978 0 -1 4202560 12071 1239 0 0 311 16 0 0 25 0 33 0 680453305 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4277491 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30004/tid=30021] ppid=30002 vsize=2051328 CPUtime=3.28 cores=0-31
/proc/30004/task/30021/stat : 30021 (plingeling) R 30002 30004 29978 0 -1 4202560 13669 1239 0 0 311 17 0 0 21 0 33 0 680453305 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4211205 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30004/tid=30022] ppid=30002 vsize=2051328 CPUtime=3.32 cores=0-31
/proc/30004/task/30022/stat : 30022 (plingeling) R 30002 30004 29978 0 -1 4202560 10549 1239 0 0 320 12 0 0 25 0 33 0 680453306 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4277527 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30004/tid=30023] ppid=30002 vsize=2051328 CPUtime=3.35 cores=0-31
/proc/30004/task/30023/stat : 30023 (plingeling) R 30002 30004 29978 0 -1 4202560 10033 1239 0 0 326 9 0 0 24 0 33 0 680453306 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30004/tid=30024] ppid=30002 vsize=2051328 CPUtime=3.33 cores=0-31
/proc/30004/task/30024/stat : 30024 (plingeling) R 30002 30004 29978 0 -1 4202560 9432 1239 0 0 321 12 0 0 25 0 33 0 680453306 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4277684 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30004/tid=30025] ppid=30002 vsize=2051328 CPUtime=3.32 cores=0-31
/proc/30004/task/30025/stat : 30025 (plingeling) R 30002 30004 29978 0 -1 4202560 9913 1239 0 0 317 15 0 0 25 0 33 0 680453306 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30004/tid=30026] ppid=30002 vsize=2051328 CPUtime=3.36 cores=0-31
/proc/30004/task/30026/stat : 30026 (plingeling) R 30002 30004 29978 0 -1 4202560 10669 1239 0 0 323 13 0 0 25 0 33 0 680453306 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30004/tid=30027] ppid=30002 vsize=2051328 CPUtime=3.22 cores=0-31
/proc/30004/task/30027/stat : 30027 (plingeling) R 30002 30004 29978 0 -1 4202560 10709 1239 0 0 314 8 0 0 25 0 33 0 680453306 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4275711 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30004/tid=30028] ppid=30002 vsize=2051328 CPUtime=3.29 cores=0-31
/proc/30004/task/30028/stat : 30028 (plingeling) R 30002 30004 29978 0 -1 4202560 12063 1239 0 0 321 8 0 0 25 0 33 0 680453306 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30004/tid=30029] ppid=30002 vsize=2051328 CPUtime=3.15 cores=0-31
/proc/30004/task/30029/stat : 30029 (plingeling) R 30002 30004 29978 0 -1 4202560 12111 1239 0 0 302 13 0 0 25 0 33 0 680453306 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4277628 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30004/tid=30030] ppid=30002 vsize=2051328 CPUtime=3.16 cores=0-31
/proc/30004/task/30030/stat : 30030 (plingeling) R 30002 30004 29978 0 -1 4202560 8607 1239 0 0 300 16 0 0 20 0 33 0 680453310 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30004/tid=30031] ppid=30002 vsize=2051328 CPUtime=3.38 cores=0-31
/proc/30004/task/30031/stat : 30031 (plingeling) R 30002 30004 29978 0 -1 4202560 10867 1239 0 0 326 12 0 0 25 0 33 0 680453310 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4277632 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30004/tid=30032] ppid=30002 vsize=2051328 CPUtime=3.33 cores=0-31
/proc/30004/task/30032/stat : 30032 (plingeling) R 30002 30004 29978 0 -1 4202560 9074 1239 0 0 318 15 0 0 25 0 33 0 680453310 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4276482 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30004/tid=30033] ppid=30002 vsize=2051328 CPUtime=3.3 cores=0-31
/proc/30004/task/30033/stat : 30033 (plingeling) R 30002 30004 29978 0 -1 4202560 10987 1239 0 0 316 14 0 0 23 0 33 0 680453310 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4275894 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30004/tid=30034] ppid=30002 vsize=2051328 CPUtime=3.39 cores=0-31
/proc/30004/task/30034/stat : 30034 (plingeling) R 30002 30004 29978 0 -1 4202560 10828 1239 0 0 326 13 0 0 25 0 33 0 680453310 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30004/tid=30035] ppid=30002 vsize=2051328 CPUtime=3.3 cores=0-31
/proc/30004/task/30035/stat : 30035 (plingeling) R 30002 30004 29978 0 -1 4202560 11828 1239 0 0 316 14 0 0 25 0 33 0 680453310 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30004/tid=30036] ppid=30002 vsize=2051328 CPUtime=3.17 cores=0-31
/proc/30004/task/30036/stat : 30036 (plingeling) R 30002 30004 29978 0 -1 4202560 9082 1239 0 0 304 13 0 0 25 0 33 0 680453311 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30004/tid=30037] ppid=30002 vsize=2051328 CPUtime=3.25 cores=0-31
/proc/30004/task/30037/stat : 30037 (plingeling) R 30002 30004 29978 0 -1 4202560 10561 1239 0 0 316 9 0 0 25 0 33 0 680453311 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30004/tid=30038] ppid=30002 vsize=2051328 CPUtime=3.08 cores=0-31
/proc/30004/task/30038/stat : 30038 (plingeling) R 30002 30004 29978 0 -1 4202560 8598 1239 0 0 296 12 0 0 20 0 33 0 680453314 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236878 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30004/tid=30039] ppid=30002 vsize=2051328 CPUtime=3.26 cores=0-31
/proc/30004/task/30039/stat : 30039 (plingeling) R 30002 30004 29978 0 -1 4202560 13417 1239 0 0 316 10 0 0 25 0 33 0 680453315 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30004/tid=30040] ppid=30002 vsize=2051328 CPUtime=3.25 cores=0-31
/proc/30004/task/30040/stat : 30040 (plingeling) R 30002 30004 29978 0 -1 4202560 10828 1239 0 0 314 11 0 0 25 0 33 0 680453316 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30004/tid=30041] ppid=30002 vsize=2051328 CPUtime=3.22 cores=0-31
/proc/30004/task/30041/stat : 30041 (plingeling) R 30002 30004 29978 0 -1 4202560 14726 1239 0 0 308 14 0 0 22 0 33 0 680453316 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4264403 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30004/tid=30042] ppid=30002 vsize=2051328 CPUtime=3.16 cores=0-31
/proc/30004/task/30042/stat : 30042 (plingeling) R 30002 30004 29978 0 -1 4202560 9712 1239 0 0 310 6 0 0 25 0 33 0 680453316 2100559872 328312 268435456000 4194304 4417452 140734470510560 18446744073709551615 4277571 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 113.74
Current children cumulated vsize (KiB) 2051328
[startup+25.5017 s]
/proc/loadavg: 18.03 27.39 30.30 33/446 30042
/proc/meminfo: memFree=253787124/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=2319392 CPUtime=522.6 cores=0-31
/proc/30004/stat : 30004 (plingeling) S 30002 30004 29978 0 -1 4202496 725592 1239 0 0 51755 505 0 0 18 0 33 0 680452389 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/30004/statm: 579848 424002 174 55 0 577734 0
[pid=30004/tid=30011] ppid=30002 vsize=2319392 CPUtime=15.92 cores=0-31
/proc/30004/task/30011/stat : 30011 (plingeling) R 30002 30004 29978 0 -1 4202560 18539 1239 0 0 1576 16 0 0 25 0 33 0 680453304 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4253035 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30004/tid=30012] ppid=30002 vsize=2319392 CPUtime=15.92 cores=0-31
/proc/30004/task/30012/stat : 30012 (plingeling) R 30002 30004 29978 0 -1 4202560 18751 1239 0 0 1577 15 0 0 25 0 33 0 680453304 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4249650 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30004/tid=30013] ppid=30002 vsize=2319392 CPUtime=16.1 cores=0-31
/proc/30004/task/30013/stat : 30013 (plingeling) R 30002 30004 29978 0 -1 4202560 17666 1239 0 0 1593 17 0 0 25 0 33 0 680453304 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30004/tid=30014] ppid=30002 vsize=2319392 CPUtime=16.29 cores=0-31
/proc/30004/task/30014/stat : 30014 (plingeling) R 30002 30004 29978 0 -1 4202560 5953 1239 0 0 1618 11 0 0 25 0 33 0 680453305 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30004/tid=30015] ppid=30002 vsize=2319392 CPUtime=15.9 cores=0-31
/proc/30004/task/30015/stat : 30015 (plingeling) R 30002 30004 29978 0 -1 4202560 10658 1239 0 0 1581 9 0 0 25 0 33 0 680453305 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30004/tid=30016] ppid=30002 vsize=2319392 CPUtime=16.01 cores=0-31
/proc/30004/task/30016/stat : 30016 (plingeling) R 30002 30004 29978 0 -1 4202560 15263 1239 0 0 1582 19 0 0 25 0 33 0 680453305 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4252947 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30004/tid=30017] ppid=30002 vsize=2319392 CPUtime=16.11 cores=0-31
/proc/30004/task/30017/stat : 30017 (plingeling) R 30002 30004 29978 0 -1 4202560 19088 1239 0 0 1597 14 0 0 25 0 33 0 680453305 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4263109 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30004/tid=30018] ppid=30002 vsize=2319392 CPUtime=15.94 cores=0-31
/proc/30004/task/30018/stat : 30018 (plingeling) R 30002 30004 29978 0 -1 4202560 21181 1239 0 0 1574 20 0 0 25 0 33 0 680453305 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4253162 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30004/tid=30019] ppid=30002 vsize=2319392 CPUtime=16.09 cores=0-31
/proc/30004/task/30019/stat : 30019 (plingeling) R 30002 30004 29978 0 -1 4202560 19466 1239 0 0 1589 20 0 0 25 0 33 0 680453305 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4239411 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30004/tid=30020] ppid=30002 vsize=2319392 CPUtime=15.71 cores=0-31
/proc/30004/task/30020/stat : 30020 (plingeling) R 30002 30004 29978 0 -1 4202560 14126 1239 0 0 1554 17 0 0 25 0 33 0 680453305 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4252459 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30004/tid=30021] ppid=30002 vsize=2319392 CPUtime=16.06 cores=0-31
/proc/30004/task/30021/stat : 30021 (plingeling) R 30002 30004 29978 0 -1 4202560 16331 1239 0 0 1588 18 0 0 25 0 33 0 680453305 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4232770 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30004/tid=30022] ppid=30002 vsize=2319392 CPUtime=16.09 cores=0-31
/proc/30004/task/30022/stat : 30022 (plingeling) R 30002 30004 29978 0 -1 4202560 21997 1239 0 0 1595 14 0 0 25 0 33 0 680453306 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30004/tid=30023] ppid=30002 vsize=2319392 CPUtime=16.14 cores=0-31
/proc/30004/task/30023/stat : 30023 (plingeling) R 30002 30004 29978 0 -1 4202560 14231 1239 0 0 1604 10 0 0 25 0 33 0 680453306 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4336990 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30004/tid=30024] ppid=30002 vsize=2319392 CPUtime=16.11 cores=0-31
/proc/30004/task/30024/stat : 30024 (plingeling) R 30002 30004 29978 0 -1 4202560 13535 1239 0 0 1598 13 0 0 25 0 33 0 680453306 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4249158 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30004/tid=30025] ppid=30002 vsize=2319392 CPUtime=16.1 cores=0-31
/proc/30004/task/30025/stat : 30025 (plingeling) R 30002 30004 29978 0 -1 4202560 16143 1239 0 0 1594 16 0 0 25 0 33 0 680453306 2375057408 424002 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 25 0 0 0
################
# More data... #
################
/proc/30004/task/30036/stat : 30036 (plingeling) R 30002 30004 29978 0 -1 4202560 61241 1239 0 0 98025 65 0 0 25 0 33 0 680453311 3093680128 606790 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30004/tid=30037] ppid=30002 vsize=3021172 CPUtime=978.54 cores=0-31
/proc/30004/task/30037/stat : 30037 (plingeling) R 30002 30004 29978 0 -1 4202560 62680 1239 0 0 97795 59 0 0 25 0 33 0 680453311 3093680128 606790 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30004/tid=30038] ppid=30002 vsize=3021172 CPUtime=981.98 cores=0-31
/proc/30004/task/30038/stat : 30038 (plingeling) R 30002 30004 29978 0 -1 4202560 61204 1239 0 0 98143 55 0 0 25 0 33 0 680453314 3093680128 606790 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30004/tid=30039] ppid=30002 vsize=3021172 CPUtime=982.09 cores=0-31
/proc/30004/task/30039/stat : 30039 (plingeling) R 30002 30004 29978 0 -1 4202560 65240 1239 0 0 98144 65 0 0 25 0 33 0 680453315 3093680128 606790 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366090 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30004/tid=30040] ppid=30002 vsize=3021172 CPUtime=982.21 cores=0-31
/proc/30004/task/30040/stat : 30040 (plingeling) R 30002 30004 29978 0 -1 4202560 27255 1239 0 0 98198 23 0 0 25 0 33 0 680453316 3093680128 606790 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30004/tid=30041] ppid=30002 vsize=3021172 CPUtime=982.19 cores=0-31
/proc/30004/task/30041/stat : 30041 (plingeling) R 30002 30004 29978 0 -1 4202560 40214 1239 0 0 98178 41 0 0 25 0 33 0 680453316 3093680128 606790 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30004/tid=30042] ppid=30002 vsize=3021172 CPUtime=982.05 cores=0-31
/proc/30004/task/30042/stat : 30042 (plingeling) R 30002 30004 29978 0 -1 4202560 47120 1239 0 0 98158 47 0 0 25 0 33 0 680453316 3093680128 606790 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31411.1
Current children cumulated vsize (KiB) 3021172
[startup+993.502 s]
/proc/loadavg: 32.13 31.94 31.47 30/446 30068
/proc/meminfo: memFree=253078548/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=3003632 CPUtime=31461.9 cores=0-31
/proc/30004/stat : 30004 (plingeling) S 30002 30004 29978 0 -1 4202496 2347234 1239 0 0 3143977 2218 0 0 18 0 33 0 680452389 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/30004/statm: 750908 602413 175 55 0 748794 0
[pid=30004/tid=30011] ppid=30002 vsize=3003632 CPUtime=983.69 cores=0-31
/proc/30004/task/30011/stat : 30011 (plingeling) R 30002 30004 29978 0 -1 4202560 53994 1239 0 0 98324 45 0 0 25 0 33 0 680453304 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30004/tid=30012] ppid=30002 vsize=3003632 CPUtime=983.66 cores=0-31
/proc/30004/task/30012/stat : 30012 (plingeling) R 30002 30004 29978 0 -1 4202560 84163 1239 0 0 98270 96 0 0 25 0 33 0 680453304 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366543 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30004/tid=30013] ppid=30002 vsize=3003632 CPUtime=983.77 cores=0-31
/proc/30004/task/30013/stat : 30013 (plingeling) R 30002 30004 29978 0 -1 4202560 75880 1239 0 0 98302 75 0 0 25 0 33 0 680453304 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30004/tid=30014] ppid=30002 vsize=3003632 CPUtime=984.07 cores=0-31
/proc/30004/task/30014/stat : 30014 (plingeling) R 30002 30004 29978 0 -1 4202560 26426 1239 0 0 98372 35 0 0 25 0 33 0 680453305 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4232685 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30004/tid=30015] ppid=30002 vsize=3003632 CPUtime=976.21 cores=0-31
/proc/30004/task/30015/stat : 30015 (plingeling) R 30002 30004 29978 0 -1 4202560 21037 1239 0 0 97609 12 0 0 25 0 33 0 680453305 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30004/tid=30016] ppid=30002 vsize=3003632 CPUtime=983.44 cores=0-31
/proc/30004/task/30016/stat : 30016 (plingeling) R 30002 30004 29978 0 -1 4202560 85309 1239 0 0 98240 104 0 0 25 0 33 0 680453305 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30004/tid=30017] ppid=30002 vsize=3003632 CPUtime=983.43 cores=0-31
/proc/30004/task/30017/stat : 30017 (plingeling) R 30002 30004 29978 0 -1 4202560 49077 1239 0 0 98296 47 0 0 25 0 33 0 680453305 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30004/tid=30018] ppid=30002 vsize=3003632 CPUtime=983.71 cores=0-31
/proc/30004/task/30018/stat : 30018 (plingeling) R 30002 30004 29978 0 -1 4202560 53624 1239 0 0 98318 53 0 0 25 0 33 0 680453305 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30004/tid=30019] ppid=30002 vsize=3003632 CPUtime=983.42 cores=0-31
/proc/30004/task/30019/stat : 30019 (plingeling) R 30002 30004 29978 0 -1 4202560 101610 1239 0 0 98244 98 0 0 25 0 33 0 680453305 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4365939 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30004/tid=30020] ppid=30002 vsize=3003632 CPUtime=975.8 cores=0-31
/proc/30004/task/30020/stat : 30020 (plingeling) R 30002 30004 29978 0 -1 4202560 91453 1239 0 0 97490 90 0 0 25 0 33 0 680453305 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30004/tid=30021] ppid=30002 vsize=3003632 CPUtime=983.85 cores=0-31
/proc/30004/task/30021/stat : 30021 (plingeling) R 30002 30004 29978 0 -1 4202560 31185 1239 0 0 98351 34 0 0 25 0 33 0 680453305 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30004/tid=30022] ppid=30002 vsize=3003632 CPUtime=983.78 cores=0-31
/proc/30004/task/30022/stat : 30022 (plingeling) R 30002 30004 29978 0 -1 4202560 128940 1239 0 0 98253 125 0 0 25 0 33 0 680453306 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30004/tid=30023] ppid=30002 vsize=3003632 CPUtime=983.87 cores=0-31
/proc/30004/task/30023/stat : 30023 (plingeling) R 30002 30004 29978 0 -1 4202560 82488 1239 0 0 98293 94 0 0 25 0 33 0 680453306 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364453 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30004/tid=30024] ppid=30002 vsize=3003632 CPUtime=983.89 cores=0-31
/proc/30004/task/30024/stat : 30024 (plingeling) R 30002 30004 29978 0 -1 4202560 28946 1239 0 0 98371 18 0 0 25 0 33 0 680453306 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30004/tid=30025] ppid=30002 vsize=3003632 CPUtime=983.87 cores=0-31
/proc/30004/task/30025/stat : 30025 (plingeling) R 30002 30004 29978 0 -1 4202560 47612 1239 0 0 98327 60 0 0 25 0 33 0 680453306 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30004/tid=30026] ppid=30002 vsize=3003632 CPUtime=983.83 cores=0-31
/proc/30004/task/30026/stat : 30026 (plingeling) R 30002 30004 29978 0 -1 4202560 90298 1239 0 0 98302 81 0 0 25 0 33 0 680453306 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30004/tid=30027] ppid=30002 vsize=3003632 CPUtime=983.74 cores=0-31
/proc/30004/task/30027/stat : 30027 (plingeling) R 30002 30004 29978 0 -1 4202560 97902 1239 0 0 98279 95 0 0 25 0 33 0 680453306 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30004/tid=30028] ppid=30002 vsize=3003632 CPUtime=983.83 cores=0-31
/proc/30004/task/30028/stat : 30028 (plingeling) R 30002 30004 29978 0 -1 4202560 70227 1239 0 0 98309 74 0 0 25 0 33 0 680453306 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30004/tid=30029] ppid=30002 vsize=3003632 CPUtime=976.64 cores=0-31
/proc/30004/task/30029/stat : 30029 (plingeling) R 30002 30004 29978 0 -1 4202560 70550 1239 0 0 97580 84 0 0 25 0 33 0 680453306 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30004/tid=30030] ppid=30002 vsize=3003632 CPUtime=983.71 cores=0-31
/proc/30004/task/30030/stat : 30030 (plingeling) R 30002 30004 29978 0 -1 4202560 74867 1239 0 0 98293 78 0 0 25 0 33 0 680453310 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30004/tid=30031] ppid=30002 vsize=3003632 CPUtime=983.91 cores=0-31
/proc/30004/task/30031/stat : 30031 (plingeling) R 30002 30004 29978 0 -1 4202560 104627 1239 0 0 98259 132 0 0 25 0 33 0 680453310 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4353554 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30004/tid=30032] ppid=30002 vsize=3003632 CPUtime=983.91 cores=0-31
/proc/30004/task/30032/stat : 30032 (plingeling) R 30002 30004 29978 0 -1 4202560 69189 1239 0 0 98327 64 0 0 25 0 33 0 680453310 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30004/tid=30033] ppid=30002 vsize=3003632 CPUtime=983.82 cores=0-31
/proc/30004/task/30033/stat : 30033 (plingeling) R 30002 30004 29978 0 -1 4202560 65711 1239 0 0 98327 55 0 0 25 0 33 0 680453310 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30004/tid=30034] ppid=30002 vsize=3003632 CPUtime=983.91 cores=0-31
/proc/30004/task/30034/stat : 30034 (plingeling) R 30002 30004 29978 0 -1 4202560 85194 1239 0 0 98307 84 0 0 25 0 33 0 680453310 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30004/tid=30035] ppid=30002 vsize=3003632 CPUtime=983.65 cores=0-31
/proc/30004/task/30035/stat : 30035 (plingeling) R 30002 30004 29978 0 -1 4202560 74584 1239 0 0 98292 73 0 0 25 0 33 0 680453310 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30004/tid=30036] ppid=30002 vsize=3003632 CPUtime=982.5 cores=0-31
/proc/30004/task/30036/stat : 30036 (plingeling) R 30002 30004 29978 0 -1 4202560 61241 1239 0 0 98185 65 0 0 25 0 33 0 680453311 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366458 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30004/tid=30037] ppid=30002 vsize=3003632 CPUtime=980.14 cores=0-31
/proc/30004/task/30037/stat : 30037 (plingeling) R 30002 30004 29978 0 -1 4202560 62680 1239 0 0 97955 59 0 0 25 0 33 0 680453311 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4315917 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30004/tid=30038] ppid=30002 vsize=3003632 CPUtime=983.47 cores=0-31
/proc/30004/task/30038/stat : 30038 (plingeling) R 30002 30004 29978 0 -1 4202560 61864 1239 0 0 98292 55 0 0 25 0 33 0 680453314 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30004/tid=30039] ppid=30002 vsize=3003632 CPUtime=983.69 cores=0-31
/proc/30004/task/30039/stat : 30039 (plingeling) R 30002 30004 29978 0 -1 4202560 65240 1239 0 0 98304 65 0 0 25 0 33 0 680453315 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4322039 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30004/tid=30040] ppid=30002 vsize=3003632 CPUtime=983.81 cores=0-31
/proc/30004/task/30040/stat : 30040 (plingeling) R 30002 30004 29978 0 -1 4202560 27255 1239 0 0 98358 23 0 0 25 0 33 0 680453316 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30004/tid=30041] ppid=30002 vsize=3003632 CPUtime=983.79 cores=0-31
/proc/30004/task/30041/stat : 30041 (plingeling) R 30002 30004 29978 0 -1 4202560 40214 1239 0 0 98338 41 0 0 25 0 33 0 680453316 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4357269 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30004/tid=30042] ppid=30002 vsize=3003632 CPUtime=983.65 cores=0-31
/proc/30004/task/30042/stat : 30042 (plingeling) R 30002 30004 29978 0 -1 4202560 47120 1239 0 0 98318 47 0 0 25 0 33 0 680453316 3075719168 602413 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31461.9
Current children cumulated vsize (KiB) 3003632
[startup+993.902 s]
/proc/loadavg: 32.13 31.94 31.47 30/446 30068
/proc/meminfo: memFree=253078548/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=3002352 CPUtime=31474.7 cores=0-31
/proc/30004/stat : 30004 (plingeling) S 30002 30004 29978 0 -1 4202496 2347234 1239 0 0 3145256 2218 0 0 18 0 33 0 680452389 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/30004/statm: 750588 602093 175 55 0 748474 0
[pid=30004/tid=30011] ppid=30002 vsize=3002352 CPUtime=984.09 cores=0-31
/proc/30004/task/30011/stat : 30011 (plingeling) R 30002 30004 29978 0 -1 4202560 53994 1239 0 0 98364 45 0 0 25 0 33 0 680453304 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4357970 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30004/tid=30012] ppid=30002 vsize=3002352 CPUtime=984.06 cores=0-31
/proc/30004/task/30012/stat : 30012 (plingeling) R 30002 30004 29978 0 -1 4202560 84163 1239 0 0 98310 96 0 0 25 0 33 0 680453304 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30004/tid=30013] ppid=30002 vsize=3002352 CPUtime=984.17 cores=0-31
/proc/30004/task/30013/stat : 30013 (plingeling) R 30002 30004 29978 0 -1 4202560 75880 1239 0 0 98342 75 0 0 25 0 33 0 680453304 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30004/tid=30014] ppid=30002 vsize=3002352 CPUtime=984.47 cores=0-31
/proc/30004/task/30014/stat : 30014 (plingeling) R 30002 30004 29978 0 -1 4202560 26426 1239 0 0 98412 35 0 0 25 0 33 0 680453305 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30004/tid=30015] ppid=30002 vsize=3002352 CPUtime=976.61 cores=0-31
/proc/30004/task/30015/stat : 30015 (plingeling) R 30002 30004 29978 0 -1 4202560 21037 1239 0 0 97649 12 0 0 25 0 33 0 680453305 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30004/tid=30016] ppid=30002 vsize=3002352 CPUtime=983.84 cores=0-31
/proc/30004/task/30016/stat : 30016 (plingeling) R 30002 30004 29978 0 -1 4202560 85309 1239 0 0 98280 104 0 0 25 0 33 0 680453305 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30004/tid=30017] ppid=30002 vsize=3002352 CPUtime=983.83 cores=0-31
/proc/30004/task/30017/stat : 30017 (plingeling) R 30002 30004 29978 0 -1 4202560 49077 1239 0 0 98336 47 0 0 25 0 33 0 680453305 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30004/tid=30018] ppid=30002 vsize=3002352 CPUtime=984.11 cores=0-31
/proc/30004/task/30018/stat : 30018 (plingeling) R 30002 30004 29978 0 -1 4202560 53624 1239 0 0 98358 53 0 0 25 0 33 0 680453305 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30004/tid=30019] ppid=30002 vsize=3002352 CPUtime=983.82 cores=0-31
/proc/30004/task/30019/stat : 30019 (plingeling) R 30002 30004 29978 0 -1 4202560 101610 1239 0 0 98284 98 0 0 25 0 33 0 680453305 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30004/tid=30020] ppid=30002 vsize=3002352 CPUtime=976.2 cores=0-31
/proc/30004/task/30020/stat : 30020 (plingeling) R 30002 30004 29978 0 -1 4202560 91453 1239 0 0 97530 90 0 0 25 0 33 0 680453305 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30004/tid=30021] ppid=30002 vsize=3002352 CPUtime=984.25 cores=0-31
/proc/30004/task/30021/stat : 30021 (plingeling) R 30002 30004 29978 0 -1 4202560 31185 1239 0 0 98391 34 0 0 25 0 33 0 680453305 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30004/tid=30022] ppid=30002 vsize=3002352 CPUtime=984.18 cores=0-31
/proc/30004/task/30022/stat : 30022 (plingeling) R 30002 30004 29978 0 -1 4202560 128940 1239 0 0 98293 125 0 0 25 0 33 0 680453306 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30004/tid=30023] ppid=30002 vsize=3002352 CPUtime=984.27 cores=0-31
/proc/30004/task/30023/stat : 30023 (plingeling) R 30002 30004 29978 0 -1 4202560 82488 1239 0 0 98333 94 0 0 25 0 33 0 680453306 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30004/tid=30024] ppid=30002 vsize=3002352 CPUtime=984.29 cores=0-31
/proc/30004/task/30024/stat : 30024 (plingeling) R 30002 30004 29978 0 -1 4202560 28946 1239 0 0 98411 18 0 0 25 0 33 0 680453306 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4357797 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30004/tid=30025] ppid=30002 vsize=3002352 CPUtime=984.27 cores=0-31
/proc/30004/task/30025/stat : 30025 (plingeling) R 30002 30004 29978 0 -1 4202560 47612 1239 0 0 98367 60 0 0 25 0 33 0 680453306 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30004/tid=30026] ppid=30002 vsize=3002352 CPUtime=984.23 cores=0-31
/proc/30004/task/30026/stat : 30026 (plingeling) R 30002 30004 29978 0 -1 4202560 90298 1239 0 0 98342 81 0 0 25 0 33 0 680453306 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30004/tid=30027] ppid=30002 vsize=3002352 CPUtime=984.14 cores=0-31
/proc/30004/task/30027/stat : 30027 (plingeling) R 30002 30004 29978 0 -1 4202560 97902 1239 0 0 98319 95 0 0 25 0 33 0 680453306 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30004/tid=30028] ppid=30002 vsize=3002352 CPUtime=984.23 cores=0-31
/proc/30004/task/30028/stat : 30028 (plingeling) R 30002 30004 29978 0 -1 4202560 70227 1239 0 0 98349 74 0 0 25 0 33 0 680453306 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30004/tid=30029] ppid=30002 vsize=3002352 CPUtime=977.04 cores=0-31
/proc/30004/task/30029/stat : 30029 (plingeling) R 30002 30004 29978 0 -1 4202560 70550 1239 0 0 97620 84 0 0 25 0 33 0 680453306 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4263109 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30004/tid=30030] ppid=30002 vsize=3002352 CPUtime=984.11 cores=0-31
/proc/30004/task/30030/stat : 30030 (plingeling) R 30002 30004 29978 0 -1 4202560 74867 1239 0 0 98333 78 0 0 25 0 33 0 680453310 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30004/tid=30031] ppid=30002 vsize=3002352 CPUtime=984.31 cores=0-31
/proc/30004/task/30031/stat : 30031 (plingeling) R 30002 30004 29978 0 -1 4202560 104627 1239 0 0 98299 132 0 0 25 0 33 0 680453310 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4365987 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30004/tid=30032] ppid=30002 vsize=3002352 CPUtime=984.31 cores=0-31
/proc/30004/task/30032/stat : 30032 (plingeling) R 30002 30004 29978 0 -1 4202560 69189 1239 0 0 98367 64 0 0 25 0 33 0 680453310 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30004/tid=30033] ppid=30002 vsize=3002352 CPUtime=984.22 cores=0-31
/proc/30004/task/30033/stat : 30033 (plingeling) R 30002 30004 29978 0 -1 4202560 65711 1239 0 0 98367 55 0 0 25 0 33 0 680453310 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4366698 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30004/tid=30034] ppid=30002 vsize=3002352 CPUtime=984.31 cores=0-31
/proc/30004/task/30034/stat : 30034 (plingeling) R 30002 30004 29978 0 -1 4202560 85194 1239 0 0 98347 84 0 0 25 0 33 0 680453310 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30004/tid=30035] ppid=30002 vsize=3002352 CPUtime=984.05 cores=0-31
/proc/30004/task/30035/stat : 30035 (plingeling) R 30002 30004 29978 0 -1 4202560 74584 1239 0 0 98332 73 0 0 25 0 33 0 680453310 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30004/tid=30036] ppid=30002 vsize=3002352 CPUtime=982.9 cores=0-31
/proc/30004/task/30036/stat : 30036 (plingeling) R 30002 30004 29978 0 -1 4202560 61241 1239 0 0 98225 65 0 0 25 0 33 0 680453311 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30004/tid=30037] ppid=30002 vsize=3002352 CPUtime=980.54 cores=0-31
/proc/30004/task/30037/stat : 30037 (plingeling) R 30002 30004 29978 0 -1 4202560 62680 1239 0 0 97995 59 0 0 25 0 33 0 680453311 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4309218 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30004/tid=30038] ppid=30002 vsize=3002352 CPUtime=983.87 cores=0-31
/proc/30004/task/30038/stat : 30038 (plingeling) R 30002 30004 29978 0 -1 4202560 61864 1239 0 0 98332 55 0 0 25 0 33 0 680453314 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30004/tid=30039] ppid=30002 vsize=3002352 CPUtime=984.09 cores=0-31
/proc/30004/task/30039/stat : 30039 (plingeling) R 30002 30004 29978 0 -1 4202560 65240 1239 0 0 98344 65 0 0 25 0 33 0 680453315 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30004/tid=30040] ppid=30002 vsize=3002352 CPUtime=984.21 cores=0-31
/proc/30004/task/30040/stat : 30040 (plingeling) R 30002 30004 29978 0 -1 4202560 27255 1239 0 0 98398 23 0 0 25 0 33 0 680453316 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30004/tid=30041] ppid=30002 vsize=3002352 CPUtime=984.19 cores=0-31
/proc/30004/task/30041/stat : 30041 (plingeling) R 30002 30004 29978 0 -1 4202560 40214 1239 0 0 98378 41 0 0 25 0 33 0 680453316 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30004/tid=30042] ppid=30002 vsize=3002352 CPUtime=984.05 cores=0-31
/proc/30004/task/30042/stat : 30042 (plingeling) R 30002 30004 29978 0 -1 4202560 47120 1239 0 0 98358 47 0 0 25 0 33 0 680453316 3074408448 602093 268435456000 4194304 4417452 140734470510560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31474.7
Current children cumulated vsize (KiB) 3002352
[startup+994.301 s]
/proc/loadavg: 32.13 31.94 31.47 2/414 30068
/proc/meminfo: memFree=255465336/264257624 swapFree=67111528/67111528
[pid=30004] ppid=30002 vsize=0 CPUtime=31478.3 cores=0-31
/proc/30004/stat : 30004 (plingeling) Z 30002 30004 29978 0 -1 4202524 2348082 1239 0 0 3145592 2243 0 0 17 0 1 0 680452389 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 8 0 0 0
/proc/30004/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 31478.3
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 994.32
CPU time (s): 31478.4
CPU user time (s): 31455.9
CPU system time (s): 22.4356
CPU usage (%): 3165.82
Max. virtual memory (cumulated for all children) (KiB): 3055148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31455.9
system time used= 22.4356
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2349321
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= 6115
involuntary context switches= 78626
runsolver used 5.37118 second user time and 22.7515 second system time
The end
Begin job on node200 at 2011-05-18 05:34:20
IDJOB=3372579
IDBENCH=82468
IDSOLVER=1852
FILE ID=node200/3372579-1305689658
RUNJOBID= node200-1305689649-29992
PBS_JOBID= 13357380
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372579-1305689658/watcher-3372579-1305689658 -o /tmp/evaluation-result-3372579-1305689658/solver-3372579-1305689658 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372579-1305689658.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a0ec1baa890da62d0c6df7f1e62c6af3
RANDOM SEED=1667876808
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255511016 kB
Buffers: 451804 kB
Cached: 7896304 kB
SwapCached: 0 kB
Active: 7408644 kB
Inactive: 1007976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255511016 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 9212 kB
Writeback: 0 kB
AnonPages: 68904 kB
Mapped: 14480 kB
Slab: 251640 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-18 05:50:54