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
18058.78/566.60 s UNSATISFIABLE
18059.29/566.64 solver [5] plingeling 276-6264d55-100731 answered
18059.29/566.64 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-3347611-1305390091/watcher-3347611-1305390091 -o /tmp/evaluation-result-3347611-1305390091/solver-3347611-1305390091 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347611-1305390091.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: 28.88 29.43 30.74 1/413 31502
/proc/meminfo: memFree=255589048/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
[startup+0.110954 s]
/proc/loadavg: 28.88 29.43 30.74 1/413 31502
/proc/meminfo: memFree=255589048/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200933 s]
/proc/loadavg: 28.88 29.43 30.74 1/413 31502
/proc/meminfo: memFree=255589048/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300978 s]
/proc/loadavg: 28.88 29.43 30.74 1/413 31502
/proc/meminfo: memFree=255589048/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700921 s]
/proc/loadavg: 28.88 29.43 30.74 1/413 31502
/proc/meminfo: memFree=255589048/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50096 s]
/proc/loadavg: 26.97 29.02 30.61 6/419 31513
/proc/meminfo: memFree=255418236/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
[pid=31503] ppid=31502 vsize=31600 CPUtime=1.48 cores=0
/proc/31503/stat : 31503 (cryptominisat) R 31502 31502 31340 0 -1 4202496 3164 0 0 0 147 1 0 0 23 0 1 0 650495557 32358400 2987 268435456000 4194304 4587354 140735132953600 18446744073709551615 4238525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31503/statm: 7900 2987 304 96 0 4462 0
[pid=31504] ppid=31502 vsize=25868 CPUtime=1.48 cores=1
/proc/31504/stat : 31504 (clasp) R 31502 31502 31340 0 -1 4202496 4408 0 0 0 147 1 0 0 20 0 1 0 650495557 26488832 3768 268435456000 4194304 4785740 140735972220992 18446744073709551615 4553302 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31504/statm: 6467 3768 339 145 0 3512 0
[pid=31505] ppid=31502 vsize=460184 CPUtime=1.48 cores=2
/proc/31505/stat : 31505 (TNM) R 31502 31502 31340 0 -1 4202496 2693 0 0 0 147 1 0 0 20 0 1 0 650495557 471228416 2591 268435456000 134512640 134534564 4291435040 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31505/statm: 115046 2591 91 6 0 113711 0
[pid=31506] ppid=31502 vsize=65460 CPUtime=1.48 cores=3
/proc/31506/stat : 31506 (march_hi) R 31502 31502 31340 0 -1 4202496 24266 0 0 0 142 6 0 0 20 0 1 0 650495557 67031040 13993 268435456000 4194304 4331988 140734856560960 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31506/statm: 16365 13994 149 34 0 14807 0
[pid=31507] ppid=31502 vsize=194440 CPUtime=1.49 cores=4-31
/proc/31507/stat : 31507 (plingeling) R 31502 31502 31340 0 -1 4202496 47427 1238 0 0 137 11 0 1 21 0 1 0 650495557 199106560 47253 268435456000 4194304 4356188 140734035569568 18446744073709551615 4273623 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/31507/statm: 48610 47253 129 40 0 47154 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 795876
[startup+3.10197 s]
/proc/loadavg: 26.97 29.02 30.61 33/447 31541
/proc/meminfo: memFree=255137564/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
[pid=31503] ppid=31502 vsize=47404 CPUtime=3.09 cores=0
/proc/31503/stat : 31503 (cryptominisat) R 31502 31502 31340 0 -1 4202496 9272 0 0 0 307 2 0 0 25 0 1 0 650495557 48541696 6873 268435456000 4194304 4587354 140735132953600 18446744073709551615 4238763 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31503/statm: 11851 6874 324 96 0 8413 0
[pid=31504] ppid=31502 vsize=30896 CPUtime=3.08 cores=1
/proc/31504/stat : 31504 (clasp) R 31502 31502 31340 0 -1 4202496 5615 0 0 0 306 2 0 0 25 0 1 0 650495557 31637504 4975 268435456000 4194304 4785740 140735972220992 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31504/statm: 7724 4975 339 145 0 4769 0
[pid=31505] ppid=31502 vsize=460184 CPUtime=3.08 cores=2
/proc/31505/stat : 31505 (TNM) R 31502 31502 31340 0 -1 4202496 2693 0 0 0 307 1 0 0 25 0 1 0 650495557 471228416 2591 268435456000 134512640 134534564 4291435040 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31505/statm: 115046 2591 91 6 0 113711 0
[pid=31506] ppid=31502 vsize=154464 CPUtime=3.09 cores=3
/proc/31506/stat : 31506 (march_hi) R 31502 31502 31340 0 -1 4202496 41832 0 0 0 297 12 0 0 25 0 1 0 650495557 158171136 31559 268435456000 4194304 4331988 140734856560960 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31506/statm: 38616 31559 149 34 0 37058 0
[pid=31507] ppid=31502 vsize=828388 CPUtime=42.04 cores=4-31
/proc/31507/stat : 31507 (plingeling) S 31502 31502 31340 0 -1 4202496 97837 1238 0 0 4069 134 0 1 19 0 29 0 650495557 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/31507/statm: 207097 86381 158 40 0 205641 0
[pid=31507/tid=31514] ppid=31502 vsize=828388 CPUtime=1.42 cores=4-31
/proc/31507/task/31514/stat : 31514 (plingeling) R 31502 31502 31340 0 -1 4202560 1917 1238 0 0 137 4 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31507/tid=31515] ppid=31502 vsize=828388 CPUtime=1.39 cores=4-31
/proc/31507/task/31515/stat : 31515 (plingeling) R 31502 31502 31340 0 -1 4202560 1757 1238 0 0 133 5 0 1 18 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270898 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31507/tid=31516] ppid=31502 vsize=828388 CPUtime=1.49 cores=4-31
/proc/31507/task/31516/stat : 31516 (plingeling) R 31502 31502 31340 0 -1 4202560 1863 1238 0 0 144 4 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4210619 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31507/tid=31517] ppid=31502 vsize=828388 CPUtime=1.47 cores=4-31
/proc/31507/task/31517/stat : 31517 (plingeling) R 31502 31502 31340 0 -1 4202560 1927 1238 0 0 143 3 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31507/tid=31518] ppid=31502 vsize=828388 CPUtime=1.46 cores=4-31
/proc/31507/task/31518/stat : 31518 (plingeling) R 31502 31502 31340 0 -1 4202560 1787 1238 0 0 142 3 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31507/tid=31519] ppid=31502 vsize=828388 CPUtime=1.42 cores=4-31
/proc/31507/task/31519/stat : 31519 (plingeling) R 31502 31502 31340 0 -1 4202560 1722 1238 0 0 137 4 0 1 18 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31507/tid=31520] ppid=31502 vsize=828388 CPUtime=1.43 cores=4-31
/proc/31507/task/31520/stat : 31520 (plingeling) R 31502 31502 31340 0 -1 4202560 1854 1238 0 0 138 4 0 1 21 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270898 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31507/tid=31521] ppid=31502 vsize=828388 CPUtime=1.42 cores=4-31
/proc/31507/task/31521/stat : 31521 (plingeling) R 31502 31502 31340 0 -1 4202560 1760 1238 0 0 138 3 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4310864 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31507/tid=31522] ppid=31502 vsize=828388 CPUtime=1.39 cores=4-31
/proc/31507/task/31522/stat : 31522 (plingeling) R 31502 31502 31340 0 -1 4202560 1886 1238 0 0 132 6 0 1 18 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4271346 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31507/tid=31523] ppid=31502 vsize=828388 CPUtime=1.4 cores=4-31
/proc/31507/task/31523/stat : 31523 (plingeling) R 31502 31502 31340 0 -1 4202560 1756 1238 0 0 134 5 0 1 21 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31507/tid=31524] ppid=31502 vsize=828388 CPUtime=1.45 cores=4-31
/proc/31507/task/31524/stat : 31524 (plingeling) R 31502 31502 31340 0 -1 4202560 1931 1238 0 0 140 4 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31507/tid=31525] ppid=31502 vsize=828388 CPUtime=1.45 cores=4-31
/proc/31507/task/31525/stat : 31525 (plingeling) R 31502 31502 31340 0 -1 4202560 1985 1238 0 0 141 3 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31507/tid=31526] ppid=31502 vsize=828388 CPUtime=1.45 cores=4-31
/proc/31507/task/31526/stat : 31526 (plingeling) R 31502 31502 31340 0 -1 4202560 1732 1238 0 0 141 3 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4208819 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31507/tid=31527] ppid=31502 vsize=828388 CPUtime=1.45 cores=4-31
/proc/31507/task/31527/stat : 31527 (plingeling) R 31502 31502 31340 0 -1 4202560 1816 1238 0 0 141 3 0 1 19 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270728 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31507/tid=31528] ppid=31502 vsize=828388 CPUtime=1.46 cores=4-31
/proc/31507/task/31528/stat : 31528 (plingeling) R 31502 31502 31340 0 -1 4202560 1759 1238 0 0 141 4 0 1 25 0 29 0 650495712 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4271332 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31507/tid=31529] ppid=31502 vsize=828388 CPUtime=1.41 cores=4-31
/proc/31507/task/31529/stat : 31529 (plingeling) R 31502 31502 31340 0 -1 4202560 1812 1238 0 0 135 5 0 1 18 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31507/tid=31530] ppid=31502 vsize=828388 CPUtime=1.43 cores=4-31
/proc/31507/task/31530/stat : 31530 (plingeling) R 31502 31502 31340 0 -1 4202560 1791 1238 0 0 138 4 0 1 19 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31507/tid=31531] ppid=31502 vsize=828388 CPUtime=1.44 cores=4-31
/proc/31507/task/31531/stat : 31531 (plingeling) R 31502 31502 31340 0 -1 4202560 1847 1238 0 0 138 5 0 1 19 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31507/tid=31532] ppid=31502 vsize=828388 CPUtime=1.44 cores=4-31
/proc/31507/task/31532/stat : 31532 (plingeling) R 31502 31502 31340 0 -1 4202560 1740 1238 0 0 140 3 0 1 19 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270898 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31507/tid=31533] ppid=31502 vsize=828388 CPUtime=1.42 cores=4-31
/proc/31507/task/31533/stat : 31533 (plingeling) R 31502 31502 31340 0 -1 4202560 2015 1238 0 0 137 4 0 1 18 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31507/tid=31534] ppid=31502 vsize=828388 CPUtime=1.46 cores=4-31
/proc/31507/task/31534/stat : 31534 (plingeling) R 31502 31502 31340 0 -1 4202560 1768 1238 0 0 140 5 0 1 19 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270889 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31507/tid=31535] ppid=31502 vsize=828388 CPUtime=1.51 cores=4-31
/proc/31507/task/31535/stat : 31535 (plingeling) R 31502 31502 31340 0 -1 4202560 1754 1238 0 0 146 4 0 1 19 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31507/tid=31536] ppid=31502 vsize=828388 CPUtime=1.5 cores=4-31
/proc/31507/task/31536/stat : 31536 (plingeling) R 31502 31502 31340 0 -1 4202560 1869 1238 0 0 145 4 0 1 22 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4211178 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31507/tid=31537] ppid=31502 vsize=828388 CPUtime=1.5 cores=4-31
/proc/31507/task/31537/stat : 31537 (plingeling) R 31502 31502 31340 0 -1 4202560 1880 1238 0 0 146 3 0 1 18 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31507/tid=31538] ppid=31502 vsize=828388 CPUtime=1.51 cores=4-31
/proc/31507/task/31538/stat : 31538 (plingeling) R 31502 31502 31340 0 -1 4202560 867 1238 0 0 149 1 0 1 23 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31507/tid=31539] ppid=31502 vsize=828388 CPUtime=1.51 cores=4-31
/proc/31507/task/31539/stat : 31539 (plingeling) R 31502 31502 31340 0 -1 4202560 1788 1238 0 0 147 3 0 1 19 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31507/tid=31540] ppid=31502 vsize=828388 CPUtime=1.4 cores=4-31
/proc/31507/task/31540/stat : 31540 (plingeling) R 31502 31502 31340 0 -1 4202560 1806 1238 0 0 133 6 0 1 18 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4270769 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31507/tid=31541] ppid=31502 vsize=828388 CPUtime=1.4 cores=4-31
/proc/31507/task/31541/stat : 31541 (plingeling) R 31502 31502 31340 0 -1 4202560 1985 1238 0 0 135 4 0 1 18 0 29 0 650495713 848269312 86381 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 54.38
Current children cumulated vsize (KiB) 1539660
[startup+6.30209 s]
/proc/loadavg: 26.97 29.02 30.61 33/447 31541
/proc/meminfo: memFree=255005804/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
[pid=31503] ppid=31502 vsize=57260 CPUtime=6.29 cores=0
/proc/31503/stat : 31503 (cryptominisat) R 31502 31502 31340 0 -1 4202496 12678 0 0 0 626 3 0 0 25 0 1 0 650495557 58634240 8697 268435456000 4194304 4587354 140735132953600 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31503/statm: 14315 8697 335 96 0 10877 0
[pid=31504] ppid=31502 vsize=35680 CPUtime=6.28 cores=1
/proc/31504/stat : 31504 (clasp) R 31502 31502 31340 0 -1 4202496 6815 0 0 0 626 2 0 0 25 0 1 0 650495557 36536320 6175 268435456000 4194304 4785740 140735972220992 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31504/statm: 8920 6175 339 145 0 5965 0
[pid=31505] ppid=31502 vsize=460184 CPUtime=6.28 cores=2
/proc/31505/stat : 31505 (TNM) R 31502 31502 31340 0 -1 4202496 2693 0 0 0 627 1 0 0 25 0 1 0 650495557 471228416 2591 268435456000 134512640 134534564 4291435040 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31505/statm: 115046 2591 91 6 0 113711 0
[pid=31506] ppid=31502 vsize=304860 CPUtime=6.29 cores=3
/proc/31506/stat : 31506 (march_hi) R 31502 31502 31340 0 -1 4202496 75148 0 0 0 609 20 0 0 25 0 1 0 650495557 312176640 64875 268435456000 4194304 4331988 140734856560960 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31506/statm: 76215 64875 149 34 0 74657 0
[pid=31507] ppid=31502 vsize=773724 CPUtime=131.51 cores=4-31
/proc/31507/stat : 31507 (plingeling) S 31502 31502 31340 0 -1 4202496 121271 1238 0 0 13010 140 0 1 19 0 29 0 650495557 792293376 74222 268435456000 4194304 4356188 140734035569568 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/31507/statm: 193431 74222 158 40 0 191975 0
[pid=31507/tid=31514] ppid=31502 vsize=773724 CPUtime=4.61 cores=4-31
/proc/31507/task/31514/stat : 31514 (plingeling) R 31502 31502 31340 0 -1 4202560 2383 1238 0 0 456 4 0 1 25 0 29 0 650495712 792293376 74222 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31507/tid=31515] ppid=31502 vsize=773724 CPUtime=4.59 cores=4-31
/proc/31507/task/31515/stat : 31515 (plingeling) R 31502 31502 31340 0 -1 4202560 2473 1238 0 0 453 5 0 1 25 0 29 0 650495712 792293376 74222 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330867 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31507/tid=31516] ppid=31502 vsize=773724 CPUtime=4.69 cores=4-31
/proc/31507/task/31516/stat : 31516 (plingeling) R 31502 31502 31340 0 -1 4202560 3630 1238 0 0 464 4 0 1 25 0 29 0 650495712 792293376 74222 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31507/tid=31517] ppid=31502 vsize=773724 CPUtime=4.58 cores=4-31
/proc/31507/task/31517/stat : 31517 (plingeling) R 31502 31502 31340 0 -1 4202560 2407 1238 0 0 454 3 0 1 25 0 29 0 650495712 792293376 74222 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31507/tid=31518] ppid=31502 vsize=773724 CPUtime=4.66 cores=4-31
/proc/31507/task/31518/stat : 31518 (plingeling) R 31502 31502 31340 0 -1 4202560 2385 1238 0 0 462 3 0 1 25 0 29 0 650495712 792293376 74222 268435456000 4194304 4356188 140734035569568 18446744073709551615 4234251 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31507/tid=31519] ppid=31502 vsize=773724 CPUtime=4.61 cores=4-31
################
# More data... #
################
[pid=31507/tid=31531] ppid=31502 vsize=1309780 CPUtime=563.02 cores=4-31
/proc/31507/task/31531/stat : 31531 (plingeling) R 31502 31502 31340 0 -1 4202560 61919 1238 0 0 56258 43 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31507/tid=31532] ppid=31502 vsize=1309780 CPUtime=562.94 cores=4-31
/proc/31507/task/31532/stat : 31532 (plingeling) R 31502 31502 31340 0 -1 4202560 60726 1238 0 0 56257 36 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31507/tid=31533] ppid=31502 vsize=1309780 CPUtime=562.96 cores=4-31
/proc/31507/task/31533/stat : 31533 (plingeling) R 31502 31502 31340 0 -1 4202560 66620 1238 0 0 56256 39 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31507/tid=31534] ppid=31502 vsize=1309780 CPUtime=563.02 cores=4-31
/proc/31507/task/31534/stat : 31534 (plingeling) R 31502 31502 31340 0 -1 4202560 58694 1238 0 0 56268 33 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4234306 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31507/tid=31535] ppid=31502 vsize=1309780 CPUtime=563.08 cores=4-31
/proc/31507/task/31535/stat : 31535 (plingeling) R 31502 31502 31340 0 -1 4202560 60853 1238 0 0 56255 52 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31507/tid=31536] ppid=31502 vsize=1309780 CPUtime=550.68 cores=4-31
/proc/31507/task/31536/stat : 31536 (plingeling) R 31502 31502 31340 0 -1 4202560 58162 1238 0 0 55021 46 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4281677 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31507/tid=31537] ppid=31502 vsize=1309780 CPUtime=562.27 cores=4-31
/proc/31507/task/31537/stat : 31537 (plingeling) R 31502 31502 31340 0 -1 4202560 42647 1238 0 0 56166 60 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31507/tid=31538] ppid=31502 vsize=1309780 CPUtime=563.09 cores=4-31
/proc/31507/task/31538/stat : 31538 (plingeling) R 31502 31502 31340 0 -1 4202560 59104 1238 0 0 56276 32 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31507/tid=31539] ppid=31502 vsize=1309780 CPUtime=563.08 cores=4-31
/proc/31507/task/31539/stat : 31539 (plingeling) R 31502 31502 31340 0 -1 4202560 62100 1238 0 0 56265 42 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31507/tid=31540] ppid=31502 vsize=1309780 CPUtime=562.97 cores=4-31
/proc/31507/task/31540/stat : 31540 (plingeling) R 31502 31502 31340 0 -1 4202560 64040 1238 0 0 56234 62 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31507/tid=31541] ppid=31502 vsize=1309780 CPUtime=562.69 cores=4-31
/proc/31507/task/31541/stat : 31541 (plingeling) R 31502 31502 31340 0 -1 4202560 58403 1238 0 0 56225 43 0 1 25 0 29 0 650495713 1341214720 207489 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 18006.9
Current children cumulated vsize (KiB) 3264764
[startup+565.602 s]
/proc/loadavg: 32.02 31.61 31.26 33/447 31558
/proc/meminfo: memFree=254115812/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
[pid=31503] ppid=31502 vsize=746040 CPUtime=565.07 cores=0
/proc/31503/stat : 31503 (cryptominisat) R 31502 31502 31340 0 -1 4202496 156785 0 0 0 56441 66 0 0 25 0 1 0 650495557 763944960 14978 268435456000 4194304 4587354 140735132953600 18446744073709551615 4238752 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31503/statm: 186510 14978 335 96 0 183072 0
[pid=31504] ppid=31502 vsize=86564 CPUtime=565.47 cores=1
/proc/31504/stat : 31504 (clasp) R 31502 31502 31340 0 -1 4202496 18856 0 0 0 56539 8 0 0 25 0 1 0 650495557 88641536 18216 268435456000 4194304 4785740 140735972220992 18446744073709551615 4287011 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31504/statm: 21641 18216 339 145 0 18686 0
[pid=31505] ppid=31502 vsize=460976 CPUtime=565.48 cores=2
/proc/31505/stat : 31505 (TNM) R 31502 31502 31340 0 -1 4202496 3489 0 0 0 56547 1 0 0 25 0 1 0 650495557 472039424 3387 268435456000 134512640 134534564 4291435040 18446744073709551615 134528719 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31505/statm: 115244 3387 95 6 0 113909 0
[pid=31506] ppid=31502 vsize=643080 CPUtime=565.48 cores=3
/proc/31506/stat : 31506 (march_hi) R 31502 31502 31340 0 -1 4202496 240179 0 0 0 56489 59 0 0 25 0 1 0 650495557 658513920 127409 268435456000 4194304 4331988 140734856560960 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31506/statm: 160770 127409 174 34 0 159212 0
[pid=31507] ppid=31502 vsize=1309772 CPUtime=15771 cores=4-31
/proc/31507/stat : 31507 (plingeling) S 31502 31502 31340 0 -1 4202496 1658176 1238 0 0 1575900 1197 0 1 19 0 29 0 650495557 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/31507/statm: 327443 207487 158 40 0 325987 0
[pid=31507/tid=31514] ppid=31502 vsize=1309772 CPUtime=563.78 cores=4-31
/proc/31507/task/31514/stat : 31514 (plingeling) R 31502 31502 31340 0 -1 4202560 57582 1238 0 0 56344 33 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31507/tid=31515] ppid=31502 vsize=1309772 CPUtime=563.54 cores=4-31
/proc/31507/task/31515/stat : 31515 (plingeling) R 31502 31502 31340 0 -1 4202560 63594 1238 0 0 56305 48 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31507/tid=31516] ppid=31502 vsize=1309772 CPUtime=563.87 cores=4-31
/proc/31507/task/31516/stat : 31516 (plingeling) R 31502 31502 31340 0 -1 4202560 63074 1238 0 0 56337 49 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31507/tid=31517] ppid=31502 vsize=1309772 CPUtime=563.31 cores=4-31
/proc/31507/task/31517/stat : 31517 (plingeling) R 31502 31502 31340 0 -1 4202560 57424 1238 0 0 56297 33 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31507/tid=31518] ppid=31502 vsize=1309772 CPUtime=563.82 cores=4-31
/proc/31507/task/31518/stat : 31518 (plingeling) R 31502 31502 31340 0 -1 4202560 52140 1238 0 0 56344 37 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31507/tid=31519] ppid=31502 vsize=1309772 CPUtime=563.8 cores=4-31
/proc/31507/task/31519/stat : 31519 (plingeling) R 31502 31502 31340 0 -1 4202560 54513 1238 0 0 56343 36 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31507/tid=31520] ppid=31502 vsize=1309772 CPUtime=563.79 cores=4-31
/proc/31507/task/31520/stat : 31520 (plingeling) R 31502 31502 31340 0 -1 4202560 55949 1238 0 0 56342 36 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31507/tid=31521] ppid=31502 vsize=1309772 CPUtime=563.81 cores=4-31
/proc/31507/task/31521/stat : 31521 (plingeling) R 31502 31502 31340 0 -1 4202560 39838 1238 0 0 56325 55 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31507/tid=31522] ppid=31502 vsize=1309772 CPUtime=563.03 cores=4-31
/proc/31507/task/31522/stat : 31522 (plingeling) R 31502 31502 31340 0 -1 4202560 55126 1238 0 0 56265 37 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331738 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31507/tid=31523] ppid=31502 vsize=1309772 CPUtime=563.76 cores=4-31
/proc/31507/task/31523/stat : 31523 (plingeling) R 31502 31502 31340 0 -1 4202560 52536 1238 0 0 56336 39 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31507/tid=31524] ppid=31502 vsize=1309772 CPUtime=562.82 cores=4-31
/proc/31507/task/31524/stat : 31524 (plingeling) R 31502 31502 31340 0 -1 4202560 65422 1238 0 0 56238 43 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31507/tid=31525] ppid=31502 vsize=1309772 CPUtime=563.84 cores=4-31
/proc/31507/task/31525/stat : 31525 (plingeling) R 31502 31502 31340 0 -1 4202560 64229 1238 0 0 56340 43 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31507/tid=31526] ppid=31502 vsize=1309772 CPUtime=562.51 cores=4-31
/proc/31507/task/31526/stat : 31526 (plingeling) R 31502 31502 31340 0 -1 4202560 57036 1238 0 0 56221 29 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31507/tid=31527] ppid=31502 vsize=1309772 CPUtime=563.82 cores=4-31
/proc/31507/task/31527/stat : 31527 (plingeling) R 31502 31502 31340 0 -1 4202560 60610 1238 0 0 56340 41 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31507/tid=31528] ppid=31502 vsize=1309772 CPUtime=563.8 cores=4-31
/proc/31507/task/31528/stat : 31528 (plingeling) R 31502 31502 31340 0 -1 4202560 62707 1238 0 0 56341 38 0 1 25 0 29 0 650495712 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31507/tid=31529] ppid=31502 vsize=1309772 CPUtime=563.76 cores=4-31
/proc/31507/task/31529/stat : 31529 (plingeling) R 31502 31502 31340 0 -1 4202560 36397 1238 0 0 56330 45 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31507/tid=31530] ppid=31502 vsize=1309772 CPUtime=563.81 cores=4-31
/proc/31507/task/31530/stat : 31530 (plingeling) R 31502 31502 31340 0 -1 4202560 59268 1238 0 0 56337 43 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31507/tid=31531] ppid=31502 vsize=1309772 CPUtime=563.82 cores=4-31
/proc/31507/task/31531/stat : 31531 (plingeling) R 31502 31502 31340 0 -1 4202560 61919 1238 0 0 56338 43 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4280864 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31507/tid=31532] ppid=31502 vsize=1309772 CPUtime=563.74 cores=4-31
/proc/31507/task/31532/stat : 31532 (plingeling) R 31502 31502 31340 0 -1 4202560 60726 1238 0 0 56337 36 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4332136 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31507/tid=31533] ppid=31502 vsize=1309772 CPUtime=563.76 cores=4-31
/proc/31507/task/31533/stat : 31533 (plingeling) R 31502 31502 31340 0 -1 4202560 66620 1238 0 0 56336 39 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31507/tid=31534] ppid=31502 vsize=1309772 CPUtime=563.82 cores=4-31
/proc/31507/task/31534/stat : 31534 (plingeling) R 31502 31502 31340 0 -1 4202560 58694 1238 0 0 56348 33 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31507/tid=31535] ppid=31502 vsize=1309772 CPUtime=563.88 cores=4-31
/proc/31507/task/31535/stat : 31535 (plingeling) R 31502 31502 31340 0 -1 4202560 60853 1238 0 0 56335 52 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31507/tid=31536] ppid=31502 vsize=1309772 CPUtime=551.45 cores=4-31
/proc/31507/task/31536/stat : 31536 (plingeling) R 31502 31502 31340 0 -1 4202560 58162 1238 0 0 55098 46 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31507/tid=31537] ppid=31502 vsize=1309772 CPUtime=563.07 cores=4-31
/proc/31507/task/31537/stat : 31537 (plingeling) R 31502 31502 31340 0 -1 4202560 42647 1238 0 0 56246 60 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31507/tid=31538] ppid=31502 vsize=1309772 CPUtime=563.89 cores=4-31
/proc/31507/task/31538/stat : 31538 (plingeling) R 31502 31502 31340 0 -1 4202560 59104 1238 0 0 56356 32 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31507/tid=31539] ppid=31502 vsize=1309772 CPUtime=563.88 cores=4-31
/proc/31507/task/31539/stat : 31539 (plingeling) R 31502 31502 31340 0 -1 4202560 62100 1238 0 0 56345 42 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31507/tid=31540] ppid=31502 vsize=1309772 CPUtime=563.77 cores=4-31
/proc/31507/task/31540/stat : 31540 (plingeling) R 31502 31502 31340 0 -1 4202560 64040 1238 0 0 56314 62 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31507/tid=31541] ppid=31502 vsize=1309772 CPUtime=563.49 cores=4-31
/proc/31507/task/31541/stat : 31541 (plingeling) R 31502 31502 31340 0 -1 4202560 58403 1238 0 0 56305 43 0 1 25 0 29 0 650495713 1341206528 207487 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 18032.5
Current children cumulated vsize (KiB) 3264756
[startup+566.402 s]
/proc/loadavg: 32.02 31.61 31.26 33/447 31558
/proc/meminfo: memFree=254115812/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=0 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 650495556 18763776 385 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9199596614027575295 0 0 17 24 0 0 0
/proc/31502/statm: 4581 385 337 23 0 91 0
[pid=31503] ppid=31502 vsize=746040 CPUtime=565.86 cores=0
/proc/31503/stat : 31503 (cryptominisat) R 31502 31502 31340 0 -1 4202496 156845 0 0 0 56520 66 0 0 25 0 1 0 650495557 763944960 15037 268435456000 4194304 4587354 140735132953600 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31503/statm: 186510 15037 335 96 0 183072 0
[pid=31504] ppid=31502 vsize=86564 CPUtime=566.27 cores=1
/proc/31504/stat : 31504 (clasp) R 31502 31502 31340 0 -1 4202496 18856 0 0 0 56619 8 0 0 25 0 1 0 650495557 88641536 18216 268435456000 4194304 4785740 140735972220992 18446744073709551615 4553071 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31504/statm: 21641 18216 339 145 0 18686 0
[pid=31505] ppid=31502 vsize=460976 CPUtime=566.28 cores=2
/proc/31505/stat : 31505 (TNM) R 31502 31502 31340 0 -1 4202496 3489 0 0 0 56627 1 0 0 25 0 1 0 650495557 472039424 3387 268435456000 134512640 134534564 4291435040 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31505/statm: 115244 3387 95 6 0 113909 0
[pid=31506] ppid=31502 vsize=643080 CPUtime=566.28 cores=3
/proc/31506/stat : 31506 (march_hi) R 31502 31502 31340 0 -1 4202496 240179 0 0 0 56569 59 0 0 25 0 1 0 650495557 658513920 127409 268435456000 4194304 4331988 140734856560960 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31506/statm: 160770 127409 174 34 0 159212 0
[pid=31507] ppid=31502 vsize=1301708 CPUtime=15793.2 cores=4-31
/proc/31507/stat : 31507 (plingeling) S 31502 31502 31340 0 -1 4202496 1658209 1238 0 0 1578123 1197 0 1 18 0 16 0 650495557 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/31507/statm: 325427 205472 159 40 0 323971 0
[pid=31507/tid=31515] ppid=31502 vsize=1301708 CPUtime=564.34 cores=4-31
/proc/31507/task/31515/stat : 31515 (plingeling) R 31502 31502 31340 0 -1 4202560 63594 1238 0 0 56385 48 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31507/tid=31518] ppid=31502 vsize=1301708 CPUtime=564.62 cores=4-31
/proc/31507/task/31518/stat : 31518 (plingeling) R 31502 31502 31340 0 -1 4202560 52140 1238 0 0 56424 37 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331212 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31507/tid=31519] ppid=31502 vsize=1301708 CPUtime=564.6 cores=4-31
/proc/31507/task/31519/stat : 31519 (plingeling) R 31502 31502 31340 0 -1 4202560 54513 1238 0 0 56423 36 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31507/tid=31520] ppid=31502 vsize=1301708 CPUtime=564.59 cores=4-31
/proc/31507/task/31520/stat : 31520 (plingeling) R 31502 31502 31340 0 -1 4202560 55949 1238 0 0 56422 36 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331281 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31507/tid=31521] ppid=31502 vsize=1301708 CPUtime=564.61 cores=4-31
/proc/31507/task/31521/stat : 31521 (plingeling) R 31502 31502 31340 0 -1 4202560 39838 1238 0 0 56405 55 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31507/tid=31522] ppid=31502 vsize=1301708 CPUtime=563.83 cores=4-31
/proc/31507/task/31522/stat : 31522 (plingeling) R 31502 31502 31340 0 -1 4202560 55126 1238 0 0 56345 37 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31507/tid=31523] ppid=31502 vsize=1301708 CPUtime=564.56 cores=4-31
/proc/31507/task/31523/stat : 31523 (plingeling) R 31502 31502 31340 0 -1 4202560 52536 1238 0 0 56416 39 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31507/tid=31526] ppid=31502 vsize=1301708 CPUtime=563.31 cores=4-31
/proc/31507/task/31526/stat : 31526 (plingeling) R 31502 31502 31340 0 -1 4202560 57036 1238 0 0 56301 29 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31507/tid=31527] ppid=31502 vsize=1301708 CPUtime=564.62 cores=4-31
/proc/31507/task/31527/stat : 31527 (plingeling) R 31502 31502 31340 0 -1 4202560 60610 1238 0 0 56420 41 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31507/tid=31528] ppid=31502 vsize=1301708 CPUtime=564.6 cores=4-31
/proc/31507/task/31528/stat : 31528 (plingeling) R 31502 31502 31340 0 -1 4202560 62707 1238 0 0 56421 38 0 1 25 0 16 0 650495712 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31507/tid=31529] ppid=31502 vsize=1301708 CPUtime=564.56 cores=4-31
/proc/31507/task/31529/stat : 31529 (plingeling) R 31502 31502 31340 0 -1 4202560 36397 1238 0 0 56410 45 0 1 25 0 16 0 650495713 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31507/tid=31534] ppid=31502 vsize=1301708 CPUtime=564.62 cores=4-31
/proc/31507/task/31534/stat : 31534 (plingeling) R 31502 31502 31340 0 -1 4202560 58694 1238 0 0 56428 33 0 1 25 0 16 0 650495713 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31507/tid=31536] ppid=31502 vsize=1301708 CPUtime=552.24 cores=4-31
/proc/31507/task/31536/stat : 31536 (plingeling) R 31502 31502 31340 0 -1 4202560 58162 1238 0 0 55177 46 0 1 25 0 16 0 650495713 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31507/tid=31539] ppid=31502 vsize=1301708 CPUtime=564.68 cores=4-31
/proc/31507/task/31539/stat : 31539 (plingeling) R 31502 31502 31340 0 -1 4202560 62100 1238 0 0 56425 42 0 1 25 0 16 0 650495713 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31507/tid=31540] ppid=31502 vsize=1301708 CPUtime=564.56 cores=4-31
/proc/31507/task/31540/stat : 31540 (plingeling) R 31502 31502 31340 0 -1 4202560 64072 1238 0 0 56393 62 0 1 25 0 16 0 650495713 1332948992 205472 268435456000 4194304 4356188 140734035569568 18446744073709551615 4261967 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 18057.9
Current children cumulated vsize (KiB) 3256692
[startup+566.62 s]
/proc/loadavg: 32.02 31.62 31.27 6/420 31558
/proc/meminfo: memFree=254123948/264257624 swapFree=67111528/67111528
[pid=31502] ppid=31500 vsize=18324 CPUtime=17492.8 cores=0-31
/proc/31502/stat : 31502 (ppfolio) S 31500 31502 31340 0 -1 4202496 512 1838644 0 0 0 0 1747993 1286 15 0 1 0 650495556 18763776 386 268435456000 4194304 4287625 140733913668256 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 24 0 0 0
/proc/31502/statm: 4581 386 338 23 0 91 0
[pid=31506] ppid=31502 vsize=0 CPUtime=566.5 cores=3
/proc/31506/stat : 31506 (march_hi) R 31502 31502 31340 0 -1 4203524 240179 0 0 0 56589 61 0 0 25 0 1 0 650495557 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/31506/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 18059.3
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 566.644
CPU time (s): 18059.3
CPU user time (s): 18045.8
CPU system time (s): 13.5049
CPU usage (%): 3187.07
Max. virtual memory (cumulated for all children) (KiB): 6246428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18045.8
system time used= 13.5049
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2079354
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= 2740
involuntary context switches= 43151
runsolver used 3.34749 second user time and 12.6691 second system time
The end
Begin job on node200 at 2011-05-14 18:21:31
IDJOB=3347611
IDBENCH=83451
IDSOLVER=1808
FILE ID=node200/3347611-1305390091
RUNJOBID= node200-1305389859-31354
PBS_JOBID= 13285491
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347611-1305390091/watcher-3347611-1305390091 -o /tmp/evaluation-result-3347611-1305390091/solver-3347611-1305390091 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347611-1305390091.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=252603774
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: 255589576 kB
Buffers: 437060 kB
Cached: 7819868 kB
SwapCached: 0 kB
Active: 7385360 kB
Inactive: 940520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255589576 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12472 kB
Writeback: 0 kB
AnonPages: 70208 kB
Mapped: 15232 kB
Slab: 249940 kB
PageTables: 4636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184284 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-14 18:30:58