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
1527.31/51.97 s UNSATISFIABLE
1529.68/52.04 solver [1] cryptominisat 2.7.1 answered
1529.68/52.04 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-3347475-1305199382/watcher-3347475-1305199382 -o /tmp/evaluation-result-3347475-1305199382/solver-3347475-1305199382 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347475-1305199382.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: 25.09 27.79 30.11 1/413 17842
/proc/meminfo: memFree=255714904/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 8 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
[startup+0.0728939 s]
/proc/loadavg: 25.09 27.79 30.11 1/413 17842
/proc/meminfo: memFree=255714904/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 8 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100906 s]
/proc/loadavg: 25.09 27.79 30.11 1/413 17842
/proc/meminfo: memFree=255714904/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 8 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300908 s]
/proc/loadavg: 25.09 27.79 30.11 1/413 17842
/proc/meminfo: memFree=255714904/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 19 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 8 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700934 s]
/proc/loadavg: 25.09 27.79 30.11 1/413 17842
/proc/meminfo: memFree=255714904/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 19 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 8 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50093 s]
/proc/loadavg: 25.09 27.79 30.11 6/419 17853
/proc/meminfo: memFree=255486932/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 8 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
[pid=17843] ppid=17842 vsize=76972 CPUtime=1.48 cores=0
/proc/17843/stat : 17843 (cryptominisat) R 17842 17842 17417 0 -1 4202496 13951 0 0 0 145 3 0 0 20 0 1 0 631424643 78819328 13673 268435456000 4194304 4587354 140737318859568 18446744073709551615 4367402 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17843/statm: 19243 13673 310 96 0 15805 0
[pid=17844] ppid=17842 vsize=74096 CPUtime=1.49 cores=1
/proc/17844/stat : 17844 (clasp) R 17842 17842 17417 0 -1 4202496 17750 0 0 0 144 5 0 0 20 0 1 0 631424643 75874304 15481 268435456000 4194304 4785740 140735653191936 18446744073709551615 4499454 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17844/statm: 18524 15481 317 145 0 15569 0
[pid=17845] ppid=17842 vsize=473384 CPUtime=1.48 cores=2
/proc/17845/stat : 17845 (TNM) R 17842 17842 17417 0 -1 4202496 10789 0 0 0 144 4 0 0 20 0 1 0 631424643 484745216 10687 268435456000 134512640 134534564 4294072640 18446744073709551615 134529970 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17845/statm: 118346 10687 95 6 0 117011 0
[pid=17846] ppid=17842 vsize=56180 CPUtime=1.48 cores=3
/proc/17846/stat : 17846 (march_hi) R 17842 17842 17417 0 -1 4202496 33830 0 0 0 138 10 0 0 20 0 1 0 631424643 57528320 9614 268435456000 4194304 4331988 140734347109040 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17846/statm: 14045 9614 138 34 0 12487 0
[pid=17847] ppid=17842 vsize=119996 CPUtime=1.48 cores=4-31
/proc/17847/stat : 17847 (plingeling) R 17842 17842 17417 0 -1 4202496 28758 1244 0 0 139 9 0 0 21 0 1 0 631424643 122875904 28642 268435456000 4194304 4356188 140735264237216 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/17847/statm: 29999 28642 129 40 0 28543 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 818952
[startup+3.101 s]
/proc/loadavg: 25.09 27.79 30.11 6/419 17853
/proc/meminfo: memFree=255325404/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 8 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
[pid=17843] ppid=17842 vsize=144340 CPUtime=3.08 cores=0
/proc/17843/stat : 17843 (cryptominisat) R 17842 17842 17417 0 -1 4202496 28986 0 0 0 301 7 0 0 25 0 1 0 631424643 147804160 23327 268435456000 4194304 4587354 140737318859568 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17843/statm: 36085 23327 328 96 0 32647 0
[pid=17844] ppid=17842 vsize=72036 CPUtime=3.08 cores=1
/proc/17844/stat : 17844 (clasp) R 17842 17842 17417 0 -1 4202496 18838 0 0 0 303 5 0 0 25 0 1 0 631424643 73764864 14965 268435456000 4194304 4785740 140735653191936 18446744073709551615 4416773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17844/statm: 18009 14965 338 145 0 15054 0
[pid=17845] ppid=17842 vsize=473384 CPUtime=3.08 cores=2
/proc/17845/stat : 17845 (TNM) R 17842 17842 17417 0 -1 4202496 10789 0 0 0 304 4 0 0 25 0 1 0 631424643 484745216 10687 268435456000 134512640 134534564 4294072640 18446744073709551615 134530260 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17845/statm: 118346 10687 95 6 0 117011 0
[pid=17846] ppid=17842 vsize=199668 CPUtime=3.08 cores=3
/proc/17846/stat : 17846 (march_hi) R 17842 17842 17417 0 -1 4202496 90845 0 0 0 285 23 0 0 25 0 1 0 631424643 204460032 23725 268435456000 4194304 4331988 140734347109040 18446744073709551615 4228847 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17846/statm: 49917 23729 172 34 0 48359 0
[pid=17847] ppid=17842 vsize=238588 CPUtime=3.07 cores=4-31
/proc/17847/stat : 17847 (plingeling) R 17842 17842 17417 0 -1 4202496 58315 1244 0 0 293 14 0 0 25 0 1 0 631424643 244314112 58199 268435456000 4194304 4356188 140735264237216 18446744073709551615 258650653381 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/17847/statm: 59647 58203 129 40 0 58191 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 1146340
[startup+6.30206 s]
/proc/loadavg: 23.56 27.43 29.98 34/447 17881
/proc/meminfo: memFree=254931596/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 0 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
[pid=17843] ppid=17842 vsize=144340 CPUtime=6.29 cores=0
/proc/17843/stat : 17843 (cryptominisat) R 17842 17842 17417 0 -1 4202496 29200 0 0 0 621 8 0 0 25 0 1 0 631424643 147804160 23534 268435456000 4194304 4587354 140737318859568 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17843/statm: 36085 23534 328 96 0 32647 0
[pid=17844] ppid=17842 vsize=72036 CPUtime=6.28 cores=1
/proc/17844/stat : 17844 (clasp) R 17842 17842 17417 0 -1 4202496 18838 0 0 0 623 5 0 0 25 0 1 0 631424643 73764864 14965 268435456000 4194304 4785740 140735653191936 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17844/statm: 18009 14965 338 145 0 15054 0
[pid=17845] ppid=17842 vsize=473384 CPUtime=6.28 cores=2
/proc/17845/stat : 17845 (TNM) R 17842 17842 17417 0 -1 4202496 10789 0 0 0 624 4 0 0 25 0 1 0 631424643 484745216 10687 268435456000 134512640 134534564 4294072640 18446744073709551615 134530309 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17845/statm: 118346 10687 95 6 0 117011 0
[pid=17846] ppid=17842 vsize=210000 CPUtime=6.29 cores=3
/proc/17846/stat : 17846 (march_hi) R 17842 17842 17417 0 -1 4202496 110605 0 0 0 601 28 0 0 25 0 1 0 631424643 215040000 43485 268435456000 4194304 4331988 140734347109040 18446744073709551615 4265507 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17846/statm: 52500 43485 172 34 0 50942 0
[pid=17847] ppid=17842 vsize=1042056 CPUtime=48.1 cores=4-31
/proc/17847/stat : 17847 (plingeling) S 17842 17842 17417 0 -1 4202496 175580 1244 0 0 4767 43 0 0 18 0 29 0 631424643 1067065344 118735 268435456000 4194304 4356188 140735264237216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/17847/statm: 260514 118735 147 40 0 259058 0
[pid=17847/tid=17854] ppid=17842 vsize=1042056 CPUtime=1.57 cores=4-31
/proc/17847/task/17854/stat : 17854 (plingeling) R 17842 17842 17417 0 -1 4202560 2004 1244 0 0 157 0 0 0 20 0 29 0 631425115 1067065344 118735 268435456000 4194304 4356188 140735264237216 18446744073709551615 258650649892 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17847/tid=17855] ppid=17842 vsize=1042056 CPUtime=1.57 cores=4-31
/proc/17847/task/17855/stat : 17855 (plingeling) R 17842 17842 17417 0 -1 4202560 1218 1244 0 0 157 0 0 0 25 0 29 0 631425115 1067065344 118386 268435456000 4194304 4356188 140735264237216 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17847/tid=17856] ppid=17842 vsize=1042056 CPUtime=1.57 cores=4-31
/proc/17847/task/17856/stat : 17856 (plingeling) R 17842 17842 17417 0 -1 4202560 1244 1244 0 0 157 0 0 0 20 0 29 0 631425115 1067065344 118386 268435456000 4194304 4356188 140735264237216 18446744073709551615 4260341 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17847/tid=17857] ppid=17842 vsize=1042056 CPUtime=1.56 cores=4-31
/proc/17847/task/17857/stat : 17857 (plingeling) R 17842 17842 17417 0 -1 4202560 5510 1244 0 0 155 1 0 0 23 0 29 0 631425115 1067065344 118286 268435456000 4194304 4356188 140735264237216 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17847/tid=17858] ppid=17842 vsize=1037560 CPUtime=1.54 cores=4-31
/proc/17847/task/17858/stat : 17858 (plingeling) R 17842 17842 17417 0 -1 4202560 5296 1244 0 0 153 1 0 0 20 0 29 0 631425115 1062461440 118286 268435456000 4194304 4356188 140735264237216 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17847/tid=17859] ppid=17842 vsize=1037560 CPUtime=1.54 cores=4-31
/proc/17847/task/17859/stat : 17859 (plingeling) R 17842 17842 17417 0 -1 4202560 4236 1244 0 0 153 1 0 0 20 0 29 0 631425115 1062461440 118286 268435456000 4194304 4356188 140735264237216 18446744073709551615 4262899 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17847/tid=17860] ppid=17842 vsize=1037560 CPUtime=1.56 cores=4-31
/proc/17847/task/17860/stat : 17860 (plingeling) R 17842 17842 17417 0 -1 4202560 1218 1244 0 0 156 0 0 0 24 0 29 0 631425115 1062461440 117945 268435456000 4194304 4356188 140735264237216 18446744073709551615 4238436 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17847/tid=17861] ppid=17842 vsize=1037560 CPUtime=1.56 cores=4-31
/proc/17847/task/17861/stat : 17861 (plingeling) R 17842 17842 17417 0 -1 4202560 1147 1244 0 0 156 0 0 0 20 0 29 0 631425115 1062461440 117945 268435456000 4194304 4356188 140735264237216 18446744073709551615 4259346 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17847/tid=17862] ppid=17842 vsize=1037560 CPUtime=1.52 cores=4-31
/proc/17847/task/17862/stat : 17862 (plingeling) R 17842 17842 17417 0 -1 4202560 1241 1244 0 0 152 0 0 0 20 0 29 0 631425115 1062461440 117945 268435456000 4194304 4356188 140735264237216 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17847/tid=17863] ppid=17842 vsize=1037560 CPUtime=1.55 cores=4-31
/proc/17847/task/17863/stat : 17863 (plingeling) R 17842 17842 17417 0 -1 4202560 1220 1244 0 0 155 0 0 0 23 0 29 0 631425115 1062461440 117945 268435456000 4194304 4356188 140735264237216 18446744073709551615 4237374 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17847/tid=17864] ppid=17842 vsize=1037560 CPUtime=1.54 cores=4-31
/proc/17847/task/17864/stat : 17864 (plingeling) R 17842 17842 17417 0 -1 4202560 1275 1244 0 0 154 0 0 0 23 0 29 0 631425115 1062461440 117945 268435456000 4194304 4356188 140735264237216 18446744073709551615 4260315 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17847/tid=17865] ppid=17842 vsize=1037560 CPUtime=1.55 cores=4-31
/proc/17847/task/17865/stat : 17865 (plingeling) R 17842 17842 17417 0 -1 4202560 6403 1244 0 0 154 1 0 0 24 0 29 0 631425115 1062461440 117492 268435456000 4194304 4356188 140735264237216 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17847/tid=17866] ppid=17842 vsize=1037560 CPUtime=1.56 cores=4-31
/proc/17847/task/17866/stat : 17866 (plingeling) R 17842 17842 17417 0 -1 4202560 1251 1244 0 0 156 0 0 0 24 0 29 0 631425115 1062461440 117492 268435456000 4194304 4356188 140735264237216 18446744073709551615 4261929 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17847/tid=17867] ppid=17842 vsize=1037560 CPUtime=1.55 cores=4-31
/proc/17847/task/17867/stat : 17867 (plingeling) R 17842 17842 17417 0 -1 4202560 1264 1244 0 0 155 0 0 0 20 0 29 0 631425116 1062461440 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17847/tid=17868] ppid=17842 vsize=1037560 CPUtime=1.54 cores=4-31
/proc/17847/task/17868/stat : 17868 (plingeling) R 17842 17842 17417 0 -1 4202560 3776 1244 0 0 153 1 0 0 20 0 29 0 631425116 1062461440 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4245442 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17847/tid=17869] ppid=17842 vsize=1037184 CPUtime=1.55 cores=4-31
/proc/17847/task/17869/stat : 17869 (plingeling) R 17842 17842 17417 0 -1 4202560 5131 1244 0 0 153 2 0 0 20 0 29 0 631425116 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4259342 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17847/tid=17870] ppid=17842 vsize=1037184 CPUtime=1.55 cores=4-31
/proc/17847/task/17870/stat : 17870 (plingeling) R 17842 17842 17417 0 -1 4202560 1283 1244 0 0 155 0 0 0 20 0 29 0 631425116 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4260242 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17847/tid=17871] ppid=17842 vsize=1037184 CPUtime=1.5 cores=4-31
/proc/17847/task/17871/stat : 17871 (plingeling) R 17842 17842 17417 0 -1 4202560 1277 1244 0 0 150 0 0 0 20 0 29 0 631425116 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4259281 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17847/tid=17872] ppid=17842 vsize=1037184 CPUtime=1.54 cores=4-31
/proc/17847/task/17872/stat : 17872 (plingeling) R 17842 17842 17417 0 -1 4202560 1263 1244 0 0 154 0 0 0 20 0 29 0 631425116 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17847/tid=17873] ppid=17842 vsize=1037184 CPUtime=1.54 cores=4-31
/proc/17847/task/17873/stat : 17873 (plingeling) R 17842 17842 17417 0 -1 4202560 1219 1244 0 0 154 0 0 0 25 0 29 0 631425116 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4259331 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17847/tid=17874] ppid=17842 vsize=1037184 CPUtime=1.54 cores=4-31
/proc/17847/task/17874/stat : 17874 (plingeling) R 17842 17842 17417 0 -1 4202560 1271 1244 0 0 154 0 0 0 25 0 29 0 631425116 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4265845 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17847/tid=17875] ppid=17842 vsize=1037184 CPUtime=1.55 cores=4-31
/proc/17847/task/17875/stat : 17875 (plingeling) R 17842 17842 17417 0 -1 4202560 1267 1244 0 0 155 0 0 0 20 0 29 0 631425116 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4264368 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17847/tid=17876] ppid=17842 vsize=1037184 CPUtime=1.55 cores=4-31
/proc/17847/task/17876/stat : 17876 (plingeling) R 17842 17842 17417 0 -1 4202560 1283 1244 0 0 155 0 0 0 20 0 29 0 631425116 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17847/tid=17877] ppid=17842 vsize=1037184 CPUtime=1.54 cores=4-31
/proc/17847/task/17877/stat : 17877 (plingeling) R 17842 17842 17417 0 -1 4202560 1265 1244 0 0 154 0 0 0 20 0 29 0 631425117 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4261931 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17847/tid=17878] ppid=17842 vsize=1037184 CPUtime=1.54 cores=4-31
/proc/17847/task/17878/stat : 17878 (plingeling) R 17842 17842 17417 0 -1 4202560 5084 1244 0 0 153 1 0 0 20 0 29 0 631425117 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4267675 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17847/tid=17879] ppid=17842 vsize=1037184 CPUtime=1.4 cores=4-31
/proc/17847/task/17879/stat : 17879 (plingeling) R 17842 17842 17417 0 -1 4202560 1261 1244 0 0 140 0 0 0 20 0 29 0 631425117 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4260324 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17847/tid=17880] ppid=17842 vsize=1037184 CPUtime=1.54 cores=4-31
/proc/17847/task/17880/stat : 17880 (plingeling) R 17842 17842 17417 0 -1 4202560 1264 1244 0 0 154 0 0 0 20 0 29 0 631425117 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17847/tid=17881] ppid=17842 vsize=1037184 CPUtime=1.54 cores=4-31
/proc/17847/task/17881/stat : 17881 (plingeling) R 17842 17842 17417 0 -1 4202560 1281 1244 0 0 154 0 0 0 24 0 29 0 631425117 1062076416 117398 268435456000 4194304 4356188 140735264237216 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 73.24
Current children cumulated vsize (KiB) 1960140
[startup+12.7023 s]
/proc/loadavg: 24.24 27.51 29.99 33/447 17883
/proc/meminfo: memFree=254293520/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 0 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
[pid=17843] ppid=17842 vsize=144340 CPUtime=12.68 cores=0
/proc/17843/stat : 17843 (cryptominisat) R 17842 17842 17417 0 -1 4202496 29522 0 0 0 1260 8 0 0 25 0 1 0 631424643 147804160 23835 268435456000 4194304 4587354 140737318859568 18446744073709551615 4449056 0 0 4096 2 0 0 0 17 0 0 0 0
################
# More data... #
################
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 0 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
[pid=17843] ppid=17842 vsize=2068516 CPUtime=51.48 cores=0
/proc/17843/stat : 17843 (cryptominisat) R 17842 17842 17417 0 -1 4202496 40103 0 0 0 5136 12 0 0 25 0 1 0 631424643 2118160384 27776 268435456000 4194304 4587354 140737318859568 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17843/statm: 517129 27776 336 96 0 513691 0
[pid=17844] ppid=17842 vsize=91420 CPUtime=51.47 cores=1
/proc/17844/stat : 17844 (clasp) R 17842 17842 17417 0 -1 4202496 23649 0 0 0 5139 8 0 0 25 0 1 0 631424643 93614080 19776 268435456000 4194304 4785740 140735653191936 18446744073709551615 4286973 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17844/statm: 22855 19776 338 145 0 19900 0
[pid=17845] ppid=17842 vsize=473384 CPUtime=51.47 cores=2
/proc/17845/stat : 17845 (TNM) R 17842 17842 17417 0 -1 4202496 10789 0 0 0 5143 4 0 0 25 0 1 0 631424643 484745216 10687 268435456000 134512640 134534564 4294072640 18446744073709551615 134528659 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17845/statm: 118346 10687 95 6 0 117011 0
[pid=17846] ppid=17842 vsize=222772 CPUtime=51.47 cores=3
/proc/17846/stat : 17846 (march_hi) R 17842 17842 17417 0 -1 4202496 114096 0 0 0 5117 30 0 0 25 0 1 0 631424643 228118528 46976 268435456000 4194304 4331988 140734347109040 18446744073709551615 4229357 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17846/statm: 55693 46976 172 34 0 54135 0
[pid=17847] ppid=17842 vsize=1385076 CPUtime=1308.65 cores=4-31
/proc/17847/stat : 17847 (plingeling) S 17842 17842 17417 0 -1 4202496 503283 1244 0 0 130659 206 0 0 18 0 29 0 631424643 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/17847/statm: 346269 195681 159 40 0 344813 0
[pid=17847/tid=17854] ppid=17842 vsize=1385076 CPUtime=46.64 cores=4-31
/proc/17847/task/17854/stat : 17854 (plingeling) R 17842 17842 17417 0 -1 4202560 17054 1244 0 0 4656 8 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4281677 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17847/tid=17855] ppid=17842 vsize=1385076 CPUtime=45.49 cores=4-31
/proc/17847/task/17855/stat : 17855 (plingeling) R 17842 17842 17417 0 -1 4202560 14868 1244 0 0 4541 8 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17847/tid=17856] ppid=17842 vsize=1385076 CPUtime=46.71 cores=4-31
/proc/17847/task/17856/stat : 17856 (plingeling) R 17842 17842 17417 0 -1 4202560 13729 1244 0 0 4663 8 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331363 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17847/tid=17857] ppid=17842 vsize=1385076 CPUtime=46.6 cores=4-31
/proc/17847/task/17857/stat : 17857 (plingeling) R 17842 17842 17417 0 -1 4202560 5861 1244 0 0 4658 2 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4244483 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17847/tid=17858] ppid=17842 vsize=1385076 CPUtime=46.72 cores=4-31
/proc/17847/task/17858/stat : 17858 (plingeling) R 17842 17842 17417 0 -1 4202560 19837 1244 0 0 4663 9 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17847/tid=17859] ppid=17842 vsize=1385076 CPUtime=46.67 cores=4-31
/proc/17847/task/17859/stat : 17859 (plingeling) R 17842 17842 17417 0 -1 4202560 18759 1244 0 0 4659 8 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17847/tid=17860] ppid=17842 vsize=1385076 CPUtime=46.69 cores=4-31
/proc/17847/task/17860/stat : 17860 (plingeling) R 17842 17842 17417 0 -1 4202560 16768 1244 0 0 4665 4 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4283959 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17847/tid=17861] ppid=17842 vsize=1385076 CPUtime=46.61 cores=4-31
/proc/17847/task/17861/stat : 17861 (plingeling) R 17842 17842 17417 0 -1 4202560 12774 1244 0 0 4657 4 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17847/tid=17862] ppid=17842 vsize=1385076 CPUtime=46.55 cores=4-31
/proc/17847/task/17862/stat : 17862 (plingeling) R 17842 17842 17417 0 -1 4202560 14634 1244 0 0 4648 7 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17847/tid=17863] ppid=17842 vsize=1385076 CPUtime=46.54 cores=4-31
/proc/17847/task/17863/stat : 17863 (plingeling) R 17842 17842 17417 0 -1 4202560 18958 1244 0 0 4645 9 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17847/tid=17864] ppid=17842 vsize=1385076 CPUtime=46.65 cores=4-31
/proc/17847/task/17864/stat : 17864 (plingeling) R 17842 17842 17417 0 -1 4202560 11920 1244 0 0 4659 6 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17847/tid=17865] ppid=17842 vsize=1385076 CPUtime=46.51 cores=4-31
/proc/17847/task/17865/stat : 17865 (plingeling) R 17842 17842 17417 0 -1 4202560 7775 1244 0 0 4649 2 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4279765 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17847/tid=17866] ppid=17842 vsize=1385076 CPUtime=46.73 cores=4-31
/proc/17847/task/17866/stat : 17866 (plingeling) R 17842 17842 17417 0 -1 4202560 9140 1244 0 0 4671 2 0 0 25 0 29 0 631425115 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17847/tid=17867] ppid=17842 vsize=1385076 CPUtime=46.58 cores=4-31
/proc/17847/task/17867/stat : 17867 (plingeling) R 17842 17842 17417 0 -1 4202560 14470 1244 0 0 4653 5 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17847/tid=17868] ppid=17842 vsize=1385076 CPUtime=46.57 cores=4-31
/proc/17847/task/17868/stat : 17868 (plingeling) R 17842 17842 17417 0 -1 4202560 17527 1244 0 0 4648 9 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17847/tid=17869] ppid=17842 vsize=1385076 CPUtime=46.64 cores=4-31
/proc/17847/task/17869/stat : 17869 (plingeling) R 17842 17842 17417 0 -1 4202560 15370 1244 0 0 4656 8 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17847/tid=17870] ppid=17842 vsize=1385076 CPUtime=46.63 cores=4-31
/proc/17847/task/17870/stat : 17870 (plingeling) R 17842 17842 17417 0 -1 4202560 13429 1244 0 0 4657 6 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17847/tid=17871] ppid=17842 vsize=1385076 CPUtime=46.48 cores=4-31
/proc/17847/task/17871/stat : 17871 (plingeling) R 17842 17842 17417 0 -1 4202560 17650 1244 0 0 4640 8 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17847/tid=17872] ppid=17842 vsize=1385076 CPUtime=46.68 cores=4-31
/proc/17847/task/17872/stat : 17872 (plingeling) R 17842 17842 17417 0 -1 4202560 15710 1244 0 0 4660 8 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17847/tid=17873] ppid=17842 vsize=1385076 CPUtime=46.35 cores=4-31
/proc/17847/task/17873/stat : 17873 (plingeling) R 17842 17842 17417 0 -1 4202560 4953 1244 0 0 4634 1 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4241958 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17847/tid=17874] ppid=17842 vsize=1385076 CPUtime=46.67 cores=4-31
/proc/17847/task/17874/stat : 17874 (plingeling) R 17842 17842 17417 0 -1 4202560 15496 1244 0 0 4659 8 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17847/tid=17875] ppid=17842 vsize=1385076 CPUtime=46.59 cores=4-31
/proc/17847/task/17875/stat : 17875 (plingeling) R 17842 17842 17417 0 -1 4202560 15470 1244 0 0 4652 7 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17847/tid=17876] ppid=17842 vsize=1385076 CPUtime=46.51 cores=4-31
/proc/17847/task/17876/stat : 17876 (plingeling) R 17842 17842 17417 0 -1 4202560 13907 1244 0 0 4646 5 0 0 25 0 29 0 631425116 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17847/tid=17877] ppid=17842 vsize=1385076 CPUtime=46.55 cores=4-31
/proc/17847/task/17877/stat : 17877 (plingeling) R 17842 17842 17417 0 -1 4202560 12044 1244 0 0 4648 7 0 0 25 0 29 0 631425117 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17847/tid=17878] ppid=17842 vsize=1385076 CPUtime=46.57 cores=4-31
/proc/17847/task/17878/stat : 17878 (plingeling) R 17842 17842 17417 0 -1 4202560 14996 1244 0 0 4648 9 0 0 25 0 29 0 631425117 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17847/tid=17879] ppid=17842 vsize=1385076 CPUtime=46.55 cores=4-31
/proc/17847/task/17879/stat : 17879 (plingeling) R 17842 17842 17417 0 -1 4202560 17689 1244 0 0 4648 7 0 0 25 0 29 0 631425117 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4330792 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17847/tid=17880] ppid=17842 vsize=1385076 CPUtime=46.62 cores=4-31
/proc/17847/task/17880/stat : 17880 (plingeling) R 17842 17842 17417 0 -1 4202560 14766 1244 0 0 4660 2 0 0 25 0 29 0 631425117 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17847/tid=17881] ppid=17842 vsize=1385076 CPUtime=46.59 cores=4-31
/proc/17847/task/17881/stat : 17881 (plingeling) R 17842 17842 17417 0 -1 4202560 4601 1244 0 0 4658 1 0 0 25 0 29 0 631425117 1418317824 195681 268435456000 4194304 4356188 140735264237216 18446744073709551615 4237012 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1514.54
Current children cumulated vsize (KiB) 4259492
[startup+51.9017 s]
/proc/loadavg: 28.02 28.07 30.07 33/447 17883
/proc/meminfo: memFree=254525576/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=0 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 631424642 18763776 386 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 0 0 0 0
/proc/17842/statm: 4581 386 337 23 0 91 0
[pid=17843] ppid=17842 vsize=2068000 CPUtime=51.88 cores=0
/proc/17843/stat : 17843 (cryptominisat) R 17842 17842 17417 0 -1 4202496 40154 0 0 0 5176 12 0 0 25 0 1 0 631424643 2117632000 27721 268435456000 4194304 4587354 140737318859568 18446744073709551615 258650611916 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17843/statm: 517000 27721 349 96 0 513562 0
[pid=17844] ppid=17842 vsize=91568 CPUtime=51.87 cores=1
/proc/17844/stat : 17844 (clasp) R 17842 17842 17417 0 -1 4202496 23681 0 0 0 5179 8 0 0 25 0 1 0 631424643 93765632 19808 268435456000 4194304 4785740 140735653191936 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17844/statm: 22892 19808 338 145 0 19937 0
[pid=17845] ppid=17842 vsize=473384 CPUtime=51.87 cores=2
/proc/17845/stat : 17845 (TNM) R 17842 17842 17417 0 -1 4202496 10789 0 0 0 5183 4 0 0 25 0 1 0 631424643 484745216 10687 268435456000 134512640 134534564 4294072640 18446744073709551615 134526319 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17845/statm: 118346 10687 95 6 0 117011 0
[pid=17846] ppid=17842 vsize=222904 CPUtime=51.87 cores=3
/proc/17846/stat : 17846 (march_hi) R 17842 17842 17417 0 -1 4202496 114125 0 0 0 5157 30 0 0 25 0 1 0 631424643 228253696 47005 268435456000 4194304 4331988 140734347109040 18446744073709551615 4237136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17846/statm: 55726 47005 172 34 0 54168 0
[pid=17847] ppid=17842 vsize=1389172 CPUtime=1319.82 cores=4-31
/proc/17847/stat : 17847 (plingeling) S 17842 17842 17417 0 -1 4202496 504307 1244 0 0 131776 206 0 0 18 0 29 0 631424643 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/17847/statm: 347293 196705 159 40 0 345837 0
[pid=17847/tid=17854] ppid=17842 vsize=1389172 CPUtime=47.04 cores=4-31
/proc/17847/task/17854/stat : 17854 (plingeling) R 17842 17842 17417 0 -1 4202560 17054 1244 0 0 4696 8 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4237444 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17847/tid=17855] ppid=17842 vsize=1389172 CPUtime=45.87 cores=4-31
/proc/17847/task/17855/stat : 17855 (plingeling) R 17842 17842 17417 0 -1 4202560 14868 1244 0 0 4579 8 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17847/tid=17856] ppid=17842 vsize=1389172 CPUtime=47.11 cores=4-31
/proc/17847/task/17856/stat : 17856 (plingeling) R 17842 17842 17417 0 -1 4202560 13729 1244 0 0 4703 8 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17847/tid=17857] ppid=17842 vsize=1389172 CPUtime=47 cores=4-31
/proc/17847/task/17857/stat : 17857 (plingeling) R 17842 17842 17417 0 -1 4202560 5861 1244 0 0 4698 2 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4284043 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17847/tid=17858] ppid=17842 vsize=1389172 CPUtime=47.12 cores=4-31
/proc/17847/task/17858/stat : 17858 (plingeling) R 17842 17842 17417 0 -1 4202560 19837 1244 0 0 4703 9 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17847/tid=17859] ppid=17842 vsize=1389172 CPUtime=47.07 cores=4-31
/proc/17847/task/17859/stat : 17859 (plingeling) R 17842 17842 17417 0 -1 4202560 18759 1244 0 0 4699 8 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17847/tid=17860] ppid=17842 vsize=1389172 CPUtime=47.09 cores=4-31
/proc/17847/task/17860/stat : 17860 (plingeling) R 17842 17842 17417 0 -1 4202560 16768 1244 0 0 4705 4 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4210751 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17847/tid=17861] ppid=17842 vsize=1389172 CPUtime=47.01 cores=4-31
/proc/17847/task/17861/stat : 17861 (plingeling) R 17842 17842 17417 0 -1 4202560 12774 1244 0 0 4697 4 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17847/tid=17862] ppid=17842 vsize=1389172 CPUtime=46.95 cores=4-31
/proc/17847/task/17862/stat : 17862 (plingeling) R 17842 17842 17417 0 -1 4202560 14634 1244 0 0 4688 7 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17847/tid=17863] ppid=17842 vsize=1389172 CPUtime=46.94 cores=4-31
/proc/17847/task/17863/stat : 17863 (plingeling) R 17842 17842 17417 0 -1 4202560 18958 1244 0 0 4685 9 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17847/tid=17864] ppid=17842 vsize=1389172 CPUtime=47.05 cores=4-31
/proc/17847/task/17864/stat : 17864 (plingeling) R 17842 17842 17417 0 -1 4202560 11920 1244 0 0 4699 6 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17847/tid=17865] ppid=17842 vsize=1389172 CPUtime=46.91 cores=4-31
/proc/17847/task/17865/stat : 17865 (plingeling) R 17842 17842 17417 0 -1 4202560 7775 1244 0 0 4689 2 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17847/tid=17866] ppid=17842 vsize=1389172 CPUtime=47.13 cores=4-31
/proc/17847/task/17866/stat : 17866 (plingeling) R 17842 17842 17417 0 -1 4202560 9140 1244 0 0 4711 2 0 0 25 0 29 0 631425115 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4332306 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17847/tid=17867] ppid=17842 vsize=1389172 CPUtime=46.98 cores=4-31
/proc/17847/task/17867/stat : 17867 (plingeling) R 17842 17842 17417 0 -1 4202560 15494 1244 0 0 4693 5 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17847/tid=17868] ppid=17842 vsize=1389172 CPUtime=46.97 cores=4-31
/proc/17847/task/17868/stat : 17868 (plingeling) R 17842 17842 17417 0 -1 4202560 17527 1244 0 0 4688 9 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4334538 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17847/tid=17869] ppid=17842 vsize=1389172 CPUtime=47.04 cores=4-31
/proc/17847/task/17869/stat : 17869 (plingeling) R 17842 17842 17417 0 -1 4202560 15370 1244 0 0 4696 8 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17847/tid=17870] ppid=17842 vsize=1389172 CPUtime=47.03 cores=4-31
/proc/17847/task/17870/stat : 17870 (plingeling) R 17842 17842 17417 0 -1 4202560 13429 1244 0 0 4697 6 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4335971 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17847/tid=17871] ppid=17842 vsize=1389172 CPUtime=46.88 cores=4-31
/proc/17847/task/17871/stat : 17871 (plingeling) R 17842 17842 17417 0 -1 4202560 17650 1244 0 0 4680 8 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17847/tid=17872] ppid=17842 vsize=1389172 CPUtime=47.08 cores=4-31
/proc/17847/task/17872/stat : 17872 (plingeling) R 17842 17842 17417 0 -1 4202560 15710 1244 0 0 4700 8 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4338290 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17847/tid=17873] ppid=17842 vsize=1389172 CPUtime=46.75 cores=4-31
/proc/17847/task/17873/stat : 17873 (plingeling) R 17842 17842 17417 0 -1 4202560 4953 1244 0 0 4674 1 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17847/tid=17874] ppid=17842 vsize=1389172 CPUtime=47.07 cores=4-31
/proc/17847/task/17874/stat : 17874 (plingeling) R 17842 17842 17417 0 -1 4202560 15496 1244 0 0 4699 8 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17847/tid=17875] ppid=17842 vsize=1389172 CPUtime=46.99 cores=4-31
/proc/17847/task/17875/stat : 17875 (plingeling) R 17842 17842 17417 0 -1 4202560 15470 1244 0 0 4692 7 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17847/tid=17876] ppid=17842 vsize=1389172 CPUtime=46.91 cores=4-31
/proc/17847/task/17876/stat : 17876 (plingeling) R 17842 17842 17417 0 -1 4202560 13907 1244 0 0 4686 5 0 0 25 0 29 0 631425116 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331776 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17847/tid=17877] ppid=17842 vsize=1389172 CPUtime=46.95 cores=4-31
/proc/17847/task/17877/stat : 17877 (plingeling) R 17842 17842 17417 0 -1 4202560 12044 1244 0 0 4688 7 0 0 25 0 29 0 631425117 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4241631 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17847/tid=17878] ppid=17842 vsize=1389172 CPUtime=46.97 cores=4-31
/proc/17847/task/17878/stat : 17878 (plingeling) R 17842 17842 17417 0 -1 4202560 14996 1244 0 0 4688 9 0 0 25 0 29 0 631425117 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17847/tid=17879] ppid=17842 vsize=1389172 CPUtime=46.95 cores=4-31
/proc/17847/task/17879/stat : 17879 (plingeling) R 17842 17842 17417 0 -1 4202560 17689 1244 0 0 4688 7 0 0 25 0 29 0 631425117 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4280641 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17847/tid=17880] ppid=17842 vsize=1389172 CPUtime=47.02 cores=4-31
/proc/17847/task/17880/stat : 17880 (plingeling) R 17842 17842 17417 0 -1 4202560 14766 1244 0 0 4700 2 0 0 25 0 29 0 631425117 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17847/tid=17881] ppid=17842 vsize=1389172 CPUtime=46.99 cores=4-31
/proc/17847/task/17881/stat : 17881 (plingeling) R 17842 17842 17417 0 -1 4202560 4601 1244 0 0 4698 1 0 0 25 0 29 0 631425117 1422512128 196705 268435456000 4194304 4356188 140735264237216 18446744073709551615 4331011 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1527.31
Current children cumulated vsize (KiB) 4263352
[startup+52.0018 s]
/proc/loadavg: 28.02 28.07 30.07 33/447 17883
/proc/meminfo: memFree=254525576/264257624 swapFree=67111528/67111528
[pid=17842] ppid=17840 vsize=18324 CPUtime=207.84 cores=0-31
/proc/17842/stat : 17842 (ppfolio) S 17840 17842 17417 0 -1 4202496 513 188768 0 0 0 0 20724 60 15 0 1 0 631424642 18763776 387 268435456000 4194304 4287625 140736314441216 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 0 0 0 0
/proc/17842/statm: 4581 387 338 23 0 91 0
[pid=17847] ppid=17842 vsize=0 CPUtime=1321.84 cores=4-31
/proc/17847/stat : 17847 (plingeling) Z 17842 17842 17417 0 -1 4203548 504307 1244 0 0 131972 212 0 0 18 0 2 0 631424643 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/17847/statm: 0 0 0 0 0 0 0
[pid=17847/tid=17857] ppid=17842 vsize=0 CPUtime=47.09 cores=4-31
/proc/17847/task/17857/stat : 17857 (plingeling) R 17842 17842 17417 0 -1 4203588 5861 1244 0 0 4705 4 0 0 25 0 2 0 631425115 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1529.68
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 52.0454
CPU time (s): 1529.77
CPU user time (s): 1526.98
CPU system time (s): 2.78957
CPU usage (%): 2939.29
Max. virtual memory (cumulated for all children) (KiB): 4263352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1526.98
system time used= 2.78958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 694851
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= 2450
involuntary context switches= 3640
runsolver used 0.237963 second user time and 1.22481 second system time
The end
Begin job on node200 at 2011-05-12 13:23:02
IDJOB=3347475
IDBENCH=82473
IDSOLVER=1808
FILE ID=node200/3347475-1305199382
RUNJOBID= node200-1305199240-17431
PBS_JOBID= 13282083
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347475-1305199382/watcher-3347475-1305199382 -o /tmp/evaluation-result-3347475-1305199382/solver-3347475-1305199382 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347475-1305199382.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ab962ce6f14e7741edd1ff987decb0b7
RANDOM SEED=573673873
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: 255715440 kB
Buffers: 427192 kB
Cached: 7700404 kB
SwapCached: 0 kB
Active: 7272224 kB
Inactive: 923960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255715440 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 15636 kB
Writeback: 0 kB
AnonPages: 68108 kB
Mapped: 14532 kB
Slab: 249196 kB
PageTables: 4404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188500 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= 62036 MiB
End job on node200 at 2011-05-12 13:23:54