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-3372423-1305591881/watcher-3372423-1305591881 -o /tmp/evaluation-result-3372423-1305591881/solver-3372423-1305591881 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372423-1305591881.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: 7.52 17.36 25.90 1/413 22243
/proc/meminfo: memFree=255352220/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=24192 CPUtime=0.03 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 4133 1244 0 0 2 0 0 1 22 0 1 0 670675176 24772608 4064 268435456000 4194304 4417452 140735965163088 18446744073709551615 4229149 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/22243/statm: 6048 4064 141 55 0 3934 0
[startup+0.109677 s]
/proc/loadavg: 7.52 17.36 25.90 1/413 22243
/proc/meminfo: memFree=255352220/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=36444 CPUtime=0.11 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 7184 1244 0 0 9 1 0 1 22 0 1 0 670675176 37318656 7115 268435456000 4194304 4417452 140735965163088 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/22243/statm: 9111 7115 145 55 0 6997 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 36444
[startup+0.200641 s]
/proc/loadavg: 7.52 17.36 25.90 1/413 22243
/proc/meminfo: memFree=255352220/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=44256 CPUtime=0.19 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 9146 1244 0 0 17 1 0 1 22 0 1 0 670675176 45318144 9077 268435456000 4194304 4417452 140735965163088 18446744073709551615 4209661 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/22243/statm: 11064 9077 145 55 0 8950 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44256
[startup+0.300648 s]
/proc/loadavg: 7.52 17.36 25.90 1/413 22243
/proc/meminfo: memFree=255352220/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=58420 CPUtime=0.29 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 12694 1244 0 0 26 2 0 1 23 0 1 0 670675176 59822080 12625 268435456000 4194304 4417452 140735965163088 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/22243/statm: 14605 12625 145 55 0 12491 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58420
[startup+0.70067 s]
/proc/loadavg: 7.52 17.36 25.90 1/413 22243
/proc/meminfo: memFree=255352220/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=63768 CPUtime=0.69 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 14032 1244 0 0 66 2 0 1 25 0 1 0 670675176 65298432 13963 268435456000 4194304 4417452 140735965163088 18446744073709551615 258650574336 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/22243/statm: 15942 13963 146 55 0 13828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63768
[startup+1.50074 s]
/proc/loadavg: 7.52 17.36 25.90 2/414 22249
/proc/meminfo: memFree=255261964/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=114024 CPUtime=1.5 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 26596 1244 0 0 143 6 0 1 25 0 1 0 670675176 116760576 26527 268435456000 4194304 4417452 140735965163088 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 29 0 0 0
/proc/22243/statm: 28506 26527 146 55 0 26392 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 114024
[startup+3.10079 s]
/proc/loadavg: 7.00 17.09 25.77 2/414 22249
/proc/meminfo: memFree=255244728/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=221832 CPUtime=3.09 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 53708 1244 0 0 297 11 0 1 25 0 1 0 670675176 227155968 53463 268435456000 4194304 4417452 140735965163088 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 29 0 0 0
/proc/22243/statm: 55458 53463 146 55 0 53344 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 221832
[startup+6.3009 s]
/proc/loadavg: 7.00 17.09 25.77 2/414 22249
/proc/meminfo: memFree=255085844/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=347856 CPUtime=6.29 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 85280 1244 0 0 609 19 0 1 25 0 1 0 670675176 356204544 84985 268435456000 4194304 4417452 140735965163088 18446744073709551615 4231675 0 0 4096 17442 0 0 0 17 29 0 0 0
/proc/22243/statm: 86964 84985 146 55 0 84850 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 347856
[startup+12.7011 s]
/proc/loadavg: 6.08 16.56 25.50 2/414 22249
/proc/meminfo: memFree=254736980/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=899084 CPUtime=12.69 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 223151 1244 0 0 1221 47 0 1 25 0 1 0 670675176 920662016 222792 268435456000 4194304 4417452 140735965163088 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 29 0 0 0
/proc/22243/statm: 224771 222792 146 55 0 222657 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 899084
[startup+25.5006 s]
/proc/loadavg: 5.29 16.04 25.24 2/414 22249
/proc/meminfo: memFree=253602916/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=1772356 CPUtime=25.49 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 441469 1244 0 0 2459 89 0 1 25 0 1 0 670675176 1814892544 441110 268435456000 4194304 4417452 140735965163088 18446744073709551615 4235981 0 0 4096 17442 0 0 0 17 29 0 0 0
/proc/22243/statm: 443089 441110 146 55 0 440975 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1772356
[startup+51.1005 s]
/proc/loadavg: 3.83 14.83 24.60 2/414 22249
/proc/meminfo: memFree=252487380/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=2886468 CPUtime=51.09 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 719997 1244 0 0 4963 145 0 1 25 0 1 0 670675176 2955743232 719638 268435456000 4194304 4417452 140735965163088 18446744073709551615 4231358 0 0 4096 17442 0 0 0 17 29 0 0 0
/proc/22243/statm: 721617 719638 146 55 0 719503 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2886468
[startup+102.301 s]
/proc/loadavg: 2.13 12.51 23.24 2/414 22251
/proc/meminfo: memFree=249655188/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=5713012 CPUtime=102.31 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 1426633 1244 0 0 9952 278 0 1 25 0 1 0 670675176 5850124288 1426274 268435456000 4194304 4417452 140735965163088 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 29 0 0 0
/proc/22243/statm: 1428253 1426274 146 55 0 1426139 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 5713012
[startup+162.302 s]
/proc/loadavg: 20.96 16.00 23.76 35/447 22286
/proc/meminfo: memFree=249506616/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=6330032 CPUtime=1866.02 cores=0-31
/proc/22243/stat : 22243 (plingeling) S 22241 22243 22145 0 -1 4202496 2713853 1244 0 0 184306 2295 0 1 18 0 33 0 670675176 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/22243/statm: 1582508 1458850 175 55 0 1580394 0
[pid=22243/tid=22252] ppid=22241 vsize=6330032 CPUtime=54.29 cores=0-31
/proc/22243/task/22252/stat : 22252 (plingeling) R 22241 22243 22145 0 -1 4202560 51153 1244 0 0 5349 79 0 1 25 0 33 0 670685616 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236852 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=22243/tid=22253] ppid=22241 vsize=6330032 CPUtime=54.59 cores=0-31
/proc/22243/task/22253/stat : 22253 (plingeling) R 22241 22243 22145 0 -1 4202560 24741 1244 0 0 5423 35 0 1 25 0 33 0 670685616 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=22243/tid=22254] ppid=22241 vsize=6330032 CPUtime=53.04 cores=0-31
/proc/22243/task/22254/stat : 22254 (plingeling) R 22241 22243 22145 0 -1 4202560 54494 1244 0 0 5239 64 0 1 25 0 33 0 670685616 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=22243/tid=22255] ppid=22241 vsize=6330032 CPUtime=56.92 cores=0-31
/proc/22243/task/22255/stat : 22255 (plingeling) R 22241 22243 22145 0 -1 4202560 8431 1244 0 0 5678 13 0 1 25 0 33 0 670685616 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4321595 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=22243/tid=22256] ppid=22241 vsize=6330032 CPUtime=55.74 cores=0-31
/proc/22243/task/22256/stat : 22256 (plingeling) R 22241 22243 22145 0 -1 4202560 12453 1244 0 0 5563 10 0 1 25 0 33 0 670685616 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=22243/tid=22257] ppid=22241 vsize=6330032 CPUtime=54.68 cores=0-31
/proc/22243/task/22257/stat : 22257 (plingeling) R 22241 22243 22145 0 -1 4202560 51156 1244 0 0 5375 92 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=22243/tid=22258] ppid=22241 vsize=6330032 CPUtime=55.38 cores=0-31
/proc/22243/task/22258/stat : 22258 (plingeling) R 22241 22243 22145 0 -1 4202560 46153 1244 0 0 5466 71 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=22243/tid=22259] ppid=22241 vsize=6330032 CPUtime=55.9 cores=0-31
/proc/22243/task/22259/stat : 22259 (plingeling) R 22241 22243 22145 0 -1 4202560 28247 1244 0 0 5533 56 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236906 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=22243/tid=22260] ppid=22241 vsize=6330032 CPUtime=55.8 cores=0-31
/proc/22243/task/22260/stat : 22260 (plingeling) R 22241 22243 22145 0 -1 4202560 45266 1244 0 0 5517 62 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=22243/tid=22261] ppid=22241 vsize=6330032 CPUtime=55.74 cores=0-31
/proc/22243/task/22261/stat : 22261 (plingeling) R 22241 22243 22145 0 -1 4202560 36028 1244 0 0 5521 52 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=22243/tid=22262] ppid=22241 vsize=6330032 CPUtime=54.96 cores=0-31
/proc/22243/task/22262/stat : 22262 (plingeling) R 22241 22243 22145 0 -1 4202560 45890 1244 0 0 5429 66 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=22243/tid=22263] ppid=22241 vsize=6330032 CPUtime=54.28 cores=0-31
/proc/22243/task/22263/stat : 22263 (plingeling) R 22241 22243 22145 0 -1 4202560 47659 1244 0 0 5331 96 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=22243/tid=22264] ppid=22241 vsize=6330032 CPUtime=55.07 cores=0-31
/proc/22243/task/22264/stat : 22264 (plingeling) R 22241 22243 22145 0 -1 4202560 50502 1244 0 0 5432 74 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=22243/tid=22265] ppid=22241 vsize=6330032 CPUtime=55.2 cores=0-31
/proc/22243/task/22265/stat : 22265 (plingeling) R 22241 22243 22145 0 -1 4202560 48133 1244 0 0 5440 79 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=22243/tid=22266] ppid=22241 vsize=6330032 CPUtime=54.44 cores=0-31
/proc/22243/task/22266/stat : 22266 (plingeling) R 22241 22243 22145 0 -1 4202560 45892 1244 0 0 5356 87 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4366523 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=22243/tid=22267] ppid=22241 vsize=6330032 CPUtime=56.5 cores=0-31
/proc/22243/task/22267/stat : 22267 (plingeling) R 22241 22243 22145 0 -1 4202560 10598 1244 0 0 5639 10 0 1 25 0 33 0 670685617 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=22243/tid=22268] ppid=22241 vsize=6330032 CPUtime=55.31 cores=0-31
/proc/22243/task/22268/stat : 22268 (plingeling) R 22241 22243 22145 0 -1 4202560 53361 1244 0 0 5458 72 0 1 25 0 33 0 670685618 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=22243/tid=22269] ppid=22241 vsize=6330032 CPUtime=54.91 cores=0-31
/proc/22243/task/22269/stat : 22269 (plingeling) R 22241 22243 22145 0 -1 4202560 46555 1244 0 0 5411 79 0 1 25 0 33 0 670685619 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=22243/tid=22270] ppid=22241 vsize=6330032 CPUtime=54.68 cores=0-31
/proc/22243/task/22270/stat : 22270 (plingeling) R 22241 22243 22145 0 -1 4202560 47978 1244 0 0 5412 55 0 1 25 0 33 0 670685619 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=22243/tid=22271] ppid=22241 vsize=6330032 CPUtime=54.48 cores=0-31
/proc/22243/task/22271/stat : 22271 (plingeling) R 22241 22243 22145 0 -1 4202560 46613 1244 0 0 5372 75 0 1 25 0 33 0 670685620 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=22243/tid=22272] ppid=22241 vsize=6330032 CPUtime=54.29 cores=0-31
/proc/22243/task/22272/stat : 22272 (plingeling) R 22241 22243 22145 0 -1 4202560 49322 1244 0 0 5364 64 0 1 25 0 33 0 670685620 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=22243/tid=22273] ppid=22241 vsize=6330032 CPUtime=54.75 cores=0-31
/proc/22243/task/22273/stat : 22273 (plingeling) R 22241 22243 22145 0 -1 4202560 47878 1244 0 0 5394 80 0 1 25 0 33 0 670685620 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=22243/tid=22274] ppid=22241 vsize=6330032 CPUtime=55.48 cores=0-31
/proc/22243/task/22274/stat : 22274 (plingeling) R 22241 22243 22145 0 -1 4202560 43630 1244 0 0 5489 58 0 1 25 0 33 0 670685621 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4355827 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=22243/tid=22275] ppid=22241 vsize=6330032 CPUtime=54.41 cores=0-31
/proc/22243/task/22275/stat : 22275 (plingeling) R 22241 22243 22145 0 -1 4202560 45446 1244 0 0 5359 81 0 1 25 0 33 0 670685621 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281649 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=22243/tid=22276] ppid=22241 vsize=6330032 CPUtime=54.94 cores=0-31
/proc/22243/task/22276/stat : 22276 (plingeling) R 22241 22243 22145 0 -1 4202560 47175 1244 0 0 5419 74 0 1 25 0 33 0 670685621 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=22243/tid=22277] ppid=22241 vsize=6330032 CPUtime=55.75 cores=0-31
/proc/22243/task/22277/stat : 22277 (plingeling) R 22241 22243 22145 0 -1 4202560 29824 1244 0 0 5513 61 0 1 25 0 33 0 670685622 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=22243/tid=22278] ppid=22241 vsize=6330032 CPUtime=55.17 cores=0-31
/proc/22243/task/22278/stat : 22278 (plingeling) R 22241 22243 22145 0 -1 4202560 47128 1244 0 0 5449 67 0 1 25 0 33 0 670685622 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=22243/tid=22279] ppid=22241 vsize=6330032 CPUtime=54.99 cores=0-31
/proc/22243/task/22279/stat : 22279 (plingeling) R 22241 22243 22145 0 -1 4202560 50798 1244 0 0 5411 87 0 1 25 0 33 0 670685623 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=22243/tid=22280] ppid=22241 vsize=6330032 CPUtime=55.18 cores=0-31
/proc/22243/task/22280/stat : 22280 (plingeling) R 22241 22243 22145 0 -1 4202560 31405 1244 0 0 5467 50 0 1 25 0 33 0 670685623 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=22243/tid=22281] ppid=22241 vsize=6330032 CPUtime=55.36 cores=0-31
/proc/22243/task/22281/stat : 22281 (plingeling) R 22241 22243 22145 0 -1 4202560 34244 1244 0 0 5475 60 0 1 25 0 33 0 670685623 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=22243/tid=22282] ppid=22241 vsize=6330032 CPUtime=55.07 cores=0-31
/proc/22243/task/22282/stat : 22282 (plingeling) R 22241 22243 22145 0 -1 4202560 9695 1244 0 0 5499 7 0 1 25 0 33 0 670685624 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4354762 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=22243/tid=22283] ppid=22241 vsize=6330032 CPUtime=54.33 cores=0-31
/proc/22243/task/22283/stat : 22283 (plingeling) R 22241 22243 22145 0 -1 4202560 49334 1244 0 0 5349 83 0 1 25 0 33 0 670685624 6481952768 1458850 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 1866.02
Current children cumulated vsize (KiB) 6330032
################
# More data... #
################
/proc/22243/task/22269/stat : 22269 (plingeling) R 22241 22243 22145 0 -1 4202560 367249 1244 0 0 206618 193 0 1 25 0 33 0 670685619 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=22243/tid=22270] ppid=22241 vsize=8107880 CPUtime=2064.7 cores=0-31
/proc/22243/task/22270/stat : 22270 (plingeling) R 22241 22243 22145 0 -1 4202560 181961 1244 0 0 206380 89 0 1 25 0 33 0 670685619 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=22243/tid=22271] ppid=22241 vsize=8107880 CPUtime=2066.55 cores=0-31
/proc/22243/task/22271/stat : 22271 (plingeling) R 22241 22243 22145 0 -1 4202560 248352 1244 0 0 206488 166 0 1 25 0 33 0 670685620 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=22243/tid=22272] ppid=22241 vsize=8107880 CPUtime=2067.3 cores=0-31
/proc/22243/task/22272/stat : 22272 (plingeling) R 22241 22243 22145 0 -1 4202560 348760 1244 0 0 206534 195 0 1 25 0 33 0 670685620 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=22243/tid=22273] ppid=22241 vsize=8107880 CPUtime=2067.85 cores=0-31
/proc/22243/task/22273/stat : 22273 (plingeling) R 22241 22243 22145 0 -1 4202560 338239 1244 0 0 206595 189 0 1 25 0 33 0 670685620 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=22243/tid=22274] ppid=22241 vsize=8107880 CPUtime=2068.47 cores=0-31
/proc/22243/task/22274/stat : 22274 (plingeling) R 22241 22243 22145 0 -1 4202560 288488 1244 0 0 206709 137 0 1 25 0 33 0 670685621 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=22243/tid=22275] ppid=22241 vsize=8107880 CPUtime=2067.41 cores=0-31
/proc/22243/task/22275/stat : 22275 (plingeling) R 22241 22243 22145 0 -1 4202560 244649 1244 0 0 206607 133 0 1 25 0 33 0 670685621 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=22243/tid=22276] ppid=22241 vsize=8107880 CPUtime=2065.8 cores=0-31
/proc/22243/task/22276/stat : 22276 (plingeling) R 22241 22243 22145 0 -1 4202560 279084 1244 0 0 206450 129 0 1 25 0 33 0 670685621 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=22243/tid=22277] ppid=22241 vsize=8107880 CPUtime=2066.21 cores=0-31
/proc/22243/task/22277/stat : 22277 (plingeling) R 22241 22243 22145 0 -1 4202560 261525 1244 0 0 206461 159 0 1 25 0 33 0 670685622 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=22243/tid=22278] ppid=22241 vsize=8107880 CPUtime=2068.04 cores=0-31
/proc/22243/task/22278/stat : 22278 (plingeling) R 22241 22243 22145 0 -1 4202560 374258 1244 0 0 206646 157 0 1 25 0 33 0 670685622 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=22243/tid=22279] ppid=22241 vsize=8107880 CPUtime=2067.97 cores=0-31
/proc/22243/task/22279/stat : 22279 (plingeling) R 22241 22243 22145 0 -1 4202560 267766 1244 0 0 206601 195 0 1 25 0 33 0 670685623 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=22243/tid=22280] ppid=22241 vsize=8107880 CPUtime=2066.77 cores=0-31
/proc/22243/task/22280/stat : 22280 (plingeling) R 22241 22243 22145 0 -1 4202560 317688 1244 0 0 206484 192 0 1 25 0 33 0 670685623 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=22243/tid=22281] ppid=22241 vsize=8107880 CPUtime=2068.65 cores=0-31
/proc/22243/task/22281/stat : 22281 (plingeling) R 22241 22243 22145 0 -1 4202560 328954 1244 0 0 206674 190 0 1 25 0 33 0 670685623 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=22243/tid=22282] ppid=22241 vsize=8107880 CPUtime=2067.49 cores=0-31
/proc/22243/task/22282/stat : 22282 (plingeling) R 22241 22243 22145 0 -1 4202560 170251 1244 0 0 206703 45 0 1 25 0 33 0 670685624 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236956 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=22243/tid=22283] ppid=22241 vsize=8107880 CPUtime=2067.43 cores=0-31
/proc/22243/task/22283/stat : 22283 (plingeling) R 22241 22243 22145 0 -1 4202560 383888 1244 0 0 206505 237 0 1 25 0 33 0 670685624 8302469120 1872093 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236722 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 66221
Current children cumulated vsize (KiB) 8107880
[startup+2188.8 s]
/proc/loadavg: 32.08 32.08 31.11 33/446 22349
/proc/meminfo: memFree=247848820/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=8122680 CPUtime=66630.1 cores=0-31
/proc/22243/stat : 22243 (plingeling) S 22241 22243 22145 0 -1 4202496 10269807 1244 0 0 6657770 5244 0 1 18 0 33 0 670675176 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/22243/statm: 2030670 1875793 175 55 0 2028556 0
[pid=22243/tid=22252] ppid=22241 vsize=8122680 CPUtime=2080.35 cores=0-31
/proc/22243/task/22252/stat : 22252 (plingeling) R 22241 22243 22145 0 -1 4202560 324629 1244 0 0 207822 212 0 1 25 0 33 0 670685616 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=22243/tid=22253] ppid=22241 vsize=8122680 CPUtime=2073.73 cores=0-31
/proc/22243/task/22253/stat : 22253 (plingeling) R 22241 22243 22145 0 -1 4202560 297946 1244 0 0 207229 143 0 1 25 0 33 0 670685616 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=22243/tid=22254] ppid=22241 vsize=8122680 CPUtime=2069.19 cores=0-31
/proc/22243/task/22254/stat : 22254 (plingeling) R 22241 22243 22145 0 -1 4202560 346858 1244 0 0 206749 169 0 1 25 0 33 0 670685616 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236845 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=22243/tid=22255] ppid=22241 vsize=8122680 CPUtime=2080.89 cores=0-31
/proc/22243/task/22255/stat : 22255 (plingeling) R 22241 22243 22145 0 -1 4202560 34789 1244 0 0 208066 22 0 1 25 0 33 0 670685616 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236784 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=22243/tid=22256] ppid=22241 vsize=8122680 CPUtime=2072 cores=0-31
/proc/22243/task/22256/stat : 22256 (plingeling) R 22241 22243 22145 0 -1 4202560 195931 1244 0 0 207121 78 0 1 25 0 33 0 670685616 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=22243/tid=22257] ppid=22241 vsize=8122680 CPUtime=2080.54 cores=0-31
/proc/22243/task/22257/stat : 22257 (plingeling) R 22241 22243 22145 0 -1 4202560 409025 1244 0 0 207832 221 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=22243/tid=22258] ppid=22241 vsize=8122680 CPUtime=2080.94 cores=0-31
/proc/22243/task/22258/stat : 22258 (plingeling) R 22241 22243 22145 0 -1 4202560 244607 1244 0 0 207883 210 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=22243/tid=22259] ppid=22241 vsize=8122680 CPUtime=2081.37 cores=0-31
/proc/22243/task/22259/stat : 22259 (plingeling) R 22241 22243 22145 0 -1 4202560 287316 1244 0 0 207961 175 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=22243/tid=22260] ppid=22241 vsize=8122680 CPUtime=2081.64 cores=0-31
/proc/22243/task/22260/stat : 22260 (plingeling) R 22241 22243 22145 0 -1 4202560 373090 1244 0 0 207937 226 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=22243/tid=22261] ppid=22241 vsize=8122680 CPUtime=2080.46 cores=0-31
/proc/22243/task/22261/stat : 22261 (plingeling) R 22241 22243 22145 0 -1 4202560 224988 1244 0 0 207950 95 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=22243/tid=22262] ppid=22241 vsize=8122680 CPUtime=2076.84 cores=0-31
/proc/22243/task/22262/stat : 22262 (plingeling) R 22241 22243 22145 0 -1 4202560 310695 1244 0 0 207472 211 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=22243/tid=22263] ppid=22241 vsize=8122680 CPUtime=2080 cores=0-31
/proc/22243/task/22263/stat : 22263 (plingeling) R 22241 22243 22145 0 -1 4202560 222906 1244 0 0 207840 159 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4357842 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=22243/tid=22264] ppid=22241 vsize=8122680 CPUtime=2078.08 cores=0-31
/proc/22243/task/22264/stat : 22264 (plingeling) R 22241 22243 22145 0 -1 4202560 249931 1244 0 0 207662 145 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=22243/tid=22265] ppid=22241 vsize=8122680 CPUtime=2081.04 cores=0-31
/proc/22243/task/22265/stat : 22265 (plingeling) R 22241 22243 22145 0 -1 4202560 275470 1244 0 0 207958 145 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=22243/tid=22266] ppid=22241 vsize=8122680 CPUtime=2080.41 cores=0-31
/proc/22243/task/22266/stat : 22266 (plingeling) R 22241 22243 22145 0 -1 4202560 231463 1244 0 0 207890 150 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=22243/tid=22267] ppid=22241 vsize=8122680 CPUtime=2078.22 cores=0-31
/proc/22243/task/22267/stat : 22267 (plingeling) R 22241 22243 22145 0 -1 4202560 137949 1244 0 0 207777 44 0 1 25 0 33 0 670685617 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=22243/tid=22268] ppid=22241 vsize=8122680 CPUtime=2069.67 cores=0-31
/proc/22243/task/22268/stat : 22268 (plingeling) R 22241 22243 22145 0 -1 4202560 271791 1244 0 0 206832 134 0 1 25 0 33 0 670685618 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=22243/tid=22269] ppid=22241 vsize=8122680 CPUtime=2080.92 cores=0-31
/proc/22243/task/22269/stat : 22269 (plingeling) R 22241 22243 22145 0 -1 4202560 367249 1244 0 0 207898 193 0 1 25 0 33 0 670685619 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4346242 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=22243/tid=22270] ppid=22241 vsize=8122680 CPUtime=2077.5 cores=0-31
/proc/22243/task/22270/stat : 22270 (plingeling) R 22241 22243 22145 0 -1 4202560 181961 1244 0 0 207660 89 0 1 25 0 33 0 670685619 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236670 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=22243/tid=22271] ppid=22241 vsize=8122680 CPUtime=2079.35 cores=0-31
/proc/22243/task/22271/stat : 22271 (plingeling) R 22241 22243 22145 0 -1 4202560 248352 1244 0 0 207768 166 0 1 25 0 33 0 670685620 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=22243/tid=22272] ppid=22241 vsize=8122680 CPUtime=2080.1 cores=0-31
/proc/22243/task/22272/stat : 22272 (plingeling) R 22241 22243 22145 0 -1 4202560 348760 1244 0 0 207814 195 0 1 25 0 33 0 670685620 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=22243/tid=22273] ppid=22241 vsize=8122680 CPUtime=2080.65 cores=0-31
/proc/22243/task/22273/stat : 22273 (plingeling) R 22241 22243 22145 0 -1 4202560 338606 1244 0 0 207875 189 0 1 25 0 33 0 670685620 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4356980 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=22243/tid=22274] ppid=22241 vsize=8122680 CPUtime=2081.28 cores=0-31
/proc/22243/task/22274/stat : 22274 (plingeling) R 22241 22243 22145 0 -1 4202560 288648 1244 0 0 207989 138 0 1 25 0 33 0 670685621 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=22243/tid=22275] ppid=22241 vsize=8122680 CPUtime=2080.21 cores=0-31
/proc/22243/task/22275/stat : 22275 (plingeling) R 22241 22243 22145 0 -1 4202560 244649 1244 0 0 207887 133 0 1 25 0 33 0 670685621 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=22243/tid=22276] ppid=22241 vsize=8122680 CPUtime=2078.24 cores=0-31
/proc/22243/task/22276/stat : 22276 (plingeling) R 22241 22243 22145 0 -1 4202560 279245 1244 0 0 207694 129 0 1 25 0 33 0 670685621 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=22243/tid=22277] ppid=22241 vsize=8122680 CPUtime=2079.01 cores=0-31
/proc/22243/task/22277/stat : 22277 (plingeling) R 22241 22243 22145 0 -1 4202560 261525 1244 0 0 207741 159 0 1 25 0 33 0 670685622 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=22243/tid=22278] ppid=22241 vsize=8122680 CPUtime=2080.84 cores=0-31
/proc/22243/task/22278/stat : 22278 (plingeling) R 22241 22243 22145 0 -1 4202560 374258 1244 0 0 207926 157 0 1 25 0 33 0 670685622 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=22243/tid=22279] ppid=22241 vsize=8122680 CPUtime=2080.77 cores=0-31
/proc/22243/task/22279/stat : 22279 (plingeling) R 22241 22243 22145 0 -1 4202560 267766 1244 0 0 207881 195 0 1 25 0 33 0 670685623 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4288603 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=22243/tid=22280] ppid=22241 vsize=8122680 CPUtime=2079.57 cores=0-31
/proc/22243/task/22280/stat : 22280 (plingeling) R 22241 22243 22145 0 -1 4202560 317688 1244 0 0 207764 192 0 1 25 0 33 0 670685623 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=22243/tid=22281] ppid=22241 vsize=8122680 CPUtime=2081.44 cores=0-31
/proc/22243/task/22281/stat : 22281 (plingeling) R 22241 22243 22145 0 -1 4202560 330906 1244 0 0 207953 190 0 1 25 0 33 0 670685623 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=22243/tid=22282] ppid=22241 vsize=8122680 CPUtime=2080.29 cores=0-31
/proc/22243/task/22282/stat : 22282 (plingeling) R 22241 22243 22145 0 -1 4202560 170251 1244 0 0 207983 45 0 1 25 0 33 0 670685624 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=22243/tid=22283] ppid=22241 vsize=8122680 CPUtime=2080.23 cores=0-31
/proc/22243/task/22283/stat : 22283 (plingeling) R 22241 22243 22145 0 -1 4202560 383888 1244 0 0 207785 237 0 1 25 0 33 0 670685624 8317624320 1875793 268435456000 4194304 4417452 140735965163088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 66630.2
Current children cumulated vsize (KiB) 8122680
[startup+2195.2 s]
/proc/loadavg: 32.07 32.08 31.12 33/446 22349
/proc/meminfo: memFree=247859012/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=8082564 CPUtime=66833.9 cores=0-31
/proc/22243/stat : 22243 (plingeling) S 22241 22243 22145 0 -1 4202496 10270242 1244 0 0 6678144 5244 0 1 17 0 5 0 670675176 8276545536 1873422 268435456000 4194304 4417452 140735965163088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/22243/statm: 2020641 1873422 176 55 0 2018527 0
[pid=22243/tid=22258] ppid=22241 vsize=8082564 CPUtime=2087.34 cores=0-31
/proc/22243/task/22258/stat : 22258 (plingeling) R 22241 22243 22145 0 -1 4202560 244607 1244 0 0 208523 210 0 1 25 0 5 0 670685617 8276545536 1873422 268435456000 4194304 4417452 140735965163088 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=22243/tid=22269] ppid=22241 vsize=8082564 CPUtime=2087.32 cores=0-31
/proc/22243/task/22269/stat : 22269 (plingeling) R 22241 22243 22145 0 -1 4202560 367249 1244 0 0 208538 193 0 1 25 0 5 0 670685619 8276545536 1873422 268435456000 4194304 4417452 140735965163088 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=22243/tid=22280] ppid=22241 vsize=8082564 CPUtime=2085.97 cores=0-31
/proc/22243/task/22280/stat : 22280 (plingeling) R 22241 22243 22145 0 -1 4202560 317688 1244 0 0 208404 192 0 1 25 0 5 0 670685623 8276545536 1873422 268435456000 4194304 4417452 140735965163088 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=22243/tid=22282] ppid=22241 vsize=8082564 CPUtime=2086.68 cores=0-31
/proc/22243/task/22282/stat : 22282 (plingeling) R 22241 22243 22145 0 -1 4202560 170251 1244 0 0 208622 45 0 1 25 0 5 0 670685624 8276545536 1873422 268435456000 4194304 4417452 140735965163088 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 66833.9
Current children cumulated vsize (KiB) 8082564
[startup+2196.83 s]
/proc/loadavg: 32.07 32.08 31.12 2/415 22349
/proc/meminfo: memFree=247861244/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=7968284 CPUtime=66836.1 cores=0-31
/proc/22243/stat : 22243 (plingeling) S 22241 22243 22145 0 -1 4202496 10270242 1244 0 0 6678363 5245 0 1 15 0 2 0 670675176 8159522816 1872941 268435456000 4194304 4417452 140735965163088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/22243/statm: 1992071 1872941 176 55 0 1989957 0
[pid=22243/tid=22269] ppid=22241 vsize=7968284 CPUtime=2088.95 cores=0-31
/proc/22243/task/22269/stat : 22269 (plingeling) R 22241 22243 22145 0 -1 4202560 367249 1244 0 0 208701 193 0 1 25 0 2 0 670685619 8159522816 1872941 268435456000 4194304 4417452 140735965163088 18446744073709551615 4254468 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 66836.1
Current children cumulated vsize (KiB) 7968284
[startup+2198.4 s]
/proc/loadavg: 29.74 31.60 30.97 2/415 22349
/proc/meminfo: memFree=247861244/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=7968284 CPUtime=66837.6 cores=0-31
/proc/22243/stat : 22243 (plingeling) S 22241 22243 22145 0 -1 4202496 10270242 1244 0 0 6678519 5245 0 1 15 0 2 0 670675176 8159522816 1872941 268435456000 4194304 4417452 140735965163088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/22243/statm: 1992071 1872941 176 55 0 1989957 0
[pid=22243/tid=22269] ppid=22241 vsize=7968284 CPUtime=2090.52 cores=0-31
/proc/22243/task/22269/stat : 22269 (plingeling) R 22241 22243 22145 0 -1 4202560 367249 1244 0 0 208858 193 0 1 25 0 2 0 670685619 8159522816 1872941 268435456000 4194304 4417452 140735965163088 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 66837.6
Current children cumulated vsize (KiB) 7968284
[startup+2199.2 s]
/proc/loadavg: 29.74 31.60 30.97 2/415 22349
/proc/meminfo: memFree=247861488/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=5491176 CPUtime=66838.5 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202496 10270242 1244 0 0 6678578 5266 0 1 16 0 1 0 670675176 5622964224 1301817 268435456000 4194304 4417452 140735965163088 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 29 0 0 0
/proc/22243/statm: 1372794 1301622 176 55 0 1370680 0
Current children cumulated CPU time (s) 66838.5
Current children cumulated vsize (KiB) 5491176
[startup+2199.6 s]
/proc/loadavg: 29.74 31.60 30.97 2/415 22349
/proc/meminfo: memFree=247861488/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=0 CPUtime=66838.9 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202500 10270246 1244 0 0 6678578 5306 0 1 16 0 1 0 670675176 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 29 0 0 0
/proc/22243/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 66838.9
Current children cumulated vsize (KiB) 0
[startup+2199.7 s]
/proc/loadavg: 29.74 31.60 30.97 2/415 22349
/proc/meminfo: memFree=247861488/264257624 swapFree=67111528/67111528
[pid=22243] ppid=22241 vsize=0 CPUtime=66839 cores=0-31
/proc/22243/stat : 22243 (plingeling) R 22241 22243 22145 0 -1 4202500 10270246 1244 0 0 6678578 5316 0 1 16 0 1 0 670675176 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 29 0 0 0
/proc/22243/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 66839
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2199.76
CPU time (s): 66839
CPU user time (s): 66785.8
CPU system time (s): 53.2319
CPU usage (%): 3038.47
Max. virtual memory (cumulated for all children) (KiB): 8394400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66785.8
system time used= 53.2319
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10271490
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= 9391
involuntary context switches= 176143
runsolver used 12.3741 second user time and 50.6223 second system time
The end
Begin job on node200 at 2011-05-17 02:24:48
IDJOB=3372423
IDBENCH=82371
IDSOLVER=1852
FILE ID=node200/3372423-1305591881
RUNJOBID= node200-1305591663-22159
PBS_JOBID= 13285558
Free space on /tmp= 61896 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372423-1305591881/watcher-3372423-1305591881 -o /tmp/evaluation-result-3372423-1305591881/solver-3372423-1305591881 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372423-1305591881.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=1366635061
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: 255352128 kB
Buffers: 447404 kB
Cached: 8033736 kB
SwapCached: 0 kB
Active: 7554892 kB
Inactive: 997840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255352128 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 159796 kB
Writeback: 0 kB
AnonPages: 71736 kB
Mapped: 14572 kB
Slab: 254564 kB
PageTables: 4408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 195960 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= 61896 MiB
End job on node200 at 2011-05-17 03:01:27