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
12245.45/395.53 s UNSATISFIABLE
12245.45/395.57 solver [5] plingeling 276-6264d55-100731 answered
12245.45/395.57 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-3347501-1305217257/watcher-3347501-1305217257 -o /tmp/evaluation-result-3347501-1305217257/solver-3347501-1305217257 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347501-1305217257.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.30 30.36 31.35 1/413 20107
/proc/meminfo: memFree=255684424/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[startup+0.137748 s]
/proc/loadavg: 27.30 30.36 31.35 1/413 20107
/proc/meminfo: memFree=255684424/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200763 s]
/proc/loadavg: 27.30 30.36 31.35 1/413 20107
/proc/meminfo: memFree=255684424/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300785 s]
/proc/loadavg: 27.30 30.36 31.35 1/413 20107
/proc/meminfo: memFree=255684424/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.70076 s]
/proc/loadavg: 27.30 30.36 31.35 1/413 20107
/proc/meminfo: memFree=255684424/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50081 s]
/proc/loadavg: 27.30 30.36 31.35 6/419 20118
/proc/meminfo: memFree=255312924/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=104284 CPUtime=1.49 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 16622 0 0 0 145 4 0 0 25 0 1 0 633212219 106786816 15731 268435456000 4194304 4587354 140733636564400 18446744073709551615 4238947 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 26071 15731 303 96 0 22633 0
[pid=20109] ppid=20107 vsize=87132 CPUtime=1.48 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 22793 0 0 0 140 8 0 0 20 0 1 0 633212219 89223168 18207 268435456000 4194304 4785740 140733430961024 18446744073709551615 4495688 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 21783 18207 312 145 0 18828 0
[pid=20110] ppid=20107 vsize=510080 CPUtime=1.48 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 17988 0 0 0 143 5 0 0 20 0 1 0 633212219 522321920 17886 268435456000 134512640 134534564 4287034480 18446744073709551615 134524478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 127520 17886 91 6 0 126185 0
[pid=20111] ppid=20107 vsize=82560 CPUtime=1.48 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4194304 16621 0 0 0 142 6 0 0 20 0 1 0 633212219 84541440 10898 268435456000 4194304 4331988 140736554250016 18446744073709551615 4261864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 20640 10898 123 34 0 19082 0
[pid=20112] ppid=20107 vsize=204052 CPUtime=1.49 cores=4-31
/proc/20112/stat : 20112 (plingeling) R 20107 20107 20081 0 -1 4202496 50077 1237 0 0 138 10 0 1 21 0 1 0 633212219 208949248 49672 268435456000 4194304 4356188 140733272517152 18446744073709551615 4210587 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/20112/statm: 51013 49672 129 40 0 49557 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 1006432
[startup+3.10087 s]
/proc/loadavg: 27.30 30.36 31.35 6/419 20118
/proc/meminfo: memFree=255051320/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=195588 CPUtime=3.08 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 38154 0 0 0 301 7 0 0 25 0 1 0 633212219 200282112 36983 268435456000 4194304 4587354 140733636564400 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 48897 36983 314 96 0 45459 0
[pid=20109] ppid=20107 vsize=88848 CPUtime=3.08 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 23228 0 0 0 300 8 0 0 25 0 1 0 633212219 90980352 18642 268435456000 4194304 4785740 140733430961024 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 22212 18644 316 145 0 19257 0
[pid=20110] ppid=20107 vsize=510080 CPUtime=3.08 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 17988 0 0 0 303 5 0 0 25 0 1 0 633212219 522321920 17886 268435456000 134512640 134534564 4287034480 18446744073709551615 134524745 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 127520 17886 91 6 0 126185 0
[pid=20111] ppid=20107 vsize=104328 CPUtime=3.08 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4202496 60269 0 0 0 293 15 0 0 25 0 1 0 633212219 106831872 17083 268435456000 4194304 4331988 140736554250016 18446744073709551615 4252174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 26082 17083 146 34 0 24524 0
[pid=20112] ppid=20107 vsize=462100 CPUtime=3.08 cores=4-31
/proc/20112/stat : 20112 (plingeling) R 20107 20107 20081 0 -1 4202496 114589 1237 0 0 285 22 0 1 25 0 1 0 633212219 473190400 114184 268435456000 4194304 4356188 140733272517152 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/20112/statm: 115525 114184 129 40 0 114069 0
Current children cumulated CPU time (s) 15.4
Current children cumulated vsize (KiB) 1379268
[startup+6.30093 s]
/proc/loadavg: 25.52 29.94 31.21 6/419 20118
/proc/meminfo: memFree=254517800/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=221520 CPUtime=6.28 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 49003 0 0 0 619 9 0 0 25 0 1 0 633212219 226836480 39683 268435456000 4194304 4587354 140733636564400 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 55380 39683 325 96 0 51942 0
[pid=20109] ppid=20107 vsize=103248 CPUtime=6.28 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 28666 0 0 0 619 9 0 0 25 0 1 0 633212219 105725952 22569 268435456000 4194304 4785740 140733430961024 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 25812 22569 338 145 0 22857 0
[pid=20110] ppid=20107 vsize=510080 CPUtime=6.28 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 17988 0 0 0 623 5 0 0 25 0 1 0 633212219 522321920 17886 268435456000 134512640 134534564 4287034480 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 127520 17886 91 6 0 126185 0
[pid=20111] ppid=20107 vsize=154272 CPUtime=6.28 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4202496 91914 0 0 0 607 21 0 0 25 0 1 0 633212219 157974528 29369 268435456000 4194304 4331988 140736554250016 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 38568 29369 149 34 0 37010 0
[pid=20112] ppid=20107 vsize=806164 CPUtime=6.29 cores=4-31
/proc/20112/stat : 20112 (plingeling) R 20107 20107 20081 0 -1 4202496 200605 1237 0 0 587 41 0 1 25 0 1 0 633212219 825511936 200200 268435456000 4194304 4356188 140733272517152 18446744073709551615 4274637 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/20112/statm: 201541 200200 129 40 0 200085 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 1813608
[startup+12.7021 s]
/proc/loadavg: 23.87 29.53 31.07 33/447 20146
/proc/meminfo: memFree=253766212/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=221520 CPUtime=12.68 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 49398 0 0 0 1259 9 0 0 25 0 1 0 633212219 226836480 40055 268435456000 4194304 4587354 140733636564400 18446744073709551615 4238736 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 55380 40055 325 96 0 51942 0
[pid=20109] ppid=20107 vsize=103248 CPUtime=12.68 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 28666 0 0 0 1259 9 0 0 25 0 1 0 633212219 105725952 22569 268435456000 4194304 4785740 140733430961024 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 25812 22569 338 145 0 22857 0
[pid=20110] ppid=20107 vsize=523544 CPUtime=12.68 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 25529 0 0 0 1261 7 0 0 25 0 1 0 633212219 536109056 25427 268435456000 134512640 134534564 4287034480 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 130886 25427 95 6 0 129551 0
[pid=20111] ppid=20107 vsize=282884 CPUtime=12.68 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4202496 123392 0 0 0 1241 27 0 0 25 0 1 0 633212219 289673216 60847 268435456000 4194304 4331988 140736554250016 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 70721 60847 149 34 0 69163 0
[pid=20112] ppid=20107 vsize=2059044 CPUtime=31.34 cores=4-31
/proc/20112/stat : 20112 (plingeling) S 20107 20107 20081 0 -1 4202496 425277 1237 0 0 3047 86 0 1 21 0 29 0 633212219 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/20112/statm: 514761 376364 143 40 0 513305 0
[pid=20112/tid=20119] ppid=20107 vsize=2059044 CPUtime=0.76 cores=4-31
/proc/20112/task/20119/stat : 20119 (plingeling) R 20107 20107 20081 0 -1 4202560 1819 1237 0 0 75 0 0 1 25 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4237352 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20112/tid=20120] ppid=20107 vsize=2059044 CPUtime=0.75 cores=4-31
/proc/20112/task/20120/stat : 20120 (plingeling) R 20107 20107 20081 0 -1 4202560 1818 1237 0 0 74 0 0 1 25 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4239195 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20112/tid=20121] ppid=20107 vsize=2059044 CPUtime=0.77 cores=4-31
/proc/20112/task/20121/stat : 20121 (plingeling) R 20107 20107 20081 0 -1 4202560 1816 1237 0 0 76 0 0 1 21 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4212994 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20112/tid=20122] ppid=20107 vsize=2059044 CPUtime=0.76 cores=4-31
/proc/20112/task/20122/stat : 20122 (plingeling) R 20107 20107 20081 0 -1 4202560 1889 1237 0 0 75 0 0 1 18 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20112/tid=20123] ppid=20107 vsize=2059044 CPUtime=0.77 cores=4-31
/proc/20112/task/20123/stat : 20123 (plingeling) R 20107 20107 20081 0 -1 4202560 1881 1237 0 0 76 0 0 1 21 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20112/tid=20124] ppid=20107 vsize=2059044 CPUtime=0.75 cores=4-31
/proc/20112/task/20124/stat : 20124 (plingeling) R 20107 20107 20081 0 -1 4202560 1900 1237 0 0 73 1 0 1 18 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4260258 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20112/tid=20125] ppid=20107 vsize=2059044 CPUtime=0.67 cores=4-31
/proc/20112/task/20125/stat : 20125 (plingeling) R 20107 20107 20081 0 -1 4202560 1910 1237 0 0 66 0 0 1 17 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20112/tid=20126] ppid=20107 vsize=2059044 CPUtime=0.76 cores=4-31
/proc/20112/task/20126/stat : 20126 (plingeling) R 20107 20107 20081 0 -1 4202560 1880 1237 0 0 75 0 0 1 18 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4238533 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20112/tid=20127] ppid=20107 vsize=2059044 CPUtime=0.69 cores=4-31
/proc/20112/task/20127/stat : 20127 (plingeling) R 20107 20107 20081 0 -1 4202560 1882 1237 0 0 68 0 0 1 17 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4210740 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20112/tid=20128] ppid=20107 vsize=2059044 CPUtime=0.69 cores=4-31
/proc/20112/task/20128/stat : 20128 (plingeling) R 20107 20107 20081 0 -1 4202560 1904 1237 0 0 68 0 0 1 18 0 29 0 633213412 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4225594 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20129] ppid=20107 vsize=2059044 CPUtime=0.64 cores=4-31
/proc/20112/task/20129/stat : 20129 (plingeling) R 20107 20107 20081 0 -1 4202560 1880 1237 0 0 63 0 0 1 18 0 29 0 633213413 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4212994 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20112/tid=20130] ppid=20107 vsize=2059044 CPUtime=0.66 cores=4-31
/proc/20112/task/20130/stat : 20130 (plingeling) R 20107 20107 20081 0 -1 4202560 1880 1237 0 0 65 0 0 1 21 0 29 0 633213413 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20112/tid=20131] ppid=20107 vsize=2059044 CPUtime=0.64 cores=4-31
/proc/20112/task/20131/stat : 20131 (plingeling) R 20107 20107 20081 0 -1 4202560 1885 1237 0 0 63 0 0 1 17 0 29 0 633213413 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20112/tid=20132] ppid=20107 vsize=2059044 CPUtime=0.67 cores=4-31
/proc/20112/task/20132/stat : 20132 (plingeling) R 20107 20107 20081 0 -1 4202560 1907 1237 0 0 66 0 0 1 17 0 29 0 633213413 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4238067 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20112/tid=20133] ppid=20107 vsize=2059044 CPUtime=0.74 cores=4-31
/proc/20112/task/20133/stat : 20133 (plingeling) R 20107 20107 20081 0 -1 4202560 1896 1237 0 0 73 0 0 1 18 0 29 0 633213413 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4260269 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20112/tid=20134] ppid=20107 vsize=2059044 CPUtime=0.68 cores=4-31
/proc/20112/task/20134/stat : 20134 (plingeling) R 20107 20107 20081 0 -1 4202560 1879 1237 0 0 67 0 0 1 23 0 29 0 633213413 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20112/tid=20135] ppid=20107 vsize=2059044 CPUtime=0.66 cores=4-31
/proc/20112/task/20135/stat : 20135 (plingeling) R 20107 20107 20081 0 -1 4202560 1880 1237 0 0 65 0 0 1 24 0 29 0 633213413 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20112/tid=20136] ppid=20107 vsize=2059044 CPUtime=0.66 cores=4-31
/proc/20112/task/20136/stat : 20136 (plingeling) R 20107 20107 20081 0 -1 4202560 1895 1237 0 0 65 0 0 1 17 0 29 0 633213414 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20112/tid=20137] ppid=20107 vsize=2059044 CPUtime=0.74 cores=4-31
/proc/20112/task/20137/stat : 20137 (plingeling) R 20107 20107 20081 0 -1 4202560 1881 1237 0 0 73 0 0 1 25 0 29 0 633213414 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20112/tid=20138] ppid=20107 vsize=2059044 CPUtime=0.68 cores=4-31
/proc/20112/task/20138/stat : 20138 (plingeling) R 20107 20107 20081 0 -1 4202560 1880 1237 0 0 67 0 0 1 25 0 29 0 633213414 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4237436 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20112/tid=20139] ppid=20107 vsize=2059044 CPUtime=0.68 cores=4-31
/proc/20112/task/20139/stat : 20139 (plingeling) R 20107 20107 20081 0 -1 4202560 1880 1237 0 0 67 0 0 1 25 0 29 0 633213415 2108461056 376364 268435456000 4194304 4356188 140733272517152 18446744073709551615 4238833 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20112/tid=20140] ppid=20107 vsize=2059044 CPUtime=0.67 cores=4-31
################
# More data... #
################
[pid=20112/tid=20127] ppid=20107 vsize=2013828 CPUtime=378.25 cores=4-31
/proc/20112/task/20127/stat : 20127 (plingeling) R 20107 20107 20081 0 -1 4202560 14990 1237 0 0 37815 9 0 1 25 0 29 0 633213412 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20112/tid=20128] ppid=20107 vsize=2013828 CPUtime=378.28 cores=4-31
/proc/20112/task/20128/stat : 20128 (plingeling) R 20107 20107 20081 0 -1 4202560 16921 1237 0 0 37815 12 0 1 25 0 29 0 633213412 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20129] ppid=20107 vsize=2013828 CPUtime=378.15 cores=4-31
/proc/20112/task/20129/stat : 20129 (plingeling) R 20107 20107 20081 0 -1 4202560 16177 1237 0 0 37807 7 0 1 25 0 29 0 633213413 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20112/tid=20130] ppid=20107 vsize=2013828 CPUtime=377.42 cores=4-31
/proc/20112/task/20130/stat : 20130 (plingeling) R 20107 20107 20081 0 -1 4202560 10478 1237 0 0 37739 2 0 1 25 0 29 0 633213413 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20112/tid=20131] ppid=20107 vsize=2013828 CPUtime=377.94 cores=4-31
/proc/20112/task/20131/stat : 20131 (plingeling) R 20107 20107 20081 0 -1 4202560 16713 1237 0 0 37783 10 0 1 25 0 29 0 633213413 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4286773 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20112/tid=20132] ppid=20107 vsize=2013828 CPUtime=377.92 cores=4-31
/proc/20112/task/20132/stat : 20132 (plingeling) R 20107 20107 20081 0 -1 4202560 16296 1237 0 0 37787 4 0 1 25 0 29 0 633213413 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20112/tid=20133] ppid=20107 vsize=2013828 CPUtime=378.29 cores=4-31
/proc/20112/task/20133/stat : 20133 (plingeling) R 20107 20107 20081 0 -1 4202560 11615 1237 0 0 37818 10 0 1 25 0 29 0 633213413 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4332136 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20112/tid=20134] ppid=20107 vsize=2013828 CPUtime=367.3 cores=4-31
/proc/20112/task/20134/stat : 20134 (plingeling) R 20107 20107 20081 0 -1 4202560 13464 1237 0 0 36720 9 0 1 25 0 29 0 633213413 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20112/tid=20135] ppid=20107 vsize=2013828 CPUtime=377.97 cores=4-31
/proc/20112/task/20135/stat : 20135 (plingeling) R 20107 20107 20081 0 -1 4202560 9956 1237 0 0 37787 9 0 1 25 0 29 0 633213413 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20112/tid=20136] ppid=20107 vsize=2013828 CPUtime=378.13 cores=4-31
/proc/20112/task/20136/stat : 20136 (plingeling) R 20107 20107 20081 0 -1 4202560 16879 1237 0 0 37804 8 0 1 25 0 29 0 633213414 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4280009 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20112/tid=20137] ppid=20107 vsize=2013828 CPUtime=378.2 cores=4-31
/proc/20112/task/20137/stat : 20137 (plingeling) R 20107 20107 20081 0 -1 4202560 14758 1237 0 0 37816 3 0 1 25 0 29 0 633213414 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20112/tid=20138] ppid=20107 vsize=2013828 CPUtime=378.09 cores=4-31
/proc/20112/task/20138/stat : 20138 (plingeling) R 20107 20107 20081 0 -1 4202560 10947 1237 0 0 37805 3 0 1 25 0 29 0 633213414 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20112/tid=20139] ppid=20107 vsize=2013828 CPUtime=378.1 cores=4-31
/proc/20112/task/20139/stat : 20139 (plingeling) R 20107 20107 20081 0 -1 4202560 15119 1237 0 0 37799 10 0 1 25 0 29 0 633213415 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4238402 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20112/tid=20140] ppid=20107 vsize=2013828 CPUtime=377.95 cores=4-31
/proc/20112/task/20140/stat : 20140 (plingeling) R 20107 20107 20081 0 -1 4202560 16521 1237 0 0 37783 11 0 1 25 0 29 0 633213415 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20112/tid=20141] ppid=20107 vsize=2013828 CPUtime=377.89 cores=4-31
/proc/20112/task/20141/stat : 20141 (plingeling) R 20107 20107 20081 0 -1 4202560 13198 1237 0 0 37783 5 0 1 25 0 29 0 633213415 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20112/tid=20142] ppid=20107 vsize=2013828 CPUtime=377.93 cores=4-31
/proc/20112/task/20142/stat : 20142 (plingeling) R 20107 20107 20081 0 -1 4202560 14352 1237 0 0 37779 13 0 1 25 0 29 0 633213415 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4331345 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20112/tid=20143] ppid=20107 vsize=2013828 CPUtime=377.98 cores=4-31
/proc/20112/task/20143/stat : 20143 (plingeling) R 20107 20107 20081 0 -1 4202560 11989 1237 0 0 37788 9 0 1 25 0 29 0 633213415 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20112/tid=20144] ppid=20107 vsize=2013828 CPUtime=378.06 cores=4-31
/proc/20112/task/20144/stat : 20144 (plingeling) R 20107 20107 20081 0 -1 4202560 14318 1237 0 0 37795 10 0 1 25 0 29 0 633213415 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20145] ppid=20107 vsize=2013828 CPUtime=378.01 cores=4-31
/proc/20112/task/20145/stat : 20145 (plingeling) R 20107 20107 20081 0 -1 4202560 13883 1237 0 0 37789 11 0 1 25 0 29 0 633213415 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4237422 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20112/tid=20146] ppid=20107 vsize=2013828 CPUtime=378.24 cores=4-31
/proc/20112/task/20146/stat : 20146 (plingeling) R 20107 20107 20081 0 -1 4202560 12364 1237 0 0 37820 3 0 1 25 0 29 0 633213415 2062159872 370079 268435456000 4194304 4356188 140733272517152 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 12148.9
Current children cumulated vsize (KiB) 3742876
[startup+393.602 s]
/proc/loadavg: 32.32 31.39 31.40 34/448 20159
/proc/meminfo: memFree=253199216/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=239704 CPUtime=393.51 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 92016 0 0 0 39318 33 0 0 25 0 1 0 633212219 245456896 42943 268435456000 4194304 4587354 140733636564400 18446744073709551615 4238593 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 59926 42943 333 96 0 56488 0
[pid=20109] ppid=20107 vsize=163228 CPUtime=393.51 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 43510 0 0 0 39328 23 0 0 25 0 1 0 633212219 167145472 37413 268435456000 4194304 4785740 140733430961024 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 40807 37413 338 145 0 37852 0
[pid=20110] ppid=20107 vsize=523544 CPUtime=393.51 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 25529 0 0 0 39344 7 0 0 25 0 1 0 633212219 536109056 25427 268435456000 134512640 134534564 4287034480 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 130886 25427 95 6 0 129551 0
[pid=20111] ppid=20107 vsize=784248 CPUtime=393.51 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4202496 383997 0 0 0 39259 92 0 0 25 0 1 0 633212219 803069952 139965 268435456000 4194304 4331988 140736554250016 18446744073709551615 4298848 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 196062 139965 173 34 0 194504 0
[pid=20112] ppid=20107 vsize=1880252 CPUtime=10661.9 cores=4-31
/proc/20112/stat : 20112 (plingeling) S 20107 20107 20081 0 -1 4202496 768150 1237 0 0 1065903 287 0 1 15 0 2 0 633212219 1925378048 369872 268435456000 4194304 4356188 140733272517152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/20112/statm: 470063 369872 160 40 0 468607 0
[pid=20112/tid=20135] ppid=20107 vsize=1880252 CPUtime=381.17 cores=4-31
/proc/20112/task/20135/stat : 20135 (plingeling) R 20107 20107 20081 0 -1 4202560 9956 1237 0 0 38107 9 0 1 25 0 2 0 633213413 1925378048 369872 268435456000 4194304 4356188 140733272517152 18446744073709551615 4322248 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 12236
Current children cumulated vsize (KiB) 3609300
[startup+394.402 s]
/proc/loadavg: 30.45 31.01 31.28 6/420 20159
/proc/meminfo: memFree=253229324/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=239704 CPUtime=394.31 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 92060 0 0 0 39398 33 0 0 25 0 1 0 633212219 245456896 42985 268435456000 4194304 4587354 140733636564400 18446744073709551615 4238421 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 59926 42985 333 96 0 56488 0
[pid=20109] ppid=20107 vsize=163228 CPUtime=394.31 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 43510 0 0 0 39408 23 0 0 25 0 1 0 633212219 167145472 37413 268435456000 4194304 4785740 140733430961024 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 40807 37413 338 145 0 37852 0
[pid=20110] ppid=20107 vsize=523544 CPUtime=394.31 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 25529 0 0 0 39424 7 0 0 25 0 1 0 633212219 536109056 25427 268435456000 134512640 134534564 4287034480 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 130886 25427 95 6 0 129551 0
[pid=20111] ppid=20107 vsize=784248 CPUtime=394.31 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4202496 383997 0 0 0 39339 92 0 0 25 0 1 0 633212219 803069952 139965 268435456000 4194304 4331988 140736554250016 18446744073709551615 4210461 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 196062 139965 173 34 0 194504 0
[pid=20112] ppid=20107 vsize=1880252 CPUtime=10662.7 cores=4-31
/proc/20112/stat : 20112 (plingeling) S 20107 20107 20081 0 -1 4202496 768150 1237 0 0 1065983 287 0 1 15 0 2 0 633212219 1925378048 369872 268435456000 4194304 4356188 140733272517152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/20112/statm: 470063 369872 160 40 0 468607 0
[pid=20112/tid=20135] ppid=20107 vsize=1880252 CPUtime=381.97 cores=4-31
/proc/20112/task/20135/stat : 20135 (plingeling) R 20107 20107 20081 0 -1 4202560 9956 1237 0 0 38187 9 0 1 25 0 2 0 633213413 1925378048 369872 268435456000 4194304 4356188 140733272517152 18446744073709551615 4322024 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 12240
Current children cumulated vsize (KiB) 3609300
[startup+395.202 s]
/proc/loadavg: 30.45 31.01 31.28 6/420 20159
/proc/meminfo: memFree=253229512/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=239704 CPUtime=395.11 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 92116 0 0 0 39478 33 0 0 25 0 1 0 633212219 245456896 43033 268435456000 4194304 4587354 140733636564400 18446744073709551615 4236428 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 59926 43033 333 96 0 56488 0
[pid=20109] ppid=20107 vsize=163228 CPUtime=395.11 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 43510 0 0 0 39488 23 0 0 25 0 1 0 633212219 167145472 37413 268435456000 4194304 4785740 140733430961024 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 40807 37413 338 145 0 37852 0
[pid=20110] ppid=20107 vsize=523544 CPUtime=395.11 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 25529 0 0 0 39504 7 0 0 25 0 1 0 633212219 536109056 25427 268435456000 134512640 134534564 4287034480 18446744073709551615 134528875 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 130886 25427 95 6 0 129551 0
[pid=20111] ppid=20107 vsize=784248 CPUtime=395.11 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4202496 383997 0 0 0 39419 92 0 0 25 0 1 0 633212219 803069952 139965 268435456000 4194304 4331988 140736554250016 18446744073709551615 4299294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 196062 139965 173 34 0 194504 0
[pid=20112] ppid=20107 vsize=1880252 CPUtime=10663.5 cores=4-31
/proc/20112/stat : 20112 (plingeling) S 20107 20107 20081 0 -1 4202496 768150 1237 0 0 1066063 287 0 1 15 0 2 0 633212219 1925378048 369872 268435456000 4194304 4356188 140733272517152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/20112/statm: 470063 369872 160 40 0 468607 0
[pid=20112/tid=20135] ppid=20107 vsize=1880252 CPUtime=382.77 cores=4-31
/proc/20112/task/20135/stat : 20135 (plingeling) R 20107 20107 20081 0 -1 4202560 9956 1237 0 0 38267 9 0 1 25 0 2 0 633213413 1925378048 369872 268435456000 4194304 4356188 140733272517152 18446744073709551615 4217427 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 12243.9
Current children cumulated vsize (KiB) 3609300
[startup+395.401 s]
/proc/loadavg: 30.45 31.01 31.28 6/420 20159
/proc/meminfo: memFree=253229512/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=239704 CPUtime=395.3 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 92128 0 0 0 39497 33 0 0 25 0 1 0 633212219 245456896 43043 268435456000 4194304 4587354 140733636564400 18446744073709551615 258650652598 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 59926 43043 333 96 0 56488 0
[pid=20109] ppid=20107 vsize=163228 CPUtime=395.31 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 43510 0 0 0 39508 23 0 0 25 0 1 0 633212219 167145472 37413 268435456000 4194304 4785740 140733430961024 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 40807 37413 338 145 0 37852 0
[pid=20110] ppid=20107 vsize=523544 CPUtime=395.31 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 25529 0 0 0 39524 7 0 0 25 0 1 0 633212219 536109056 25427 268435456000 134512640 134534564 4287034480 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 130886 25427 95 6 0 129551 0
[pid=20111] ppid=20107 vsize=784248 CPUtime=395.31 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4202496 383997 0 0 0 39439 92 0 0 25 0 1 0 633212219 803069952 139965 268435456000 4194304 4331988 140736554250016 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 196062 139965 173 34 0 194504 0
[pid=20112] ppid=20107 vsize=1880252 CPUtime=10663.7 cores=4-31
/proc/20112/stat : 20112 (plingeling) S 20107 20107 20081 0 -1 4202496 768150 1237 0 0 1066083 287 0 1 15 0 2 0 633212219 1925378048 369872 268435456000 4194304 4356188 140733272517152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/20112/statm: 470063 369872 160 40 0 468607 0
[pid=20112/tid=20135] ppid=20107 vsize=1880252 CPUtime=382.97 cores=4-31
/proc/20112/task/20135/stat : 20135 (plingeling) R 20107 20107 20081 0 -1 4202560 9956 1237 0 0 38287 9 0 1 25 0 2 0 633213413 1925378048 369872 268435456000 4194304 4356188 140733272517152 18446744073709551615 4258641 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 12244.9
Current children cumulated vsize (KiB) 3609300
[startup+395.501 s]
/proc/loadavg: 30.45 31.01 31.28 6/420 20159
/proc/meminfo: memFree=253229512/264257624 swapFree=67111528/67111528
[pid=20107] ppid=20105 vsize=18324 CPUtime=0 cores=0-31
/proc/20107/stat : 20107 (ppfolio) S 20105 20107 20081 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633212219 18763776 386 268435456000 4194304 4287625 140736906055040 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 4 0 0 0
/proc/20107/statm: 4581 386 337 23 0 91 0
[pid=20108] ppid=20107 vsize=239704 CPUtime=395.4 cores=0
/proc/20108/stat : 20108 (cryptominisat) R 20107 20107 20081 0 -1 4202496 92135 0 0 0 39507 33 0 0 25 0 1 0 633212219 245456896 43049 268435456000 4194304 4587354 140733636564400 18446744073709551615 4238591 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20108/statm: 59926 43049 333 96 0 56488 0
[pid=20109] ppid=20107 vsize=163228 CPUtime=395.41 cores=1
/proc/20109/stat : 20109 (clasp) R 20107 20107 20081 0 -1 4202496 43510 0 0 0 39518 23 0 0 25 0 1 0 633212219 167145472 37413 268435456000 4194304 4785740 140733430961024 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20109/statm: 40807 37413 338 145 0 37852 0
[pid=20110] ppid=20107 vsize=523544 CPUtime=395.41 cores=2
/proc/20110/stat : 20110 (TNM) R 20107 20107 20081 0 -1 4202496 25529 0 0 0 39534 7 0 0 25 0 1 0 633212219 536109056 25427 268435456000 134512640 134534564 4287034480 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20110/statm: 130886 25427 95 6 0 129551 0
[pid=20111] ppid=20107 vsize=784248 CPUtime=395.41 cores=3
/proc/20111/stat : 20111 (march_hi) R 20107 20107 20081 0 -1 4202496 383997 0 0 0 39449 92 0 0 25 0 1 0 633212219 803069952 139965 268435456000 4194304 4331988 140736554250016 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 196062 139965 173 34 0 194504 0
[pid=20112] ppid=20107 vsize=678776 CPUtime=10663.8 cores=4-31
/proc/20112/stat : 20112 (plingeling) R 20107 20107 20081 0 -1 4202496 768150 1237 0 0 1066087 294 0 1 15 0 1 0 633212219 695066624 93724 268435456000 4194304 4356188 140733272517152 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 16 0 0 0
/proc/20112/statm: 169694 93266 160 40 0 168238 0
Current children cumulated CPU time (s) 12245.5
Current children cumulated vsize (KiB) 2407824
Child status: 0
Real time (s): 395.575
CPU time (s): 12245.7
CPU user time (s): 12241.1
CPU system time (s): 4.63929
CPU usage (%): 3095.68
Max. virtual memory (cumulated for all children) (KiB): 6208108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12241.1
system time used= 4.63929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1315096
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= 1984
involuntary context switches= 30229
runsolver used 2.17867 second user time and 9.01863 second system time
The end
Begin job on node200 at 2011-05-12 18:20:58
IDJOB=3347501
IDBENCH=82494
IDSOLVER=1808
FILE ID=node200/3347501-1305217257
RUNJOBID= node200-1305217257-20095
PBS_JOBID= 13282089
Free space on /tmp= 62032 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/manthey/traffic/traffic_fb_unknown.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347501-1305217257/watcher-3347501-1305217257 -o /tmp/evaluation-result-3347501-1305217257/solver-3347501-1305217257 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347501-1305217257.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 2385047c56f7801a7fd110b2ffe2f293
RANDOM SEED=1226875864
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: 255684960 kB
Buffers: 428536 kB
Cached: 7734964 kB
SwapCached: 0 kB
Active: 7310960 kB
Inactive: 921216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255684960 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 28992 kB
Writeback: 0 kB
AnonPages: 69860 kB
Mapped: 13680 kB
Slab: 249568 kB
PageTables: 4756 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192060 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= 62024 MiB
End job on node200 at 2011-05-12 18:27:34