0.00/0.14 This is pico-portfolio, a naive parallel portfolio
0.00/0.14 Copyright (C) 2011 Olivier Roussel
0.00/0.14 Using 32 processing units
0.00/0.14 This portfolio uses the following solvers:
0.00/0.14 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.14 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.14 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.14 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.14 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.14 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.14 Starting clasp 1.3.6 on core(s) 1
0.00/0.14 Starting TNM 2009 on core(s) 2
0.00/0.14 Starting march_hi 2009 on core(s) 3
0.00/0.14 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
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-3347529-1305268290/watcher-3347529-1305268290 -o /tmp/evaluation-result-3347529-1305268290/solver-3347529-1305268290 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347529-1305268290.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: 27.23 31.15 31.79 1/413 24243
/proc/meminfo: memFree=255633420/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=11796 CPUtime=0 cores=0-31
/proc/24243/stat : 24243 (runsolver) S 24241 24243 24217 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 638315469 12079104 50 268435456000 4194304 5432360 140733843281584 18446744073709551615 4881623 0 2147483391 4096 24578 18446744071700354911 0 0 17 2 0 0 0
/proc/24243/statm: 2949 50 30 303 0 2643 0
[startup+0.040302 s]
/proc/loadavg: 27.23 31.15 31.79 1/413 24243
/proc/meminfo: memFree=255633420/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=11796 CPUtime=0 cores=0-31
/proc/24243/stat : 24243 (runsolver) S 24241 24243 24217 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 638315469 12079104 50 268435456000 4194304 5432360 140733843281584 18446744073709551615 4881623 0 2147483391 4096 24578 18446744071700354911 0 0 17 2 0 0 0
/proc/24243/statm: 2949 50 30 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.101301 s]
/proc/loadavg: 27.23 31.15 31.79 1/413 24243
/proc/meminfo: memFree=255633420/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=11796 CPUtime=0 cores=0-31
/proc/24243/stat : 24243 (runsolver) S 24241 24243 24217 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 638315469 12079104 50 268435456000 4194304 5432360 140733843281584 18446744073709551615 4881623 0 2147483391 4096 24578 18446744071700354911 0 0 17 2 0 0 0
/proc/24243/statm: 2949 50 30 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.301259 s]
/proc/loadavg: 27.23 31.15 31.79 1/413 24243
/proc/meminfo: memFree=255633420/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24243/stat : 24243 (ppfolio) S 24241 24243 24217 0 -1 4202496 513 1194 0 0 0 0 0 3 18 0 1 0 638315469 18763776 387 268435456000 4194304 4287625 140736645618992 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 8 0 0 0
/proc/24243/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+0.701254 s]
/proc/loadavg: 27.23 31.15 31.79 1/413 24243
/proc/meminfo: memFree=255633420/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24243/stat : 24243 (ppfolio) S 24241 24243 24217 0 -1 4202496 513 1194 0 0 0 0 0 3 18 0 1 0 638315469 18763776 387 268435456000 4194304 4287625 140736645618992 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 8 0 0 0
/proc/24243/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+1.50127 s]
/proc/loadavg: 27.23 31.15 31.79 5/418 24254
/proc/meminfo: memFree=255488152/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24243/stat : 24243 (ppfolio) S 24241 24243 24217 0 -1 4202496 513 1194 0 0 0 0 0 3 18 0 1 0 638315469 18763776 387 268435456000 4194304 4287625 140736645618992 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 8 0 0 0
/proc/24243/statm: 4581 387 338 23 0 91 0
[pid=24245] ppid=24243 vsize=39800 CPUtime=1.34 cores=0
/proc/24245/stat : 24245 (cryptominisat) R 24243 24243 24217 0 -1 4202496 4769 0 0 0 133 1 0 0 25 0 1 0 638315484 40755200 4573 268435456000 4194304 4587354 140734167671456 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 9950 4573 303 96 0 6512 0
[pid=24246] ppid=24243 vsize=38132 CPUtime=1.34 cores=1
/proc/24246/stat : 24246 (clasp) R 24243 24243 24217 0 -1 4202496 8695 0 0 0 132 2 0 0 19 0 1 0 638315484 39047168 6670 268435456000 4194304 4785740 140736958811296 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24246/statm: 9533 6670 338 145 0 6578 0
[pid=24248] ppid=24243 vsize=96148 CPUtime=1.34 cores=3
/proc/24248/stat : 24248 (march_hi) R 24243 24243 24217 0 -1 4202496 49351 0 0 0 124 10 0 0 19 0 1 0 638315484 98455552 10376 268435456000 4194304 4331988 140736516033296 18446744073709551615 4251971 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24248/statm: 24037 10376 160 34 0 22479 0
[pid=24249] ppid=24243 vsize=123848 CPUtime=1.34 cores=4-31
/proc/24249/stat : 24249 (plingeling) R 24243 24243 24217 0 -1 4202496 29737 1243 0 0 126 7 0 1 20 0 1 0 638315484 126820352 29621 268435456000 4194304 4356188 140736197785200 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/24249/statm: 30962 29621 129 40 0 29506 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 316252
[startup+3.10126 s]
/proc/loadavg: 27.23 31.15 31.79 5/418 24254
/proc/meminfo: memFree=255287340/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24243/stat : 24243 (ppfolio) S 24241 24243 24217 0 -1 4202496 513 1194 0 0 0 0 0 3 16 0 1 0 638315469 18763776 387 268435456000 4194304 4287625 140736645618992 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 8 0 0 0
/proc/24243/statm: 4581 387 338 23 0 91 0
[pid=24245] ppid=24243 vsize=64584 CPUtime=2.95 cores=0
/proc/24245/stat : 24245 (cryptominisat) R 24243 24243 24217 0 -1 4202496 13733 0 0 0 291 4 0 0 25 0 1 0 638315484 66134016 11490 268435456000 4194304 4587354 140734167671456 18446744073709551615 4238314 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 16146 11490 328 96 0 12708 0
[pid=24246] ppid=24243 vsize=38528 CPUtime=2.94 cores=1
/proc/24246/stat : 24246 (clasp) R 24243 24243 24217 0 -1 4202496 8885 0 0 0 292 2 0 0 25 0 1 0 638315484 39452672 6860 268435456000 4194304 4785740 140736958811296 18446744073709551615 4552955 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24246/statm: 9632 6860 338 145 0 6677 0
[pid=24248] ppid=24243 vsize=103796 CPUtime=2.94 cores=3
/proc/24248/stat : 24248 (march_hi) R 24243 24243 24217 0 -1 4202496 54348 0 0 0 283 11 0 0 25 0 1 0 638315484 106287104 13123 268435456000 4194304 4331988 140736516033296 18446744073709551615 4237171 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24248/statm: 25949 13123 174 34 0 24391 0
[pid=24249] ppid=24243 vsize=782344 CPUtime=17.74 cores=4-31
/proc/24249/stat : 24249 (plingeling) S 24243 24243 24217 0 -1 4202496 82150 1243 0 0 1754 19 0 1 19 0 29 0 638315484 801120256 73554 268435456000 4194304 4356188 140736197785200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/24249/statm: 195586 73554 142 40 0 194130 0
Current children cumulated CPU time (s) 26.6
Current children cumulated vsize (KiB) 1007576
[startup+6.30236 s]
/proc/loadavg: 25.45 30.72 31.64 32/446 24282
/proc/meminfo: memFree=255069224/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24243/stat : 24243 (ppfolio) S 24241 24243 24217 0 -1 4202496 513 1194 0 0 0 0 0 3 15 0 1 0 638315469 18763776 387 268435456000 4194304 4287625 140736645618992 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 8 0 0 0
/proc/24243/statm: 4581 387 338 23 0 91 0
[pid=24245] ppid=24243 vsize=64988 CPUtime=6.14 cores=0
/proc/24245/stat : 24245 (cryptominisat) R 24243 24243 24217 0 -1 4202496 14284 0 0 0 610 4 0 0 25 0 1 0 638315484 66547712 12028 268435456000 4194304 4587354 140734167671456 18446744073709551615 258650652548 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 16247 12028 328 96 0 12809 0
[pid=24246] ppid=24243 vsize=43524 CPUtime=6.14 cores=1
/proc/24246/stat : 24246 (clasp) R 24243 24243 24217 0 -1 4202496 10111 0 0 0 611 3 0 0 25 0 1 0 638315484 44568576 8086 268435456000 4194304 4785740 140736958811296 18446744073709551615 4286930 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24246/statm: 10881 8086 338 145 0 7926 0
[pid=24248] ppid=24243 vsize=108148 CPUtime=6.14 cores=3
/proc/24248/stat : 24248 (march_hi) R 24243 24243 24217 0 -1 4202496 55686 0 0 0 602 12 0 0 25 0 1 0 638315484 110743552 14461 268435456000 4194304 4331988 140736516033296 18446744073709551615 4242940 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24248/statm: 27037 14461 174 34 0 25479 0
[pid=24249] ppid=24243 vsize=833720 CPUtime=104.96 cores=4-31
/proc/24249/stat : 24249 (plingeling) S 24243 24243 24217 0 -1 4202496 165402 1243 0 0 10416 79 0 1 19 0 29 0 638315484 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/24249/statm: 208430 97748 159 40 0 206974 0
[pid=24249/tid=24255] ppid=24243 vsize=833720 CPUtime=3.75 cores=4-31
/proc/24249/task/24255/stat : 24255 (plingeling) R 24243 24243 24217 0 -1 4202560 3634 1243 0 0 371 3 0 1 20 0 29 0 638315719 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24249/tid=24256] ppid=24243 vsize=833720 CPUtime=3.46 cores=4-31
/proc/24249/task/24256/stat : 24256 (plingeling) R 24243 24243 24217 0 -1 4202560 3310 1243 0 0 342 3 0 1 19 0 29 0 638315719 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4310422 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24249/tid=24257] ppid=24243 vsize=833720 CPUtime=3.75 cores=4-31
/proc/24249/task/24257/stat : 24257 (plingeling) R 24243 24243 24217 0 -1 4202560 4768 1243 0 0 371 3 0 1 20 0 29 0 638315719 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4210812 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24249/tid=24258] ppid=24243 vsize=833720 CPUtime=3.78 cores=4-31
/proc/24249/task/24258/stat : 24258 (plingeling) R 24243 24243 24217 0 -1 4202560 2227 1243 0 0 377 0 0 1 25 0 29 0 638315719 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4241912 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24249/tid=24259] ppid=24243 vsize=833720 CPUtime=3.74 cores=4-31
/proc/24249/task/24259/stat : 24259 (plingeling) R 24243 24243 24217 0 -1 4202560 4678 1243 0 0 371 2 0 1 20 0 29 0 638315719 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4282775 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24249/tid=24260] ppid=24243 vsize=833720 CPUtime=3.69 cores=4-31
/proc/24249/task/24260/stat : 24260 (plingeling) R 24243 24243 24217 0 -1 4202560 3524 1243 0 0 367 1 0 1 20 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4211839 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24249/tid=24261] ppid=24243 vsize=833720 CPUtime=3.62 cores=4-31
/proc/24249/task/24261/stat : 24261 (plingeling) R 24243 24243 24217 0 -1 4202560 4391 1243 0 0 358 3 0 1 20 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270898 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24249/tid=24262] ppid=24243 vsize=833720 CPUtime=3.5 cores=4-31
/proc/24249/task/24262/stat : 24262 (plingeling) R 24243 24243 24217 0 -1 4202560 3175 1243 0 0 347 2 0 1 19 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4271236 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24249/tid=24263] ppid=24243 vsize=833720 CPUtime=3.67 cores=4-31
/proc/24249/task/24263/stat : 24263 (plingeling) R 24243 24243 24217 0 -1 4202560 2972 1243 0 0 364 2 0 1 25 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4210591 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24249/tid=24264] ppid=24243 vsize=833720 CPUtime=3.75 cores=4-31
/proc/24249/task/24264/stat : 24264 (plingeling) R 24243 24243 24217 0 -1 4202560 4731 1243 0 0 371 3 0 1 20 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4233312 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24249/tid=24265] ppid=24243 vsize=833720 CPUtime=3.68 cores=4-31
/proc/24249/task/24265/stat : 24265 (plingeling) R 24243 24243 24217 0 -1 4202560 3974 1243 0 0 365 2 0 1 19 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24249/tid=24266] ppid=24243 vsize=833720 CPUtime=3.69 cores=4-31
/proc/24249/task/24266/stat : 24266 (plingeling) R 24243 24243 24217 0 -1 4202560 4352 1243 0 0 367 1 0 1 22 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24249/tid=24267] ppid=24243 vsize=833720 CPUtime=3.74 cores=4-31
/proc/24249/task/24267/stat : 24267 (plingeling) R 24243 24243 24217 0 -1 4202560 4575 1243 0 0 372 1 0 1 20 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4210830 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24249/tid=24268] ppid=24243 vsize=833720 CPUtime=3.28 cores=4-31
/proc/24249/task/24268/stat : 24268 (plingeling) R 24243 24243 24217 0 -1 4202560 2175 1243 0 0 324 3 0 1 25 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4217670 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24249/tid=24269] ppid=24243 vsize=833720 CPUtime=3.66 cores=4-31
/proc/24249/task/24269/stat : 24269 (plingeling) R 24243 24243 24217 0 -1 4202560 3665 1243 0 0 363 2 0 1 20 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24249/tid=24270] ppid=24243 vsize=833720 CPUtime=3.73 cores=4-31
/proc/24249/task/24270/stat : 24270 (plingeling) R 24243 24243 24217 0 -1 4202560 3522 1243 0 0 371 1 0 1 25 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24249/tid=24271] ppid=24243 vsize=833720 CPUtime=3.67 cores=4-31
/proc/24249/task/24271/stat : 24271 (plingeling) R 24243 24243 24217 0 -1 4202560 3738 1243 0 0 363 3 0 1 25 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24249/tid=24272] ppid=24243 vsize=833720 CPUtime=3.75 cores=4-31
/proc/24249/task/24272/stat : 24272 (plingeling) R 24243 24243 24217 0 -1 4202560 4621 1243 0 0 371 3 0 1 25 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4261955 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24249/tid=24273] ppid=24243 vsize=833720 CPUtime=3.66 cores=4-31
/proc/24249/task/24273/stat : 24273 (plingeling) R 24243 24243 24217 0 -1 4202560 4585 1243 0 0 362 3 0 1 25 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24249/tid=24274] ppid=24243 vsize=833720 CPUtime=3.67 cores=4-31
/proc/24249/task/24274/stat : 24274 (plingeling) R 24243 24243 24217 0 -1 4202560 2259 1243 0 0 366 0 0 1 25 0 29 0 638315720 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24249/tid=24275] ppid=24243 vsize=833720 CPUtime=3.74 cores=4-31
/proc/24249/task/24275/stat : 24275 (plingeling) R 24243 24243 24217 0 -1 4202560 4199 1243 0 0 372 1 0 1 25 0 29 0 638315721 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24249/tid=24276] ppid=24243 vsize=833720 CPUtime=3.65 cores=4-31
/proc/24249/task/24276/stat : 24276 (plingeling) R 24243 24243 24217 0 -1 4202560 4968 1243 0 0 363 1 0 1 19 0 29 0 638315721 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4211772 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24249/tid=24277] ppid=24243 vsize=833720 CPUtime=3.65 cores=4-31
/proc/24249/task/24277/stat : 24277 (plingeling) R 24243 24243 24217 0 -1 4202560 5572 1243 0 0 363 1 0 1 25 0 29 0 638315721 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270728 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24249/tid=24278] ppid=24243 vsize=833720 CPUtime=3.59 cores=4-31
/proc/24249/task/24278/stat : 24278 (plingeling) R 24243 24243 24217 0 -1 4202560 3229 1243 0 0 357 1 0 1 19 0 29 0 638315721 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330843 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24249/tid=24279] ppid=24243 vsize=833720 CPUtime=3.72 cores=4-31
/proc/24249/task/24279/stat : 24279 (plingeling) R 24243 24243 24217 0 -1 4202560 3172 1243 0 0 369 2 0 1 25 0 29 0 638315721 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24249/tid=24280] ppid=24243 vsize=833720 CPUtime=3.6 cores=4-31
/proc/24249/task/24280/stat : 24280 (plingeling) R 24243 24243 24217 0 -1 4202560 4180 1243 0 0 357 2 0 1 25 0 29 0 638315721 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24249/tid=24281] ppid=24243 vsize=833720 CPUtime=3.74 cores=4-31
/proc/24249/task/24281/stat : 24281 (plingeling) R 24243 24243 24217 0 -1 4202560 4655 1243 0 0 372 1 0 1 20 0 29 0 638315721 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4281183 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24249/tid=24282] ppid=24243 vsize=833720 CPUtime=3.7 cores=4-31
/proc/24249/task/24282/stat : 24282 (plingeling) R 24243 24243 24217 0 -1 4202560 3252 1243 0 0 369 0 0 1 25 0 29 0 638315721 853729280 97748 268435456000 4194304 4356188 140736197785200 18446744073709551615 4239163 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 123.41
Current children cumulated vsize (KiB) 1068704
[startup+12.7016 s]
/proc/loadavg: 25.90 30.72 31.64 32/446 24282
/proc/meminfo: memFree=255130384/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24243/stat : 24243 (ppfolio) S 24241 24243 24217 0 -1 4202496 513 1194 0 0 0 0 0 3 15 0 1 0 638315469 18763776 387 268435456000 4194304 4287625 140736645618992 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 8 0 0 0
/proc/24243/statm: 4581 387 338 23 0 91 0
[pid=24245] ppid=24243 vsize=2071084 CPUtime=12.54 cores=0
/proc/24245/stat : 24245 (cryptominisat) R 24243 24243 24217 0 -1 4202496 16617 0 0 0 1249 5 0 0 25 0 1 0 638315484 2120790016 11816 268435456000 4194304 4587354 140734167671456 18446744073709551615 4238051 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 517771 11816 334 96 0 514333 0
[pid=24246] ppid=24243 vsize=49656 CPUtime=12.54 cores=1
/proc/24246/stat : 24246 (clasp) R 24243 24243 24217 0 -1 4202496 11636 0 0 0 1251 3 0 0 25 0 1 0 638315484 50847744 9611 268435456000 4194304 4785740 140736958811296 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24246/statm: 12414 9611 338 145 0 9459 0
[pid=24248] ppid=24243 vsize=109204 CPUtime=12.54 cores=3
/proc/24248/stat : 24248 (march_hi) R 24243 24243 24217 0 -1 4202496 55975 0 0 0 1242 12 0 0 25 0 1 0 638315484 111824896 14750 268435456000 4194304 4331988 140736516033296 18446744073709551615 4263148 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24248/statm: 27301 14750 174 34 0 25743 0
[pid=24249] ppid=24243 vsize=791316 CPUtime=283.91 cores=4-31
/proc/24249/stat : 24249 (plingeling) S 24243 24243 24217 0 -1 4202496 173609 1243 0 0 28306 84 0 1 19 0 29 0 638315484 810307584 84184 268435456000 4194304 4356188 140736197785200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
################
# More data... #
################
[pid=24245] ppid=24243 vsize=2156212 CPUtime=5081.19 cores=0
/proc/24245/stat : 24245 (cryptominisat) R 24243 24243 24217 0 -1 4202496 617947 0 0 0 507708 411 0 0 25 0 1 0 638315484 2207961088 31618 268435456000 4194304 4587354 140734167671456 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 539053 31618 334 96 0 535615 0
[pid=24246] ppid=24243 vsize=323720 CPUtime=5081.2 cores=1
/proc/24246/stat : 24246 (clasp) R 24243 24243 24217 0 -1 4202496 77922 0 0 0 508076 44 0 0 25 0 1 0 638315484 331489280 75897 268435456000 4194304 4785740 140736958811296 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24246/statm: 80930 75897 338 145 0 77975 0
[pid=24248] ppid=24243 vsize=157044 CPUtime=5081.19 cores=3
/proc/24248/stat : 24248 (march_hi) R 24243 24243 24217 0 -1 4202496 66993 0 0 0 508093 26 0 0 25 0 1 0 638315484 160813056 25768 268435456000 4194304 4331988 140736516033296 18446744073709551615 4228524 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24248/statm: 39261 25768 174 34 0 37703 0
[pid=24249] ppid=24243 vsize=2085220 CPUtime=140672 cores=4-31
/proc/24249/stat : 24249 (plingeling) S 24243 24243 24217 0 -1 4202496 3670677 1243 0 0 14064811 2419 0 1 19 0 29 0 638315484 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/24249/statm: 521305 409772 159 40 0 519849 0
[pid=24249/tid=24255] ppid=24243 vsize=2085220 CPUtime=5050.37 cores=4-31
/proc/24249/task/24255/stat : 24255 (plingeling) R 24243 24243 24217 0 -1 4202560 146391 1243 0 0 504933 103 0 1 25 0 29 0 638315719 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4279711 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24249/tid=24256] ppid=24243 vsize=2085220 CPUtime=4954.74 cores=4-31
/proc/24249/task/24256/stat : 24256 (plingeling) R 24243 24243 24217 0 -1 4202560 132628 1243 0 0 495374 99 0 1 25 0 29 0 638315719 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24249/tid=24257] ppid=24243 vsize=2085220 CPUtime=4980.27 cores=4-31
/proc/24249/task/24257/stat : 24257 (plingeling) R 24243 24243 24217 0 -1 4202560 120911 1243 0 0 497956 70 0 1 25 0 29 0 638315719 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24249/tid=24258] ppid=24243 vsize=2085220 CPUtime=5078.82 cores=4-31
/proc/24249/task/24258/stat : 24258 (plingeling) R 24243 24243 24217 0 -1 4202560 43962 1243 0 0 507865 16 0 1 25 0 29 0 638315719 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24249/tid=24259] ppid=24243 vsize=2085220 CPUtime=5047.88 cores=4-31
/proc/24249/task/24259/stat : 24259 (plingeling) R 24243 24243 24217 0 -1 4202560 121801 1243 0 0 504680 107 0 1 25 0 29 0 638315719 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24249/tid=24260] ppid=24243 vsize=2085220 CPUtime=5078.63 cores=4-31
/proc/24249/task/24260/stat : 24260 (plingeling) R 24243 24243 24217 0 -1 4202560 156432 1243 0 0 507780 82 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24249/tid=24261] ppid=24243 vsize=2085220 CPUtime=4992.31 cores=4-31
/proc/24249/task/24261/stat : 24261 (plingeling) R 24243 24243 24217 0 -1 4202560 141275 1243 0 0 499147 83 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4332470 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24249/tid=24262] ppid=24243 vsize=2085220 CPUtime=4999.88 cores=4-31
/proc/24249/task/24262/stat : 24262 (plingeling) R 24243 24243 24217 0 -1 4202560 171397 1243 0 0 499841 146 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24249/tid=24263] ppid=24243 vsize=2085220 CPUtime=5015.71 cores=4-31
/proc/24249/task/24263/stat : 24263 (plingeling) R 24243 24243 24217 0 -1 4202560 135042 1243 0 0 501497 73 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24249/tid=24264] ppid=24243 vsize=2085220 CPUtime=5054.13 cores=4-31
/proc/24249/task/24264/stat : 24264 (plingeling) R 24243 24243 24217 0 -1 4202560 133124 1243 0 0 505311 101 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24249/tid=24265] ppid=24243 vsize=2085220 CPUtime=5005.49 cores=4-31
/proc/24249/task/24265/stat : 24265 (plingeling) R 24243 24243 24217 0 -1 4202560 125445 1243 0 0 500468 80 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330931 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24249/tid=24266] ppid=24243 vsize=2085220 CPUtime=5077.21 cores=4-31
/proc/24249/task/24266/stat : 24266 (plingeling) R 24243 24243 24217 0 -1 4202560 49571 1243 0 0 507695 25 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24249/tid=24267] ppid=24243 vsize=2085220 CPUtime=5078.41 cores=4-31
/proc/24249/task/24267/stat : 24267 (plingeling) R 24243 24243 24217 0 -1 4202560 153448 1243 0 0 507730 110 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24249/tid=24268] ppid=24243 vsize=2085220 CPUtime=5023.28 cores=4-31
/proc/24249/task/24268/stat : 24268 (plingeling) R 24243 24243 24217 0 -1 4202560 124895 1243 0 0 502249 78 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4233969 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24249/tid=24269] ppid=24243 vsize=2085220 CPUtime=5074.92 cores=4-31
/proc/24249/task/24269/stat : 24269 (plingeling) R 24243 24243 24217 0 -1 4202560 171766 1243 0 0 507399 92 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24249/tid=24270] ppid=24243 vsize=2085220 CPUtime=5078.76 cores=4-31
/proc/24249/task/24270/stat : 24270 (plingeling) R 24243 24243 24217 0 -1 4202560 170432 1243 0 0 507748 127 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24249/tid=24271] ppid=24243 vsize=2085220 CPUtime=5073.88 cores=4-31
/proc/24249/task/24271/stat : 24271 (plingeling) R 24243 24243 24217 0 -1 4202560 134172 1243 0 0 507309 78 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24249/tid=24272] ppid=24243 vsize=2085220 CPUtime=4996.41 cores=4-31
/proc/24249/task/24272/stat : 24272 (plingeling) R 24243 24243 24217 0 -1 4202560 143215 1243 0 0 499559 81 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24249/tid=24273] ppid=24243 vsize=2085220 CPUtime=4907.37 cores=4-31
/proc/24249/task/24273/stat : 24273 (plingeling) R 24243 24243 24217 0 -1 4202560 147092 1243 0 0 490652 84 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331168 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24249/tid=24274] ppid=24243 vsize=2085220 CPUtime=4938.54 cores=4-31
/proc/24249/task/24274/stat : 24274 (plingeling) R 24243 24243 24217 0 -1 4202560 32742 1243 0 0 493835 18 0 1 25 0 29 0 638315720 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24249/tid=24275] ppid=24243 vsize=2085220 CPUtime=5078.78 cores=4-31
/proc/24249/task/24275/stat : 24275 (plingeling) R 24243 24243 24217 0 -1 4202560 146535 1243 0 0 507797 80 0 1 25 0 29 0 638315721 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24249/tid=24276] ppid=24243 vsize=2085220 CPUtime=5076.94 cores=4-31
/proc/24249/task/24276/stat : 24276 (plingeling) R 24243 24243 24217 0 -1 4202560 150799 1243 0 0 507579 114 0 1 25 0 29 0 638315721 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24249/tid=24277] ppid=24243 vsize=2085220 CPUtime=5078.69 cores=4-31
/proc/24249/task/24277/stat : 24277 (plingeling) R 24243 24243 24217 0 -1 4202560 149230 1243 0 0 507773 95 0 1 25 0 29 0 638315721 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24249/tid=24278] ppid=24243 vsize=2085220 CPUtime=4928.78 cores=4-31
/proc/24249/task/24278/stat : 24278 (plingeling) R 24243 24243 24217 0 -1 4202560 168152 1243 0 0 492741 136 0 1 25 0 29 0 638315721 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331807 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24249/tid=24279] ppid=24243 vsize=2085220 CPUtime=4944.11 cores=4-31
/proc/24249/task/24279/stat : 24279 (plingeling) R 24243 24243 24217 0 -1 4202560 152129 1243 0 0 494285 125 0 1 25 0 29 0 638315721 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24249/tid=24280] ppid=24243 vsize=2085220 CPUtime=4956.83 cores=4-31
/proc/24249/task/24280/stat : 24280 (plingeling) R 24243 24243 24217 0 -1 4202560 117875 1243 0 0 495578 104 0 1 25 0 29 0 638315721 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24249/tid=24281] ppid=24243 vsize=2085220 CPUtime=5020.08 cores=4-31
/proc/24249/task/24281/stat : 24281 (plingeling) R 24243 24243 24217 0 -1 4202560 135875 1243 0 0 501946 61 0 1 25 0 29 0 638315721 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4281914 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24249/tid=24282] ppid=24243 vsize=2085220 CPUtime=5078.74 cores=4-31
/proc/24249/task/24282/stat : 24282 (plingeling) R 24243 24243 24217 0 -1 4202560 37042 1243 0 0 507851 22 0 1 25 0 29 0 638315721 2135265280 409772 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 155916
Current children cumulated vsize (KiB) 4740520
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 31.06 31.06 31.04 32/446 24430
/proc/meminfo: memFree=253418776/264257624 swapFree=67111528/67111528
[pid=24243] ppid=24241 vsize=18324 CPUtime=0.04 cores=0-31
/proc/24243/stat : 24243 (ppfolio) S 24241 24243 24217 0 -1 4202496 513 1194 0 0 0 1 0 3 15 0 1 0 638315469 18763776 387 268435456000 4194304 4287625 140736645618992 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 8 0 0 0
/proc/24243/statm: 4581 387 338 23 0 91 0
[pid=24245] ppid=24243 vsize=2156212 CPUtime=5098.91 cores=0
/proc/24245/stat : 24245 (cryptominisat) R 24243 24243 24217 0 -1 4202496 619601 0 0 0 509477 414 0 0 25 0 1 0 638315484 2207961088 33258 268435456000 4194304 4587354 140734167671456 18446744073709551615 4237665 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 539053 33258 334 96 0 535615 0
[pid=24246] ppid=24243 vsize=323720 CPUtime=5098.91 cores=1
/proc/24246/stat : 24246 (clasp) R 24243 24243 24217 0 -1 4202496 77922 0 0 0 509847 44 0 0 25 0 1 0 638315484 331489280 75897 268435456000 4194304 4785740 140736958811296 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24246/statm: 80930 75897 338 145 0 77975 0
[pid=24248] ppid=24243 vsize=157044 CPUtime=5098.9 cores=3
/proc/24248/stat : 24248 (march_hi) R 24243 24243 24217 0 -1 4202496 67012 0 0 0 509864 26 0 0 25 0 1 0 638315484 160813056 25787 268435456000 4194304 4331988 140736516033296 18446744073709551615 4237130 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24248/statm: 39261 25787 174 34 0 37703 0
[pid=24249] ppid=24243 vsize=2110820 CPUtime=141158 cores=4-31
/proc/24249/stat : 24249 (plingeling) S 24243 24243 24217 0 -1 4202496 3684501 1243 0 0 14113357 2422 0 1 19 0 29 0 638315484 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/24249/statm: 527705 416172 159 40 0 526249 0
[pid=24249/tid=24255] ppid=24243 vsize=2110820 CPUtime=5068.08 cores=4-31
/proc/24249/task/24255/stat : 24255 (plingeling) R 24243 24243 24217 0 -1 4202560 148439 1243 0 0 506704 103 0 1 25 0 29 0 638315719 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24249/tid=24256] ppid=24243 vsize=2110820 CPUtime=4967.28 cores=4-31
/proc/24249/task/24256/stat : 24256 (plingeling) R 24243 24243 24217 0 -1 4202560 132628 1243 0 0 496628 99 0 1 25 0 29 0 638315719 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24249/tid=24257] ppid=24243 vsize=2110820 CPUtime=4997.99 cores=4-31
/proc/24249/task/24257/stat : 24257 (plingeling) R 24243 24243 24217 0 -1 4202560 125007 1243 0 0 499727 71 0 1 25 0 29 0 638315719 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24249/tid=24258] ppid=24243 vsize=2110820 CPUtime=5096.54 cores=4-31
/proc/24249/task/24258/stat : 24258 (plingeling) R 24243 24243 24217 0 -1 4202560 43962 1243 0 0 509637 16 0 1 25 0 29 0 638315719 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24249/tid=24259] ppid=24243 vsize=2110820 CPUtime=5065.6 cores=4-31
/proc/24249/task/24259/stat : 24259 (plingeling) R 24243 24243 24217 0 -1 4202560 121801 1243 0 0 506452 107 0 1 25 0 29 0 638315719 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24249/tid=24260] ppid=24243 vsize=2110820 CPUtime=5096.35 cores=4-31
/proc/24249/task/24260/stat : 24260 (plingeling) R 24243 24243 24217 0 -1 4202560 156432 1243 0 0 509552 82 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24249/tid=24261] ppid=24243 vsize=2110820 CPUtime=5010.03 cores=4-31
/proc/24249/task/24261/stat : 24261 (plingeling) R 24243 24243 24217 0 -1 4202560 141275 1243 0 0 500919 83 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4241952 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24249/tid=24262] ppid=24243 vsize=2110820 CPUtime=5017.6 cores=4-31
/proc/24249/task/24262/stat : 24262 (plingeling) R 24243 24243 24217 0 -1 4202560 171397 1243 0 0 501613 146 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24249/tid=24263] ppid=24243 vsize=2110820 CPUtime=5033.43 cores=4-31
/proc/24249/task/24263/stat : 24263 (plingeling) R 24243 24243 24217 0 -1 4202560 135042 1243 0 0 503269 73 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24249/tid=24264] ppid=24243 vsize=2110820 CPUtime=5071.85 cores=4-31
/proc/24249/task/24264/stat : 24264 (plingeling) R 24243 24243 24217 0 -1 4202560 133124 1243 0 0 507083 101 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24249/tid=24265] ppid=24243 vsize=2110820 CPUtime=5023.21 cores=4-31
/proc/24249/task/24265/stat : 24265 (plingeling) R 24243 24243 24217 0 -1 4202560 125957 1243 0 0 502240 80 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24249/tid=24266] ppid=24243 vsize=2110820 CPUtime=5094.92 cores=4-31
/proc/24249/task/24266/stat : 24266 (plingeling) R 24243 24243 24217 0 -1 4202560 49571 1243 0 0 509466 25 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24249/tid=24267] ppid=24243 vsize=2110820 CPUtime=5096.13 cores=4-31
/proc/24249/task/24267/stat : 24267 (plingeling) R 24243 24243 24217 0 -1 4202560 153448 1243 0 0 509502 110 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24249/tid=24268] ppid=24243 vsize=2110820 CPUtime=5040.99 cores=4-31
/proc/24249/task/24268/stat : 24268 (plingeling) R 24243 24243 24217 0 -1 4202560 124895 1243 0 0 504020 78 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24249/tid=24269] ppid=24243 vsize=2110820 CPUtime=5092.65 cores=4-31
/proc/24249/task/24269/stat : 24269 (plingeling) R 24243 24243 24217 0 -1 4202560 172278 1243 0 0 509171 93 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4279459 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24249/tid=24270] ppid=24243 vsize=2110820 CPUtime=5096.48 cores=4-31
/proc/24249/task/24270/stat : 24270 (plingeling) R 24243 24243 24217 0 -1 4202560 170432 1243 0 0 509520 127 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24249/tid=24271] ppid=24243 vsize=2110820 CPUtime=5091.6 cores=4-31
/proc/24249/task/24271/stat : 24271 (plingeling) R 24243 24243 24217 0 -1 4202560 135196 1243 0 0 509081 78 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24249/tid=24272] ppid=24243 vsize=2110820 CPUtime=5014.14 cores=4-31
/proc/24249/task/24272/stat : 24272 (plingeling) R 24243 24243 24217 0 -1 4202560 143727 1243 0 0 501331 82 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24249/tid=24273] ppid=24243 vsize=2110820 CPUtime=4925.08 cores=4-31
/proc/24249/task/24273/stat : 24273 (plingeling) R 24243 24243 24217 0 -1 4202560 147092 1243 0 0 492423 84 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24249/tid=24274] ppid=24243 vsize=2110820 CPUtime=4956.27 cores=4-31
/proc/24249/task/24274/stat : 24274 (plingeling) R 24243 24243 24217 0 -1 4202560 33254 1243 0 0 495607 19 0 1 25 0 29 0 638315720 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24249/tid=24275] ppid=24243 vsize=2110820 CPUtime=5096.49 cores=4-31
/proc/24249/task/24275/stat : 24275 (plingeling) R 24243 24243 24217 0 -1 4202560 147047 1243 0 0 509568 80 0 1 25 0 29 0 638315721 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331694 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24249/tid=24276] ppid=24243 vsize=2110820 CPUtime=5094.66 cores=4-31
/proc/24249/task/24276/stat : 24276 (plingeling) R 24243 24243 24217 0 -1 4202560 151311 1243 0 0 509350 115 0 1 25 0 29 0 638315721 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24249/tid=24277] ppid=24243 vsize=2110820 CPUtime=5096.42 cores=4-31
/proc/24249/task/24277/stat : 24277 (plingeling) R 24243 24243 24217 0 -1 4202560 150766 1243 0 0 509545 96 0 1 25 0 29 0 638315721 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24249/tid=24278] ppid=24243 vsize=2110820 CPUtime=4941.06 cores=4-31
/proc/24249/task/24278/stat : 24278 (plingeling) R 24243 24243 24217 0 -1 4202560 168152 1243 0 0 493969 136 0 1 25 0 29 0 638315721 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24249/tid=24279] ppid=24243 vsize=2110820 CPUtime=4961.83 cores=4-31
/proc/24249/task/24279/stat : 24279 (plingeling) R 24243 24243 24217 0 -1 4202560 153665 1243 0 0 496057 125 0 1 25 0 29 0 638315721 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4284253 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24249/tid=24280] ppid=24243 vsize=2110820 CPUtime=4974.54 cores=4-31
/proc/24249/task/24280/stat : 24280 (plingeling) R 24243 24243 24217 0 -1 4202560 117875 1243 0 0 497349 104 0 1 25 0 29 0 638315721 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24249/tid=24281] ppid=24243 vsize=2110820 CPUtime=5037.8 cores=4-31
/proc/24249/task/24281/stat : 24281 (plingeling) R 24243 24243 24217 0 -1 4202560 136387 1243 0 0 503718 61 0 1 25 0 29 0 638315721 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24249/tid=24282] ppid=24243 vsize=2110820 CPUtime=5096.46 cores=4-31
/proc/24249/task/24282/stat : 24282 (plingeling) R 24243 24243 24217 0 -1 4202560 37042 1243 0 0 509623 22 0 1 25 0 29 0 638315721 2161479680 416172 268435456000 4194304 4356188 140736197785200 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 156455
Current children cumulated vsize (KiB) 4766120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24243 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=11998
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=44993
# CPU time returned by wait4() is 0.056991
# while last known CPU time is 156455
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5100.04
CPU time (s): 156455
CPU user time (s): 156425
CPU system time (s): 29.11
CPU usage (%): 3067.71
Max. virtual memory (cumulated for all children) (KiB): 9705596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.011998
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1707
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= 446
involuntary context switches= 3
runsolver used 26.8589 second user time and 117.028 second system time
The end
Begin job on node200 at 2011-05-13 08:31:30
IDJOB=3347529
IDBENCH=83110
IDSOLVER=1808
FILE ID=node200/3347529-1305268290
RUNJOBID= node200-1305268290-24231
PBS_JOBID= 13282105
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347529-1305268290/watcher-3347529-1305268290 -o /tmp/evaluation-result-3347529-1305268290/solver-3347529-1305268290 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347529-1305268290.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9851f8e63efc4505343bf50c1cf30646
RANDOM SEED=549656776
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: 255633824 kB
Buffers: 432012 kB
Cached: 7795180 kB
SwapCached: 0 kB
Active: 7373488 kB
Inactive: 922628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255633824 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12512 kB
Writeback: 0 kB
AnonPages: 68920 kB
Mapped: 14480 kB
Slab: 249736 kB
PageTables: 4216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187756 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= 62032 MiB
End job on node200 at 2011-05-13 09:56:33