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-3372612-1305691373/watcher-3372612-1305691373 -o /tmp/evaluation-result-3372612-1305691373/solver-3372612-1305691373 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372612-1305691373.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: 19.44 21.58 25.94 1/413 30807
/proc/meminfo: memFree=255487660/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=16200 CPUtime=0.02 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 2122 1245 0 0 2 0 0 0 21 0 1 0 680623795 16588800 2054 268435456000 4194304 4417452 140736304328240 18446744073709551615 4231283 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30807/statm: 4050 2054 145 55 0 1936 0
[startup+0.0950319 s]
/proc/loadavg: 19.44 21.58 25.94 1/413 30807
/proc/meminfo: memFree=255487660/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=28516 CPUtime=0.08 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 5178 1245 0 0 8 0 0 0 21 0 1 0 680623795 29200384 5111 268435456000 4194304 4417452 140736304328240 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30807/statm: 7161 5136 146 55 0 5047 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28516
[startup+0.101018 s]
/proc/loadavg: 19.44 21.58 25.94 1/413 30807
/proc/meminfo: memFree=255487660/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=29548 CPUtime=0.09 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 5444 1245 0 0 9 0 0 0 21 0 1 0 680623795 30257152 5376 268435456000 4194304 4417452 140736304328240 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30807/statm: 7387 5376 146 55 0 5273 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29548
[startup+0.301011 s]
/proc/loadavg: 19.44 21.58 25.94 1/413 30807
/proc/meminfo: memFree=255487660/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=51596 CPUtime=0.29 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 10972 1245 0 0 28 1 0 0 22 0 1 0 680623795 52834304 10904 268435456000 4194304 4417452 140736304328240 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30807/statm: 12899 10904 146 55 0 10785 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51596
[startup+0.701029 s]
/proc/loadavg: 19.44 21.58 25.94 1/413 30807
/proc/meminfo: memFree=255487660/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=90832 CPUtime=0.68 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 20797 1245 0 0 65 3 0 0 23 0 1 0 680623795 93011968 20729 268435456000 4194304 4417452 140736304328240 18446744073709551615 4231657 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30807/statm: 22708 20729 146 55 0 20594 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 90832
[startup+1.50109 s]
/proc/loadavg: 19.44 21.58 25.94 2/414 30813
/proc/meminfo: memFree=255374920/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=153040 CPUtime=1.49 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 36349 1245 0 0 142 7 0 0 25 0 1 0 680623795 156712960 36281 268435456000 4194304 4417452 140736304328240 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30807/statm: 38260 36281 146 55 0 36146 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 153040
[startup+3.10111 s]
/proc/loadavg: 19.44 21.58 25.94 2/414 30813
/proc/meminfo: memFree=255258900/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=293556 CPUtime=3.08 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 71539 1245 0 0 294 14 0 0 25 0 1 0 680623795 300601344 71410 268435456000 4194304 4417452 140736304328240 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30807/statm: 73389 71410 146 55 0 71275 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 293556
[startup+6.30121 s]
/proc/loadavg: 17.96 21.24 25.81 2/414 30813
/proc/meminfo: memFree=254922168/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=574836 CPUtime=6.29 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 141859 1245 0 0 600 29 0 0 25 0 1 0 680623795 588632064 141730 268435456000 4194304 4417452 140736304328240 18446744073709551615 4232654 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30807/statm: 143709 141730 146 55 0 141595 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 574836
[startup+12.7023 s]
/proc/loadavg: 16.60 20.90 25.67 33/446 30845
/proc/meminfo: memFree=254015696/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=1937032 CPUtime=91.4 cores=0-31
/proc/30807/stat : 30807 (plingeling) S 30805 30807 30316 0 -1 4202496 558105 1245 0 0 8695 445 0 0 18 0 33 0 680623795 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/30807/statm: 484258 370579 166 55 0 482144 0
[pid=30807/tid=30814] ppid=30805 vsize=1937032 CPUtime=2.57 cores=0-31
/proc/30807/task/30814/stat : 30814 (plingeling) R 30805 30807 30316 0 -1 4202560 7143 1245 0 0 249 8 0 0 22 0 33 0 680624805 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4287507 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30807/tid=30815] ppid=30805 vsize=1937032 CPUtime=2.54 cores=0-31
/proc/30807/task/30815/stat : 30815 (plingeling) R 30805 30807 30316 0 -1 4202560 9660 1245 0 0 243 11 0 0 22 0 33 0 680624805 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4282570 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30807/tid=30816] ppid=30805 vsize=1937032 CPUtime=2.55 cores=0-31
/proc/30807/task/30816/stat : 30816 (plingeling) R 30805 30807 30316 0 -1 4202560 9661 1245 0 0 245 10 0 0 25 0 33 0 680624805 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30807/tid=30817] ppid=30805 vsize=1937032 CPUtime=2.57 cores=0-31
/proc/30807/task/30817/stat : 30817 (plingeling) R 30805 30807 30316 0 -1 4202560 3227 1245 0 0 256 1 0 0 22 0 33 0 680624805 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30807/tid=30818] ppid=30805 vsize=1937032 CPUtime=2.53 cores=0-31
/proc/30807/task/30818/stat : 30818 (plingeling) R 30805 30807 30316 0 -1 4202560 9523 1245 0 0 239 14 0 0 21 0 33 0 680624805 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4234207 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30807/tid=30819] ppid=30805 vsize=1937032 CPUtime=2.55 cores=0-31
/proc/30807/task/30819/stat : 30819 (plingeling) R 30805 30807 30316 0 -1 4202560 8990 1245 0 0 243 12 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4285604 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30807/tid=30820] ppid=30805 vsize=1937032 CPUtime=2.54 cores=0-31
/proc/30807/task/30820/stat : 30820 (plingeling) R 30805 30807 30316 0 -1 4202560 10075 1245 0 0 244 10 0 0 21 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30807/tid=30821] ppid=30805 vsize=1937032 CPUtime=2.54 cores=0-31
/proc/30807/task/30821/stat : 30821 (plingeling) R 30805 30807 30316 0 -1 4202560 6135 1245 0 0 246 8 0 0 21 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30807/tid=30822] ppid=30805 vsize=1937032 CPUtime=2.55 cores=0-31
/proc/30807/task/30822/stat : 30822 (plingeling) R 30805 30807 30316 0 -1 4202560 9484 1245 0 0 242 13 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30807/tid=30823] ppid=30805 vsize=1937032 CPUtime=2.46 cores=0-31
/proc/30807/task/30823/stat : 30823 (plingeling) R 30805 30807 30316 0 -1 4202560 13766 1245 0 0 231 15 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4270984 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30807/tid=30824] ppid=30805 vsize=1937032 CPUtime=2.54 cores=0-31
/proc/30807/task/30824/stat : 30824 (plingeling) R 30805 30807 30316 0 -1 4202560 9706 1245 0 0 242 12 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4284926 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30807/tid=30825] ppid=30805 vsize=1937032 CPUtime=2.55 cores=0-31
/proc/30807/task/30825/stat : 30825 (plingeling) R 30805 30807 30316 0 -1 4202560 8946 1245 0 0 245 10 0 0 20 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30807/tid=30826] ppid=30805 vsize=1937032 CPUtime=2.54 cores=0-31
/proc/30807/task/30826/stat : 30826 (plingeling) R 30805 30807 30316 0 -1 4202560 8945 1245 0 0 240 14 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30807/tid=30827] ppid=30805 vsize=1937032 CPUtime=2.54 cores=0-31
/proc/30807/task/30827/stat : 30827 (plingeling) R 30805 30807 30316 0 -1 4202560 9704 1245 0 0 239 15 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4234277 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30807/tid=30828] ppid=30805 vsize=1937032 CPUtime=2.55 cores=0-31
/proc/30807/task/30828/stat : 30828 (plingeling) R 30805 30807 30316 0 -1 4202560 6449 1245 0 0 245 10 0 0 22 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30807/tid=30829] ppid=30805 vsize=1937032 CPUtime=2.55 cores=0-31
/proc/30807/task/30829/stat : 30829 (plingeling) R 30805 30807 30316 0 -1 4202560 8272 1245 0 0 245 10 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4282305 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30807/tid=30830] ppid=30805 vsize=1937032 CPUtime=2.51 cores=0-31
/proc/30807/task/30830/stat : 30830 (plingeling) R 30805 30807 30316 0 -1 4202560 9658 1245 0 0 237 14 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30807/tid=30831] ppid=30805 vsize=1937032 CPUtime=2.53 cores=0-31
/proc/30807/task/30831/stat : 30831 (plingeling) R 30805 30807 30316 0 -1 4202560 8991 1245 0 0 238 15 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30807/tid=30832] ppid=30805 vsize=1937032 CPUtime=2.53 cores=0-31
/proc/30807/task/30832/stat : 30832 (plingeling) R 30805 30807 30316 0 -1 4202560 9660 1245 0 0 239 14 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30807/tid=30833] ppid=30805 vsize=1937032 CPUtime=2.52 cores=0-31
/proc/30807/task/30833/stat : 30833 (plingeling) R 30805 30807 30316 0 -1 4202560 7515 1245 0 0 239 13 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30807/tid=30834] ppid=30805 vsize=1937032 CPUtime=2.52 cores=0-31
/proc/30807/task/30834/stat : 30834 (plingeling) R 30805 30807 30316 0 -1 4202560 9660 1245 0 0 238 14 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30807/tid=30835] ppid=30805 vsize=1937032 CPUtime=2.53 cores=0-31
/proc/30807/task/30835/stat : 30835 (plingeling) R 30805 30807 30316 0 -1 4202560 8812 1245 0 0 239 14 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30807/tid=30836] ppid=30805 vsize=1937032 CPUtime=2.53 cores=0-31
/proc/30807/task/30836/stat : 30836 (plingeling) R 30805 30807 30316 0 -1 4202560 8944 1245 0 0 239 14 0 0 25 0 33 0 680624806 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30807/tid=30837] ppid=30805 vsize=1937032 CPUtime=2.53 cores=0-31
/proc/30807/task/30837/stat : 30837 (plingeling) R 30805 30807 30316 0 -1 4202560 9659 1245 0 0 238 15 0 0 21 0 33 0 680624807 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30807/tid=30838] ppid=30805 vsize=1937032 CPUtime=2.52 cores=0-31
/proc/30807/task/30838/stat : 30838 (plingeling) R 30805 30807 30316 0 -1 4202560 7159 1245 0 0 244 8 0 0 25 0 33 0 680624807 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30807/tid=30839] ppid=30805 vsize=1937032 CPUtime=2.53 cores=0-31
/proc/30807/task/30839/stat : 30839 (plingeling) R 30805 30807 30316 0 -1 4202560 8912 1245 0 0 244 9 0 0 21 0 33 0 680624808 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30807/tid=30840] ppid=30805 vsize=1937032 CPUtime=2.53 cores=0-31
/proc/30807/task/30840/stat : 30840 (plingeling) R 30805 30807 30316 0 -1 4202560 5059 1245 0 0 245 8 0 0 25 0 33 0 680624808 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4284980 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30807/tid=30841] ppid=30805 vsize=1937032 CPUtime=2.52 cores=0-31
/proc/30807/task/30841/stat : 30841 (plingeling) R 30805 30807 30316 0 -1 4202560 8946 1245 0 0 239 13 0 0 21 0 33 0 680624808 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4265940 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30807/tid=30842] ppid=30805 vsize=1937032 CPUtime=2.52 cores=0-31
/proc/30807/task/30842/stat : 30842 (plingeling) R 30805 30807 30316 0 -1 4202560 8586 1245 0 0 238 14 0 0 25 0 33 0 680624808 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4282486 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30807/tid=30843] ppid=30805 vsize=1937032 CPUtime=2.52 cores=0-31
/proc/30807/task/30843/stat : 30843 (plingeling) R 30805 30807 30316 0 -1 4202560 10772 1245 0 0 238 14 0 0 21 0 33 0 680624808 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4267712 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30807/tid=30844] ppid=30805 vsize=1937032 CPUtime=2.48 cores=0-31
/proc/30807/task/30844/stat : 30844 (plingeling) R 30805 30807 30316 0 -1 4202560 6457 1245 0 0 238 10 0 0 25 0 33 0 680624808 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30807/tid=30845] ppid=30805 vsize=1937032 CPUtime=2.49 cores=0-31
/proc/30807/task/30845/stat : 30845 (plingeling) R 30805 30807 30316 0 -1 4202560 7335 1245 0 0 244 5 0 0 25 0 33 0 680624808 1983520768 370579 268435456000 4194304 4417452 140736304328240 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 91.4
Current children cumulated vsize (KiB) 1937032
[startup+25.5017 s]
/proc/loadavg: 20.01 21.44 25.78 33/446 30845
/proc/meminfo: memFree=253319300/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=2711372 CPUtime=489.76 cores=0-31
/proc/30807/stat : 30807 (plingeling) S 30805 30807 30316 0 -1 4202496 816959 1245 0 0 48219 757 0 0 18 0 33 0 680623795 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/30807/statm: 677843 541182 174 55 0 675729 0
[pid=30807/tid=30814] ppid=30805 vsize=2711372 CPUtime=14.65 cores=0-31
/proc/30807/task/30814/stat : 30814 (plingeling) R 30805 30807 30316 0 -1 4202560 16352 1245 0 0 1452 13 0 0 25 0 33 0 680624805 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30807/tid=30815] ppid=30805 vsize=2711372 CPUtime=14.69 cores=0-31
/proc/30807/task/30815/stat : 30815 (plingeling) R 30805 30807 30316 0 -1 4202560 20578 1245 0 0 1440 29 0 0 25 0 33 0 680624805 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30807/tid=30816] ppid=30805 vsize=2711372 CPUtime=15.34 cores=0-31
/proc/30807/task/30816/stat : 30816 (plingeling) R 30805 30807 30316 0 -1 4202560 14489 1245 0 0 1523 11 0 0 25 0 33 0 680624805 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30807/tid=30817] ppid=30805 vsize=2711372 CPUtime=15.36 cores=0-31
/proc/30807/task/30817/stat : 30817 (plingeling) R 30805 30807 30316 0 -1 4202560 3230 1245 0 0 1535 1 0 0 25 0 33 0 680624805 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30807/tid=30818] ppid=30805 vsize=2711372 CPUtime=14.7 cores=0-31
/proc/30807/task/30818/stat : 30818 (plingeling) R 30805 30807 30316 0 -1 4202560 16954 1245 0 0 1447 23 0 0 25 0 33 0 680624805 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4249037 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30807/tid=30819] ppid=30805 vsize=2711372 CPUtime=14.72 cores=0-31
/proc/30807/task/30819/stat : 30819 (plingeling) R 30805 30807 30316 0 -1 4202560 20165 1245 0 0 1440 32 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4258472 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30807/tid=30820] ppid=30805 vsize=2711372 CPUtime=15.33 cores=0-31
/proc/30807/task/30820/stat : 30820 (plingeling) R 30805 30807 30316 0 -1 4202560 19850 1245 0 0 1520 13 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4232736 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30807/tid=30821] ppid=30805 vsize=2711372 CPUtime=15.18 cores=0-31
/proc/30807/task/30821/stat : 30821 (plingeling) R 30805 30807 30316 0 -1 4202560 18583 1245 0 0 1496 22 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4239595 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30807/tid=30822] ppid=30805 vsize=2711372 CPUtime=14.77 cores=0-31
/proc/30807/task/30822/stat : 30822 (plingeling) R 30805 30807 30316 0 -1 4202560 18962 1245 0 0 1449 28 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4318713 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30807/tid=30823] ppid=30805 vsize=2711372 CPUtime=14.78 cores=0-31
/proc/30807/task/30823/stat : 30823 (plingeling) R 30805 30807 30316 0 -1 4202560 24275 1245 0 0 1448 30 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4257274 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30807/tid=30824] ppid=30805 vsize=2711372 CPUtime=15.31 cores=0-31
/proc/30807/task/30824/stat : 30824 (plingeling) R 30805 30807 30316 0 -1 4202560 10698 1245 0 0 1519 12 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4232659 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30807/tid=30825] ppid=30805 vsize=2711372 CPUtime=14.77 cores=0-31
/proc/30807/task/30825/stat : 30825 (plingeling) R 30805 30807 30316 0 -1 4202560 24627 1245 0 0 1448 29 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4257338 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30807/tid=30826] ppid=30805 vsize=2711372 CPUtime=14.82 cores=0-31
/proc/30807/task/30826/stat : 30826 (plingeling) R 30805 30807 30316 0 -1 4202560 18614 1245 0 0 1463 19 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4258462 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30807/tid=30827] ppid=30805 vsize=2711372 CPUtime=14.93 cores=0-31
/proc/30807/task/30827/stat : 30827 (plingeling) R 30805 30807 30316 0 -1 4202560 24470 1245 0 0 1462 31 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30807/tid=30828] ppid=30805 vsize=2711372 CPUtime=15.32 cores=0-31
/proc/30807/task/30828/stat : 30828 (plingeling) R 30805 30807 30316 0 -1 4202560 6451 1245 0 0 1522 10 0 0 25 0 33 0 680624806 2776444928 541182 268435456000 4194304 4417452 140736304328240 18446744073709551615 4265411 0 0 4096 17442 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/30807/task/30818/stat : 30818 (plingeling) R 30805 30807 30316 0 -1 4202560 43421 1245 0 0 110515 41 0 0 25 0 33 0 680624805 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30807/tid=30819] ppid=30805 vsize=3549216 CPUtime=1105.49 cores=0-31
/proc/30807/task/30819/stat : 30819 (plingeling) R 30805 30807 30316 0 -1 4202560 102778 1245 0 0 110376 173 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30807/tid=30820] ppid=30805 vsize=3549216 CPUtime=1099.28 cores=0-31
/proc/30807/task/30820/stat : 30820 (plingeling) R 30805 30807 30316 0 -1 4202560 50208 1245 0 0 109893 35 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30807/tid=30821] ppid=30805 vsize=3549216 CPUtime=1105.87 cores=0-31
/proc/30807/task/30821/stat : 30821 (plingeling) R 30805 30807 30316 0 -1 4202560 74348 1245 0 0 110490 97 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30807/tid=30822] ppid=30805 vsize=3549216 CPUtime=1104.61 cores=0-31
/proc/30807/task/30822/stat : 30822 (plingeling) R 30805 30807 30316 0 -1 4202560 146810 1245 0 0 110257 204 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30807/tid=30823] ppid=30805 vsize=3549216 CPUtime=1097.59 cores=0-31
/proc/30807/task/30823/stat : 30823 (plingeling) R 30805 30807 30316 0 -1 4202560 103544 1245 0 0 109639 120 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30807/tid=30824] ppid=30805 vsize=3549216 CPUtime=1105.98 cores=0-31
/proc/30807/task/30824/stat : 30824 (plingeling) R 30805 30807 30316 0 -1 4202560 135753 1245 0 0 110452 146 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30807/tid=30825] ppid=30805 vsize=3549216 CPUtime=1102.1 cores=0-31
/proc/30807/task/30825/stat : 30825 (plingeling) R 30805 30807 30316 0 -1 4202560 32961 1245 0 0 110178 32 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30807/tid=30826] ppid=30805 vsize=3549216 CPUtime=1104.81 cores=0-31
/proc/30807/task/30826/stat : 30826 (plingeling) R 30805 30807 30316 0 -1 4202560 82335 1245 0 0 110387 94 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30807/tid=30827] ppid=30805 vsize=3549216 CPUtime=1105.72 cores=0-31
/proc/30807/task/30827/stat : 30827 (plingeling) R 30805 30807 30316 0 -1 4202560 122638 1245 0 0 110485 87 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30807/tid=30828] ppid=30805 vsize=3549216 CPUtime=1106.19 cores=0-31
/proc/30807/task/30828/stat : 30828 (plingeling) R 30805 30807 30316 0 -1 4202560 51238 1245 0 0 110574 45 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30807/tid=30829] ppid=30805 vsize=3549216 CPUtime=1105.74 cores=0-31
/proc/30807/task/30829/stat : 30829 (plingeling) R 30805 30807 30316 0 -1 4202560 61490 1245 0 0 110498 76 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30807/tid=30830] ppid=30805 vsize=3549216 CPUtime=1105.76 cores=0-31
/proc/30807/task/30830/stat : 30830 (plingeling) R 30805 30807 30316 0 -1 4202560 160897 1245 0 0 110407 169 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30807/tid=30831] ppid=30805 vsize=3549216 CPUtime=1105.61 cores=0-31
/proc/30807/task/30831/stat : 30831 (plingeling) R 30805 30807 30316 0 -1 4202560 121378 1245 0 0 110427 134 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30807/tid=30832] ppid=30805 vsize=3549216 CPUtime=1106.06 cores=0-31
/proc/30807/task/30832/stat : 30832 (plingeling) R 30805 30807 30316 0 -1 4202560 70795 1245 0 0 110537 69 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30807/tid=30833] ppid=30805 vsize=3549216 CPUtime=1105.28 cores=0-31
/proc/30807/task/30833/stat : 30833 (plingeling) R 30805 30807 30316 0 -1 4202560 60742 1245 0 0 110457 71 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30807/tid=30834] ppid=30805 vsize=3549216 CPUtime=1105.98 cores=0-31
/proc/30807/task/30834/stat : 30834 (plingeling) R 30805 30807 30316 0 -1 4202560 99678 1245 0 0 110499 99 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30807/tid=30835] ppid=30805 vsize=3549216 CPUtime=1105.71 cores=0-31
/proc/30807/task/30835/stat : 30835 (plingeling) R 30805 30807 30316 0 -1 4202560 90000 1245 0 0 110475 96 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30807/tid=30836] ppid=30805 vsize=3549216 CPUtime=1104.57 cores=0-31
/proc/30807/task/30836/stat : 30836 (plingeling) R 30805 30807 30316 0 -1 4202560 66501 1245 0 0 110403 54 0 0 25 0 33 0 680624806 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30807/tid=30837] ppid=30805 vsize=3549216 CPUtime=1105.32 cores=0-31
/proc/30807/task/30837/stat : 30837 (plingeling) R 30805 30807 30316 0 -1 4202560 88007 1245 0 0 110421 111 0 0 25 0 33 0 680624807 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30807/tid=30838] ppid=30805 vsize=3549216 CPUtime=1105.29 cores=0-31
/proc/30807/task/30838/stat : 30838 (plingeling) R 30805 30807 30316 0 -1 4202560 93223 1245 0 0 110415 114 0 0 25 0 33 0 680624807 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30807/tid=30839] ppid=30805 vsize=3549216 CPUtime=1105.83 cores=0-31
/proc/30807/task/30839/stat : 30839 (plingeling) R 30805 30807 30316 0 -1 4202560 100901 1245 0 0 110476 107 0 0 25 0 33 0 680624808 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4255659 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30807/tid=30840] ppid=30805 vsize=3549216 CPUtime=1106.22 cores=0-31
/proc/30807/task/30840/stat : 30840 (plingeling) R 30805 30807 30316 0 -1 4202560 58689 1245 0 0 110567 55 0 0 25 0 33 0 680624808 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30807/tid=30841] ppid=30805 vsize=3549216 CPUtime=1105.1 cores=0-31
/proc/30807/task/30841/stat : 30841 (plingeling) R 30805 30807 30316 0 -1 4202560 93099 1245 0 0 110414 96 0 0 25 0 33 0 680624808 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30807/tid=30842] ppid=30805 vsize=3549216 CPUtime=1105.52 cores=0-31
/proc/30807/task/30842/stat : 30842 (plingeling) R 30805 30807 30316 0 -1 4202560 110903 1245 0 0 110388 164 0 0 25 0 33 0 680624808 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30807/tid=30843] ppid=30805 vsize=3549216 CPUtime=1105.68 cores=0-31
/proc/30807/task/30843/stat : 30843 (plingeling) R 30805 30807 30316 0 -1 4202560 88717 1245 0 0 110470 98 0 0 25 0 33 0 680624808 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30807/tid=30844] ppid=30805 vsize=3549216 CPUtime=1106.15 cores=0-31
/proc/30807/task/30844/stat : 30844 (plingeling) R 30805 30807 30316 0 -1 4202560 84516 1245 0 0 110545 70 0 0 25 0 33 0 680624808 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4366556 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30807/tid=30845] ppid=30805 vsize=3549216 CPUtime=1105.85 cores=0-31
/proc/30807/task/30845/stat : 30845 (plingeling) R 30805 30807 30316 0 -1 4202560 113278 1245 0 0 110416 169 0 0 25 0 33 0 680624808 3634397184 767919 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 35364.2
Current children cumulated vsize (KiB) 3549216
[startup+1119.9 s]
/proc/loadavg: 32.14 31.86 30.16 33/446 30875
/proc/meminfo: memFree=252381680/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=3603992 CPUtime=35466.4 cores=0-31
/proc/30807/stat : 30807 (plingeling) S 30805 30807 30316 0 -1 4202496 3071037 1245 0 0 3543454 3191 0 0 18 0 33 0 680623795 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/30807/statm: 900998 781639 175 55 0 898884 0
[pid=30807/tid=30814] ppid=30805 vsize=3603992 CPUtime=1108.52 cores=0-31
/proc/30807/task/30814/stat : 30814 (plingeling) R 30805 30807 30316 0 -1 4202560 77462 1245 0 0 110773 79 0 0 25 0 33 0 680624805 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30807/tid=30815] ppid=30805 vsize=3603992 CPUtime=1100.26 cores=0-31
/proc/30807/task/30815/stat : 30815 (plingeling) R 30805 30807 30316 0 -1 4202560 96033 1245 0 0 109920 106 0 0 25 0 33 0 680624805 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30807/tid=30816] ppid=30805 vsize=3603992 CPUtime=1109.34 cores=0-31
/proc/30807/task/30816/stat : 30816 (plingeling) R 30805 30807 30316 0 -1 4202560 78578 1245 0 0 110862 72 0 0 25 0 33 0 680624805 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30807/tid=30817] ppid=30805 vsize=3603992 CPUtime=1109.53 cores=0-31
/proc/30807/task/30817/stat : 30817 (plingeling) R 30805 30807 30316 0 -1 4202560 8172 1245 0 0 110940 13 0 0 25 0 33 0 680624805 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30807/tid=30818] ppid=30805 vsize=3603992 CPUtime=1108.76 cores=0-31
/proc/30807/task/30818/stat : 30818 (plingeling) R 30805 30807 30316 0 -1 4202560 43421 1245 0 0 110835 41 0 0 25 0 33 0 680624805 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30807/tid=30819] ppid=30805 vsize=3603992 CPUtime=1108.69 cores=0-31
/proc/30807/task/30819/stat : 30819 (plingeling) R 30805 30807 30316 0 -1 4202560 109605 1245 0 0 110686 183 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30807/tid=30820] ppid=30805 vsize=3603992 CPUtime=1102.48 cores=0-31
/proc/30807/task/30820/stat : 30820 (plingeling) R 30805 30807 30316 0 -1 4202560 50208 1245 0 0 110213 35 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4250571 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30807/tid=30821] ppid=30805 vsize=3603992 CPUtime=1109.08 cores=0-31
/proc/30807/task/30821/stat : 30821 (plingeling) R 30805 30807 30316 0 -1 4202560 74815 1245 0 0 110809 99 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30807/tid=30822] ppid=30805 vsize=3603992 CPUtime=1107.81 cores=0-31
/proc/30807/task/30822/stat : 30822 (plingeling) R 30805 30807 30316 0 -1 4202560 146810 1245 0 0 110577 204 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30807/tid=30823] ppid=30805 vsize=3603992 CPUtime=1100.79 cores=0-31
/proc/30807/task/30823/stat : 30823 (plingeling) R 30805 30807 30316 0 -1 4202560 103544 1245 0 0 109959 120 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30807/tid=30824] ppid=30805 vsize=3603992 CPUtime=1109.18 cores=0-31
/proc/30807/task/30824/stat : 30824 (plingeling) R 30805 30807 30316 0 -1 4202560 135753 1245 0 0 110772 146 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30807/tid=30825] ppid=30805 vsize=3603992 CPUtime=1105.3 cores=0-31
/proc/30807/task/30825/stat : 30825 (plingeling) R 30805 30807 30316 0 -1 4202560 32961 1245 0 0 110498 32 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4264384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30807/tid=30826] ppid=30805 vsize=3603992 CPUtime=1108.01 cores=0-31
/proc/30807/task/30826/stat : 30826 (plingeling) R 30805 30807 30316 0 -1 4202560 82335 1245 0 0 110707 94 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30807/tid=30827] ppid=30805 vsize=3603992 CPUtime=1108.92 cores=0-31
/proc/30807/task/30827/stat : 30827 (plingeling) R 30805 30807 30316 0 -1 4202560 122638 1245 0 0 110805 87 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30807/tid=30828] ppid=30805 vsize=3603992 CPUtime=1109.39 cores=0-31
/proc/30807/task/30828/stat : 30828 (plingeling) R 30805 30807 30316 0 -1 4202560 51238 1245 0 0 110894 45 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30807/tid=30829] ppid=30805 vsize=3603992 CPUtime=1108.94 cores=0-31
/proc/30807/task/30829/stat : 30829 (plingeling) R 30805 30807 30316 0 -1 4202560 61490 1245 0 0 110818 76 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30807/tid=30830] ppid=30805 vsize=3603992 CPUtime=1108.96 cores=0-31
/proc/30807/task/30830/stat : 30830 (plingeling) R 30805 30807 30316 0 -1 4202560 160897 1245 0 0 110727 169 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30807/tid=30831] ppid=30805 vsize=3603992 CPUtime=1108.81 cores=0-31
/proc/30807/task/30831/stat : 30831 (plingeling) R 30805 30807 30316 0 -1 4202560 121378 1245 0 0 110747 134 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4357204 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30807/tid=30832] ppid=30805 vsize=3603992 CPUtime=1109.27 cores=0-31
/proc/30807/task/30832/stat : 30832 (plingeling) R 30805 30807 30316 0 -1 4202560 80698 1245 0 0 110850 77 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30807/tid=30833] ppid=30805 vsize=3603992 CPUtime=1108.44 cores=0-31
/proc/30807/task/30833/stat : 30833 (plingeling) R 30805 30807 30316 0 -1 4202560 61018 1245 0 0 110773 71 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30807/tid=30834] ppid=30805 vsize=3603992 CPUtime=1109.18 cores=0-31
/proc/30807/task/30834/stat : 30834 (plingeling) R 30805 30807 30316 0 -1 4202560 99678 1245 0 0 110819 99 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30807/tid=30835] ppid=30805 vsize=3603992 CPUtime=1108.91 cores=0-31
/proc/30807/task/30835/stat : 30835 (plingeling) R 30805 30807 30316 0 -1 4202560 90000 1245 0 0 110795 96 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30807/tid=30836] ppid=30805 vsize=3603992 CPUtime=1107.77 cores=0-31
/proc/30807/task/30836/stat : 30836 (plingeling) R 30805 30807 30316 0 -1 4202560 66501 1245 0 0 110723 54 0 0 25 0 33 0 680624806 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30807/tid=30837] ppid=30805 vsize=3603992 CPUtime=1108.52 cores=0-31
/proc/30807/task/30837/stat : 30837 (plingeling) R 30805 30807 30316 0 -1 4202560 88007 1245 0 0 110741 111 0 0 25 0 33 0 680624807 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30807/tid=30838] ppid=30805 vsize=3603992 CPUtime=1108.49 cores=0-31
/proc/30807/task/30838/stat : 30838 (plingeling) R 30805 30807 30316 0 -1 4202560 93223 1245 0 0 110735 114 0 0 25 0 33 0 680624807 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30807/tid=30839] ppid=30805 vsize=3603992 CPUtime=1109.03 cores=0-31
/proc/30807/task/30839/stat : 30839 (plingeling) R 30805 30807 30316 0 -1 4202560 103078 1245 0 0 110796 107 0 0 25 0 33 0 680624808 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30807/tid=30840] ppid=30805 vsize=3603992 CPUtime=1109.42 cores=0-31
/proc/30807/task/30840/stat : 30840 (plingeling) R 30805 30807 30316 0 -1 4202560 58689 1245 0 0 110887 55 0 0 25 0 33 0 680624808 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30807/tid=30841] ppid=30805 vsize=3603992 CPUtime=1108.2 cores=0-31
/proc/30807/task/30841/stat : 30841 (plingeling) R 30805 30807 30316 0 -1 4202560 93099 1245 0 0 110724 96 0 0 25 0 33 0 680624808 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30807/tid=30842] ppid=30805 vsize=3603992 CPUtime=1108.72 cores=0-31
/proc/30807/task/30842/stat : 30842 (plingeling) R 30805 30807 30316 0 -1 4202560 110903 1245 0 0 110708 164 0 0 25 0 33 0 680624808 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30807/tid=30843] ppid=30805 vsize=3603992 CPUtime=1108.88 cores=0-31
/proc/30807/task/30843/stat : 30843 (plingeling) R 30805 30807 30316 0 -1 4202560 88717 1245 0 0 110790 98 0 0 25 0 33 0 680624808 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30807/tid=30844] ppid=30805 vsize=3603992 CPUtime=1109.35 cores=0-31
/proc/30807/task/30844/stat : 30844 (plingeling) R 30805 30807 30316 0 -1 4202560 84516 1245 0 0 110865 70 0 0 25 0 33 0 680624808 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30807/tid=30845] ppid=30805 vsize=3603992 CPUtime=1109.05 cores=0-31
/proc/30807/task/30845/stat : 30845 (plingeling) R 30805 30807 30316 0 -1 4202560 113278 1245 0 0 110736 169 0 0 25 0 33 0 680624808 3690487808 781639 268435456000 4194304 4417452 140736304328240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 35466.4
Current children cumulated vsize (KiB) 3603992
[startup+1120.7 s]
/proc/loadavg: 32.14 31.86 30.16 33/446 30875
/proc/meminfo: memFree=252381680/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=3327876 CPUtime=35488.6 cores=0-31
/proc/30807/stat : 30807 (plingeling) S 30805 30807 30316 0 -1 4202496 3072697 1245 0 0 3545664 3194 0 0 17 0 3 0 680623795 3407745024 766235 268435456000 4194304 4417452 140736304328240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/30807/statm: 831969 766235 176 55 0 829855 0
[pid=30807/tid=30838] ppid=30805 vsize=3327876 CPUtime=1109.28 cores=0-31
/proc/30807/task/30838/stat : 30838 (plingeling) R 30805 30807 30316 0 -1 4202560 93223 1245 0 0 110814 114 0 0 25 0 3 0 680624807 3407745024 766235 268435456000 4194304 4417452 140736304328240 18446744073709551615 4270291 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30807/tid=30843] ppid=30805 vsize=3327876 CPUtime=1109.68 cores=0-31
/proc/30807/task/30843/stat : 30843 (plingeling) R 30805 30807 30316 0 -1 4202560 88717 1245 0 0 110870 98 0 0 25 0 3 0 680624808 3407745024 766235 268435456000 4194304 4417452 140736304328240 18446744073709551615 4330533 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 35488.6
Current children cumulated vsize (KiB) 3327876
[startup+1121.1 s]
/proc/loadavg: 32.14 31.86 30.16 2/415 30875
/proc/meminfo: memFree=252441820/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=2683540 CPUtime=35489 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202496 3072697 1245 0 0 3545697 3201 0 0 15 0 1 0 680623795 2747944960 613638 268435456000 4194304 4417452 140736304328240 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 21 0 0 0
/proc/30807/statm: 670885 613638 176 55 0 668771 0
Current children cumulated CPU time (s) 35489
Current children cumulated vsize (KiB) 2683540
[startup+1121.3 s]
/proc/loadavg: 32.14 31.86 30.16 2/415 30875
/proc/meminfo: memFree=252441820/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=0 CPUtime=35489.2 cores=0-31
/proc/30807/stat : 30807 (plingeling) R 30805 30807 30316 0 -1 4202500 3072701 1245 0 0 3545697 3221 0 0 16 0 1 0 680623795 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 21 0 0 0
/proc/30807/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 35489.2
Current children cumulated vsize (KiB) 0
[startup+1121.4 s]
/proc/loadavg: 32.14 31.86 30.16 2/415 30875
/proc/meminfo: memFree=252441820/264257624 swapFree=67111528/67111528
[pid=30807] ppid=30805 vsize=0 CPUtime=35489.3 cores=0-31
/proc/30807/stat : 30807 (plingeling) S 30805 30807 30316 0 -1 4202500 3072701 1245 0 0 3545697 3231 0 0 16 0 1 0 680623795 0 0 268435456000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 21 0 0 0
/proc/30807/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 35489.3
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1121.4
CPU time (s): 35489.3
CPU user time (s): 35457
CPU system time (s): 32.3211
CPU usage (%): 3164.73
Max. virtual memory (cumulated for all children) (KiB): 3695784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35457
system time used= 32.3211
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3073946
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= 6731
involuntary context switches= 88312
runsolver used 5.9071 second user time and 25.7841 second system time
The end
Begin job on node200 at 2011-05-18 06:02:54
IDJOB=3372612
IDBENCH=82481
IDSOLVER=1852
FILE ID=node200/3372612-1305691373
RUNJOBID= node200-1305691046-30330
PBS_JOBID= 13357382
Free space on /tmp= 62040 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372612-1305691373/watcher-3372612-1305691373 -o /tmp/evaluation-result-3372612-1305691373/solver-3372612-1305691373 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372612-1305691373.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a8ad0173824ed9404a8c153da07c5f9c
RANDOM SEED=1354198200
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: 255487940 kB
Buffers: 452096 kB
Cached: 7897416 kB
SwapCached: 0 kB
Active: 7410280 kB
Inactive: 1008108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255487940 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 9924 kB
Writeback: 0 kB
AnonPages: 69032 kB
Mapped: 14532 kB
Slab: 251808 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 194188 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= 62040 MiB
End job on node200 at 2011-05-18 06:21:35