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
39029.97/1221.23 s UNSATISFIABLE
39031.02/1221.32 solver [4] march_hi 2009 answered
39031.02/1221.32 Done
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-3347179-1304801451/watcher-3347179-1304801451 -o /tmp/evaluation-result-3347179-1304801451/solver-3347179-1304801451 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347179-1304801451.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: 32.08 32.11 32.03 1/413 8371
/proc/meminfo: memFree=256775752/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
[startup+0.0775989 s]
/proc/loadavg: 32.08 32.11 32.03 1/413 8371
/proc/meminfo: memFree=256775752/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100574 s]
/proc/loadavg: 32.08 32.11 32.03 1/413 8371
/proc/meminfo: memFree=256775752/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.01656 s]
/proc/loadavg: 32.08 32.11 32.03 1/413 8371
/proc/meminfo: memFree=256775752/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.10054 s]
/proc/loadavg: 32.08 32.11 32.03 1/413 8371
/proc/meminfo: memFree=256775752/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50055 s]
/proc/loadavg: 32.08 32.11 32.03 1/413 8371
/proc/meminfo: memFree=256775752/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+3.10161 s]
/proc/loadavg: 32.15 32.12 32.03 33/447 8410
/proc/meminfo: memFree=256668416/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
[pid=8372] ppid=8371 vsize=192200 CPUtime=3.08 cores=0
/proc/8372/stat : 8372 (cryptominisat) R 8371 8371 8345 0 -1 4202496 2619 0 0 0 308 0 0 0 25 0 1 0 591631503 196812800 1070 268435456000 4194304 4587354 140736525573440 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8372/statm: 48050 1070 334 96 0 44612 0
[pid=8373] ppid=8371 vsize=14708 CPUtime=3.08 cores=1
/proc/8373/stat : 8373 (clasp) R 8371 8371 8345 0 -1 4202496 1158 0 0 0 308 0 0 0 25 0 1 0 591631503 15060992 1038 268435456000 4194304 4785740 140736789594688 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8373/statm: 3677 1038 338 145 0 722 0
[pid=8374] ppid=8371 vsize=455968 CPUtime=3.08 cores=2
/proc/8374/stat : 8374 (TNM) R 8371 8371 8345 0 -1 4202496 424 0 0 0 308 0 0 0 25 0 1 0 591631503 466911232 322 268435456000 134512640 134534564 4287633520 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8374/statm: 113992 322 95 6 0 112657 0
[pid=8375] ppid=8371 vsize=10844 CPUtime=3.08 cores=3
/proc/8375/stat : 8375 (march_hi) R 8371 8371 8345 0 -1 4202496 1067 0 0 0 308 0 0 0 25 0 1 0 591631503 11104256 961 268435456000 4194304 4331988 140735104175824 18446744073709551615 4237176 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8375/statm: 2711 961 173 34 0 1153 0
[pid=8376] ppid=8371 vsize=571956 CPUtime=83.19 cores=4-31
/proc/8376/stat : 8376 (plingeling) S 8371 8371 8345 0 -1 4202496 34700 1240 0 0 8276 43 0 0 18 0 29 0 591631503 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/8376/statm: 142989 22394 159 40 0 141533 0
[pid=8376/tid=8383] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8383/stat : 8383 (plingeling) R 8371 8371 8345 0 -1 4202560 1041 1240 0 0 296 1 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330823 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8376/tid=8384] ppid=8371 vsize=571956 CPUtime=2.95 cores=4-31
/proc/8376/task/8384/stat : 8384 (plingeling) R 8371 8371 8345 0 -1 4202560 1176 1240 0 0 294 1 0 0 21 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=8376/tid=8385] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8385/stat : 8385 (plingeling) R 8371 8371 8345 0 -1 4202560 987 1240 0 0 296 1 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8376/tid=8386] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8386/stat : 8386 (plingeling) R 8371 8371 8345 0 -1 4202560 1084 1240 0 0 296 1 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=8376/tid=8387] ppid=8371 vsize=571956 CPUtime=2.91 cores=4-31
/proc/8376/task/8387/stat : 8387 (plingeling) R 8371 8371 8345 0 -1 4202560 1417 1240 0 0 289 2 0 0 23 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=8376/tid=8388] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8388/stat : 8388 (plingeling) R 8371 8371 8345 0 -1 4202560 1096 1240 0 0 297 0 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=8376/tid=8389] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8389/stat : 8389 (plingeling) R 8371 8371 8345 0 -1 4202560 1202 1240 0 0 296 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=8376/tid=8390] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8390/stat : 8390 (plingeling) R 8371 8371 8345 0 -1 4202560 1664 1240 0 0 295 2 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4284076 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=8376/tid=8391] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8391/stat : 8391 (plingeling) R 8371 8371 8345 0 -1 4202560 1053 1240 0 0 296 1 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=8376/tid=8392] ppid=8371 vsize=571956 CPUtime=2.93 cores=4-31
/proc/8376/task/8392/stat : 8392 (plingeling) R 8371 8371 8345 0 -1 4202560 1255 1240 0 0 292 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4281574 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=8376/tid=8393] ppid=8371 vsize=571956 CPUtime=2.91 cores=4-31
/proc/8376/task/8393/stat : 8393 (plingeling) R 8371 8371 8345 0 -1 4202560 1129 1240 0 0 290 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=8376/tid=8394] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8394/stat : 8394 (plingeling) R 8371 8371 8345 0 -1 4202560 1045 1240 0 0 296 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=8376/tid=8395] ppid=8371 vsize=571956 CPUtime=2.96 cores=4-31
/proc/8376/task/8395/stat : 8395 (plingeling) R 8371 8371 8345 0 -1 4202560 1109 1240 0 0 295 1 0 0 23 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331426 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=8376/tid=8396] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8396/stat : 8396 (plingeling) R 8371 8371 8345 0 -1 4202560 1198 1240 0 0 296 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=8376/tid=8397] ppid=8371 vsize=571956 CPUtime=2.96 cores=4-31
/proc/8376/task/8397/stat : 8397 (plingeling) R 8371 8371 8345 0 -1 4202560 1089 1240 0 0 295 1 0 0 23 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=8376/tid=8398] ppid=8371 vsize=571956 CPUtime=2.96 cores=4-31
/proc/8376/task/8398/stat : 8398 (plingeling) R 8371 8371 8345 0 -1 4202560 1549 1240 0 0 294 2 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4279615 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=8376/tid=8399] ppid=8371 vsize=571956 CPUtime=2.96 cores=4-31
/proc/8376/task/8399/stat : 8399 (plingeling) R 8371 8371 8345 0 -1 4202560 1078 1240 0 0 296 0 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331170 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=8376/tid=8400] ppid=8371 vsize=571956 CPUtime=2.96 cores=4-31
/proc/8376/task/8400/stat : 8400 (plingeling) R 8371 8371 8345 0 -1 4202560 1085 1240 0 0 295 1 0 0 23 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4281793 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=8376/tid=8401] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8401/stat : 8401 (plingeling) R 8371 8371 8345 0 -1 4202560 1063 1240 0 0 296 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=8376/tid=8402] ppid=8371 vsize=571956 CPUtime=2.96 cores=4-31
/proc/8376/task/8402/stat : 8402 (plingeling) R 8371 8371 8345 0 -1 4202560 1124 1240 0 0 295 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331332 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=8376/tid=8403] ppid=8371 vsize=571956 CPUtime=2.95 cores=4-31
/proc/8376/task/8403/stat : 8403 (plingeling) R 8371 8371 8345 0 -1 4202560 1084 1240 0 0 295 0 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=8376/tid=8404] ppid=8371 vsize=571956 CPUtime=2.96 cores=4-31
/proc/8376/task/8404/stat : 8404 (plingeling) R 8371 8371 8345 0 -1 4202560 1137 1240 0 0 295 1 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=8376/tid=8405] ppid=8371 vsize=571956 CPUtime=2.98 cores=4-31
/proc/8376/task/8405/stat : 8405 (plingeling) R 8371 8371 8345 0 -1 4202560 1205 1240 0 0 296 2 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=8376/tid=8406] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8406/stat : 8406 (plingeling) R 8371 8371 8345 0 -1 4202560 1112 1240 0 0 296 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=8376/tid=8407] ppid=8371 vsize=571956 CPUtime=2.95 cores=4-31
/proc/8376/task/8407/stat : 8407 (plingeling) R 8371 8371 8345 0 -1 4202560 1169 1240 0 0 294 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=8376/tid=8408] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8408/stat : 8408 (plingeling) R 8371 8371 8345 0 -1 4202560 1289 1240 0 0 295 2 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=8376/tid=8409] ppid=8371 vsize=571956 CPUtime=2.95 cores=4-31
/proc/8376/task/8409/stat : 8409 (plingeling) R 8371 8371 8345 0 -1 4202560 934 1240 0 0 294 1 0 0 25 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8376/tid=8410] ppid=8371 vsize=571956 CPUtime=2.97 cores=4-31
/proc/8376/task/8410/stat : 8410 (plingeling) R 8371 8371 8345 0 -1 4202560 1174 1240 0 0 296 1 0 0 24 0 29 0 591631514 585682944 22394 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 95.51
Current children cumulated vsize (KiB) 1264000
[startup+6.30172 s]
/proc/loadavg: 32.14 32.12 32.03 33/447 8410
/proc/meminfo: memFree=256627136/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
[pid=8372] ppid=8371 vsize=198736 CPUtime=6.28 cores=0
/proc/8372/stat : 8372 (cryptominisat) R 8371 8371 8345 0 -1 4202496 5471 0 0 0 627 1 0 0 25 0 1 0 591631503 203505664 2887 268435456000 4194304 4587354 140736525573440 18446744073709551615 4238525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8372/statm: 49684 2887 337 96 0 46246 0
[pid=8373] ppid=8371 vsize=15644 CPUtime=6.28 cores=1
/proc/8373/stat : 8373 (clasp) R 8371 8371 8345 0 -1 4202496 1376 0 0 0 628 0 0 0 25 0 1 0 591631503 16019456 1256 268435456000 4194304 4785740 140736789594688 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8373/statm: 3911 1256 338 145 0 956 0
[pid=8374] ppid=8371 vsize=455968 CPUtime=6.28 cores=2
/proc/8374/stat : 8374 (TNM) R 8371 8371 8345 0 -1 4202496 424 0 0 0 628 0 0 0 25 0 1 0 591631503 466911232 322 268435456000 134512640 134534564 4287633520 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8374/statm: 113992 322 95 6 0 112657 0
[pid=8375] ppid=8371 vsize=11236 CPUtime=6.28 cores=3
/proc/8375/stat : 8375 (march_hi) R 8371 8371 8345 0 -1 4202496 1148 0 0 0 628 0 0 0 25 0 1 0 591631503 11505664 1042 268435456000 4194304 4331988 140735104175824 18446744073709551615 4237154 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8375/statm: 2809 1042 173 34 0 1251 0
[pid=8376] ppid=8371 vsize=611280 CPUtime=172.6 cores=4-31
/proc/8376/stat : 8376 (plingeling) S 8371 8371 8345 0 -1 4202496 55027 1240 0 0 17189 71 0 0 18 0 29 0 591631503 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/8376/statm: 152820 32225 159 40 0 151364 0
[pid=8376/tid=8383] ppid=8371 vsize=611280 CPUtime=6.17 cores=4-31
/proc/8376/task/8383/stat : 8383 (plingeling) R 8371 8371 8345 0 -1 4202560 1715 1240 0 0 615 2 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4211068 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8376/tid=8384] ppid=8371 vsize=611280 CPUtime=6.15 cores=4-31
/proc/8376/task/8384/stat : 8384 (plingeling) R 8371 8371 8345 0 -1 4202560 1945 1240 0 0 613 2 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4284127 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=8376/tid=8385] ppid=8371 vsize=611280 CPUtime=6.16 cores=4-31
/proc/8376/task/8385/stat : 8385 (plingeling) R 8371 8371 8345 0 -1 4202560 1789 1240 0 0 614 2 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8376/tid=8386] ppid=8371 vsize=611280 CPUtime=6.17 cores=4-31
/proc/8376/task/8386/stat : 8386 (plingeling) R 8371 8371 8345 0 -1 4202560 1693 1240 0 0 615 2 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=8376/tid=8387] ppid=8371 vsize=611280 CPUtime=6.01 cores=4-31
/proc/8376/task/8387/stat : 8387 (plingeling) R 8371 8371 8345 0 -1 4202560 2186 1240 0 0 598 3 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=8376/tid=8388] ppid=8371 vsize=611280 CPUtime=6.16 cores=4-31
/proc/8376/task/8388/stat : 8388 (plingeling) R 8371 8371 8345 0 -1 4202560 1867 1240 0 0 615 1 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=8376/tid=8389] ppid=8371 vsize=611280 CPUtime=6.16 cores=4-31
/proc/8376/task/8389/stat : 8389 (plingeling) R 8371 8371 8345 0 -1 4202560 1940 1240 0 0 614 2 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=8376/tid=8390] ppid=8371 vsize=611280 CPUtime=6.16 cores=4-31
/proc/8376/task/8390/stat : 8390 (plingeling) R 8371 8371 8345 0 -1 4202560 2274 1240 0 0 614 2 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=8376/tid=8391] ppid=8371 vsize=611280 CPUtime=6.16 cores=4-31
/proc/8376/task/8391/stat : 8391 (plingeling) R 8371 8371 8345 0 -1 4202560 1790 1240 0 0 614 2 0 0 23 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=8376/tid=8392] ppid=8371 vsize=611280 CPUtime=6.14 cores=4-31
/proc/8376/task/8392/stat : 8392 (plingeling) R 8371 8371 8345 0 -1 4202560 2121 1240 0 0 611 3 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331631 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=8376/tid=8393] ppid=8371 vsize=611280 CPUtime=6.1 cores=4-31
/proc/8376/task/8393/stat : 8393 (plingeling) R 8371 8371 8345 0 -1 4202560 1962 1240 0 0 608 2 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4281677 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=8376/tid=8394] ppid=8371 vsize=611280 CPUtime=6.17 cores=4-31
/proc/8376/task/8394/stat : 8394 (plingeling) R 8371 8371 8345 0 -1 4202560 1750 1240 0 0 615 2 0 0 19 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=8376/tid=8395] ppid=8371 vsize=611280 CPUtime=6.16 cores=4-31
/proc/8376/task/8395/stat : 8395 (plingeling) R 8371 8371 8345 0 -1 4202560 1911 1240 0 0 614 2 0 0 25 0 29 0 591631514 625950720 32225 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 12 0 0 0
################
# More data... #
################
[pid=8371] ppid=8369 vsize=18324 CPUtime=0.01 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 1 0 0 15 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
[pid=8372] ppid=8371 vsize=256428 CPUtime=1220.76 cores=0
/proc/8372/stat : 8372 (cryptominisat) R 8371 8371 8345 0 -1 4202496 126380 0 0 0 121990 86 0 0 25 0 1 0 591631503 262582272 17571 268435456000 4194304 4587354 140736525573440 18446744073709551615 4238503 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8372/statm: 64107 17571 337 96 0 60669 0
[pid=8373] ppid=8371 vsize=34316 CPUtime=1220.75 cores=1
/proc/8373/stat : 8373 (clasp) R 8371 8371 8345 0 -1 4202496 5988 0 0 0 122073 2 0 0 25 0 1 0 591631503 35139584 5804 268435456000 4194304 4785740 140736789594688 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8373/statm: 8579 5804 339 145 0 5624 0
[pid=8374] ppid=8371 vsize=455972 CPUtime=1220.75 cores=2
/proc/8374/stat : 8374 (TNM) R 8371 8371 8345 0 -1 4202496 433 0 0 0 122075 0 0 0 25 0 1 0 591631503 466915328 331 268435456000 134512640 134534564 4287633520 18446744073709551615 134529870 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8374/statm: 113993 331 103 6 0 112658 0
[pid=8375] ppid=8371 vsize=14404 CPUtime=1220.73 cores=3
/proc/8375/stat : 8375 (march_hi) R 8371 8371 8345 0 -1 4202496 1871 0 0 0 122071 2 0 0 25 0 1 0 591631503 14749696 1765 268435456000 4194304 4331988 140735104175824 18446744073709551615 4237391 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8375/statm: 3601 1765 174 34 0 2043 0
[pid=8376] ppid=8371 vsize=1372500 CPUtime=34140.6 cores=4-31
/proc/8376/stat : 8376 (plingeling) S 8371 8371 8345 0 -1 4202496 2093015 1240 0 0 3412420 1637 0 0 18 0 29 0 591631503 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/8376/statm: 343125 222401 159 40 0 341669 0
[pid=8376/tid=8383] ppid=8371 vsize=1372500 CPUtime=1210.12 cores=4-31
/proc/8376/task/8383/stat : 8383 (plingeling) R 8371 8371 8345 0 -1 4202560 71639 1240 0 0 120954 58 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=8376/tid=8384] ppid=8371 vsize=1372500 CPUtime=1220.56 cores=4-31
/proc/8376/task/8384/stat : 8384 (plingeling) R 8371 8371 8345 0 -1 4202560 78623 1240 0 0 121996 60 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=8376/tid=8385] ppid=8371 vsize=1372500 CPUtime=1219.35 cores=4-31
/proc/8376/task/8385/stat : 8385 (plingeling) R 8371 8371 8345 0 -1 4202560 75938 1240 0 0 121868 67 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331854 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=8376/tid=8386] ppid=8371 vsize=1372500 CPUtime=1220.57 cores=4-31
/proc/8376/task/8386/stat : 8386 (plingeling) R 8371 8371 8345 0 -1 4202560 80161 1240 0 0 121990 67 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=8376/tid=8387] ppid=8371 vsize=1372500 CPUtime=1212.12 cores=4-31
/proc/8376/task/8387/stat : 8387 (plingeling) R 8371 8371 8345 0 -1 4202560 81069 1240 0 0 121162 50 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8376/tid=8388] ppid=8371 vsize=1372500 CPUtime=1220.61 cores=4-31
/proc/8376/task/8388/stat : 8388 (plingeling) R 8371 8371 8345 0 -1 4202560 77101 1240 0 0 122002 59 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=8376/tid=8389] ppid=8371 vsize=1372500 CPUtime=1220.37 cores=4-31
/proc/8376/task/8389/stat : 8389 (plingeling) R 8371 8371 8345 0 -1 4202560 77847 1240 0 0 121977 60 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=8376/tid=8390] ppid=8371 vsize=1372500 CPUtime=1220.55 cores=4-31
/proc/8376/task/8390/stat : 8390 (plingeling) R 8371 8371 8345 0 -1 4202560 57476 1240 0 0 121978 77 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=8376/tid=8391] ppid=8371 vsize=1372500 CPUtime=1218.61 cores=4-31
/proc/8376/task/8391/stat : 8391 (plingeling) R 8371 8371 8345 0 -1 4202560 70977 1240 0 0 121805 56 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=8376/tid=8392] ppid=8371 vsize=1372500 CPUtime=1220.18 cores=4-31
/proc/8376/task/8392/stat : 8392 (plingeling) R 8371 8371 8345 0 -1 4202560 79403 1240 0 0 121957 61 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=8376/tid=8393] ppid=8371 vsize=1372500 CPUtime=1218.02 cores=4-31
/proc/8376/task/8393/stat : 8393 (plingeling) R 8371 8371 8345 0 -1 4202560 80750 1240 0 0 121741 61 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8376/tid=8394] ppid=8371 vsize=1372500 CPUtime=1220.63 cores=4-31
/proc/8376/task/8394/stat : 8394 (plingeling) R 8371 8371 8345 0 -1 4202560 70714 1240 0 0 122006 57 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331188 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=8376/tid=8395] ppid=8371 vsize=1372500 CPUtime=1220.58 cores=4-31
/proc/8376/task/8395/stat : 8395 (plingeling) R 8371 8371 8345 0 -1 4202560 76410 1240 0 0 122014 44 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=8376/tid=8396] ppid=8371 vsize=1372500 CPUtime=1220.58 cores=4-31
/proc/8376/task/8396/stat : 8396 (plingeling) R 8371 8371 8345 0 -1 4202560 77490 1240 0 0 122003 55 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332026 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=8376/tid=8397] ppid=8371 vsize=1372500 CPUtime=1220.53 cores=4-31
/proc/8376/task/8397/stat : 8397 (plingeling) R 8371 8371 8345 0 -1 4202560 73958 1240 0 0 122009 44 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=8376/tid=8398] ppid=8371 vsize=1372500 CPUtime=1220.62 cores=4-31
/proc/8376/task/8398/stat : 8398 (plingeling) R 8371 8371 8345 0 -1 4202560 65105 1240 0 0 121979 83 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=8376/tid=8399] ppid=8371 vsize=1372500 CPUtime=1220.61 cores=4-31
/proc/8376/task/8399/stat : 8399 (plingeling) R 8371 8371 8345 0 -1 4202560 77691 1240 0 0 122007 54 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=8376/tid=8400] ppid=8371 vsize=1372500 CPUtime=1220.61 cores=4-31
/proc/8376/task/8400/stat : 8400 (plingeling) R 8371 8371 8345 0 -1 4202560 77059 1240 0 0 122004 57 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=8376/tid=8401] ppid=8371 vsize=1372500 CPUtime=1220.57 cores=4-31
/proc/8376/task/8401/stat : 8401 (plingeling) R 8371 8371 8345 0 -1 4202560 76588 1240 0 0 122006 51 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=8376/tid=8402] ppid=8371 vsize=1372500 CPUtime=1220.63 cores=4-31
/proc/8376/task/8402/stat : 8402 (plingeling) R 8371 8371 8345 0 -1 4202560 76009 1240 0 0 121998 65 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332306 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=8376/tid=8403] ppid=8371 vsize=1372500 CPUtime=1220.57 cores=4-31
/proc/8376/task/8403/stat : 8403 (plingeling) R 8371 8371 8345 0 -1 4202560 75167 1240 0 0 122002 55 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=8376/tid=8404] ppid=8371 vsize=1372500 CPUtime=1220.6 cores=4-31
/proc/8376/task/8404/stat : 8404 (plingeling) R 8371 8371 8345 0 -1 4202560 78551 1240 0 0 122006 54 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=8376/tid=8405] ppid=8371 vsize=1372500 CPUtime=1220.6 cores=4-31
/proc/8376/task/8405/stat : 8405 (plingeling) R 8371 8371 8345 0 -1 4202560 77561 1240 0 0 121995 65 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=8376/tid=8406] ppid=8371 vsize=1372500 CPUtime=1220.63 cores=4-31
/proc/8376/task/8406/stat : 8406 (plingeling) R 8371 8371 8345 0 -1 4202560 56862 1240 0 0 121996 67 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=8376/tid=8407] ppid=8371 vsize=1372500 CPUtime=1209.82 cores=4-31
/proc/8376/task/8407/stat : 8407 (plingeling) R 8371 8371 8345 0 -1 4202560 74902 1240 0 0 120932 50 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4281561 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=8376/tid=8408] ppid=8371 vsize=1372500 CPUtime=1220.58 cores=4-31
/proc/8376/task/8408/stat : 8408 (plingeling) R 8371 8371 8345 0 -1 4202560 79400 1240 0 0 121999 59 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=8376/tid=8409] ppid=8371 vsize=1372500 CPUtime=1220.49 cores=4-31
/proc/8376/task/8409/stat : 8409 (plingeling) R 8371 8371 8345 0 -1 4202560 73899 1240 0 0 122014 35 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8376/tid=8410] ppid=8371 vsize=1372500 CPUtime=1220.5 cores=4-31
/proc/8376/task/8410/stat : 8410 (plingeling) R 8371 8371 8345 0 -1 4202560 72513 1240 0 0 122001 49 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 39023.6
Current children cumulated vsize (KiB) 2151944
[startup+1221.2 s]
/proc/loadavg: 32.30 32.18 32.09 33/447 8451
/proc/meminfo: memFree=255783824/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=0.01 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 514 0 0 0 0 1 0 0 15 0 1 0 591631503 18763776 386 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 20 0 0 0
/proc/8371/statm: 4581 386 337 23 0 91 0
[pid=8372] ppid=8371 vsize=256428 CPUtime=1220.96 cores=0
/proc/8372/stat : 8372 (cryptominisat) R 8371 8371 8345 0 -1 4202496 126389 0 0 0 122010 86 0 0 25 0 1 0 591631503 262582272 17578 268435456000 4194304 4587354 140736525573440 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8372/statm: 64107 17578 337 96 0 60669 0
[pid=8373] ppid=8371 vsize=34316 CPUtime=1220.95 cores=1
/proc/8373/stat : 8373 (clasp) R 8371 8371 8345 0 -1 4202496 5988 0 0 0 122093 2 0 0 25 0 1 0 591631503 35139584 5804 268435456000 4194304 4785740 140736789594688 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8373/statm: 8579 5804 339 145 0 5624 0
[pid=8374] ppid=8371 vsize=455972 CPUtime=1220.95 cores=2
/proc/8374/stat : 8374 (TNM) R 8371 8371 8345 0 -1 4202496 433 0 0 0 122095 0 0 0 25 0 1 0 591631503 466915328 331 268435456000 134512640 134534564 4287633520 18446744073709551615 134528275 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8374/statm: 113993 331 103 6 0 112658 0
[pid=8375] ppid=8371 vsize=14404 CPUtime=1220.93 cores=3
/proc/8375/stat : 8375 (march_hi) R 8371 8371 8345 0 -1 4202496 1871 0 0 0 122091 2 0 0 25 0 1 0 591631503 14749696 1765 268435456000 4194304 4331988 140735104175824 18446744073709551615 4226499 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8375/statm: 3601 1765 174 34 0 2043 0
[pid=8376] ppid=8371 vsize=1372500 CPUtime=34146.2 cores=4-31
/proc/8376/stat : 8376 (plingeling) S 8371 8371 8345 0 -1 4202496 2093015 1240 0 0 3412980 1637 0 0 18 0 29 0 591631503 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/8376/statm: 343125 222401 159 40 0 341669 0
[pid=8376/tid=8383] ppid=8371 vsize=1372500 CPUtime=1210.32 cores=4-31
/proc/8376/task/8383/stat : 8383 (plingeling) R 8371 8371 8345 0 -1 4202560 71639 1240 0 0 120974 58 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=8376/tid=8384] ppid=8371 vsize=1372500 CPUtime=1220.76 cores=4-31
/proc/8376/task/8384/stat : 8384 (plingeling) R 8371 8371 8345 0 -1 4202560 78623 1240 0 0 122016 60 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=8376/tid=8385] ppid=8371 vsize=1372500 CPUtime=1219.55 cores=4-31
/proc/8376/task/8385/stat : 8385 (plingeling) R 8371 8371 8345 0 -1 4202560 75938 1240 0 0 121888 67 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=8376/tid=8386] ppid=8371 vsize=1372500 CPUtime=1220.77 cores=4-31
/proc/8376/task/8386/stat : 8386 (plingeling) R 8371 8371 8345 0 -1 4202560 80161 1240 0 0 122010 67 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=8376/tid=8387] ppid=8371 vsize=1372500 CPUtime=1212.32 cores=4-31
/proc/8376/task/8387/stat : 8387 (plingeling) R 8371 8371 8345 0 -1 4202560 81069 1240 0 0 121182 50 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8376/tid=8388] ppid=8371 vsize=1372500 CPUtime=1220.81 cores=4-31
/proc/8376/task/8388/stat : 8388 (plingeling) R 8371 8371 8345 0 -1 4202560 77101 1240 0 0 122022 59 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=8376/tid=8389] ppid=8371 vsize=1372500 CPUtime=1220.57 cores=4-31
/proc/8376/task/8389/stat : 8389 (plingeling) R 8371 8371 8345 0 -1 4202560 77847 1240 0 0 121997 60 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=8376/tid=8390] ppid=8371 vsize=1372500 CPUtime=1220.75 cores=4-31
/proc/8376/task/8390/stat : 8390 (plingeling) R 8371 8371 8345 0 -1 4202560 57476 1240 0 0 121998 77 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=8376/tid=8391] ppid=8371 vsize=1372500 CPUtime=1218.81 cores=4-31
/proc/8376/task/8391/stat : 8391 (plingeling) R 8371 8371 8345 0 -1 4202560 70977 1240 0 0 121825 56 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=8376/tid=8392] ppid=8371 vsize=1372500 CPUtime=1220.38 cores=4-31
/proc/8376/task/8392/stat : 8392 (plingeling) R 8371 8371 8345 0 -1 4202560 79403 1240 0 0 121977 61 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=8376/tid=8393] ppid=8371 vsize=1372500 CPUtime=1218.22 cores=4-31
/proc/8376/task/8393/stat : 8393 (plingeling) R 8371 8371 8345 0 -1 4202560 80750 1240 0 0 121761 61 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8376/tid=8394] ppid=8371 vsize=1372500 CPUtime=1220.83 cores=4-31
/proc/8376/task/8394/stat : 8394 (plingeling) R 8371 8371 8345 0 -1 4202560 70714 1240 0 0 122026 57 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=8376/tid=8395] ppid=8371 vsize=1372500 CPUtime=1220.78 cores=4-31
/proc/8376/task/8395/stat : 8395 (plingeling) R 8371 8371 8345 0 -1 4202560 76410 1240 0 0 122034 44 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=8376/tid=8396] ppid=8371 vsize=1372500 CPUtime=1220.78 cores=4-31
/proc/8376/task/8396/stat : 8396 (plingeling) R 8371 8371 8345 0 -1 4202560 77490 1240 0 0 122023 55 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=8376/tid=8397] ppid=8371 vsize=1372500 CPUtime=1220.73 cores=4-31
/proc/8376/task/8397/stat : 8397 (plingeling) R 8371 8371 8345 0 -1 4202560 73958 1240 0 0 122029 44 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=8376/tid=8398] ppid=8371 vsize=1372500 CPUtime=1220.82 cores=4-31
/proc/8376/task/8398/stat : 8398 (plingeling) R 8371 8371 8345 0 -1 4202560 65105 1240 0 0 121999 83 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=8376/tid=8399] ppid=8371 vsize=1372500 CPUtime=1220.81 cores=4-31
/proc/8376/task/8399/stat : 8399 (plingeling) R 8371 8371 8345 0 -1 4202560 77691 1240 0 0 122027 54 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=8376/tid=8400] ppid=8371 vsize=1372500 CPUtime=1220.81 cores=4-31
/proc/8376/task/8400/stat : 8400 (plingeling) R 8371 8371 8345 0 -1 4202560 77059 1240 0 0 122024 57 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=8376/tid=8401] ppid=8371 vsize=1372500 CPUtime=1220.77 cores=4-31
/proc/8376/task/8401/stat : 8401 (plingeling) R 8371 8371 8345 0 -1 4202560 76588 1240 0 0 122026 51 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=8376/tid=8402] ppid=8371 vsize=1372500 CPUtime=1220.83 cores=4-31
/proc/8376/task/8402/stat : 8402 (plingeling) R 8371 8371 8345 0 -1 4202560 76009 1240 0 0 122018 65 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=8376/tid=8403] ppid=8371 vsize=1372500 CPUtime=1220.77 cores=4-31
/proc/8376/task/8403/stat : 8403 (plingeling) R 8371 8371 8345 0 -1 4202560 75167 1240 0 0 122022 55 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332239 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=8376/tid=8404] ppid=8371 vsize=1372500 CPUtime=1220.8 cores=4-31
/proc/8376/task/8404/stat : 8404 (plingeling) R 8371 8371 8345 0 -1 4202560 78551 1240 0 0 122026 54 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=8376/tid=8405] ppid=8371 vsize=1372500 CPUtime=1220.8 cores=4-31
/proc/8376/task/8405/stat : 8405 (plingeling) R 8371 8371 8345 0 -1 4202560 77561 1240 0 0 122015 65 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=8376/tid=8406] ppid=8371 vsize=1372500 CPUtime=1220.83 cores=4-31
/proc/8376/task/8406/stat : 8406 (plingeling) R 8371 8371 8345 0 -1 4202560 56862 1240 0 0 122016 67 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=8376/tid=8407] ppid=8371 vsize=1372500 CPUtime=1210.02 cores=4-31
/proc/8376/task/8407/stat : 8407 (plingeling) R 8371 8371 8345 0 -1 4202560 74902 1240 0 0 120952 50 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=8376/tid=8408] ppid=8371 vsize=1372500 CPUtime=1220.78 cores=4-31
/proc/8376/task/8408/stat : 8408 (plingeling) R 8371 8371 8345 0 -1 4202560 79400 1240 0 0 122019 59 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=8376/tid=8409] ppid=8371 vsize=1372500 CPUtime=1220.69 cores=4-31
/proc/8376/task/8409/stat : 8409 (plingeling) R 8371 8371 8345 0 -1 4202560 73899 1240 0 0 122034 35 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8376/tid=8410] ppid=8371 vsize=1372500 CPUtime=1220.7 cores=4-31
/proc/8376/task/8410/stat : 8410 (plingeling) R 8371 8371 8345 0 -1 4202560 72513 1240 0 0 122021 49 0 0 25 0 29 0 591631514 1405440000 222401 268435456000 4194304 4356188 140734743675792 18446744073709551615 4284052 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 39030
Current children cumulated vsize (KiB) 2151944
[startup+1221.3 s]
/proc/loadavg: 32.30 32.18 32.09 33/447 8451
/proc/meminfo: memFree=255783824/264257624 swapFree=67111528/67111528
[pid=8371] ppid=8369 vsize=18324 CPUtime=4883.94 cores=0-31
/proc/8371/stat : 8371 (ppfolio) S 8369 8371 8345 0 -1 4202496 516 134683 0 0 0 1 488301 92 15 0 1 0 591631503 18763776 387 268435456000 4194304 4287625 140737371936768 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 20 0 0 0
/proc/8371/statm: 4581 387 338 23 0 91 0
[pid=8376] ppid=8371 vsize=0 CPUtime=34147.1 cores=4-31
/proc/8376/stat : 8376 (plingeling) Z 8371 8371 8345 0 -1 4203548 2093015 1240 0 0 3413064 1644 0 0 18 0 2 0 591631503 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/8376/statm: 0 0 0 0 0 0 0
[pid=8376/tid=8408] ppid=8371 vsize=0 CPUtime=1220.88 cores=4-31
/proc/8376/task/8408/stat : 8408 (plingeling) R 8371 8371 8345 0 -1 4203588 79400 1240 0 0 122022 66 0 0 25 0 2 0 591631514 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 39031
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 1221.32
CPU time (s): 39031.1
CPU user time (s): 39013.7
CPU system time (s): 17.4124
CPU usage (%): 3195.8
Max. virtual memory (cumulated for all children) (KiB): 5472416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39013.7
system time used= 17.4124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2229473
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= 3748
involuntary context switches= 93956
runsolver used 6.82596 second user time and 28.1107 second system time
The end
Begin job on node200 at 2011-05-07 22:50:51
IDJOB=3347179
IDBENCH=20472
IDSOLVER=1808
FILE ID=node200/3347179-1304801451
RUNJOBID= node200-1304801451-8359
PBS_JOBID= 13281966
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347179-1304801451/watcher-3347179-1304801451 -o /tmp/evaluation-result-3347179-1304801451/solver-3347179-1304801451 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347179-1304801451.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=1352486522
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: 256776164 kB
Buffers: 351000 kB
Cached: 6786348 kB
SwapCached: 0 kB
Active: 6317976 kB
Inactive: 888124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256776164 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10144 kB
Writeback: 0 kB
AnonPages: 69820 kB
Mapped: 14476 kB
Slab: 191224 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-07 23:11:12