0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 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-3347531-1305278414/watcher-3347531-1305278414 -o /tmp/evaluation-result-3347531-1305278414/solver-3347531-1305278414 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347531-1305278414.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.14 31.03 31.71 1/413 24699
/proc/meminfo: memFree=255631032/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 639327831 18763776 386 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 8967142950924451839 0 0 17 8 0 0 0
/proc/24699/statm: 4581 386 337 23 0 91 0
[startup+0.0559219 s]
/proc/loadavg: 27.14 31.03 31.71 1/413 24699
/proc/meminfo: memFree=255631032/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 23 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+0.100913 s]
/proc/loadavg: 27.14 31.03 31.71 1/413 24699
/proc/meminfo: memFree=255631032/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 23 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+0.30093 s]
/proc/loadavg: 27.14 31.03 31.71 1/413 24699
/proc/meminfo: memFree=255631032/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 18 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+0.700931 s]
/proc/loadavg: 27.14 31.03 31.71 1/413 24699
/proc/meminfo: memFree=255631032/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 18 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+1.50098 s]
/proc/loadavg: 27.14 31.03 31.71 5/418 24710
/proc/meminfo: memFree=255455752/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 18 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
[pid=24700] ppid=24699 vsize=43200 CPUtime=1.48 cores=0
/proc/24700/stat : 24700 (cryptominisat) R 24699 24699 24673 0 -1 4202496 5509 0 0 0 147 1 0 0 25 0 1 0 639327831 44236800 5325 268435456000 4194304 4587354 140734377744464 18446744073709551615 4237443 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24700/statm: 10800 5325 303 96 0 7362 0
[pid=24701] ppid=24699 vsize=42092 CPUtime=1.48 cores=1
/proc/24701/stat : 24701 (clasp) R 24699 24699 24673 0 -1 4202496 10067 0 0 0 144 4 0 0 20 0 1 0 639327831 43102208 7680 268435456000 4194304 4785740 140733778556640 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24701/statm: 10523 7680 338 145 0 7568 0
[pid=24703] ppid=24699 vsize=47432 CPUtime=1.48 cores=3
/proc/24703/stat : 24703 (march_hi) R 24699 24699 24673 0 -1 4202496 48190 0 0 0 137 11 0 0 20 0 1 0 639327831 48570368 8709 268435456000 4194304 4331988 140736746269344 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24703/statm: 11858 8713 149 34 0 10300 0
[pid=24704] ppid=24699 vsize=124584 CPUtime=1.48 cores=4-31
/proc/24704/stat : 24704 (plingeling) R 24699 24699 24673 0 -1 4202496 29921 1246 0 0 140 7 0 1 21 0 1 0 639327831 127574016 29805 268435456000 4194304 4356188 140733598614096 18446744073709551615 4277592 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/24704/statm: 31146 29805 129 40 0 29690 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 275632
[startup+3.10096 s]
/proc/loadavg: 27.14 31.03 31.71 5/418 24710
/proc/meminfo: memFree=255276448/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 15 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
[pid=24700] ppid=24699 vsize=64328 CPUtime=3.08 cores=0
/proc/24700/stat : 24700 (cryptominisat) R 24699 24699 24673 0 -1 4202496 11698 0 0 0 305 3 0 0 25 0 1 0 639327831 65871872 10388 268435456000 4194304 4587354 140734377744464 18446744073709551615 258650652423 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24700/statm: 16082 10388 323 96 0 12644 0
[pid=24701] ppid=24699 vsize=42092 CPUtime=3.08 cores=1
/proc/24701/stat : 24701 (clasp) R 24699 24699 24673 0 -1 4202496 10069 0 0 0 304 4 0 0 25 0 1 0 639327831 43102208 7682 268435456000 4194304 4785740 140733778556640 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24701/statm: 10523 7682 338 145 0 7568 0
[pid=24703] ppid=24699 vsize=126748 CPUtime=3.08 cores=3
/proc/24703/stat : 24703 (march_hi) R 24699 24699 24673 0 -1 4202496 66772 0 0 0 294 14 0 0 25 0 1 0 639327831 129789952 15893 268435456000 4194304 4331988 140736746269344 18446744073709551615 4242529 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24703/statm: 31687 15893 189 34 0 30129 0
[pid=24704] ppid=24699 vsize=707812 CPUtime=12.89 cores=4-31
/proc/24704/stat : 24704 (plingeling) S 24699 24699 24673 0 -1 4202496 58995 1246 0 0 1275 13 0 1 19 0 29 0 639327831 724799488 55003 268435456000 4194304 4356188 140733598614096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/24704/statm: 176953 55003 137 40 0 175497 0
Current children cumulated CPU time (s) 22.16
Current children cumulated vsize (KiB) 959304
[startup+6.30206 s]
/proc/loadavg: 27.45 31.03 31.70 32/446 24738
/proc/meminfo: memFree=255032116/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 15 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
[pid=24700] ppid=24699 vsize=74016 CPUtime=6.29 cores=0
/proc/24700/stat : 24700 (cryptominisat) R 24699 24699 24673 0 -1 4202496 17390 0 0 0 625 4 0 0 25 0 1 0 639327831 75792384 13887 268435456000 4194304 4587354 140734377744464 18446744073709551615 4236541 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24700/statm: 18504 13887 328 96 0 15066 0
[pid=24701] ppid=24699 vsize=44364 CPUtime=6.28 cores=1
/proc/24701/stat : 24701 (clasp) R 24699 24699 24673 0 -1 4202496 10660 0 0 0 624 4 0 0 25 0 1 0 639327831 45428736 8273 268435456000 4194304 4785740 140733778556640 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24701/statm: 11091 8273 338 145 0 8136 0
[pid=24703] ppid=24699 vsize=132712 CPUtime=6.28 cores=3
/proc/24703/stat : 24703 (march_hi) R 24699 24699 24673 0 -1 4202496 68628 0 0 0 613 15 0 0 25 0 1 0 639327831 135897088 17734 268435456000 4194304 4331988 140736746269344 18446744073709551615 4265456 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24703/statm: 33178 17734 174 34 0 31620 0
[pid=24704] ppid=24699 vsize=899424 CPUtime=99.83 cores=4-31
/proc/24704/stat : 24704 (plingeling) S 24699 24699 24673 0 -1 4202496 167764 1246 0 0 9910 72 0 1 19 0 29 0 639327831 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/24704/statm: 224856 114503 159 40 0 223400 0
[pid=24704/tid=24711] ppid=24699 vsize=899424 CPUtime=3.47 cores=4-31
/proc/24704/task/24711/stat : 24711 (plingeling) R 24699 24699 24673 0 -1 4202560 3775 1246 0 0 343 3 0 1 19 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4230589 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24704/tid=24712] ppid=24699 vsize=899424 CPUtime=3.4 cores=4-31
/proc/24704/task/24712/stat : 24712 (plingeling) R 24699 24699 24673 0 -1 4202560 4527 1246 0 0 336 3 0 1 18 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4232882 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24704/tid=24713] ppid=24699 vsize=899424 CPUtime=3.14 cores=4-31
/proc/24704/task/24713/stat : 24713 (plingeling) R 24699 24699 24673 0 -1 4202560 3540 1246 0 0 312 1 0 1 19 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4215533 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24704/tid=24714] ppid=24699 vsize=899424 CPUtime=3.49 cores=4-31
/proc/24704/task/24714/stat : 24714 (plingeling) R 24699 24699 24673 0 -1 4202560 3367 1246 0 0 348 0 0 1 20 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24704/tid=24715] ppid=24699 vsize=899424 CPUtime=3.56 cores=4-31
/proc/24704/task/24715/stat : 24715 (plingeling) R 24699 24699 24673 0 -1 4202560 4368 1246 0 0 352 3 0 1 20 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4208840 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24704/tid=24716] ppid=24699 vsize=899424 CPUtime=3.43 cores=4-31
/proc/24704/task/24716/stat : 24716 (plingeling) R 24699 24699 24673 0 -1 4202560 5554 1246 0 0 341 1 0 1 25 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24704/tid=24717] ppid=24699 vsize=899424 CPUtime=3.57 cores=4-31
/proc/24704/task/24717/stat : 24717 (plingeling) R 24699 24699 24673 0 -1 4202560 3519 1246 0 0 356 0 0 1 25 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4275522 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24704/tid=24718] ppid=24699 vsize=899424 CPUtime=3.53 cores=4-31
/proc/24704/task/24718/stat : 24718 (plingeling) R 24699 24699 24673 0 -1 4202560 5144 1246 0 0 352 0 0 1 19 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4301970 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24704/tid=24719] ppid=24699 vsize=899424 CPUtime=3.52 cores=4-31
/proc/24704/task/24719/stat : 24719 (plingeling) R 24699 24699 24673 0 -1 4202560 4998 1246 0 0 348 3 0 1 25 0 29 0 639328101 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4303335 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24704/tid=24720] ppid=24699 vsize=899424 CPUtime=3.57 cores=4-31
/proc/24704/task/24720/stat : 24720 (plingeling) R 24699 24699 24673 0 -1 4202560 4351 1246 0 0 354 2 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4232514 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24704/tid=24721] ppid=24699 vsize=899424 CPUtime=3.48 cores=4-31
/proc/24704/task/24721/stat : 24721 (plingeling) R 24699 24699 24673 0 -1 4202560 3979 1246 0 0 345 2 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4232872 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24704/tid=24722] ppid=24699 vsize=899424 CPUtime=3.54 cores=4-31
/proc/24704/task/24722/stat : 24722 (plingeling) R 24699 24699 24673 0 -1 4202560 1619 1246 0 0 353 0 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24704/tid=24723] ppid=24699 vsize=899424 CPUtime=3.42 cores=4-31
/proc/24704/task/24723/stat : 24723 (plingeling) R 24699 24699 24673 0 -1 4202560 3196 1246 0 0 339 2 0 1 20 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4231473 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24704/tid=24724] ppid=24699 vsize=899424 CPUtime=3.51 cores=4-31
/proc/24704/task/24724/stat : 24724 (plingeling) R 24699 24699 24673 0 -1 4202560 5619 1246 0 0 347 3 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4214464 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24704/tid=24725] ppid=24699 vsize=899424 CPUtime=3.48 cores=4-31
/proc/24704/task/24725/stat : 24725 (plingeling) R 24699 24699 24673 0 -1 4202560 5061 1246 0 0 344 3 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4233426 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24704/tid=24726] ppid=24699 vsize=899424 CPUtime=3.53 cores=4-31
/proc/24704/task/24726/stat : 24726 (plingeling) R 24699 24699 24673 0 -1 4202560 4896 1246 0 0 351 1 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4305411 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24704/tid=24727] ppid=24699 vsize=899424 CPUtime=3.51 cores=4-31
/proc/24704/task/24727/stat : 24727 (plingeling) R 24699 24699 24673 0 -1 4202560 5102 1246 0 0 348 2 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4216209 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24704/tid=24728] ppid=24699 vsize=899424 CPUtime=3.06 cores=4-31
/proc/24704/task/24728/stat : 24728 (plingeling) R 24699 24699 24673 0 -1 4202560 3015 1246 0 0 303 2 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4217742 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24704/tid=24729] ppid=24699 vsize=899424 CPUtime=3.42 cores=4-31
/proc/24704/task/24729/stat : 24729 (plingeling) R 24699 24699 24673 0 -1 4202560 2894 1246 0 0 339 2 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4215043 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24704/tid=24730] ppid=24699 vsize=899424 CPUtime=3.55 cores=4-31
/proc/24704/task/24730/stat : 24730 (plingeling) R 24699 24699 24673 0 -1 4202560 1200 1246 0 0 354 0 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24704/tid=24731] ppid=24699 vsize=899424 CPUtime=3.46 cores=4-31
/proc/24704/task/24731/stat : 24731 (plingeling) R 24699 24699 24673 0 -1 4202560 4096 1246 0 0 345 0 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4301776 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24704/tid=24732] ppid=24699 vsize=899424 CPUtime=3.45 cores=4-31
/proc/24704/task/24732/stat : 24732 (plingeling) R 24699 24699 24673 0 -1 4202560 3462 1246 0 0 344 0 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4232951 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24704/tid=24733] ppid=24699 vsize=899424 CPUtime=3.55 cores=4-31
/proc/24704/task/24733/stat : 24733 (plingeling) R 24699 24699 24673 0 -1 4202560 3118 1246 0 0 353 1 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4233682 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24704/tid=24734] ppid=24699 vsize=899424 CPUtime=3.47 cores=4-31
/proc/24704/task/24734/stat : 24734 (plingeling) R 24699 24699 24673 0 -1 4202560 4522 1246 0 0 343 3 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4233690 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24704/tid=24735] ppid=24699 vsize=899424 CPUtime=3.53 cores=4-31
/proc/24704/task/24735/stat : 24735 (plingeling) R 24699 24699 24673 0 -1 4202560 6882 1246 0 0 348 4 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4217404 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24704/tid=24736] ppid=24699 vsize=899424 CPUtime=3.48 cores=4-31
/proc/24704/task/24736/stat : 24736 (plingeling) R 24699 24699 24673 0 -1 4202560 3614 1246 0 0 344 3 0 1 19 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4232885 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24704/tid=24737] ppid=24699 vsize=899424 CPUtime=3.49 cores=4-31
/proc/24704/task/24737/stat : 24737 (plingeling) R 24699 24699 24673 0 -1 4202560 3086 1246 0 0 348 0 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4231417 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24704/tid=24738] ppid=24699 vsize=899424 CPUtime=3.52 cores=4-31
/proc/24704/task/24738/stat : 24738 (plingeling) R 24699 24699 24673 0 -1 4202560 1800 1246 0 0 351 0 0 1 25 0 29 0 639328102 921010176 114503 268435456000 4194304 4356188 140733598614096 18446744073709551615 4210823 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 118.71
Current children cumulated vsize (KiB) 1168840
[startup+12.7023 s]
/proc/loadavg: 27.73 31.03 31.70 32/446 24738
/proc/meminfo: memFree=254905816/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 15 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
[pid=24700] ppid=24699 vsize=111520 CPUtime=12.68 cores=0
/proc/24700/stat : 24700 (cryptominisat) R 24699 24699 24673 0 -1 4202496 18202 0 0 0 1264 4 0 0 25 0 1 0 639327831 114196480 14689 268435456000 4194304 4587354 140734377744464 18446744073709551615 4237543 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24700/statm: 27880 14689 334 96 0 24442 0
[pid=24701] ppid=24699 vsize=51648 CPUtime=12.69 cores=1
/proc/24701/stat : 24701 (clasp) R 24699 24699 24673 0 -1 4202496 12477 0 0 0 1264 5 0 0 25 0 1 0 639327831 52887552 10090 268435456000 4194304 4785740 140733778556640 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24701/statm: 12912 10090 338 145 0 9957 0
[pid=24703] ppid=24699 vsize=133944 CPUtime=12.68 cores=3
/proc/24703/stat : 24703 (march_hi) R 24699 24699 24673 0 -1 4202496 68999 0 0 0 1253 15 0 0 25 0 1 0 639327831 137158656 18105 268435456000 4194304 4331988 140736746269344 18446744073709551615 4228457 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24703/statm: 33486 18105 174 34 0 31928 0
[pid=24704] ppid=24699 vsize=985460 CPUtime=278.8 cores=4-31
/proc/24704/stat : 24704 (plingeling) S 24699 24699 24673 0 -1 4202496 189381 1246 0 0 27801 78 0 1 19 0 29 0 639327831 1009111040 135372 268435456000 4194304 4356188 140733598614096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
################
# More data... #
################
[pid=24700] ppid=24699 vsize=1639364 CPUtime=5081.32 cores=0
/proc/24700/stat : 24700 (cryptominisat) R 24699 24699 24673 0 -1 4202496 313693 0 0 0 507941 191 0 0 25 0 1 0 639327831 1678708736 48381 268435456000 4194304 4587354 140734377744464 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24700/statm: 409841 48381 334 96 0 406403 0
[pid=24701] ppid=24699 vsize=306448 CPUtime=5081.33 cores=1
/proc/24701/stat : 24701 (clasp) R 24699 24699 24673 0 -1 4202496 74039 0 0 0 508080 53 0 0 25 0 1 0 639327831 313802752 71652 268435456000 4194304 4785740 140733778556640 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24701/statm: 76612 71652 338 145 0 73657 0
[pid=24703] ppid=24699 vsize=159664 CPUtime=5081.33 cores=3
/proc/24703/stat : 24703 (march_hi) R 24699 24699 24673 0 -1 4202496 74073 0 0 0 508112 21 0 0 25 0 1 0 639327831 163495936 23179 268435456000 4194304 4331988 140736746269344 18446744073709551615 4265733 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24703/statm: 39916 23179 174 34 0 38358 0
[pid=24704] ppid=24699 vsize=2597524 CPUtime=140198 cores=4-31
/proc/24704/stat : 24704 (plingeling) S 24699 24699 24673 0 -1 4202496 4784995 1246 0 0 14016787 2969 0 1 19 0 29 0 639327831 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/24704/statm: 649381 546166 159 40 0 647925 0
[pid=24704/tid=24711] ppid=24699 vsize=2597524 CPUtime=4879.43 cores=4-31
/proc/24704/task/24711/stat : 24711 (plingeling) R 24699 24699 24673 0 -1 4202560 177862 1246 0 0 487839 103 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24704/tid=24712] ppid=24699 vsize=2597524 CPUtime=4961.2 cores=4-31
/proc/24704/task/24712/stat : 24712 (plingeling) R 24699 24699 24673 0 -1 4202560 155495 1246 0 0 496023 96 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24704/tid=24713] ppid=24699 vsize=2597524 CPUtime=5040.39 cores=4-31
/proc/24704/task/24713/stat : 24713 (plingeling) R 24699 24699 24673 0 -1 4202560 200551 1246 0 0 503943 95 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24704/tid=24714] ppid=24699 vsize=2597524 CPUtime=5040.6 cores=4-31
/proc/24704/task/24714/stat : 24714 (plingeling) R 24699 24699 24673 0 -1 4202560 20130 1246 0 0 504045 14 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24704/tid=24715] ppid=24699 vsize=2597524 CPUtime=4888.35 cores=4-31
/proc/24704/task/24715/stat : 24715 (plingeling) R 24699 24699 24673 0 -1 4202560 211387 1246 0 0 488693 141 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24704/tid=24716] ppid=24699 vsize=2597524 CPUtime=5063.51 cores=4-31
/proc/24704/task/24716/stat : 24716 (plingeling) R 24699 24699 24673 0 -1 4202560 165702 1246 0 0 506263 87 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332149 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24704/tid=24717] ppid=24699 vsize=2597524 CPUtime=4966.71 cores=4-31
/proc/24704/task/24717/stat : 24717 (plingeling) R 24699 24699 24673 0 -1 4202560 178780 1246 0 0 496573 97 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24704/tid=24718] ppid=24699 vsize=2597524 CPUtime=4940.36 cores=4-31
/proc/24704/task/24718/stat : 24718 (plingeling) R 24699 24699 24673 0 -1 4202560 228518 1246 0 0 493825 210 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24704/tid=24719] ppid=24699 vsize=2597524 CPUtime=4947.52 cores=4-31
/proc/24704/task/24719/stat : 24719 (plingeling) R 24699 24699 24673 0 -1 4202560 152892 1246 0 0 494662 89 0 1 25 0 29 0 639328101 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24704/tid=24720] ppid=24699 vsize=2597524 CPUtime=5078.54 cores=4-31
/proc/24704/task/24720/stat : 24720 (plingeling) R 24699 24699 24673 0 -1 4202560 156587 1246 0 0 507754 99 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24704/tid=24721] ppid=24699 vsize=2597524 CPUtime=5078.41 cores=4-31
/proc/24704/task/24721/stat : 24721 (plingeling) R 24699 24699 24673 0 -1 4202560 188535 1246 0 0 507744 96 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24704/tid=24722] ppid=24699 vsize=2597524 CPUtime=4915.92 cores=4-31
/proc/24704/task/24722/stat : 24722 (plingeling) R 24699 24699 24673 0 -1 4202560 53416 1246 0 0 491568 23 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24704/tid=24723] ppid=24699 vsize=2597524 CPUtime=5078.47 cores=4-31
/proc/24704/task/24723/stat : 24723 (plingeling) R 24699 24699 24673 0 -1 4202560 148870 1246 0 0 507767 79 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24704/tid=24724] ppid=24699 vsize=2597524 CPUtime=5078.47 cores=4-31
/proc/24704/task/24724/stat : 24724 (plingeling) R 24699 24699 24673 0 -1 4202560 162557 1246 0 0 507778 68 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24704/tid=24725] ppid=24699 vsize=2597524 CPUtime=4986.39 cores=4-31
/proc/24704/task/24725/stat : 24725 (plingeling) R 24699 24699 24673 0 -1 4202560 221169 1246 0 0 498473 165 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24704/tid=24726] ppid=24699 vsize=2597524 CPUtime=5078.52 cores=4-31
/proc/24704/task/24726/stat : 24726 (plingeling) R 24699 24699 24673 0 -1 4202560 259950 1246 0 0 507629 222 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24704/tid=24727] ppid=24699 vsize=2597524 CPUtime=5059.25 cores=4-31
/proc/24704/task/24727/stat : 24727 (plingeling) R 24699 24699 24673 0 -1 4202560 214268 1246 0 0 505791 133 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24704/tid=24728] ppid=24699 vsize=2597524 CPUtime=4924.12 cores=4-31
/proc/24704/task/24728/stat : 24728 (plingeling) R 24699 24699 24673 0 -1 4202560 192861 1246 0 0 492300 111 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24704/tid=24729] ppid=24699 vsize=2597524 CPUtime=5001.15 cores=4-31
/proc/24704/task/24729/stat : 24729 (plingeling) R 24699 24699 24673 0 -1 4202560 190185 1246 0 0 499991 123 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24704/tid=24730] ppid=24699 vsize=2597524 CPUtime=4990.23 cores=4-31
/proc/24704/task/24730/stat : 24730 (plingeling) R 24699 24699 24673 0 -1 4202560 31861 1246 0 0 499001 21 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4210758 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24704/tid=24731] ppid=24699 vsize=2597524 CPUtime=5076.66 cores=4-31
/proc/24704/task/24731/stat : 24731 (plingeling) R 24699 24699 24673 0 -1 4202560 180006 1246 0 0 507561 104 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24704/tid=24732] ppid=24699 vsize=2597524 CPUtime=4950.69 cores=4-31
/proc/24704/task/24732/stat : 24732 (plingeling) R 24699 24699 24673 0 -1 4202560 179107 1246 0 0 494971 97 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24704/tid=24733] ppid=24699 vsize=2597524 CPUtime=4991.71 cores=4-31
/proc/24704/task/24733/stat : 24733 (plingeling) R 24699 24699 24673 0 -1 4202560 210492 1246 0 0 499066 104 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24704/tid=24734] ppid=24699 vsize=2597524 CPUtime=5075.05 cores=4-31
/proc/24704/task/24734/stat : 24734 (plingeling) R 24699 24699 24673 0 -1 4202560 256678 1246 0 0 507257 247 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24704/tid=24735] ppid=24699 vsize=2597524 CPUtime=4970.9 cores=4-31
/proc/24704/task/24735/stat : 24735 (plingeling) R 24699 24699 24673 0 -1 4202560 225906 1246 0 0 496958 131 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24704/tid=24736] ppid=24699 vsize=2597524 CPUtime=5078.34 cores=4-31
/proc/24704/task/24736/stat : 24736 (plingeling) R 24699 24699 24673 0 -1 4202560 144446 1246 0 0 507751 82 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24704/tid=24737] ppid=24699 vsize=2597524 CPUtime=5078.3 cores=4-31
/proc/24704/task/24737/stat : 24737 (plingeling) R 24699 24699 24673 0 -1 4202560 170710 1246 0 0 507772 57 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24704/tid=24738] ppid=24699 vsize=2597524 CPUtime=4975.71 cores=4-31
/proc/24704/task/24738/stat : 24738 (plingeling) R 24699 24699 24673 0 -1 4202560 48614 1246 0 0 497523 47 0 1 25 0 29 0 639328102 2659864576 546166 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 155442
Current children cumulated vsize (KiB) 4721324
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 31.00 31.01 31.00 32/446 24889
/proc/meminfo: memFree=252803080/264257624 swapFree=67111528/67111528
[pid=24699] ppid=24697 vsize=18324 CPUtime=0.03 cores=0-31
/proc/24699/stat : 24699 (ppfolio) S 24697 24699 24673 0 -1 4202496 516 1192 0 0 0 0 0 3 15 0 1 0 639327831 18763776 387 268435456000 4194304 4287625 140734986946720 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 8 0 0 0
/proc/24699/statm: 4581 387 338 23 0 91 0
[pid=24700] ppid=24699 vsize=1639364 CPUtime=5099.05 cores=0
/proc/24700/stat : 24700 (cryptominisat) R 24699 24699 24673 0 -1 4202496 314807 0 0 0 509712 193 0 0 25 0 1 0 639327831 1678708736 49463 268435456000 4194304 4587354 140734377744464 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24700/statm: 409841 49463 334 96 0 406403 0
[pid=24701] ppid=24699 vsize=311896 CPUtime=5099.05 cores=1
/proc/24701/stat : 24701 (clasp) R 24699 24699 24673 0 -1 4202496 75385 0 0 0 509851 54 0 0 25 0 1 0 639327831 319381504 72998 268435456000 4194304 4785740 140733778556640 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24701/statm: 77974 72998 338 145 0 75019 0
[pid=24703] ppid=24699 vsize=159664 CPUtime=5099.05 cores=3
/proc/24703/stat : 24703 (march_hi) R 24699 24699 24673 0 -1 4202496 74084 0 0 0 509884 21 0 0 25 0 1 0 639327831 163495936 23190 268435456000 4194304 4331988 140736746269344 18446744073709551615 4265456 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24703/statm: 39916 23190 174 34 0 38358 0
[pid=24704] ppid=24699 vsize=2649748 CPUtime=140681 cores=4-31
/proc/24704/stat : 24704 (plingeling) S 24699 24699 24673 0 -1 4202496 4801379 1246 0 0 14065128 2977 0 1 19 0 29 0 639327831 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/24704/statm: 662437 559222 159 40 0 660981 0
[pid=24704/tid=24711] ppid=24699 vsize=2649748 CPUtime=4897.14 cores=4-31
/proc/24704/task/24711/stat : 24711 (plingeling) R 24699 24699 24673 0 -1 4202560 177862 1246 0 0 489610 103 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4210549 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24704/tid=24712] ppid=24699 vsize=2649748 CPUtime=4978.92 cores=4-31
/proc/24704/task/24712/stat : 24712 (plingeling) R 24699 24699 24673 0 -1 4202560 160103 1246 0 0 497794 97 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24704/tid=24713] ppid=24699 vsize=2649748 CPUtime=5058.11 cores=4-31
/proc/24704/task/24713/stat : 24713 (plingeling) R 24699 24699 24673 0 -1 4202560 201063 1246 0 0 505715 95 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4210562 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24704/tid=24714] ppid=24699 vsize=2649748 CPUtime=5058.32 cores=4-31
/proc/24704/task/24714/stat : 24714 (plingeling) R 24699 24699 24673 0 -1 4202560 20130 1246 0 0 505817 14 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4244413 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24704/tid=24715] ppid=24699 vsize=2649748 CPUtime=4906.07 cores=4-31
/proc/24704/task/24715/stat : 24715 (plingeling) R 24699 24699 24673 0 -1 4202560 211387 1246 0 0 490465 141 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24704/tid=24716] ppid=24699 vsize=2649748 CPUtime=5081.22 cores=4-31
/proc/24704/task/24716/stat : 24716 (plingeling) R 24699 24699 24673 0 -1 4202560 166726 1246 0 0 508034 87 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24704/tid=24717] ppid=24699 vsize=2649748 CPUtime=4984.42 cores=4-31
/proc/24704/task/24717/stat : 24717 (plingeling) R 24699 24699 24673 0 -1 4202560 179292 1246 0 0 498344 97 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24704/tid=24718] ppid=24699 vsize=2649748 CPUtime=4956.32 cores=4-31
/proc/24704/task/24718/stat : 24718 (plingeling) R 24699 24699 24673 0 -1 4202560 230566 1246 0 0 495418 213 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24704/tid=24719] ppid=24699 vsize=2649748 CPUtime=4958.79 cores=4-31
/proc/24704/task/24719/stat : 24719 (plingeling) R 24699 24699 24673 0 -1 4202560 152892 1246 0 0 495789 89 0 1 25 0 29 0 639328101 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24704/tid=24720] ppid=24699 vsize=2649748 CPUtime=5096.26 cores=4-31
/proc/24704/task/24720/stat : 24720 (plingeling) R 24699 24699 24673 0 -1 4202560 156843 1246 0 0 509526 99 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332162 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24704/tid=24721] ppid=24699 vsize=2649748 CPUtime=5096.12 cores=4-31
/proc/24704/task/24721/stat : 24721 (plingeling) R 24699 24699 24673 0 -1 4202560 188791 1246 0 0 509515 96 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24704/tid=24722] ppid=24699 vsize=2649748 CPUtime=4933.63 cores=4-31
/proc/24704/task/24722/stat : 24722 (plingeling) R 24699 24699 24673 0 -1 4202560 53928 1246 0 0 493339 23 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24704/tid=24723] ppid=24699 vsize=2649748 CPUtime=5096.19 cores=4-31
/proc/24704/task/24723/stat : 24723 (plingeling) R 24699 24699 24673 0 -1 4202560 149126 1246 0 0 509538 80 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24704/tid=24724] ppid=24699 vsize=2649748 CPUtime=5096.18 cores=4-31
/proc/24704/task/24724/stat : 24724 (plingeling) R 24699 24699 24673 0 -1 4202560 162557 1246 0 0 509549 68 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24704/tid=24725] ppid=24699 vsize=2649748 CPUtime=5004.1 cores=4-31
/proc/24704/task/24725/stat : 24725 (plingeling) R 24699 24699 24673 0 -1 4202560 221169 1246 0 0 500244 165 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24704/tid=24726] ppid=24699 vsize=2649748 CPUtime=5096.24 cores=4-31
/proc/24704/task/24726/stat : 24726 (plingeling) R 24699 24699 24673 0 -1 4202560 259950 1246 0 0 509401 222 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24704/tid=24727] ppid=24699 vsize=2649748 CPUtime=5076.25 cores=4-31
/proc/24704/task/24727/stat : 24727 (plingeling) R 24699 24699 24673 0 -1 4202560 214268 1246 0 0 507491 133 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24704/tid=24728] ppid=24699 vsize=2649748 CPUtime=4941.84 cores=4-31
/proc/24704/task/24728/stat : 24728 (plingeling) R 24699 24699 24673 0 -1 4202560 197469 1246 0 0 494071 112 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24704/tid=24729] ppid=24699 vsize=2649748 CPUtime=5015.22 cores=4-31
/proc/24704/task/24729/stat : 24729 (plingeling) R 24699 24699 24673 0 -1 4202560 190441 1246 0 0 501398 123 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24704/tid=24730] ppid=24699 vsize=2649748 CPUtime=5007.94 cores=4-31
/proc/24704/task/24730/stat : 24730 (plingeling) R 24699 24699 24673 0 -1 4202560 31861 1246 0 0 500772 21 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24704/tid=24731] ppid=24699 vsize=2649748 CPUtime=5094.38 cores=4-31
/proc/24704/task/24731/stat : 24731 (plingeling) R 24699 24699 24673 0 -1 4202560 180006 1246 0 0 509333 104 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24704/tid=24732] ppid=24699 vsize=2649748 CPUtime=4968.41 cores=4-31
/proc/24704/task/24732/stat : 24732 (plingeling) R 24699 24699 24673 0 -1 4202560 179107 1246 0 0 496743 97 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24704/tid=24733] ppid=24699 vsize=2649748 CPUtime=5009.42 cores=4-31
/proc/24704/task/24733/stat : 24733 (plingeling) R 24699 24699 24673 0 -1 4202560 210492 1246 0 0 500837 104 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24704/tid=24734] ppid=24699 vsize=2649748 CPUtime=5092.76 cores=4-31
/proc/24704/task/24734/stat : 24734 (plingeling) R 24699 24699 24673 0 -1 4202560 256678 1246 0 0 509028 247 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24704/tid=24735] ppid=24699 vsize=2649748 CPUtime=4988.63 cores=4-31
/proc/24704/task/24735/stat : 24735 (plingeling) R 24699 24699 24673 0 -1 4202560 226418 1246 0 0 498730 132 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24704/tid=24736] ppid=24699 vsize=2649748 CPUtime=5096.05 cores=4-31
/proc/24704/task/24736/stat : 24736 (plingeling) R 24699 24699 24673 0 -1 4202560 144958 1246 0 0 509522 82 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4332149 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24704/tid=24737] ppid=24699 vsize=2649748 CPUtime=5096.03 cores=4-31
/proc/24704/task/24737/stat : 24737 (plingeling) R 24699 24699 24673 0 -1 4202560 171222 1246 0 0 509543 59 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24704/tid=24738] ppid=24699 vsize=2649748 CPUtime=4993.42 cores=4-31
/proc/24704/task/24738/stat : 24738 (plingeling) R 24699 24699 24673 0 -1 4202560 48614 1246 0 0 499294 47 0 1 25 0 29 0 639328102 2713341952 559222 268435456000 4194304 4356188 140733598614096 18446744073709551615 4279701 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 155978
Current children cumulated vsize (KiB) 4778996
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 24699 and gives
# childrusage.ru_utime.tv_sec=5098
# childrusage.ru_utime.tv_usec=852856
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=267959
# CPU time returned by wait4() is 5099.12
# while last known CPU time is 155978
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5100.03
CPU time (s): 155978
CPU user time (s): 155946
CPU system time (s): 32.49
CPU usage (%): 3058.38
Max. virtual memory (cumulated for all children) (KiB): 6163656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5098.85
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75792
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= 615
involuntary context switches= 5737
runsolver used 28.2047 second user time and 115.896 second system time
The end
Begin job on node200 at 2011-05-13 11:20:14
IDJOB=3347531
IDBENCH=83113
IDSOLVER=1808
FILE ID=node200/3347531-1305278414
RUNJOBID= node200-1305278414-24687
PBS_JOBID= 13282106
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347531-1305278414/watcher-3347531-1305278414 -o /tmp/evaluation-result-3347531-1305278414/solver-3347531-1305278414 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347531-1305278414.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e822739302a2d834ec9ddfe9fbd0caa2
RANDOM SEED=2141523383
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: 255631188 kB
Buffers: 432260 kB
Cached: 7796860 kB
SwapCached: 0 kB
Active: 7375508 kB
Inactive: 922224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255631188 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13144 kB
Writeback: 0 kB
AnonPages: 70900 kB
Mapped: 13752 kB
Slab: 249544 kB
PageTables: 4320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188760 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 12:45:16