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
3415.53/107.25 s UNSATISFIABLE
3415.53/107.26 solver [5] plingeling 276-6264d55-100731 answered
3415.53/107.26 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-3347159-1304757746/watcher-3347159-1304757746 -o /tmp/evaluation-result-3347159-1304757746/solver-3347159-1304757746 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347159-1304757746.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: 31.23 31.67 31.87 1/413 5449
/proc/meminfo: memFree=256781032/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
[startup+0.13511 s]
/proc/loadavg: 31.23 31.67 31.87 1/413 5449
/proc/meminfo: memFree=256781032/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.201115 s]
/proc/loadavg: 31.23 31.67 31.87 1/413 5449
/proc/meminfo: memFree=256781032/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301015 s]
/proc/loadavg: 31.23 31.67 31.87 1/413 5449
/proc/meminfo: memFree=256781032/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701027 s]
/proc/loadavg: 31.23 31.67 31.87 1/413 5449
/proc/meminfo: memFree=256781032/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50206 s]
/proc/loadavg: 31.23 31.67 31.87 33/447 5488
/proc/meminfo: memFree=256704024/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
[pid=5450] ppid=5449 vsize=461060 CPUtime=1.49 cores=0
/proc/5450/stat : 5450 (cryptominisat) R 5449 5449 5357 0 -1 4202496 2295 0 0 0 148 1 0 0 20 0 1 0 587261039 472125440 1320 268435456000 4194304 4587354 140734248942400 18446744073709551615 4237946 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5450/statm: 115265 1320 330 96 0 111827 0
[pid=5451] ppid=5449 vsize=15416 CPUtime=1.48 cores=1
/proc/5451/stat : 5451 (clasp) R 5449 5449 5357 0 -1 4202496 1347 0 0 0 148 0 0 0 20 0 1 0 587261039 15785984 1210 268435456000 4194304 4785740 140734328309120 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5451/statm: 3854 1210 338 145 0 899 0
[pid=5452] ppid=5449 vsize=456488 CPUtime=1.48 cores=2
/proc/5452/stat : 5452 (TNM) R 5449 5449 5357 0 -1 4202496 644 0 0 0 148 0 0 0 20 0 1 0 587261039 467443712 542 268435456000 134512640 134534564 4293119856 18446744073709551615 3900835 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5452/statm: 114122 542 95 6 0 112787 0
[pid=5453] ppid=5449 vsize=14592 CPUtime=1.48 cores=3
/proc/5453/stat : 5453 (march_hi) R 5449 5449 5357 0 -1 4202496 3017 0 0 0 148 0 0 0 20 0 1 0 587261039 14942208 1463 268435456000 4194304 4331988 140734943200912 18446744073709551615 4288317 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5453/statm: 3648 1463 173 34 0 2090 0
[pid=5454] ppid=5449 vsize=640040 CPUtime=35.13 cores=4-31
/proc/5454/stat : 5454 (plingeling) S 5449 5449 5357 0 -1 4202496 29957 1235 0 0 3489 23 0 1 21 0 29 0 587261039 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/5454/statm: 160010 24496 159 40 0 158554 0
[pid=5454/tid=5461] ppid=5449 vsize=640040 CPUtime=1.26 cores=4-31
/proc/5454/task/5461/stat : 5461 (plingeling) R 5449 5449 5357 0 -1 4202560 958 1235 0 0 125 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4211027 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5454/tid=5462] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5462/stat : 5462 (plingeling) R 5449 5449 5357 0 -1 4202560 895 1235 0 0 124 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5454/tid=5463] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5463/stat : 5463 (plingeling) R 5449 5449 5357 0 -1 4202560 874 1235 0 0 124 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5454/tid=5464] ppid=5449 vsize=640040 CPUtime=1.26 cores=4-31
/proc/5454/task/5464/stat : 5464 (plingeling) R 5449 5449 5357 0 -1 4202560 838 1235 0 0 125 0 0 1 19 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4279749 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5454/tid=5465] ppid=5449 vsize=640040 CPUtime=1.27 cores=4-31
/proc/5454/task/5465/stat : 5465 (plingeling) R 5449 5449 5357 0 -1 4202560 989 1235 0 0 125 1 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5454/tid=5466] ppid=5449 vsize=640040 CPUtime=1.23 cores=4-31
/proc/5454/task/5466/stat : 5466 (plingeling) R 5449 5449 5357 0 -1 4202560 998 1235 0 0 122 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5454/tid=5467] ppid=5449 vsize=640040 CPUtime=1.26 cores=4-31
/proc/5454/task/5467/stat : 5467 (plingeling) R 5449 5449 5357 0 -1 4202560 1042 1235 0 0 124 1 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5454/tid=5468] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5468/stat : 5468 (plingeling) R 5449 5449 5357 0 -1 4202560 727 1235 0 0 124 0 0 1 24 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5454/tid=5469] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5469/stat : 5469 (plingeling) R 5449 5449 5357 0 -1 4202560 837 1235 0 0 124 0 0 1 22 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5454/tid=5470] ppid=5449 vsize=640040 CPUtime=1.24 cores=4-31
/proc/5454/task/5470/stat : 5470 (plingeling) R 5449 5449 5357 0 -1 4202560 805 1235 0 0 123 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=5454/tid=5471] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5471/stat : 5471 (plingeling) R 5449 5449 5357 0 -1 4202560 960 1235 0 0 124 0 0 1 19 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331366 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5454/tid=5472] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5472/stat : 5472 (plingeling) R 5449 5449 5357 0 -1 4202560 644 1235 0 0 124 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5454/tid=5473] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5473/stat : 5473 (plingeling) R 5449 5449 5357 0 -1 4202560 936 1235 0 0 123 1 0 1 19 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5454/tid=5474] ppid=5449 vsize=640040 CPUtime=1.26 cores=4-31
/proc/5454/task/5474/stat : 5474 (plingeling) R 5449 5449 5357 0 -1 4202560 1054 1235 0 0 125 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5454/tid=5475] ppid=5449 vsize=640040 CPUtime=1.26 cores=4-31
/proc/5454/task/5475/stat : 5475 (plingeling) R 5449 5449 5357 0 -1 4202560 1028 1235 0 0 125 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=5454/tid=5476] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5476/stat : 5476 (plingeling) R 5449 5449 5357 0 -1 4202560 1187 1235 0 0 123 1 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5454/tid=5477] ppid=5449 vsize=640040 CPUtime=1.22 cores=4-31
/proc/5454/task/5477/stat : 5477 (plingeling) R 5449 5449 5357 0 -1 4202560 877 1235 0 0 121 0 0 1 24 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4279608 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5454/tid=5478] ppid=5449 vsize=640040 CPUtime=1.23 cores=4-31
/proc/5454/task/5478/stat : 5478 (plingeling) R 5449 5449 5357 0 -1 4202560 950 1235 0 0 122 0 0 1 19 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=5454/tid=5479] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5479/stat : 5479 (plingeling) R 5449 5449 5357 0 -1 4202560 921 1235 0 0 124 0 0 1 19 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4210767 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5454/tid=5480] ppid=5449 vsize=640040 CPUtime=1.24 cores=4-31
/proc/5454/task/5480/stat : 5480 (plingeling) R 5449 5449 5357 0 -1 4202560 846 1235 0 0 123 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=5454/tid=5481] ppid=5449 vsize=640040 CPUtime=1.24 cores=4-31
/proc/5454/task/5481/stat : 5481 (plingeling) R 5449 5449 5357 0 -1 4202560 1066 1235 0 0 123 0 0 1 19 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=5454/tid=5482] ppid=5449 vsize=640040 CPUtime=1.23 cores=4-31
/proc/5454/task/5482/stat : 5482 (plingeling) R 5449 5449 5357 0 -1 4202560 939 1235 0 0 122 0 0 1 19 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5454/tid=5483] ppid=5449 vsize=640040 CPUtime=1.23 cores=4-31
/proc/5454/task/5483/stat : 5483 (plingeling) R 5449 5449 5357 0 -1 4202560 978 1235 0 0 122 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331754 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=5454/tid=5484] ppid=5449 vsize=640040 CPUtime=1.24 cores=4-31
/proc/5454/task/5484/stat : 5484 (plingeling) R 5449 5449 5357 0 -1 4202560 927 1235 0 0 123 0 0 1 25 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=5454/tid=5485] ppid=5449 vsize=640040 CPUtime=1.24 cores=4-31
/proc/5454/task/5485/stat : 5485 (plingeling) R 5449 5449 5357 0 -1 4202560 767 1235 0 0 123 0 0 1 25 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=5454/tid=5486] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5486/stat : 5486 (plingeling) R 5449 5449 5357 0 -1 4202560 996 1235 0 0 123 1 0 1 25 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331803 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=5454/tid=5487] ppid=5449 vsize=640040 CPUtime=1.21 cores=4-31
/proc/5454/task/5487/stat : 5487 (plingeling) R 5449 5449 5357 0 -1 4202560 1058 1235 0 0 120 0 0 1 18 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5454/tid=5488] ppid=5449 vsize=640040 CPUtime=1.25 cores=4-31
/proc/5454/task/5488/stat : 5488 (plingeling) R 5449 5449 5357 0 -1 4202560 810 1235 0 0 124 0 0 1 25 0 29 0 587261061 655400960 24496 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 41.06
Current children cumulated vsize (KiB) 1605920
[startup+3.10211 s]
/proc/loadavg: 31.23 31.67 31.87 33/447 5488
/proc/meminfo: memFree=256657152/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
[pid=5450] ppid=5449 vsize=472908 CPUtime=3.09 cores=0
/proc/5450/stat : 5450 (cryptominisat) R 5449 5449 5357 0 -1 4202496 4334 0 0 0 308 1 0 0 25 0 1 0 587261039 484257792 2513 268435456000 4194304 4587354 140734248942400 18446744073709551615 4239232 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5450/statm: 118227 2513 336 96 0 114789 0
[pid=5451] ppid=5449 vsize=16080 CPUtime=3.08 cores=1
/proc/5451/stat : 5451 (clasp) R 5449 5449 5357 0 -1 4202496 1505 0 0 0 308 0 0 0 25 0 1 0 587261039 16465920 1368 268435456000 4194304 4785740 140734328309120 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5451/statm: 4020 1368 338 145 0 1065 0
[pid=5452] ppid=5449 vsize=456488 CPUtime=3.08 cores=2
/proc/5452/stat : 5452 (TNM) R 5449 5449 5357 0 -1 4202496 644 0 0 0 308 0 0 0 25 0 1 0 587261039 467443712 542 268435456000 134512640 134534564 4293119856 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5452/statm: 114122 542 95 6 0 112787 0
[pid=5453] ppid=5449 vsize=15108 CPUtime=3.08 cores=3
/proc/5453/stat : 5453 (march_hi) R 5449 5449 5357 0 -1 4202496 3121 0 0 0 308 0 0 0 25 0 1 0 587261039 15470592 1567 268435456000 4194304 4331988 140734943200912 18446744073709551615 4237136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5453/statm: 3777 1567 173 34 0 2219 0
[pid=5454] ppid=5449 vsize=648884 CPUtime=79.85 cores=4-31
/proc/5454/stat : 5454 (plingeling) S 5449 5449 5357 0 -1 4202496 42600 1235 0 0 7946 38 0 1 21 0 29 0 587261039 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/5454/statm: 162221 26803 159 40 0 160765 0
[pid=5454/tid=5461] ppid=5449 vsize=648884 CPUtime=2.86 cores=4-31
/proc/5454/task/5461/stat : 5461 (plingeling) R 5449 5449 5357 0 -1 4202560 1635 1235 0 0 284 1 0 1 21 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5454/tid=5462] ppid=5449 vsize=648884 CPUtime=2.85 cores=4-31
/proc/5454/task/5462/stat : 5462 (plingeling) R 5449 5449 5357 0 -1 4202560 1121 1235 0 0 284 0 0 1 18 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5454/tid=5463] ppid=5449 vsize=648884 CPUtime=2.85 cores=4-31
/proc/5454/task/5463/stat : 5463 (plingeling) R 5449 5449 5357 0 -1 4202560 1293 1235 0 0 284 0 0 1 20 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5454/tid=5464] ppid=5449 vsize=648884 CPUtime=2.86 cores=4-31
/proc/5454/task/5464/stat : 5464 (plingeling) R 5449 5449 5357 0 -1 4202560 1256 1235 0 0 285 0 0 1 19 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5454/tid=5465] ppid=5449 vsize=648884 CPUtime=2.86 cores=4-31
/proc/5454/task/5465/stat : 5465 (plingeling) R 5449 5449 5357 0 -1 4202560 1502 1235 0 0 284 1 0 1 21 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4234124 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5454/tid=5466] ppid=5449 vsize=648884 CPUtime=2.83 cores=4-31
/proc/5454/task/5466/stat : 5466 (plingeling) R 5449 5449 5357 0 -1 4202560 1511 1235 0 0 281 1 0 1 20 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5454/tid=5467] ppid=5449 vsize=648884 CPUtime=2.86 cores=4-31
/proc/5454/task/5467/stat : 5467 (plingeling) R 5449 5449 5357 0 -1 4202560 1430 1235 0 0 284 1 0 1 21 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5454/tid=5468] ppid=5449 vsize=648884 CPUtime=2.85 cores=4-31
/proc/5454/task/5468/stat : 5468 (plingeling) R 5449 5449 5357 0 -1 4202560 1979 1235 0 0 282 2 0 1 20 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5454/tid=5469] ppid=5449 vsize=648884 CPUtime=2.81 cores=4-31
/proc/5454/task/5469/stat : 5469 (plingeling) R 5449 5449 5357 0 -1 4202560 1515 1235 0 0 279 1 0 1 25 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4219786 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5454/tid=5470] ppid=5449 vsize=648884 CPUtime=2.84 cores=4-31
/proc/5454/task/5470/stat : 5470 (plingeling) R 5449 5449 5357 0 -1 4202560 1224 1235 0 0 283 0 0 1 21 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=5454/tid=5471] ppid=5449 vsize=648884 CPUtime=2.85 cores=4-31
/proc/5454/task/5471/stat : 5471 (plingeling) R 5449 5449 5357 0 -1 4202560 1313 1235 0 0 284 0 0 1 23 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4284144 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5454/tid=5472] ppid=5449 vsize=648884 CPUtime=2.85 cores=4-31
/proc/5454/task/5472/stat : 5472 (plingeling) R 5449 5449 5357 0 -1 4202560 935 1235 0 0 284 0 0 1 21 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5454/tid=5473] ppid=5449 vsize=648884 CPUtime=2.85 cores=4-31
/proc/5454/task/5473/stat : 5473 (plingeling) R 5449 5449 5357 0 -1 4202560 1194 1235 0 0 283 1 0 1 23 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5454/tid=5474] ppid=5449 vsize=648884 CPUtime=2.87 cores=4-31
/proc/5454/task/5474/stat : 5474 (plingeling) R 5449 5449 5357 0 -1 4202560 1376 1235 0 0 285 1 0 1 21 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4280692 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5454/tid=5475] ppid=5449 vsize=648884 CPUtime=2.86 cores=4-31
/proc/5454/task/5475/stat : 5475 (plingeling) R 5449 5449 5357 0 -1 4202560 1092 1235 0 0 285 0 0 1 20 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331392 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=5454/tid=5476] ppid=5449 vsize=648884 CPUtime=2.84 cores=4-31
/proc/5454/task/5476/stat : 5476 (plingeling) R 5449 5449 5357 0 -1 4202560 1827 1235 0 0 281 2 0 1 21 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332026 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5454/tid=5477] ppid=5449 vsize=648884 CPUtime=2.83 cores=4-31
/proc/5454/task/5477/stat : 5477 (plingeling) R 5449 5449 5357 0 -1 4202560 1391 1235 0 0 281 1 0 1 25 0 29 0 587261061 664457216 26803 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5454/tid=5478] ppid=5449 vsize=648884 CPUtime=2.83 cores=4-31
################
# More data... #
################
[pid=5453] ppid=5449 vsize=19212 CPUtime=106.37 cores=3
/proc/5453/stat : 5453 (march_hi) R 5449 5449 5357 0 -1 4202496 4092 0 0 0 10635 2 0 0 25 0 1 0 587261039 19673088 2536 268435456000 4194304 4331988 140734943200912 18446744073709551615 4237136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5453/statm: 4803 2536 174 34 0 3245 0
[pid=5454] ppid=5449 vsize=933104 CPUtime=2967.93 cores=4-31
/proc/5454/stat : 5454 (plingeling) S 5449 5449 5357 0 -1 4202496 446023 1235 0 0 296328 464 0 1 21 0 29 0 587261039 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/5454/statm: 233276 97840 159 40 0 231820 0
[pid=5454/tid=5461] ppid=5449 vsize=933104 CPUtime=106.1 cores=4-31
/proc/5454/task/5461/stat : 5461 (plingeling) R 5449 5449 5357 0 -1 4202560 16167 1235 0 0 10596 13 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5454/tid=5462] ppid=5449 vsize=933104 CPUtime=106.08 cores=4-31
/proc/5454/task/5462/stat : 5462 (plingeling) R 5449 5449 5357 0 -1 4202560 16262 1235 0 0 10589 18 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5454/tid=5463] ppid=5449 vsize=933104 CPUtime=106.08 cores=4-31
/proc/5454/task/5463/stat : 5463 (plingeling) R 5449 5449 5357 0 -1 4202560 16849 1235 0 0 10593 14 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5454/tid=5464] ppid=5449 vsize=933104 CPUtime=106.08 cores=4-31
/proc/5454/task/5464/stat : 5464 (plingeling) R 5449 5449 5357 0 -1 4202560 12812 1235 0 0 10595 12 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5454/tid=5465] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5465/stat : 5465 (plingeling) R 5449 5449 5357 0 -1 4202560 17891 1235 0 0 10590 20 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4234306 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5454/tid=5466] ppid=5449 vsize=933104 CPUtime=106.09 cores=4-31
/proc/5454/task/5466/stat : 5466 (plingeling) R 5449 5449 5357 0 -1 4202560 14828 1235 0 0 10597 11 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5454/tid=5467] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5467/stat : 5467 (plingeling) R 5449 5449 5357 0 -1 4202560 16089 1235 0 0 10597 13 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5454/tid=5468] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5468/stat : 5468 (plingeling) R 5449 5449 5357 0 -1 4202560 16223 1235 0 0 10583 27 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5454/tid=5469] ppid=5449 vsize=933104 CPUtime=103.15 cores=4-31
/proc/5454/task/5469/stat : 5469 (plingeling) R 5449 5449 5357 0 -1 4202560 17279 1235 0 0 10298 16 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4279494 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5454/tid=5470] ppid=5449 vsize=933104 CPUtime=106.06 cores=4-31
/proc/5454/task/5470/stat : 5470 (plingeling) R 5449 5449 5357 0 -1 4202560 16874 1235 0 0 10591 14 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=5454/tid=5471] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5471/stat : 5471 (plingeling) R 5449 5449 5357 0 -1 4202560 17350 1235 0 0 10597 13 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5454/tid=5472] ppid=5449 vsize=933104 CPUtime=106.1 cores=4-31
/proc/5454/task/5472/stat : 5472 (plingeling) R 5449 5449 5357 0 -1 4202560 11820 1235 0 0 10599 10 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5454/tid=5473] ppid=5449 vsize=933104 CPUtime=106.12 cores=4-31
/proc/5454/task/5473/stat : 5473 (plingeling) R 5449 5449 5357 0 -1 4202560 16557 1235 0 0 10593 18 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5454/tid=5474] ppid=5449 vsize=933104 CPUtime=106.1 cores=4-31
/proc/5454/task/5474/stat : 5474 (plingeling) R 5449 5449 5357 0 -1 4202560 16518 1235 0 0 10592 17 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5454/tid=5475] ppid=5449 vsize=933104 CPUtime=106.13 cores=4-31
/proc/5454/task/5475/stat : 5475 (plingeling) R 5449 5449 5357 0 -1 4202560 15210 1235 0 0 10596 16 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=5454/tid=5476] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5476/stat : 5476 (plingeling) R 5449 5449 5357 0 -1 4202560 15143 1235 0 0 10584 26 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331222 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5454/tid=5477] ppid=5449 vsize=933104 CPUtime=106.09 cores=4-31
/proc/5454/task/5477/stat : 5477 (plingeling) R 5449 5449 5357 0 -1 4202560 17331 1235 0 0 10593 15 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5454/tid=5478] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5478/stat : 5478 (plingeling) R 5449 5449 5357 0 -1 4202560 17722 1235 0 0 10594 16 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4279697 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=5454/tid=5479] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5479/stat : 5479 (plingeling) R 5449 5449 5357 0 -1 4202560 14815 1235 0 0 10597 13 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330990 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5454/tid=5480] ppid=5449 vsize=933104 CPUtime=106.1 cores=4-31
/proc/5454/task/5480/stat : 5480 (plingeling) R 5449 5449 5357 0 -1 4202560 12309 1235 0 0 10598 11 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=5454/tid=5481] ppid=5449 vsize=933104 CPUtime=106.09 cores=4-31
/proc/5454/task/5481/stat : 5481 (plingeling) R 5449 5449 5357 0 -1 4202560 15950 1235 0 0 10595 13 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=5454/tid=5482] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5482/stat : 5482 (plingeling) R 5449 5449 5357 0 -1 4202560 15953 1235 0 0 10593 17 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5454/tid=5483] ppid=5449 vsize=933104 CPUtime=106.07 cores=4-31
/proc/5454/task/5483/stat : 5483 (plingeling) R 5449 5449 5357 0 -1 4202560 17147 1235 0 0 10590 16 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=5454/tid=5484] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5484/stat : 5484 (plingeling) R 5449 5449 5357 0 -1 4202560 15078 1235 0 0 10582 28 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331186 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=5454/tid=5485] ppid=5449 vsize=933104 CPUtime=106.1 cores=4-31
/proc/5454/task/5485/stat : 5485 (plingeling) R 5449 5449 5357 0 -1 4202560 17384 1235 0 0 10592 17 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=5454/tid=5486] ppid=5449 vsize=933104 CPUtime=106.11 cores=4-31
/proc/5454/task/5486/stat : 5486 (plingeling) R 5449 5449 5357 0 -1 4202560 15460 1235 0 0 10590 20 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=5454/tid=5487] ppid=5449 vsize=933104 CPUtime=106.04 cores=4-31
/proc/5454/task/5487/stat : 5487 (plingeling) R 5449 5449 5357 0 -1 4202560 15240 1235 0 0 10594 9 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5454/tid=5488] ppid=5449 vsize=933104 CPUtime=106.05 cores=4-31
/proc/5454/task/5488/stat : 5488 (plingeling) R 5449 5449 5357 0 -1 4202560 13712 1235 0 0 10588 16 0 1 25 0 29 0 587261061 955498496 97840 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332162 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 3393.38
Current children cumulated vsize (KiB) 1939000
[startup+106.823 s]
/proc/loadavg: 31.88 31.78 31.89 33/447 5492
/proc/meminfo: memFree=256329876/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
[pid=5450] ppid=5449 vsize=489196 CPUtime=106.78 cores=0
/proc/5450/stat : 5450 (cryptominisat) R 5449 5449 5357 0 -1 4202496 28817 0 0 0 10670 8 0 0 25 0 1 0 587261039 500936704 7883 268435456000 4194304 4587354 140734248942400 18446744073709551615 4241092 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5450/statm: 122299 7883 336 96 0 118861 0
[pid=5451] ppid=5449 vsize=22676 CPUtime=106.79 cores=1
/proc/5451/stat : 5451 (clasp) R 5449 5449 5357 0 -1 4202496 3091 0 0 0 10678 1 0 0 25 0 1 0 587261039 23220224 2954 268435456000 4194304 4785740 140734328309120 18446744073709551615 4553010 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5451/statm: 5669 2954 339 145 0 2714 0
[pid=5452] ppid=5449 vsize=456488 CPUtime=106.78 cores=2
/proc/5452/stat : 5452 (TNM) R 5449 5449 5357 0 -1 4202496 644 0 0 0 10678 0 0 0 25 0 1 0 587261039 467443712 542 268435456000 134512640 134534564 4293119856 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5452/statm: 114122 542 95 6 0 112787 0
[pid=5453] ppid=5449 vsize=19212 CPUtime=106.79 cores=3
/proc/5453/stat : 5453 (march_hi) R 5449 5449 5357 0 -1 4202496 4094 0 0 0 10677 2 0 0 25 0 1 0 587261039 19673088 2538 268435456000 4194304 4331988 140734943200912 18446744073709551615 4243055 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5453/statm: 4803 2538 174 34 0 3245 0
[pid=5454] ppid=5449 vsize=945392 CPUtime=2979.69 cores=4-31
/proc/5454/stat : 5454 (plingeling) S 5449 5449 5357 0 -1 4202496 449095 1235 0 0 297499 469 0 1 21 0 29 0 587261039 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/5454/statm: 236348 100912 159 40 0 234892 0
[pid=5454/tid=5461] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5461/stat : 5461 (plingeling) R 5449 5449 5357 0 -1 4202560 17191 1235 0 0 10638 14 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5454/tid=5462] ppid=5449 vsize=945392 CPUtime=106.51 cores=4-31
/proc/5454/task/5462/stat : 5462 (plingeling) R 5449 5449 5357 0 -1 4202560 16262 1235 0 0 10632 18 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5454/tid=5463] ppid=5449 vsize=945392 CPUtime=106.5 cores=4-31
/proc/5454/task/5463/stat : 5463 (plingeling) R 5449 5449 5357 0 -1 4202560 16849 1235 0 0 10635 14 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331465 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5454/tid=5464] ppid=5449 vsize=945392 CPUtime=106.5 cores=4-31
/proc/5454/task/5464/stat : 5464 (plingeling) R 5449 5449 5357 0 -1 4202560 12812 1235 0 0 10637 12 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5454/tid=5465] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5465/stat : 5465 (plingeling) R 5449 5449 5357 0 -1 4202560 17891 1235 0 0 10632 20 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5454/tid=5466] ppid=5449 vsize=945392 CPUtime=106.51 cores=4-31
/proc/5454/task/5466/stat : 5466 (plingeling) R 5449 5449 5357 0 -1 4202560 14828 1235 0 0 10639 11 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5454/tid=5467] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5467/stat : 5467 (plingeling) R 5449 5449 5357 0 -1 4202560 16089 1235 0 0 10639 13 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5454/tid=5468] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5468/stat : 5468 (plingeling) R 5449 5449 5357 0 -1 4202560 16223 1235 0 0 10625 27 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5454/tid=5469] ppid=5449 vsize=945392 CPUtime=103.54 cores=4-31
/proc/5454/task/5469/stat : 5469 (plingeling) R 5449 5449 5357 0 -1 4202560 17279 1235 0 0 10337 16 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5454/tid=5470] ppid=5449 vsize=945392 CPUtime=106.48 cores=4-31
/proc/5454/task/5470/stat : 5470 (plingeling) R 5449 5449 5357 0 -1 4202560 16874 1235 0 0 10633 14 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=5454/tid=5471] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5471/stat : 5471 (plingeling) R 5449 5449 5357 0 -1 4202560 17350 1235 0 0 10639 13 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5454/tid=5472] ppid=5449 vsize=945392 CPUtime=106.52 cores=4-31
/proc/5454/task/5472/stat : 5472 (plingeling) R 5449 5449 5357 0 -1 4202560 11820 1235 0 0 10641 10 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331841 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5454/tid=5473] ppid=5449 vsize=945392 CPUtime=106.54 cores=4-31
/proc/5454/task/5473/stat : 5473 (plingeling) R 5449 5449 5357 0 -1 4202560 16557 1235 0 0 10635 18 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5454/tid=5474] ppid=5449 vsize=945392 CPUtime=106.52 cores=4-31
/proc/5454/task/5474/stat : 5474 (plingeling) R 5449 5449 5357 0 -1 4202560 16518 1235 0 0 10634 17 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5454/tid=5475] ppid=5449 vsize=945392 CPUtime=106.55 cores=4-31
/proc/5454/task/5475/stat : 5475 (plingeling) R 5449 5449 5357 0 -1 4202560 15210 1235 0 0 10638 16 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=5454/tid=5476] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5476/stat : 5476 (plingeling) R 5449 5449 5357 0 -1 4202560 15143 1235 0 0 10626 26 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5454/tid=5477] ppid=5449 vsize=945392 CPUtime=106.51 cores=4-31
/proc/5454/task/5477/stat : 5477 (plingeling) R 5449 5449 5357 0 -1 4202560 17331 1235 0 0 10635 15 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5454/tid=5478] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5478/stat : 5478 (plingeling) R 5449 5449 5357 0 -1 4202560 17722 1235 0 0 10636 16 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=5454/tid=5479] ppid=5449 vsize=945392 CPUtime=106.54 cores=4-31
/proc/5454/task/5479/stat : 5479 (plingeling) R 5449 5449 5357 0 -1 4202560 14815 1235 0 0 10640 13 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5454/tid=5480] ppid=5449 vsize=945392 CPUtime=106.52 cores=4-31
/proc/5454/task/5480/stat : 5480 (plingeling) R 5449 5449 5357 0 -1 4202560 12309 1235 0 0 10640 11 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=5454/tid=5481] ppid=5449 vsize=945392 CPUtime=106.51 cores=4-31
/proc/5454/task/5481/stat : 5481 (plingeling) R 5449 5449 5357 0 -1 4202560 15950 1235 0 0 10637 13 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=5454/tid=5482] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5482/stat : 5482 (plingeling) R 5449 5449 5357 0 -1 4202560 15953 1235 0 0 10635 17 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5454/tid=5483] ppid=5449 vsize=945392 CPUtime=106.49 cores=4-31
/proc/5454/task/5483/stat : 5483 (plingeling) R 5449 5449 5357 0 -1 4202560 17147 1235 0 0 10632 16 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=5454/tid=5484] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5484/stat : 5484 (plingeling) R 5449 5449 5357 0 -1 4202560 17126 1235 0 0 10619 33 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=5454/tid=5485] ppid=5449 vsize=945392 CPUtime=106.52 cores=4-31
/proc/5454/task/5485/stat : 5485 (plingeling) R 5449 5449 5357 0 -1 4202560 17384 1235 0 0 10634 17 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=5454/tid=5486] ppid=5449 vsize=945392 CPUtime=106.53 cores=4-31
/proc/5454/task/5486/stat : 5486 (plingeling) R 5449 5449 5357 0 -1 4202560 15460 1235 0 0 10632 20 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4281578 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=5454/tid=5487] ppid=5449 vsize=945392 CPUtime=106.46 cores=4-31
/proc/5454/task/5487/stat : 5487 (plingeling) R 5449 5449 5357 0 -1 4202560 15240 1235 0 0 10636 9 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5454/tid=5488] ppid=5449 vsize=945392 CPUtime=106.47 cores=4-31
/proc/5454/task/5488/stat : 5488 (plingeling) R 5449 5449 5357 0 -1 4202560 13712 1235 0 0 10630 16 0 1 25 0 29 0 587261061 968081408 100912 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 3406.83
Current children cumulated vsize (KiB) 1951288
[startup+107.202 s]
/proc/loadavg: 31.88 31.78 31.89 33/447 5492
/proc/meminfo: memFree=256329876/264257624 swapFree=67111528/67111528
[pid=5449] ppid=5447 vsize=18324 CPUtime=0 cores=0-31
/proc/5449/stat : 5449 (ppfolio) S 5447 5449 5357 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 587261039 18763776 386 268435456000 4194304 4287625 140736837668704 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 24 0 0 0
/proc/5449/statm: 4581 386 337 23 0 91 0
[pid=5450] ppid=5449 vsize=489196 CPUtime=107.16 cores=0
/proc/5450/stat : 5450 (cryptominisat) R 5449 5449 5357 0 -1 4202496 28818 0 0 0 10708 8 0 0 25 0 1 0 587261039 500936704 7884 268435456000 4194304 4587354 140734248942400 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5450/statm: 122299 7884 336 96 0 118861 0
[pid=5451] ppid=5449 vsize=22676 CPUtime=107.16 cores=1
/proc/5451/stat : 5451 (clasp) R 5449 5449 5357 0 -1 4202496 3091 0 0 0 10715 1 0 0 25 0 1 0 587261039 23220224 2954 268435456000 4194304 4785740 140734328309120 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5451/statm: 5669 2954 339 145 0 2714 0
[pid=5452] ppid=5449 vsize=456488 CPUtime=107.16 cores=2
/proc/5452/stat : 5452 (TNM) R 5449 5449 5357 0 -1 4202496 644 0 0 0 10716 0 0 0 25 0 1 0 587261039 467443712 542 268435456000 134512640 134534564 4293119856 18446744073709551615 134528730 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5452/statm: 114122 542 95 6 0 112787 0
[pid=5453] ppid=5449 vsize=19212 CPUtime=107.17 cores=3
/proc/5453/stat : 5453 (march_hi) R 5449 5449 5357 0 -1 4202496 4094 0 0 0 10715 2 0 0 25 0 1 0 587261039 19673088 2538 268435456000 4194304 4331988 140734943200912 18446744073709551615 4299462 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5453/statm: 4803 2538 174 34 0 3245 0
[pid=5454] ppid=5449 vsize=822592 CPUtime=2986.88 cores=4-31
/proc/5454/stat : 5454 (plingeling) S 5449 5449 5357 0 -1 4202496 449128 1235 0 0 298218 469 0 1 18 0 2 0 587261039 842334208 100861 268435456000 4194304 4356188 140735976465776 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/5454/statm: 205648 100861 160 40 0 204192 0
[pid=5454/tid=5476] ppid=5449 vsize=822592 CPUtime=106.91 cores=4-31
/proc/5454/task/5476/stat : 5476 (plingeling) R 5449 5449 5357 0 -1 4202560 15143 1235 0 0 10664 26 0 1 25 0 2 0 587261061 842334208 100861 268435456000 4194304 4356188 140735976465776 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 3415.53
Current children cumulated vsize (KiB) 1828488
Child status: 0
Real time (s): 107.262
CPU time (s): 3415.9
CPU user time (s): 3411
CPU system time (s): 4.89126
CPU usage (%): 3184.63
Max. virtual memory (cumulated for all children) (KiB): 5007804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3411
system time used= 4.89126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487546
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= 3246
involuntary context switches= 7506
runsolver used 0.583911 second user time and 2.46962 second system time
The end
Begin job on node200 at 2011-05-07 10:42:26
IDJOB=3347159
IDBENCH=20393
IDSOLVER=1808
FILE ID=node200/3347159-1304757746
RUNJOBID= node200-1304757685-5371
PBS_JOBID= 13281955
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-21.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347159-1304757746/watcher-3347159-1304757746 -o /tmp/evaluation-result-3347159-1304757746/solver-3347159-1304757746 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347159-1304757746.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 627e3d704e5200c3037f9c9d83c939c1
RANDOM SEED=142983700
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: 256781020 kB
Buffers: 347120 kB
Cached: 6782756 kB
SwapCached: 0 kB
Active: 6312260 kB
Inactive: 886748 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256781020 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10192 kB
Writeback: 32 kB
AnonPages: 68908 kB
Mapped: 14708 kB
Slab: 190892 kB
PageTables: 4988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 180972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-07 10:44:14