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
805.96/35.47 s UNSATISFIABLE
808.46/35.61 solver [1] cryptominisat 2.7.1 answered
808.46/35.61 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-3347171-1304788982/watcher-3347171-1304788982 -o /tmp/evaluation-result-3347171-1304788982/solver-3347171-1304788982 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347171-1304788982.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: 26.17 29.78 30.77 1/413 7453
/proc/meminfo: memFree=256745212/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
[startup+0.103674 s]
/proc/loadavg: 26.17 29.78 30.77 1/413 7453
/proc/meminfo: memFree=256745212/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200679 s]
/proc/loadavg: 26.17 29.78 30.77 1/413 7453
/proc/meminfo: memFree=256745212/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300714 s]
/proc/loadavg: 26.17 29.78 30.77 1/413 7453
/proc/meminfo: memFree=256745212/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700661 s]
/proc/loadavg: 26.17 29.78 30.77 1/413 7453
/proc/meminfo: memFree=256745212/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 16 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50071 s]
/proc/loadavg: 26.17 29.78 30.77 6/419 7464
/proc/meminfo: memFree=256428308/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 16 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
[pid=7454] ppid=7453 vsize=100116 CPUtime=1.48 cores=0
/proc/7454/stat : 7454 (cryptominisat) R 7453 7453 7350 0 -1 4202496 20350 0 0 0 143 5 0 0 20 0 1 0 590384746 102518784 19880 268435456000 4194304 4587354 140734741616944 18446744073709551615 4237686 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/7454/statm: 25029 19880 302 96 0 21591 0
[pid=7455] ppid=7453 vsize=102772 CPUtime=1.48 cores=1
/proc/7455/stat : 7455 (clasp) R 7453 7453 7350 0 -1 4202496 28081 0 0 0 140 8 0 0 20 0 1 0 590384746 105238528 22307 268435456000 4194304 4785740 140734198933200 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/7455/statm: 25693 22307 316 145 0 22738 0
[pid=7456] ppid=7453 vsize=466524 CPUtime=1.48 cores=2
/proc/7456/stat : 7456 (TNM) R 7453 7453 7350 0 -1 4202496 6146 0 0 0 145 3 0 0 20 0 1 0 590384746 477720576 6045 268435456000 134512640 134534564 4290985024 18446744073709551615 4155047 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7456/statm: 116631 6045 90 6 0 115296 0
[pid=7457] ppid=7453 vsize=118476 CPUtime=1.48 cores=3
/proc/7457/stat : 7457 (march_hi) R 7453 7453 7350 0 -1 4194304 23411 0 0 0 141 7 0 0 20 0 1 0 590384746 121319424 17762 268435456000 4194304 4331988 140733945148480 18446744073709551615 4257032 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7457/statm: 29619 17762 124 34 0 28061 0
[pid=7458] ppid=7453 vsize=102332 CPUtime=1.48 cores=4-31
/proc/7458/stat : 7458 (plingeling) R 7453 7453 7350 0 -1 4202496 24357 1241 0 0 141 7 0 0 21 0 1 0 590384746 104787968 24242 268435456000 4194304 4356188 140733393813152 18446744073709551615 4212270 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/7458/statm: 25583 24242 129 40 0 24127 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 908544
[startup+3.10079 s]
/proc/loadavg: 26.17 29.78 30.77 6/419 7464
/proc/meminfo: memFree=256266380/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
[pid=7454] ppid=7453 vsize=135296 CPUtime=3.08 cores=0
/proc/7454/stat : 7454 (cryptominisat) R 7453 7453 7350 0 -1 4202496 29115 0 0 0 301 7 0 0 25 0 1 0 590384746 138543104 28645 268435456000 4194304 4587354 140734741616944 18446744073709551615 4365236 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/7454/statm: 33824 28645 308 96 0 30386 0
[pid=7455] ppid=7453 vsize=122416 CPUtime=3.08 cores=1
/proc/7455/stat : 7455 (clasp) R 7453 7453 7350 0 -1 4202496 32934 0 0 0 299 9 0 0 25 0 1 0 590384746 125353984 27160 268435456000 4194304 4785740 140734198933200 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/7455/statm: 30604 27160 317 145 0 27649 0
[pid=7456] ppid=7453 vsize=507336 CPUtime=3.08 cores=2
/proc/7456/stat : 7456 (TNM) R 7453 7453 7350 0 -1 4202496 18329 0 0 0 302 6 0 0 25 0 1 0 590384746 519512064 18227 268435456000 134512640 134534564 4290985024 18446744073709551615 134524672 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7456/statm: 126834 18227 91 6 0 125499 0
[pid=7457] ppid=7453 vsize=134084 CPUtime=3.08 cores=3
/proc/7457/stat : 7457 (march_hi) R 7453 7453 7350 0 -1 4194304 48135 0 0 0 296 12 0 0 25 0 1 0 590384746 137302016 23029 268435456000 4194304 4331988 140733945148480 18446744073709551615 4251674 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7457/statm: 33521 23029 127 34 0 31963 0
[pid=7458] ppid=7453 vsize=251240 CPUtime=3.07 cores=4-31
/proc/7458/stat : 7458 (plingeling) R 7453 7453 7350 0 -1 4202496 61600 1241 0 0 293 14 0 0 25 0 1 0 590384746 257269760 61469 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/7458/statm: 62810 61469 129 40 0 61354 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 1168696
[startup+6.30091 s]
/proc/loadavg: 24.47 29.36 30.63 6/419 7464
/proc/meminfo: memFree=255980580/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
[pid=7454] ppid=7453 vsize=135584 CPUtime=6.28 cores=0
/proc/7454/stat : 7454 (cryptominisat) R 7453 7453 7350 0 -1 4202496 29199 0 0 0 621 7 0 0 25 0 1 0 590384746 138838016 28729 268435456000 4194304 4587354 140734741616944 18446744073709551615 4367578 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/7454/statm: 33896 28729 309 96 0 30458 0
[pid=7455] ppid=7453 vsize=130680 CPUtime=6.28 cores=1
/proc/7455/stat : 7455 (clasp) R 7453 7453 7350 0 -1 4202496 37091 0 0 0 618 10 0 0 25 0 1 0 590384746 133816320 29548 268435456000 4194304 4785740 140734198933200 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/7455/statm: 32670 29548 324 145 0 29715 0
[pid=7456] ppid=7453 vsize=507336 CPUtime=6.28 cores=2
/proc/7456/stat : 7456 (TNM) R 7453 7453 7350 0 -1 4202496 18329 0 0 0 622 6 0 0 25 0 1 0 590384746 519512064 18227 268435456000 134512640 134534564 4290985024 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7456/statm: 126834 18227 91 6 0 125499 0
[pid=7457] ppid=7453 vsize=150504 CPUtime=6.28 cores=3
/proc/7457/stat : 7457 (march_hi) R 7453 7453 7350 0 -1 4202496 111182 0 0 0 603 25 0 0 25 0 1 0 590384746 154116096 26950 268435456000 4194304 4331988 140733945148480 18446744073709551615 4252211 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7457/statm: 37626 26950 146 34 0 36068 0
[pid=7458] ppid=7453 vsize=515552 CPUtime=6.28 cores=4-31
/proc/7458/stat : 7458 (plingeling) R 7453 7453 7350 0 -1 4202496 127730 1241 0 0 600 28 0 0 25 0 1 0 590384746 527925248 127547 268435456000 4194304 4356188 140733393813152 18446744073709551615 4277728 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/7458/statm: 128888 127547 129 40 0 127432 0
Current children cumulated CPU time (s) 31.4
Current children cumulated vsize (KiB) 1457980
[startup+12.7041 s]
/proc/loadavg: 22.91 28.96 30.49 33/447 7492
/proc/meminfo: memFree=255504364/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
[pid=7454] ppid=7453 vsize=243060 CPUtime=12.69 cores=0
/proc/7454/stat : 7454 (cryptominisat) R 7453 7453 7350 0 -1 4202496 56712 0 0 0 1254 15 0 0 25 0 1 0 590384746 248893440 50423 268435456000 4194304 4587354 140734741616944 18446744073709551615 4357555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/7454/statm: 60765 50423 314 96 0 57327 0
[pid=7455] ppid=7453 vsize=130680 CPUtime=12.68 cores=1
/proc/7455/stat : 7455 (clasp) R 7453 7453 7350 0 -1 4202496 37107 0 0 0 1258 10 0 0 25 0 1 0 590384746 133816320 29564 268435456000 4194304 4785740 140734198933200 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/7455/statm: 32670 29564 338 145 0 29715 0
[pid=7456] ppid=7453 vsize=507336 CPUtime=12.68 cores=2
/proc/7456/stat : 7456 (TNM) R 7453 7453 7350 0 -1 4202496 18329 0 0 0 1262 6 0 0 25 0 1 0 590384746 519512064 18227 268435456000 134512640 134534564 4290985024 18446744073709551615 134524550 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7456/statm: 126834 18227 91 6 0 125499 0
[pid=7457] ppid=7453 vsize=140140 CPUtime=12.68 cores=3
/proc/7457/stat : 7457 (march_hi) R 7453 7453 7350 0 -1 4202496 136512 0 0 0 1237 31 0 0 25 0 1 0 590384746 143503360 24465 268435456000 4194304 4331988 140733945148480 18446744073709551615 4271154 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7457/statm: 35035 24465 149 34 0 33477 0
[pid=7458] ppid=7453 vsize=1639728 CPUtime=33.74 cores=4-31
/proc/7458/stat : 7458 (plingeling) S 7453 7453 7350 0 -1 4202496 358945 1241 0 0 2932 442 0 0 18 0 29 0 590384746 1679081472 292110 268435456000 4194304 4356188 140733393813152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/7458/statm: 409932 292155 137 40 0 408476 0
[pid=7458/tid=7465] ppid=7453 vsize=1639728 CPUtime=0.7 cores=4-31
/proc/7458/task/7465/stat : 7465 (plingeling) R 7453 7453 7350 0 -1 4202560 2113 1241 0 0 60 10 0 0 18 0 29 0 590385909 1679081472 292177 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=7458/tid=7466] ppid=7453 vsize=1639728 CPUtime=0.85 cores=4-31
/proc/7458/task/7466/stat : 7466 (plingeling) R 7453 7453 7350 0 -1 4202560 4230 1241 0 0 75 10 0 0 24 0 29 0 590385909 1679081472 292212 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=7458/tid=7467] ppid=7453 vsize=1639728 CPUtime=0.73 cores=4-31
/proc/7458/task/7467/stat : 7467 (plingeling) R 7453 7453 7350 0 -1 4202560 3948 1241 0 0 59 14 0 0 18 0 29 0 590385909 1679081472 292269 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=7458/tid=7468] ppid=7453 vsize=1639728 CPUtime=0.74 cores=4-31
/proc/7458/task/7468/stat : 7468 (plingeling) R 7453 7453 7350 0 -1 4202560 3798 1241 0 0 57 17 0 0 18 0 29 0 590385909 1679081472 292298 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=7458/tid=7469] ppid=7453 vsize=1639728 CPUtime=0.84 cores=4-31
/proc/7458/task/7469/stat : 7469 (plingeling) R 7453 7453 7350 0 -1 4202560 4227 1241 0 0 73 11 0 0 18 0 29 0 590385909 1679081472 292348 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7458/tid=7470] ppid=7453 vsize=1639728 CPUtime=0.72 cores=4-31
/proc/7458/task/7470/stat : 7470 (plingeling) R 7453 7453 7350 0 -1 4202560 3841 1241 0 0 58 14 0 0 18 0 29 0 590385909 1679081472 292381 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=7458/tid=7471] ppid=7453 vsize=1639728 CPUtime=0.73 cores=4-31
/proc/7458/task/7471/stat : 7471 (plingeling) R 7453 7453 7350 0 -1 4202560 3965 1241 0 0 58 15 0 0 18 0 29 0 590385909 1679081472 292421 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=7458/tid=7472] ppid=7453 vsize=1639728 CPUtime=0.78 cores=4-31
/proc/7458/task/7472/stat : 7472 (plingeling) R 7453 7453 7350 0 -1 4202560 3929 1241 0 0 65 13 0 0 18 0 29 0 590385910 1679081472 292458 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=7458/tid=7473] ppid=7453 vsize=1639728 CPUtime=0.75 cores=4-31
/proc/7458/task/7473/stat : 7473 (plingeling) R 7453 7453 7350 0 -1 4202560 3913 1241 0 0 60 15 0 0 18 0 29 0 590385910 1679081472 292500 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=7458/tid=7474] ppid=7453 vsize=1639728 CPUtime=0.71 cores=4-31
/proc/7458/task/7474/stat : 7474 (plingeling) R 7453 7453 7350 0 -1 4202560 3969 1241 0 0 50 21 0 0 18 0 29 0 590385910 1679081472 292544 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=7458/tid=7475] ppid=7453 vsize=1639728 CPUtime=0.64 cores=4-31
/proc/7458/task/7475/stat : 7475 (plingeling) R 7453 7453 7350 0 -1 4202560 3817 1241 0 0 52 12 0 0 18 0 29 0 590385910 1679081472 292572 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=7458/tid=7476] ppid=7453 vsize=1639728 CPUtime=0.69 cores=4-31
/proc/7458/task/7476/stat : 7476 (plingeling) R 7453 7453 7350 0 -1 4202560 3954 1241 0 0 50 19 0 0 18 0 29 0 590385910 1679081472 292617 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=7458/tid=7477] ppid=7453 vsize=1639728 CPUtime=0.89 cores=4-31
/proc/7458/task/7477/stat : 7477 (plingeling) R 7453 7453 7350 0 -1 4202560 4059 1241 0 0 75 14 0 0 20 0 29 0 590385910 1679081472 292662 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=7458/tid=7478] ppid=7453 vsize=1639728 CPUtime=0.88 cores=4-31
/proc/7458/task/7478/stat : 7478 (plingeling) R 7453 7453 7350 0 -1 4202560 4097 1241 0 0 74 14 0 0 18 0 29 0 590385910 1679081472 292719 268435456000 4194304 4356188 140733393813152 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=7458/tid=7479] ppid=7453 vsize=1639728 CPUtime=0.69 cores=4-31
/proc/7458/task/7479/stat : 7479 (plingeling) R 7453 7453 7350 0 -1 4202560 3316 1241 0 0 63 6 0 0 18 0 29 0 590385910 1679081472 292768 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=7458/tid=7480] ppid=7453 vsize=1639728 CPUtime=0.95 cores=4-31
/proc/7458/task/7480/stat : 7480 (plingeling) R 7453 7453 7350 0 -1 4202560 3766 1241 0 0 82 13 0 0 21 0 29 0 590385910 1679081472 292811 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=7458/tid=7481] ppid=7453 vsize=1639728 CPUtime=0.71 cores=4-31
/proc/7458/task/7481/stat : 7481 (plingeling) R 7453 7453 7350 0 -1 4202560 3978 1241 0 0 54 17 0 0 18 0 29 0 590385910 1679081472 292849 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7458/tid=7482] ppid=7453 vsize=1639728 CPUtime=0.9 cores=4-31
/proc/7458/task/7482/stat : 7482 (plingeling) R 7453 7453 7350 0 -1 4202560 4097 1241 0 0 79 11 0 0 20 0 29 0 590385911 1679081472 292890 268435456000 4194304 4356188 140733393813152 18446744073709551615 4241631 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=7458/tid=7483] ppid=7453 vsize=1639728 CPUtime=0.83 cores=4-31
/proc/7458/task/7483/stat : 7483 (plingeling) R 7453 7453 7350 0 -1 4202560 3831 1241 0 0 68 15 0 0 18 0 29 0 590385912 1679081472 292916 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=7458/tid=7484] ppid=7453 vsize=1639728 CPUtime=0.68 cores=4-31
/proc/7458/task/7484/stat : 7484 (plingeling) R 7453 7453 7350 0 -1 4202560 4014 1241 0 0 54 14 0 0 18 0 29 0 590385913 1679081472 292963 268435456000 4194304 4356188 140733393813152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=7458/tid=7485] ppid=7453 vsize=1639728 CPUtime=0.87 cores=4-31
/proc/7458/task/7485/stat : 7485 (plingeling) R 7453 7453 7350 0 -1 4202560 4097 1241 0 0 77 10 0 0 20 0 29 0 590385913 1679081472 293005 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=7458/tid=7486] ppid=7453 vsize=1639728 CPUtime=0.85 cores=4-31
################
# More data... #
################
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
[pid=7454] ppid=7453 vsize=277656 CPUtime=34.38 cores=0
/proc/7454/stat : 7454 (cryptominisat) R 7453 7453 7350 0 -1 4202496 66399 0 0 0 3420 18 0 0 25 0 1 0 590384746 284319744 59725 268435456000 4194304 4587354 140734741616944 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/7454/statm: 69414 59725 328 96 0 65976 0
[pid=7455] ppid=7453 vsize=130680 CPUtime=34.38 cores=1
/proc/7455/stat : 7455 (clasp) R 7453 7453 7350 0 -1 4202496 37111 0 0 0 3428 10 0 0 25 0 1 0 590384746 133816320 29568 268435456000 4194304 4785740 140734198933200 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/7455/statm: 32670 29568 338 145 0 29715 0
[pid=7456] ppid=7453 vsize=507336 CPUtime=34.38 cores=2
/proc/7456/stat : 7456 (TNM) R 7453 7453 7350 0 -1 4202496 18329 0 0 0 3432 6 0 0 25 0 1 0 590384746 519512064 18227 268435456000 134512640 134534564 4290985024 18446744073709551615 134524672 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7456/statm: 126834 18227 91 6 0 125499 0
[pid=7457] ppid=7453 vsize=259860 CPUtime=34.38 cores=3
/proc/7457/stat : 7457 (march_hi) R 7453 7453 7350 0 -1 4202496 166314 0 0 0 3394 44 0 0 25 0 1 0 590384746 266096640 54267 268435456000 4194304 4331988 140733945148480 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7457/statm: 64965 54267 149 34 0 63407 0
[pid=7458] ppid=7453 vsize=2180536 CPUtime=636.48 cores=4-31
/proc/7458/stat : 7458 (plingeling) S 7453 7453 7350 0 -1 4202496 767304 1241 0 0 62965 683 0 0 18 0 29 0 590384746 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/7458/statm: 545134 413658 159 40 0 543678 0
[pid=7458/tid=7465] ppid=7453 vsize=2180536 CPUtime=22.22 cores=4-31
/proc/7458/task/7465/stat : 7465 (plingeling) R 7453 7453 7350 0 -1 4202560 21917 1241 0 0 2203 19 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4239072 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=7458/tid=7466] ppid=7453 vsize=2180536 CPUtime=22.31 cores=4-31
/proc/7458/task/7466/stat : 7466 (plingeling) R 7453 7453 7350 0 -1 4202560 20740 1241 0 0 2213 18 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=7458/tid=7467] ppid=7453 vsize=2180536 CPUtime=22.28 cores=4-31
/proc/7458/task/7467/stat : 7467 (plingeling) R 7453 7453 7350 0 -1 4202560 18803 1241 0 0 2204 24 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=7458/tid=7468] ppid=7453 vsize=2180536 CPUtime=22.25 cores=4-31
/proc/7458/task/7468/stat : 7468 (plingeling) R 7453 7453 7350 0 -1 4202560 11048 1241 0 0 2204 21 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=7458/tid=7469] ppid=7453 vsize=2180536 CPUtime=22.33 cores=4-31
/proc/7458/task/7469/stat : 7469 (plingeling) R 7453 7453 7350 0 -1 4202560 20017 1241 0 0 2216 17 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4210798 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7458/tid=7470] ppid=7453 vsize=2180536 CPUtime=22.19 cores=4-31
/proc/7458/task/7470/stat : 7470 (plingeling) R 7453 7453 7350 0 -1 4202560 17248 1241 0 0 2193 26 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4211061 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=7458/tid=7471] ppid=7453 vsize=2180536 CPUtime=22.35 cores=4-31
/proc/7458/task/7471/stat : 7471 (plingeling) R 7453 7453 7350 0 -1 4202560 15524 1241 0 0 2213 22 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236977 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=7458/tid=7472] ppid=7453 vsize=2180536 CPUtime=22.35 cores=4-31
/proc/7458/task/7472/stat : 7472 (plingeling) R 7453 7453 7350 0 -1 4202560 18101 1241 0 0 2213 22 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=7458/tid=7473] ppid=7453 vsize=2180536 CPUtime=22.34 cores=4-31
/proc/7458/task/7473/stat : 7473 (plingeling) R 7453 7453 7350 0 -1 4202560 21466 1241 0 0 2211 23 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=7458/tid=7474] ppid=7453 vsize=2180536 CPUtime=22.17 cores=4-31
/proc/7458/task/7474/stat : 7474 (plingeling) R 7453 7453 7350 0 -1 4202560 21474 1241 0 0 2184 33 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=7458/tid=7475] ppid=7453 vsize=2180536 CPUtime=22.27 cores=4-31
/proc/7458/task/7475/stat : 7475 (plingeling) R 7453 7453 7350 0 -1 4202560 20767 1241 0 0 2201 26 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4237629 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=7458/tid=7476] ppid=7453 vsize=2180536 CPUtime=22.19 cores=4-31
/proc/7458/task/7476/stat : 7476 (plingeling) R 7453 7453 7350 0 -1 4202560 16267 1241 0 0 2194 25 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=7458/tid=7477] ppid=7453 vsize=2180536 CPUtime=22.4 cores=4-31
/proc/7458/task/7477/stat : 7477 (plingeling) R 7453 7453 7350 0 -1 4202560 20223 1241 0 0 2218 22 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=7458/tid=7478] ppid=7453 vsize=2180536 CPUtime=21.96 cores=4-31
/proc/7458/task/7478/stat : 7478 (plingeling) R 7453 7453 7350 0 -1 4202560 16051 1241 0 0 2172 24 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=7458/tid=7479] ppid=7453 vsize=2180536 CPUtime=22.29 cores=4-31
/proc/7458/task/7479/stat : 7479 (plingeling) R 7453 7453 7350 0 -1 4202560 11023 1241 0 0 2218 11 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=7458/tid=7480] ppid=7453 vsize=2180536 CPUtime=22.42 cores=4-31
/proc/7458/task/7480/stat : 7480 (plingeling) R 7453 7453 7350 0 -1 4202560 24138 1241 0 0 2218 24 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=7458/tid=7481] ppid=7453 vsize=2180536 CPUtime=22.27 cores=4-31
/proc/7458/task/7481/stat : 7481 (plingeling) R 7453 7453 7350 0 -1 4202560 23804 1241 0 0 2196 31 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4279761 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7458/tid=7482] ppid=7453 vsize=2180536 CPUtime=22.36 cores=4-31
/proc/7458/task/7482/stat : 7482 (plingeling) R 7453 7453 7350 0 -1 4202560 17108 1241 0 0 2221 15 0 0 25 0 29 0 590385911 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=7458/tid=7483] ppid=7453 vsize=2180536 CPUtime=22.38 cores=4-31
/proc/7458/task/7483/stat : 7483 (plingeling) R 7453 7453 7350 0 -1 4202560 17319 1241 0 0 2217 21 0 0 25 0 29 0 590385912 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=7458/tid=7484] ppid=7453 vsize=2180536 CPUtime=22.36 cores=4-31
/proc/7458/task/7484/stat : 7484 (plingeling) R 7453 7453 7350 0 -1 4202560 8100 1241 0 0 2219 17 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=7458/tid=7485] ppid=7453 vsize=2180536 CPUtime=22.38 cores=4-31
/proc/7458/task/7485/stat : 7485 (plingeling) R 7453 7453 7350 0 -1 4202560 17725 1241 0 0 2220 18 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=7458/tid=7486] ppid=7453 vsize=2180536 CPUtime=22.37 cores=4-31
/proc/7458/task/7486/stat : 7486 (plingeling) R 7453 7453 7350 0 -1 4202560 20732 1241 0 0 2212 25 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=7458/tid=7487] ppid=7453 vsize=2180536 CPUtime=22.26 cores=4-31
/proc/7458/task/7487/stat : 7487 (plingeling) R 7453 7453 7350 0 -1 4202560 19780 1241 0 0 2204 22 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=7458/tid=7488] ppid=7453 vsize=2180536 CPUtime=22.33 cores=4-31
/proc/7458/task/7488/stat : 7488 (plingeling) R 7453 7453 7350 0 -1 4202560 11501 1241 0 0 2213 20 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4237616 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=7458/tid=7489] ppid=7453 vsize=2180536 CPUtime=22.17 cores=4-31
/proc/7458/task/7489/stat : 7489 (plingeling) R 7453 7453 7350 0 -1 4202560 18982 1241 0 0 2190 27 0 0 25 0 29 0 590385914 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=7458/tid=7490] ppid=7453 vsize=2180536 CPUtime=22.4 cores=4-31
/proc/7458/task/7490/stat : 7490 (plingeling) R 7453 7453 7350 0 -1 4202560 22454 1241 0 0 2216 24 0 0 25 0 29 0 590385914 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4212207 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=7458/tid=7491] ppid=7453 vsize=2180536 CPUtime=22.48 cores=4-31
/proc/7458/task/7491/stat : 7491 (plingeling) R 7453 7453 7350 0 -1 4202560 24078 1241 0 0 2232 16 0 0 25 0 29 0 590385914 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4234009 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=7458/tid=7492] ppid=7453 vsize=2180536 CPUtime=22.48 cores=4-31
/proc/7458/task/7492/stat : 7492 (plingeling) R 7453 7453 7350 0 -1 4202560 16607 1241 0 0 2227 21 0 0 25 0 29 0 590385915 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4238464 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 774
Current children cumulated vsize (KiB) 3374392
[startup+35.2018 s]
/proc/loadavg: 26.07 29.22 30.53 33/447 7492
/proc/meminfo: memFree=254436892/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=0 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 590384745 18763776 385 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/7453/statm: 4581 385 337 23 0 91 0
[pid=7454] ppid=7453 vsize=277656 CPUtime=35.2 cores=0
/proc/7454/stat : 7454 (cryptominisat) R 7453 7453 7350 0 -1 4202496 66413 0 0 0 3502 18 0 0 25 0 1 0 590384746 284319744 59737 268435456000 4194304 4587354 140734741616944 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/7454/statm: 69414 59737 328 96 0 65976 0
[pid=7455] ppid=7453 vsize=130680 CPUtime=35.19 cores=1
/proc/7455/stat : 7455 (clasp) R 7453 7453 7350 0 -1 4202496 37111 0 0 0 3509 10 0 0 25 0 1 0 590384746 133816320 29568 268435456000 4194304 4785740 140734198933200 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/7455/statm: 32670 29568 338 145 0 29715 0
[pid=7456] ppid=7453 vsize=507336 CPUtime=35.19 cores=2
/proc/7456/stat : 7456 (TNM) R 7453 7453 7350 0 -1 4202496 18329 0 0 0 3513 6 0 0 25 0 1 0 590384746 519512064 18227 268435456000 134512640 134534564 4290985024 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7456/statm: 126834 18227 91 6 0 125499 0
[pid=7457] ppid=7453 vsize=265404 CPUtime=35.2 cores=3
/proc/7457/stat : 7457 (march_hi) R 7453 7453 7350 0 -1 4202496 167698 0 0 0 3475 45 0 0 25 0 1 0 590384746 271773696 55651 268435456000 4194304 4331988 140733945148480 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7457/statm: 66351 55651 149 34 0 64793 0
[pid=7458] ppid=7453 vsize=2180536 CPUtime=659.38 cores=4-31
/proc/7458/stat : 7458 (plingeling) S 7453 7453 7350 0 -1 4202496 767304 1241 0 0 65255 683 0 0 18 0 29 0 590384746 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/7458/statm: 545134 413658 159 40 0 543678 0
[pid=7458/tid=7465] ppid=7453 vsize=2180536 CPUtime=23.04 cores=4-31
/proc/7458/task/7465/stat : 7465 (plingeling) R 7453 7453 7350 0 -1 4202560 21917 1241 0 0 2285 19 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=7458/tid=7466] ppid=7453 vsize=2180536 CPUtime=23.13 cores=4-31
/proc/7458/task/7466/stat : 7466 (plingeling) R 7453 7453 7350 0 -1 4202560 20740 1241 0 0 2295 18 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330819 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=7458/tid=7467] ppid=7453 vsize=2180536 CPUtime=23.1 cores=4-31
/proc/7458/task/7467/stat : 7467 (plingeling) R 7453 7453 7350 0 -1 4202560 18803 1241 0 0 2286 24 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=7458/tid=7468] ppid=7453 vsize=2180536 CPUtime=23.07 cores=4-31
/proc/7458/task/7468/stat : 7468 (plingeling) R 7453 7453 7350 0 -1 4202560 11048 1241 0 0 2286 21 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236736 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=7458/tid=7469] ppid=7453 vsize=2180536 CPUtime=23.15 cores=4-31
/proc/7458/task/7469/stat : 7469 (plingeling) R 7453 7453 7350 0 -1 4202560 20017 1241 0 0 2298 17 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7458/tid=7470] ppid=7453 vsize=2180536 CPUtime=23.02 cores=4-31
/proc/7458/task/7470/stat : 7470 (plingeling) R 7453 7453 7350 0 -1 4202560 17248 1241 0 0 2276 26 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4237483 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=7458/tid=7471] ppid=7453 vsize=2180536 CPUtime=23.17 cores=4-31
/proc/7458/task/7471/stat : 7471 (plingeling) R 7453 7453 7350 0 -1 4202560 15524 1241 0 0 2295 22 0 0 25 0 29 0 590385909 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4279968 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=7458/tid=7472] ppid=7453 vsize=2180536 CPUtime=23.17 cores=4-31
/proc/7458/task/7472/stat : 7472 (plingeling) R 7453 7453 7350 0 -1 4202560 18101 1241 0 0 2295 22 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=7458/tid=7473] ppid=7453 vsize=2180536 CPUtime=23.16 cores=4-31
/proc/7458/task/7473/stat : 7473 (plingeling) R 7453 7453 7350 0 -1 4202560 21466 1241 0 0 2293 23 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=7458/tid=7474] ppid=7453 vsize=2180536 CPUtime=22.99 cores=4-31
/proc/7458/task/7474/stat : 7474 (plingeling) R 7453 7453 7350 0 -1 4202560 21474 1241 0 0 2266 33 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=7458/tid=7475] ppid=7453 vsize=2180536 CPUtime=23.09 cores=4-31
/proc/7458/task/7475/stat : 7475 (plingeling) R 7453 7453 7350 0 -1 4202560 20767 1241 0 0 2283 26 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=7458/tid=7476] ppid=7453 vsize=2180536 CPUtime=23.01 cores=4-31
/proc/7458/task/7476/stat : 7476 (plingeling) R 7453 7453 7350 0 -1 4202560 16267 1241 0 0 2276 25 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=7458/tid=7477] ppid=7453 vsize=2180536 CPUtime=23.22 cores=4-31
/proc/7458/task/7477/stat : 7477 (plingeling) R 7453 7453 7350 0 -1 4202560 20223 1241 0 0 2300 22 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=7458/tid=7478] ppid=7453 vsize=2180536 CPUtime=22.76 cores=4-31
/proc/7458/task/7478/stat : 7478 (plingeling) R 7453 7453 7350 0 -1 4202560 16051 1241 0 0 2252 24 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=7458/tid=7479] ppid=7453 vsize=2180536 CPUtime=23.11 cores=4-31
/proc/7458/task/7479/stat : 7479 (plingeling) R 7453 7453 7350 0 -1 4202560 11023 1241 0 0 2300 11 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4237640 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=7458/tid=7480] ppid=7453 vsize=2180536 CPUtime=23.24 cores=4-31
/proc/7458/task/7480/stat : 7480 (plingeling) R 7453 7453 7350 0 -1 4202560 24138 1241 0 0 2300 24 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=7458/tid=7481] ppid=7453 vsize=2180536 CPUtime=23.09 cores=4-31
/proc/7458/task/7481/stat : 7481 (plingeling) R 7453 7453 7350 0 -1 4202560 23804 1241 0 0 2278 31 0 0 25 0 29 0 590385910 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7458/tid=7482] ppid=7453 vsize=2180536 CPUtime=23.18 cores=4-31
/proc/7458/task/7482/stat : 7482 (plingeling) R 7453 7453 7350 0 -1 4202560 17108 1241 0 0 2303 15 0 0 25 0 29 0 590385911 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=7458/tid=7483] ppid=7453 vsize=2180536 CPUtime=23.2 cores=4-31
/proc/7458/task/7483/stat : 7483 (plingeling) R 7453 7453 7350 0 -1 4202560 17319 1241 0 0 2299 21 0 0 25 0 29 0 590385912 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=7458/tid=7484] ppid=7453 vsize=2180536 CPUtime=23.18 cores=4-31
/proc/7458/task/7484/stat : 7484 (plingeling) R 7453 7453 7350 0 -1 4202560 8100 1241 0 0 2301 17 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4210780 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=7458/tid=7485] ppid=7453 vsize=2180536 CPUtime=23.2 cores=4-31
/proc/7458/task/7485/stat : 7485 (plingeling) R 7453 7453 7350 0 -1 4202560 17725 1241 0 0 2302 18 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=7458/tid=7486] ppid=7453 vsize=2180536 CPUtime=23.19 cores=4-31
/proc/7458/task/7486/stat : 7486 (plingeling) R 7453 7453 7350 0 -1 4202560 20732 1241 0 0 2294 25 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=7458/tid=7487] ppid=7453 vsize=2180536 CPUtime=23.08 cores=4-31
/proc/7458/task/7487/stat : 7487 (plingeling) R 7453 7453 7350 0 -1 4202560 19780 1241 0 0 2286 22 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=7458/tid=7488] ppid=7453 vsize=2180536 CPUtime=23.14 cores=4-31
/proc/7458/task/7488/stat : 7488 (plingeling) R 7453 7453 7350 0 -1 4202560 11501 1241 0 0 2294 20 0 0 25 0 29 0 590385913 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4259351 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=7458/tid=7489] ppid=7453 vsize=2180536 CPUtime=22.99 cores=4-31
/proc/7458/task/7489/stat : 7489 (plingeling) R 7453 7453 7350 0 -1 4202560 18982 1241 0 0 2272 27 0 0 25 0 29 0 590385914 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=7458/tid=7490] ppid=7453 vsize=2180536 CPUtime=23.22 cores=4-31
/proc/7458/task/7490/stat : 7490 (plingeling) R 7453 7453 7350 0 -1 4202560 22454 1241 0 0 2298 24 0 0 25 0 29 0 590385914 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=7458/tid=7491] ppid=7453 vsize=2180536 CPUtime=23.3 cores=4-31
/proc/7458/task/7491/stat : 7491 (plingeling) R 7453 7453 7350 0 -1 4202560 24078 1241 0 0 2314 16 0 0 25 0 29 0 590385914 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4332026 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=7458/tid=7492] ppid=7453 vsize=2180536 CPUtime=23.3 cores=4-31
/proc/7458/task/7492/stat : 7492 (plingeling) R 7453 7453 7350 0 -1 4202560 16607 1241 0 0 2309 21 0 0 25 0 29 0 590385915 2232868864 413658 268435456000 4194304 4356188 140733393813152 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 800.16
Current children cumulated vsize (KiB) 3379936
[startup+35.601 s]
/proc/loadavg: 26.07 29.22 30.53 33/447 7492
/proc/meminfo: memFree=254436892/264257624 swapFree=67111528/67111528
[pid=7453] ppid=7451 vsize=18324 CPUtime=141.87 cores=0-31
/proc/7453/stat : 7453 (ppfolio) S 7451 7453 7350 0 -1 4202496 512 290020 0 0 0 0 14101 86 15 0 1 0 590384745 18763776 386 268435456000 4194304 4287625 140736242899696 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 24 0 0 0
/proc/7453/statm: 4581 386 338 23 0 91 0
[pid=7458] ppid=7453 vsize=0 CPUtime=666.59 cores=4-31
/proc/7458/stat : 7458 (plingeling) Z 7453 7453 7350 0 -1 4203548 767304 1241 0 0 65963 696 0 0 18 0 2 0 590384746 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/7458/statm: 0 0 0 0 0 0 0
[pid=7458/tid=7481] ppid=7453 vsize=0 CPUtime=23.46 cores=4-31
/proc/7458/task/7481/stat : 7481 (plingeling) R 7453 7453 7350 0 -1 4203588 23804 1241 0 0 2303 43 0 0 25 0 2 0 590385910 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) 808.46
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 35.6177
CPU time (s): 808.519
CPU user time (s): 800.654
CPU system time (s): 7.8648
CPU usage (%): 2269.99
Max. virtual memory (cumulated for all children) (KiB): 3503016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 800.654
system time used= 7.8648
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059096
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= 3162
involuntary context switches= 1941
runsolver used 0.181972 second user time and 0.733888 second system time
The end
Begin job on node200 at 2011-05-07 19:23:03
IDJOB=3347171
IDBENCH=20431
IDSOLVER=1808
FILE ID=node200/3347171-1304788982
RUNJOBID= node200-1304788933-7364
PBS_JOBID= 13281963
Free space on /tmp= 62036 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347171-1304788982/watcher-3347171-1304788982 -o /tmp/evaluation-result-3347171-1304788982/solver-3347171-1304788982 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347171-1304788982.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3
RANDOM SEED=1844922059
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: 256745252 kB
Buffers: 349884 kB
Cached: 6802168 kB
SwapCached: 0 kB
Active: 6332748 kB
Inactive: 888556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256745252 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26828 kB
Writeback: 216 kB
AnonPages: 70936 kB
Mapped: 14544 kB
Slab: 191896 kB
PageTables: 4660 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 198500 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62024 MiB
End job on node200 at 2011-05-07 19:23:39