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
12335.36/396.90 s UNSATISFIABLE
12335.36/396.93 solver [5] plingeling 276-6264d55-100731 answered
12335.36/396.93 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-3347505-1305218663/watcher-3347505-1305218663 -o /tmp/evaluation-result-3347505-1305218663/solver-3347505-1305218663 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347505-1305218663.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.41 28.37 27.97 1/413 20470
/proc/meminfo: memFree=255651472/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[startup+0.0879951 s]
/proc/loadavg: 31.41 28.37 27.97 1/413 20470
/proc/meminfo: memFree=255651472/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.101013 s]
/proc/loadavg: 31.41 28.37 27.97 1/413 20470
/proc/meminfo: memFree=255651472/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301016 s]
/proc/loadavg: 31.41 28.37 27.97 1/413 20470
/proc/meminfo: memFree=255651472/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700989 s]
/proc/loadavg: 31.41 28.37 27.97 1/413 20470
/proc/meminfo: memFree=255651472/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50107 s]
/proc/loadavg: 31.41 28.37 27.97 6/419 20481
/proc/meminfo: memFree=255314308/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[pid=20471] ppid=20470 vsize=128892 CPUtime=1.48 cores=0
/proc/20471/stat : 20471 (cryptominisat) R 20470 20470 20376 0 -1 4202496 20807 0 0 0 143 5 0 0 25 0 1 0 633352855 131985408 20036 268435456000 4194304 4587354 140733847260672 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20471/statm: 32223 20037 308 96 0 28785 0
[pid=20472] ppid=20470 vsize=83572 CPUtime=1.48 cores=1
/proc/20472/stat : 20472 (clasp) R 20470 20470 20376 0 -1 4202496 21670 0 0 0 141 7 0 0 20 0 1 0 633352855 85577728 17105 268435456000 4194304 4785740 140736703477296 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20472/statm: 20893 17105 312 145 0 17938 0
[pid=20473] ppid=20470 vsize=504668 CPUtime=1.48 cores=2
/proc/20473/stat : 20473 (TNM) R 20470 20470 20376 0 -1 4202496 16348 0 0 0 143 5 0 0 20 0 1 0 633352855 516780032 16246 268435456000 134512640 134534564 4286779376 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20473/statm: 126167 16246 91 6 0 124832 0
[pid=20474] ppid=20470 vsize=95968 CPUtime=1.48 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4194304 25933 0 0 0 142 6 0 0 20 0 1 0 633352855 98271232 15686 268435456000 4194304 4331988 140733737394624 18446744073709551615 4252174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 23992 15686 126 34 0 22434 0
[pid=20475] ppid=20470 vsize=204044 CPUtime=1.48 cores=4-31
/proc/20475/stat : 20475 (plingeling) R 20470 20470 20376 0 -1 4202496 50075 1245 0 0 136 11 0 1 21 0 1 0 633352855 208941056 49670 268435456000 4194304 4356188 140736460097392 18446744073709551615 4274637 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20475/statm: 51011 49670 129 40 0 49555 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 1035468
[startup+3.10113 s]
/proc/loadavg: 29.30 27.98 27.85 6/419 20481
/proc/meminfo: memFree=255046756/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[pid=20471] ppid=20470 vsize=178720 CPUtime=3.08 cores=0
/proc/20471/stat : 20471 (cryptominisat) R 20470 20470 20376 0 -1 4202496 34884 0 0 0 299 9 0 0 25 0 1 0 633352855 183009280 33843 268435456000 4194304 4587354 140733847260672 18446744073709551615 4388264 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20471/statm: 44680 33843 314 96 0 41242 0
[pid=20472] ppid=20470 vsize=98580 CPUtime=3.08 cores=1
/proc/20472/stat : 20472 (clasp) R 20470 20470 20376 0 -1 4202496 27136 0 0 0 300 8 0 0 25 0 1 0 633352855 100945920 21200 268435456000 4194304 4785740 140736703477296 18446744073709551615 4553068 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20472/statm: 24645 21200 331 145 0 21690 0
[pid=20473] ppid=20470 vsize=504668 CPUtime=3.08 cores=2
/proc/20473/stat : 20473 (TNM) R 20470 20470 20376 0 -1 4202496 16348 0 0 0 303 5 0 0 25 0 1 0 633352855 516780032 16246 268435456000 134512640 134534564 4286779376 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20473/statm: 126167 16246 91 6 0 124832 0
[pid=20474] ppid=20470 vsize=77600 CPUtime=3.08 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4202496 57900 0 0 0 295 13 0 0 25 0 1 0 633352855 79462400 10468 268435456000 4194304 4331988 140733737394624 18446744073709551615 4196400 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 19400 10468 148 34 0 17842 0
[pid=20475] ppid=20470 vsize=462092 CPUtime=3.09 cores=4-31
/proc/20475/stat : 20475 (plingeling) R 20470 20470 20376 0 -1 4202496 114587 1245 0 0 283 25 0 1 25 0 1 0 633352855 473182208 114182 268435456000 4194304 4356188 140736460097392 18446744073709551615 4274916 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20475/statm: 115523 114182 129 40 0 114067 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1339984
[startup+6.30123 s]
/proc/loadavg: 29.30 27.98 27.85 6/419 20483
/proc/meminfo: memFree=254519844/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[pid=20471] ppid=20470 vsize=184024 CPUtime=6.28 cores=0
/proc/20471/stat : 20471 (cryptominisat) R 20470 20470 20376 0 -1 4202496 46543 0 0 0 616 12 0 0 25 0 1 0 633352855 188440576 34136 268435456000 4194304 4587354 140733847260672 18446744073709551615 4238654 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20471/statm: 46006 34136 325 96 0 42568 0
[pid=20472] ppid=20470 vsize=98580 CPUtime=6.28 cores=1
/proc/20472/stat : 20472 (clasp) R 20470 20470 20376 0 -1 4202496 27143 0 0 0 620 8 0 0 25 0 1 0 633352855 100945920 21207 268435456000 4194304 4785740 140736703477296 18446744073709551615 4552958 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20472/statm: 24645 21207 338 145 0 21690 0
[pid=20473] ppid=20470 vsize=504668 CPUtime=6.28 cores=2
/proc/20473/stat : 20473 (TNM) R 20470 20470 20376 0 -1 4202496 16348 0 0 0 623 5 0 0 25 0 1 0 633352855 516780032 16246 268435456000 134512640 134534564 4286779376 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20473/statm: 126167 16246 91 6 0 124832 0
[pid=20474] ppid=20470 vsize=166408 CPUtime=6.28 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4202496 88091 0 0 0 608 20 0 0 25 0 1 0 633352855 170401792 30849 268435456000 4194304 4331988 140733737394624 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 41602 30849 149 34 0 40044 0
[pid=20475] ppid=20470 vsize=806156 CPUtime=6.29 cores=4-31
/proc/20475/stat : 20475 (plingeling) R 20470 20470 20376 0 -1 4202496 200603 1245 0 0 588 40 0 1 25 0 1 0 633352855 825503744 200198 268435456000 4194304 4356188 140736460097392 18446744073709551615 4274583 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20475/statm: 201539 200198 129 40 0 200083 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 1778160
[startup+12.7024 s]
/proc/loadavg: 27.72 27.67 27.75 33/447 20511
/proc/meminfo: memFree=253776076/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[pid=20471] ppid=20470 vsize=193400 CPUtime=12.69 cores=0
/proc/20471/stat : 20471 (cryptominisat) R 20470 20470 20376 0 -1 4202496 46921 0 0 0 1256 13 0 0 25 0 1 0 633352855 198041600 34493 268435456000 4194304 4587354 140733847260672 18446744073709551615 4263345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20471/statm: 48350 34493 332 96 0 44912 0
[pid=20472] ppid=20470 vsize=98580 CPUtime=12.68 cores=1
/proc/20472/stat : 20472 (clasp) R 20470 20470 20376 0 -1 4202496 27143 0 0 0 1260 8 0 0 25 0 1 0 633352855 100945920 21207 268435456000 4194304 4785740 140736703477296 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20472/statm: 24645 21207 338 145 0 21690 0
[pid=20473] ppid=20470 vsize=517208 CPUtime=12.69 cores=2
/proc/20473/stat : 20473 (TNM) R 20470 20470 20376 0 -1 4202496 23307 0 0 0 1262 7 0 0 25 0 1 0 633352855 529620992 23205 268435456000 134512640 134534564 4286779376 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20473/statm: 129302 23205 95 6 0 127967 0
[pid=20474] ppid=20470 vsize=281140 CPUtime=12.69 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4202496 119093 0 0 0 1240 29 0 0 25 0 1 0 633352855 287887360 61851 268435456000 4194304 4331988 140733737394624 18446744073709551615 4271138 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 70285 61851 149 34 0 68727 0
[pid=20475] ppid=20470 vsize=1906912 CPUtime=61.42 cores=4-31
/proc/20475/stat : 20475 (plingeling) S 20470 20470 20376 0 -1 4202496 449521 1245 0 0 6040 101 0 1 25 0 29 0 633352855 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/20475/statm: 476728 329400 151 40 0 475272 0
[pid=20475/tid=20484] ppid=20470 vsize=1906912 CPUtime=1.85 cores=4-31
/proc/20475/task/20484/stat : 20484 (plingeling) R 20470 20470 20376 0 -1 4202560 2923 1245 0 0 184 0 0 1 20 0 29 0 633353938 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20475/tid=20485] ppid=20470 vsize=1906912 CPUtime=1.85 cores=4-31
/proc/20475/task/20485/stat : 20485 (plingeling) R 20470 20470 20376 0 -1 4202560 2678 1245 0 0 184 0 0 1 25 0 29 0 633353938 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244333 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20475/tid=20486] ppid=20470 vsize=1906912 CPUtime=1.85 cores=4-31
/proc/20475/task/20486/stat : 20486 (plingeling) R 20470 20470 20376 0 -1 4202560 2926 1245 0 0 184 0 0 1 25 0 29 0 633353938 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20475/tid=20487] ppid=20470 vsize=1906912 CPUtime=1.85 cores=4-31
/proc/20475/task/20487/stat : 20487 (plingeling) R 20470 20470 20376 0 -1 4202560 2922 1245 0 0 183 1 0 1 20 0 29 0 633353938 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4338947 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20475/tid=20488] ppid=20470 vsize=1906912 CPUtime=1.85 cores=4-31
/proc/20475/task/20488/stat : 20488 (plingeling) R 20470 20470 20376 0 -1 4202560 3366 1245 0 0 183 1 0 1 25 0 29 0 633353938 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4259331 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20475/tid=20489] ppid=20470 vsize=1906912 CPUtime=1.81 cores=4-31
/proc/20475/task/20489/stat : 20489 (plingeling) R 20470 20470 20376 0 -1 4202560 2367 1245 0 0 180 0 0 1 20 0 29 0 633353938 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4258655 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20475/tid=20490] ppid=20470 vsize=1906912 CPUtime=1.83 cores=4-31
/proc/20475/task/20490/stat : 20490 (plingeling) R 20470 20470 20376 0 -1 4202560 3608 1245 0 0 181 1 0 1 20 0 29 0 633353938 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4251025 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20475/tid=20491] ppid=20470 vsize=1906912 CPUtime=1.83 cores=4-31
/proc/20475/task/20491/stat : 20491 (plingeling) R 20470 20470 20376 0 -1 4202560 3092 1245 0 0 182 0 0 1 20 0 29 0 633353938 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20475/tid=20492] ppid=20470 vsize=1906912 CPUtime=1.79 cores=4-31
/proc/20475/task/20492/stat : 20492 (plingeling) R 20470 20470 20376 0 -1 4202560 2485 1245 0 0 178 0 0 1 20 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20475/tid=20493] ppid=20470 vsize=1906912 CPUtime=1.82 cores=4-31
/proc/20475/task/20493/stat : 20493 (plingeling) R 20470 20470 20376 0 -1 4202560 3560 1245 0 0 181 0 0 1 20 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20475/tid=20494] ppid=20470 vsize=1906912 CPUtime=1.84 cores=4-31
/proc/20475/task/20494/stat : 20494 (plingeling) R 20470 20470 20376 0 -1 4202560 3094 1245 0 0 183 0 0 1 20 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244483 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20475/tid=20495] ppid=20470 vsize=1906912 CPUtime=1.83 cores=4-31
/proc/20475/task/20495/stat : 20495 (plingeling) R 20470 20470 20376 0 -1 4202560 2668 1245 0 0 181 1 0 1 25 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20475/tid=20496] ppid=20470 vsize=1906912 CPUtime=1.82 cores=4-31
/proc/20475/task/20496/stat : 20496 (plingeling) R 20470 20470 20376 0 -1 4202560 1921 1245 0 0 181 0 0 1 20 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20475/tid=20497] ppid=20470 vsize=1906912 CPUtime=1.83 cores=4-31
/proc/20475/task/20497/stat : 20497 (plingeling) R 20470 20470 20376 0 -1 4202560 3005 1245 0 0 181 1 0 1 25 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4250782 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20475/tid=20498] ppid=20470 vsize=1906912 CPUtime=1.76 cores=4-31
/proc/20475/task/20498/stat : 20498 (plingeling) R 20470 20470 20376 0 -1 4202560 2634 1245 0 0 174 1 0 1 20 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244402 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20475/tid=20499] ppid=20470 vsize=1906912 CPUtime=1.82 cores=4-31
/proc/20475/task/20499/stat : 20499 (plingeling) R 20470 20470 20376 0 -1 4202560 2855 1245 0 0 180 1 0 1 25 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20475/tid=20500] ppid=20470 vsize=1906912 CPUtime=1.79 cores=4-31
/proc/20475/task/20500/stat : 20500 (plingeling) R 20470 20470 20376 0 -1 4202560 3276 1245 0 0 178 0 0 1 20 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20475/tid=20501] ppid=20470 vsize=1906912 CPUtime=1.81 cores=4-31
/proc/20475/task/20501/stat : 20501 (plingeling) R 20470 20470 20376 0 -1 4202560 3833 1245 0 0 179 1 0 1 25 0 29 0 633353939 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4251025 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20475/tid=20502] ppid=20470 vsize=1906912 CPUtime=1.81 cores=4-31
/proc/20475/task/20502/stat : 20502 (plingeling) R 20470 20470 20376 0 -1 4202560 2222 1245 0 0 180 0 0 1 20 0 29 0 633353940 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20475/tid=20503] ppid=20470 vsize=1906912 CPUtime=1.78 cores=4-31
/proc/20475/task/20503/stat : 20503 (plingeling) R 20470 20470 20376 0 -1 4202560 2467 1245 0 0 177 0 0 1 25 0 29 0 633353940 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244020 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20475/tid=20504] ppid=20470 vsize=1906912 CPUtime=1.77 cores=4-31
/proc/20475/task/20504/stat : 20504 (plingeling) R 20470 20470 20376 0 -1 4202560 2212 1245 0 0 176 0 0 1 25 0 29 0 633353941 1952677888 329400 268435456000 4194304 4356188 140736460097392 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20475/tid=20505] ppid=20470 vsize=1906912 CPUtime=1.77 cores=4-31
################
# More data... #
################
[pid=20474] ppid=20470 vsize=673348 CPUtime=393.41 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4202496 331130 0 0 0 39260 81 0 0 25 0 1 0 633352855 689508352 119776 268435456000 4194304 4331988 140733737394624 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 168337 119776 173 34 0 166779 0
[pid=20475] ppid=20470 vsize=2039432 CPUtime=10705.4 cores=4-31
/proc/20475/stat : 20475 (plingeling) S 20470 20470 20376 0 -1 4202496 678196 1245 0 0 1070220 318 0 1 25 0 29 0 633352855 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/20475/statm: 509858 360708 159 40 0 508402 0
[pid=20475/tid=20484] ppid=20470 vsize=2039432 CPUtime=382.21 cores=4-31
/proc/20475/task/20484/stat : 20484 (plingeling) R 20470 20470 20376 0 -1 4202560 12292 1245 0 0 38207 13 0 1 25 0 29 0 633353938 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20475/tid=20485] ppid=20470 vsize=2039432 CPUtime=382.25 cores=4-31
/proc/20475/task/20485/stat : 20485 (plingeling) R 20470 20470 20376 0 -1 4202560 8708 1245 0 0 38217 7 0 1 25 0 29 0 633353938 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331129 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20475/tid=20486] ppid=20470 vsize=2039432 CPUtime=382.19 cores=4-31
/proc/20475/task/20486/stat : 20486 (plingeling) R 20470 20470 20376 0 -1 4202560 11025 1245 0 0 38210 8 0 1 25 0 29 0 633353938 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4237217 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20475/tid=20487] ppid=20470 vsize=2039432 CPUtime=382.57 cores=4-31
/proc/20475/task/20487/stat : 20487 (plingeling) R 20470 20470 20376 0 -1 4202560 8591 1245 0 0 38254 2 0 1 25 0 29 0 633353938 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20475/tid=20488] ppid=20470 vsize=2039432 CPUtime=382.58 cores=4-31
/proc/20475/task/20488/stat : 20488 (plingeling) R 20470 20470 20376 0 -1 4202560 11346 1245 0 0 38248 9 0 1 25 0 29 0 633353938 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4334635 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20475/tid=20489] ppid=20470 vsize=2039432 CPUtime=382.46 cores=4-31
/proc/20475/task/20489/stat : 20489 (plingeling) R 20470 20470 20376 0 -1 4202560 10347 1245 0 0 38243 2 0 1 25 0 29 0 633353938 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4211178 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20475/tid=20490] ppid=20470 vsize=2039432 CPUtime=382.47 cores=4-31
/proc/20475/task/20490/stat : 20490 (plingeling) R 20470 20470 20376 0 -1 4202560 11687 1245 0 0 38240 6 0 1 25 0 29 0 633353938 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20475/tid=20491] ppid=20470 vsize=2039432 CPUtime=382.2 cores=4-31
/proc/20475/task/20491/stat : 20491 (plingeling) R 20470 20470 20376 0 -1 4202560 11377 1245 0 0 38206 13 0 1 25 0 29 0 633353938 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20475/tid=20492] ppid=20470 vsize=2039432 CPUtime=382.25 cores=4-31
/proc/20475/task/20492/stat : 20492 (plingeling) R 20470 20470 20376 0 -1 4202560 10599 1245 0 0 38216 8 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20475/tid=20493] ppid=20470 vsize=2039432 CPUtime=382.32 cores=4-31
/proc/20475/task/20493/stat : 20493 (plingeling) R 20470 20470 20376 0 -1 4202560 24967 1245 0 0 38217 14 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20475/tid=20494] ppid=20470 vsize=2039432 CPUtime=382.26 cores=4-31
/proc/20475/task/20494/stat : 20494 (plingeling) R 20470 20470 20376 0 -1 4202560 9242 1245 0 0 38215 10 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20475/tid=20495] ppid=20470 vsize=2039432 CPUtime=382.55 cores=4-31
/proc/20475/task/20495/stat : 20495 (plingeling) R 20470 20470 20376 0 -1 4202560 6535 1245 0 0 38253 1 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4210798 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20475/tid=20496] ppid=20470 vsize=2039432 CPUtime=382.28 cores=4-31
/proc/20475/task/20496/stat : 20496 (plingeling) R 20470 20470 20376 0 -1 4202560 7876 1245 0 0 38220 7 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20475/tid=20497] ppid=20470 vsize=2039432 CPUtime=382.41 cores=4-31
/proc/20475/task/20497/stat : 20497 (plingeling) R 20470 20470 20376 0 -1 4202560 9466 1245 0 0 38232 8 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4280621 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20475/tid=20498] ppid=20470 vsize=2039432 CPUtime=382.28 cores=4-31
/proc/20475/task/20498/stat : 20498 (plingeling) R 20470 20470 20376 0 -1 4202560 7340 1245 0 0 38221 6 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20475/tid=20499] ppid=20470 vsize=2039432 CPUtime=382.29 cores=4-31
/proc/20475/task/20499/stat : 20499 (plingeling) R 20470 20470 20376 0 -1 4202560 14894 1245 0 0 38216 12 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20475/tid=20500] ppid=20470 vsize=2039432 CPUtime=382.01 cores=4-31
/proc/20475/task/20500/stat : 20500 (plingeling) R 20470 20470 20376 0 -1 4202560 10882 1245 0 0 38189 11 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20475/tid=20501] ppid=20470 vsize=2039432 CPUtime=382.38 cores=4-31
/proc/20475/task/20501/stat : 20501 (plingeling) R 20470 20470 20376 0 -1 4202560 12407 1245 0 0 38228 9 0 1 25 0 29 0 633353939 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20475/tid=20502] ppid=20470 vsize=2039432 CPUtime=382.35 cores=4-31
/proc/20475/task/20502/stat : 20502 (plingeling) R 20470 20470 20376 0 -1 4202560 11232 1245 0 0 38223 11 0 1 25 0 29 0 633353940 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20475/tid=20503] ppid=20470 vsize=2039432 CPUtime=382.49 cores=4-31
/proc/20475/task/20503/stat : 20503 (plingeling) R 20470 20470 20376 0 -1 4202560 6851 1245 0 0 38247 1 0 1 25 0 29 0 633353940 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20475/tid=20504] ppid=20470 vsize=2039432 CPUtime=379.8 cores=4-31
/proc/20475/task/20504/stat : 20504 (plingeling) R 20470 20470 20376 0 -1 4202560 26010 1245 0 0 37967 12 0 1 25 0 29 0 633353941 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20475/tid=20505] ppid=20470 vsize=2039432 CPUtime=382.27 cores=4-31
/proc/20475/task/20505/stat : 20505 (plingeling) R 20470 20470 20376 0 -1 4202560 11083 1245 0 0 38216 10 0 1 25 0 29 0 633353941 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20475/tid=20506] ppid=20470 vsize=2039432 CPUtime=382.28 cores=4-31
/proc/20475/task/20506/stat : 20506 (plingeling) R 20470 20470 20376 0 -1 4202560 7818 1245 0 0 38218 9 0 1 25 0 29 0 633353941 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20475/tid=20507] ppid=20470 vsize=2039432 CPUtime=382.27 cores=4-31
/proc/20475/task/20507/stat : 20507 (plingeling) R 20470 20470 20376 0 -1 4202560 11652 1245 0 0 38217 9 0 1 25 0 29 0 633353941 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20475/tid=20508] ppid=20470 vsize=2039432 CPUtime=382.25 cores=4-31
/proc/20475/task/20508/stat : 20508 (plingeling) R 20470 20470 20376 0 -1 4202560 8694 1245 0 0 38214 10 0 1 25 0 29 0 633353941 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4211578 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20475/tid=20509] ppid=20470 vsize=2039432 CPUtime=382.37 cores=4-31
/proc/20475/task/20509/stat : 20509 (plingeling) R 20470 20470 20376 0 -1 4202560 7641 1245 0 0 38227 9 0 1 25 0 29 0 633353941 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20475/tid=20510] ppid=20470 vsize=2039432 CPUtime=373.97 cores=4-31
/proc/20475/task/20510/stat : 20510 (plingeling) R 20470 20470 20376 0 -1 4202560 9937 1245 0 0 37388 8 0 1 25 0 29 0 633353941 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20475/tid=20511] ppid=20470 vsize=2039432 CPUtime=382.52 cores=4-31
/proc/20475/task/20511/stat : 20511 (plingeling) R 20470 20470 20376 0 -1 4202560 5023 1245 0 0 38250 1 0 1 25 0 29 0 633353941 2088378368 360708 268435456000 4194304 4356188 140736460097392 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 12279
Current children cumulated vsize (KiB) 3600936
[startup+395.102 s]
/proc/loadavg: 31.99 30.78 29.17 33/447 20521
/proc/meminfo: memFree=253358020/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[pid=20471] ppid=20470 vsize=202108 CPUtime=395.01 cores=0
/proc/20471/stat : 20471 (cryptominisat) R 20470 20470 20376 0 -1 4202496 73087 0 0 0 39471 30 0 0 25 0 1 0 633352855 206958592 38265 268435456000 4194304 4587354 140733847260672 18446744073709551615 4238591 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20471/statm: 50527 38265 333 96 0 47089 0
[pid=20472] ppid=20470 vsize=150664 CPUtime=395.01 cores=1
/proc/20472/stat : 20472 (clasp) R 20470 20470 20376 0 -1 4202496 40027 0 0 0 39483 18 0 0 25 0 1 0 633352855 154279936 34091 268435456000 4194304 4785740 140736703477296 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20472/statm: 37666 34091 338 145 0 34711 0
[pid=20473] ppid=20470 vsize=517208 CPUtime=395.01 cores=2
/proc/20473/stat : 20473 (TNM) R 20470 20470 20376 0 -1 4202496 23307 0 0 0 39494 7 0 0 25 0 1 0 633352855 529620992 23205 268435456000 134512640 134534564 4286779376 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20473/statm: 129302 23205 95 6 0 127967 0
[pid=20474] ppid=20470 vsize=673348 CPUtime=395.01 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4202496 331130 0 0 0 39420 81 0 0 25 0 1 0 633352855 689508352 119776 268435456000 4194304 4331988 140733737394624 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 168337 119776 173 34 0 166779 0
[pid=20475] ppid=20470 vsize=1874408 CPUtime=10746.3 cores=4-31
/proc/20475/stat : 20475 (plingeling) S 20470 20470 20376 0 -1 4202496 678390 1245 0 0 1074308 319 0 1 17 0 4 0 633352855 1919393792 360497 268435456000 4194304 4356188 140736460097392 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/20475/statm: 468602 360497 160 40 0 467146 0
[pid=20475/tid=20503] ppid=20470 vsize=1874408 CPUtime=384.09 cores=4-31
/proc/20475/task/20503/stat : 20503 (plingeling) R 20470 20470 20376 0 -1 4202560 6851 1245 0 0 38407 1 0 1 25 0 4 0 633353940 1919393792 360497 268435456000 4194304 4356188 140736460097392 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20475/tid=20508] ppid=20470 vsize=1874408 CPUtime=383.85 cores=4-31
/proc/20475/task/20508/stat : 20508 (plingeling) R 20470 20470 20376 0 -1 4202560 8694 1245 0 0 38374 10 0 1 25 0 4 0 633353941 1919393792 360497 268435456000 4194304 4356188 140736460097392 18446744073709551615 4259349 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20475/tid=20510] ppid=20470 vsize=1874408 CPUtime=375.52 cores=4-31
/proc/20475/task/20510/stat : 20510 (plingeling) R 20470 20470 20376 0 -1 4202560 9937 1245 0 0 37543 8 0 1 25 0 4 0 633353941 1919393792 360497 268435456000 4194304 4356188 140736460097392 18446744073709551615 4315078 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 12326.3
Current children cumulated vsize (KiB) 3436060
[startup+395.901 s]
/proc/loadavg: 31.99 30.78 29.17 6/420 20521
/proc/meminfo: memFree=253358112/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[pid=20471] ppid=20470 vsize=202108 CPUtime=395.83 cores=0
/proc/20471/stat : 20471 (cryptominisat) R 20470 20470 20376 0 -1 4202496 73087 0 0 0 39553 30 0 0 25 0 1 0 633352855 206958592 38265 268435456000 4194304 4587354 140733847260672 18446744073709551615 4238608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20471/statm: 50527 38265 333 96 0 47089 0
[pid=20472] ppid=20470 vsize=150800 CPUtime=395.83 cores=1
/proc/20472/stat : 20472 (clasp) R 20470 20470 20376 0 -1 4202496 40065 0 0 0 39565 18 0 0 25 0 1 0 633352855 154419200 34129 268435456000 4194304 4785740 140736703477296 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20472/statm: 37700 34129 338 145 0 34745 0
[pid=20473] ppid=20470 vsize=517208 CPUtime=395.83 cores=2
/proc/20473/stat : 20473 (TNM) R 20470 20470 20376 0 -1 4202496 23307 0 0 0 39576 7 0 0 25 0 1 0 633352855 529620992 23205 268435456000 134512640 134534564 4286779376 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20473/statm: 129302 23205 95 6 0 127967 0
[pid=20474] ppid=20470 vsize=673348 CPUtime=395.83 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4202496 331131 0 0 0 39502 81 0 0 25 0 1 0 633352855 689508352 119777 268435456000 4194304 4331988 140733737394624 18446744073709551615 4298853 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 168337 119777 173 34 0 166779 0
[pid=20475] ppid=20470 vsize=1802700 CPUtime=10747.2 cores=4-31
/proc/20475/stat : 20475 (plingeling) S 20470 20470 20376 0 -1 4202496 678390 1245 0 0 1074395 319 0 1 16 0 2 0 633352855 1845964800 360447 268435456000 4194304 4356188 140736460097392 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/20475/statm: 450675 360447 160 40 0 449219 0
[pid=20475/tid=20510] ppid=20470 vsize=1802700 CPUtime=376.33 cores=4-31
/proc/20475/task/20510/stat : 20510 (plingeling) R 20470 20470 20376 0 -1 4202560 9937 1245 0 0 37624 8 0 1 25 0 2 0 633353941 1845964800 360447 268435456000 4194304 4356188 140736460097392 18446744073709551615 4321571 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 12330.5
Current children cumulated vsize (KiB) 3364488
[startup+396.701 s]
/proc/loadavg: 31.99 30.78 29.17 6/420 20521
/proc/meminfo: memFree=253358112/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[pid=20471] ppid=20470 vsize=202108 CPUtime=396.61 cores=0
/proc/20471/stat : 20471 (cryptominisat) R 20470 20470 20376 0 -1 4202496 73087 0 0 0 39631 30 0 0 25 0 1 0 633352855 206958592 38265 268435456000 4194304 4587354 140733847260672 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20471/statm: 50527 38265 333 96 0 47089 0
[pid=20472] ppid=20470 vsize=150948 CPUtime=396.61 cores=1
/proc/20472/stat : 20472 (clasp) R 20470 20470 20376 0 -1 4202496 40113 0 0 0 39643 18 0 0 25 0 1 0 633352855 154570752 34177 268435456000 4194304 4785740 140736703477296 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20472/statm: 37737 34177 338 145 0 34782 0
[pid=20473] ppid=20470 vsize=517208 CPUtime=396.61 cores=2
/proc/20473/stat : 20473 (TNM) R 20470 20470 20376 0 -1 4202496 23307 0 0 0 39654 7 0 0 25 0 1 0 633352855 529620992 23205 268435456000 134512640 134534564 4286779376 18446744073709551615 134530606 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20473/statm: 129302 23205 95 6 0 127967 0
[pid=20474] ppid=20470 vsize=673348 CPUtime=396.61 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4202496 331131 0 0 0 39580 81 0 0 25 0 1 0 633352855 689508352 119777 268435456000 4194304 4331988 140733737394624 18446744073709551615 4299299 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 168337 119777 173 34 0 166779 0
[pid=20475] ppid=20470 vsize=1802700 CPUtime=10747.9 cores=4-31
/proc/20475/stat : 20475 (plingeling) S 20470 20470 20376 0 -1 4202496 678390 1245 0 0 1074473 319 0 1 16 0 2 0 633352855 1845964800 360447 268435456000 4194304 4356188 140736460097392 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/20475/statm: 450675 360447 160 40 0 449219 0
[pid=20475/tid=20510] ppid=20470 vsize=1802700 CPUtime=377.12 cores=4-31
/proc/20475/task/20510/stat : 20510 (plingeling) R 20470 20470 20376 0 -1 4202560 9937 1245 0 0 37703 8 0 1 25 0 2 0 633353941 1845964800 360447 268435456000 4194304 4356188 140736460097392 18446744073709551615 4260585 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 12334.4
Current children cumulated vsize (KiB) 3364636
[startup+396.901 s]
/proc/loadavg: 31.99 30.78 29.17 6/420 20521
/proc/meminfo: memFree=253358112/264257624 swapFree=67111528/67111528
[pid=20470] ppid=20468 vsize=18324 CPUtime=0 cores=0-31
/proc/20470/stat : 20470 (ppfolio) S 20468 20470 20376 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 633352854 18763776 385 268435456000 4194304 4287625 140733777499008 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 16 0 0 0
/proc/20470/statm: 4581 385 337 23 0 91 0
[pid=20471] ppid=20470 vsize=202108 CPUtime=396.81 cores=0
/proc/20471/stat : 20471 (cryptominisat) R 20470 20470 20376 0 -1 4202496 73087 0 0 0 39651 30 0 0 25 0 1 0 633352855 206958592 38265 268435456000 4194304 4587354 140733847260672 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20471/statm: 50527 38265 333 96 0 47089 0
[pid=20472] ppid=20470 vsize=150948 CPUtime=396.81 cores=1
/proc/20472/stat : 20472 (clasp) R 20470 20470 20376 0 -1 4202496 40113 0 0 0 39663 18 0 0 25 0 1 0 633352855 154570752 34177 268435456000 4194304 4785740 140736703477296 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20472/statm: 37737 34177 338 145 0 34782 0
[pid=20473] ppid=20470 vsize=517208 CPUtime=396.81 cores=2
/proc/20473/stat : 20473 (TNM) R 20470 20470 20376 0 -1 4202496 23307 0 0 0 39674 7 0 0 25 0 1 0 633352855 529620992 23205 268435456000 134512640 134534564 4286779376 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20473/statm: 129302 23205 95 6 0 127967 0
[pid=20474] ppid=20470 vsize=673348 CPUtime=396.81 cores=3
/proc/20474/stat : 20474 (march_hi) R 20470 20470 20376 0 -1 4202496 331131 0 0 0 39600 81 0 0 25 0 1 0 633352855 689508352 119777 268435456000 4194304 4331988 140733737394624 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20474/statm: 168337 119777 173 34 0 166779 0
[pid=20475] ppid=20470 vsize=416492 CPUtime=10748.1 cores=4-31
/proc/20475/stat : 20475 (plingeling) R 20470 20470 20376 0 -1 4202496 678390 1245 0 0 1074483 328 0 1 15 0 1 0 633352855 426487808 5474 268435456000 4194304 4356188 140736460097392 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 14 0 0 0
/proc/20475/statm: 104123 5474 160 40 0 102667 0
Current children cumulated CPU time (s) 12335.4
Current children cumulated vsize (KiB) 1978428
Child status: 0
Real time (s): 396.94
CPU time (s): 12335.5
CPU user time (s): 12330.7
CPU system time (s): 4.76527
CPU usage (%): 3107.65
Max. virtual memory (cumulated for all children) (KiB): 4881020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12330.7
system time used= 4.76527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1147810
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= 2551
involuntary context switches= 30487
runsolver used 2.20966 second user time and 9.13761 second system time
The end
Begin job on node200 at 2011-05-12 18:44:24
IDJOB=3347505
IDBENCH=82496
IDSOLVER=1808
FILE ID=node200/3347505-1305218663
RUNJOBID= node200-1305218482-20390
PBS_JOBID= 13282092
Free space on /tmp= 62036 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347505-1305218663/watcher-3347505-1305218663 -o /tmp/evaluation-result-3347505-1305218663/solver-3347505-1305218663 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347505-1305218663.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 254fcd4eae8129ad5842f186e24e0793
RANDOM SEED=256471555
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: 255652000 kB
Buffers: 429052 kB
Cached: 7765604 kB
SwapCached: 0 kB
Active: 7340924 kB
Inactive: 922848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255652000 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26832 kB
Writeback: 0 kB
AnonPages: 69392 kB
Mapped: 14544 kB
Slab: 249312 kB
PageTables: 5068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 203208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62024 MiB
End job on node200 at 2011-05-12 18:51:01