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
15587.04/497.96 s UNSATISFIABLE
15587.04/497.99 solver [5] plingeling 276-6264d55-100731 answered
15587.04/497.99 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-3347369-1305073938/watcher-3347369-1305073938 -o /tmp/evaluation-result-3347369-1305073938/solver-3347369-1305073938 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347369-1305073938.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: 27.17 31.08 31.58 1/413 5834
/proc/meminfo: memFree=256164476/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
[startup+0.0945371 s]
/proc/loadavg: 27.17 31.08 31.58 1/413 5834
/proc/meminfo: memFree=256164476/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100579 s]
/proc/loadavg: 27.17 31.08 31.58 1/413 5834
/proc/meminfo: memFree=256164476/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300552 s]
/proc/loadavg: 27.17 31.08 31.58 1/413 5834
/proc/meminfo: memFree=256164476/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700588 s]
/proc/loadavg: 27.17 31.08 31.58 1/413 5834
/proc/meminfo: memFree=256164476/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50058 s]
/proc/loadavg: 27.17 31.08 31.58 6/419 5845
/proc/meminfo: memFree=255884792/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
[pid=5835] ppid=5834 vsize=103500 CPUtime=1.48 cores=0
/proc/5835/stat : 5835 (cryptominisat) R 5834 5834 5808 0 -1 4202496 20678 0 0 0 140 8 0 0 20 0 1 0 618880355 105984000 20441 268435456000 4194304 4587354 140737338866592 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5835/statm: 25875 20441 304 96 0 22437 0
[pid=5836] ppid=5834 vsize=92888 CPUtime=1.48 cores=1
/proc/5836/stat : 5836 (clasp) R 5834 5834 5808 0 -1 4202496 25403 0 0 0 138 10 0 0 20 0 1 0 618880355 95117312 20228 268435456000 4194304 4785740 140736771468800 18446744073709551615 4495595 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5836/statm: 23222 20228 316 145 0 20267 0
[pid=5837] ppid=5834 vsize=479324 CPUtime=1.48 cores=2
/proc/5837/stat : 5837 (TNM) R 5834 5834 5808 0 -1 4202496 11573 0 0 0 143 5 0 0 20 0 1 0 618880355 490827776 11471 268435456000 134512640 134534564 4288304880 18446744073709551615 4155047 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5837/statm: 119831 11473 91 6 0 118496 0
[pid=5838] ppid=5834 vsize=145720 CPUtime=1.48 cores=3
/proc/5838/stat : 5838 (march_hi) R 5834 5834 5808 0 -1 4194304 27267 0 0 0 139 9 0 0 20 0 1 0 618880355 149217280 19914 268435456000 4194304 4331988 140737095859648 18446744073709551615 258650653246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5838/statm: 36430 19914 124 34 0 34872 0
[pid=5839] ppid=5834 vsize=83044 CPUtime=1.47 cores=4-31
/proc/5839/stat : 5839 (plingeling) R 5834 5834 5808 0 -1 4202496 19503 1238 0 0 143 4 0 0 21 0 1 0 618880355 85037056 19388 268435456000 4194304 4356188 140735859007232 18446744073709551615 4277644 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/5839/statm: 20761 19388 129 40 0 19305 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 922800
[startup+3.10065 s]
/proc/loadavg: 25.40 30.65 31.43 6/419 5845
/proc/meminfo: memFree=255707252/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
[pid=5835] ppid=5834 vsize=124864 CPUtime=3.08 cores=0
/proc/5835/stat : 5835 (cryptominisat) R 5834 5834 5808 0 -1 4202496 26009 0 0 0 299 9 0 0 25 0 1 0 618880355 127860736 25772 268435456000 4194304 4587354 140737338866592 18446744073709551615 4367578 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5835/statm: 31216 25772 310 96 0 27778 0
[pid=5836] ppid=5834 vsize=84684 CPUtime=3.08 cores=1
/proc/5836/stat : 5836 (clasp) R 5834 5834 5808 0 -1 4202496 25477 0 0 0 298 10 0 0 25 0 1 0 618880355 86716416 18270 268435456000 4194304 4785740 140736771468800 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5836/statm: 21171 18270 338 145 0 18216 0
[pid=5837] ppid=5834 vsize=526052 CPUtime=3.09 cores=2
/proc/5837/stat : 5837 (TNM) R 5834 5834 5808 0 -1 4202496 24754 0 0 0 301 8 0 0 25 0 1 0 618880355 538677248 24652 268435456000 134512640 134534564 4288304880 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5837/statm: 131513 24652 91 6 0 130178 0
[pid=5838] ppid=5834 vsize=146880 CPUtime=3.09 cores=3
/proc/5838/stat : 5838 (march_hi) R 5834 5834 5808 0 -1 4194304 30269 0 0 0 298 11 0 0 25 0 1 0 618880355 150405120 21465 268435456000 4194304 4331988 140737095859648 18446744073709551615 4261831 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5838/statm: 36720 21465 127 34 0 35162 0
[pid=5839] ppid=5834 vsize=250788 CPUtime=3.07 cores=4-31
/proc/5839/stat : 5839 (plingeling) R 5834 5834 5808 0 -1 4202496 61503 1238 0 0 295 12 0 0 25 0 1 0 618880355 256806912 61356 268435456000 4194304 4356188 140735859007232 18446744073709551615 4277440 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/5839/statm: 62697 61356 129 40 0 61241 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1151592
[startup+6.30078 s]
/proc/loadavg: 25.40 30.65 31.43 6/419 5845
/proc/meminfo: memFree=255352020/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
[pid=5835] ppid=5834 vsize=176848 CPUtime=6.29 cores=0
/proc/5835/stat : 5835 (cryptominisat) R 5834 5834 5808 0 -1 4202496 41328 0 0 0 616 13 0 0 25 0 1 0 618880355 181092352 36184 268435456000 4194304 4587354 140737338866592 18446744073709551615 4236656 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5835/statm: 44212 36184 328 96 0 40774 0
[pid=5836] ppid=5834 vsize=84684 CPUtime=6.28 cores=1
/proc/5836/stat : 5836 (clasp) R 5834 5834 5808 0 -1 4202496 25477 0 0 0 618 10 0 0 25 0 1 0 618880355 86716416 18270 268435456000 4194304 4785740 140736771468800 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5836/statm: 21171 18270 338 145 0 18216 0
[pid=5837] ppid=5834 vsize=550896 CPUtime=6.28 cores=2
/proc/5837/stat : 5837 (TNM) R 5834 5834 5808 0 -1 4202496 37420 0 0 0 617 11 0 0 25 0 1 0 618880355 564117504 37318 268435456000 134512640 134534564 4288304880 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5837/statm: 137724 37318 95 6 0 136389 0
[pid=5838] ppid=5834 vsize=264716 CPUtime=6.28 cores=3
/proc/5838/stat : 5838 (march_hi) R 5834 5834 5808 0 -1 4202496 35725 0 0 0 617 11 0 0 25 0 1 0 618880355 271069184 26918 268435456000 4194304 4331988 140737095859648 18446744073709551615 4256924 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5838/statm: 66179 26918 158 34 0 64621 0
[pid=5839] ppid=5834 vsize=380332 CPUtime=6.28 cores=4-31
/proc/5839/stat : 5839 (plingeling) R 5834 5834 5808 0 -1 4202496 93889 1238 0 0 609 19 0 0 25 0 1 0 618880355 389459968 93742 268435456000 4194304 4356188 140735859007232 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/5839/statm: 95083 93742 129 40 0 93627 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 1475800
[startup+12.7019 s]
/proc/loadavg: 24.42 30.25 31.30 29/447 5873
/proc/meminfo: memFree=254989296/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
[pid=5835] ppid=5834 vsize=214352 CPUtime=12.69 cores=0
/proc/5835/stat : 5835 (cryptominisat) R 5834 5834 5808 0 -1 4202496 44230 0 0 0 1255 14 0 0 25 0 1 0 618880355 219496448 39084 268435456000 4194304 4587354 140737338866592 18446744073709551615 4236583 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5835/statm: 53588 39084 328 96 0 50150 0
[pid=5836] ppid=5834 vsize=84684 CPUtime=12.68 cores=1
/proc/5836/stat : 5836 (clasp) R 5834 5834 5808 0 -1 4202496 25477 0 0 0 1258 10 0 0 25 0 1 0 618880355 86716416 18270 268435456000 4194304 4785740 140736771468800 18446744073709551615 4290607 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5836/statm: 21171 18270 338 145 0 18216 0
[pid=5837] ppid=5834 vsize=550896 CPUtime=12.68 cores=2
/proc/5837/stat : 5837 (TNM) R 5834 5834 5808 0 -1 4202496 37420 0 0 0 1257 11 0 0 25 0 1 0 618880355 564117504 37318 268435456000 134512640 134534564 4288304880 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5837/statm: 137724 37318 95 6 0 136389 0
[pid=5838] ppid=5834 vsize=279472 CPUtime=12.68 cores=3
/proc/5838/stat : 5838 (march_hi) R 5834 5834 5808 0 -1 4202496 55673 0 0 0 1253 15 0 0 25 0 1 0 618880355 286179328 31375 268435456000 4194304 4331988 140737095859648 18446744073709551615 4226263 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5838/statm: 69868 31375 171 34 0 68310 0
[pid=5839] ppid=5834 vsize=1550168 CPUtime=50.74 cores=4-31
/proc/5839/stat : 5839 (plingeling) S 5834 5834 5808 0 -1 4202496 303201 1238 0 0 4620 454 0 0 18 0 29 0 618880355 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/5839/statm: 387542 281923 138 40 0 386086 0
[pid=5839/tid=5846] ppid=5834 vsize=1550168 CPUtime=1.42 cores=4-31
/proc/5839/task/5846/stat : 5846 (plingeling) R 5834 5834 5808 0 -1 4202560 4154 1238 0 0 128 14 0 0 18 0 29 0 618881466 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5839/tid=5847] ppid=5834 vsize=1550168 CPUtime=1.47 cores=4-31
/proc/5839/task/5847/stat : 5847 (plingeling) R 5834 5834 5808 0 -1 4202560 4164 1238 0 0 134 13 0 0 18 0 29 0 618881466 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4237629 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5839/tid=5848] ppid=5834 vsize=1550168 CPUtime=1.34 cores=4-31
/proc/5839/task/5848/stat : 5848 (plingeling) R 5834 5834 5808 0 -1 4202560 4100 1238 0 0 113 21 0 0 18 0 29 0 618881466 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4323376 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5839/tid=5849] ppid=5834 vsize=1550168 CPUtime=1.51 cores=4-31
/proc/5839/task/5849/stat : 5849 (plingeling) R 5834 5834 5808 0 -1 4202560 4162 1238 0 0 137 14 0 0 19 0 29 0 618881466 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5839/tid=5850] ppid=5834 vsize=1550168 CPUtime=1.3 cores=4-31
/proc/5839/task/5850/stat : 5850 (plingeling) R 5834 5834 5808 0 -1 4202560 4162 1238 0 0 112 18 0 0 19 0 29 0 618881466 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4237352 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5839/tid=5851] ppid=5834 vsize=1550168 CPUtime=1.37 cores=4-31
/proc/5839/task/5851/stat : 5851 (plingeling) R 5834 5834 5808 0 -1 4202560 4097 1238 0 0 123 14 0 0 20 0 29 0 618881466 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5839/tid=5852] ppid=5834 vsize=1550168 CPUtime=1.49 cores=4-31
/proc/5839/task/5852/stat : 5852 (plingeling) R 5834 5834 5808 0 -1 4202560 4130 1238 0 0 136 13 0 0 22 0 29 0 618881466 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4237012 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=5839/tid=5853] ppid=5834 vsize=1550168 CPUtime=1.46 cores=4-31
/proc/5839/task/5853/stat : 5853 (plingeling) R 5834 5834 5808 0 -1 4202560 4129 1238 0 0 133 13 0 0 21 0 29 0 618881466 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4240244 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=5839/tid=5854] ppid=5834 vsize=1550168 CPUtime=1.45 cores=4-31
/proc/5839/task/5854/stat : 5854 (plingeling) R 5834 5834 5808 0 -1 4202560 4180 1238 0 0 132 13 0 0 19 0 29 0 618881467 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5839/tid=5855] ppid=5834 vsize=1550168 CPUtime=1.44 cores=4-31
/proc/5839/task/5855/stat : 5855 (plingeling) R 5834 5834 5808 0 -1 4202560 4161 1238 0 0 131 13 0 0 21 0 29 0 618881467 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4241631 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5839/tid=5856] ppid=5834 vsize=1550168 CPUtime=1.36 cores=4-31
/proc/5839/task/5856/stat : 5856 (plingeling) R 5834 5834 5808 0 -1 4202560 4214 1238 0 0 135 1 0 0 18 0 29 0 618881467 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4236968 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5839/tid=5857] ppid=5834 vsize=1550168 CPUtime=1.45 cores=4-31
/proc/5839/task/5857/stat : 5857 (plingeling) R 5834 5834 5808 0 -1 4202560 4231 1238 0 0 132 13 0 0 21 0 29 0 618881467 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5839/tid=5858] ppid=5834 vsize=1550168 CPUtime=1.51 cores=4-31
/proc/5839/task/5858/stat : 5858 (plingeling) R 5834 5834 5808 0 -1 4202560 4152 1238 0 0 136 15 0 0 22 0 29 0 618881467 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4213270 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5839/tid=5859] ppid=5834 vsize=1550168 CPUtime=1.45 cores=4-31
/proc/5839/task/5859/stat : 5859 (plingeling) R 5834 5834 5808 0 -1 4202560 4258 1238 0 0 130 15 0 0 21 0 29 0 618881467 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=5839/tid=5860] ppid=5834 vsize=1550168 CPUtime=1.42 cores=4-31
/proc/5839/task/5860/stat : 5860 (plingeling) R 5834 5834 5808 0 -1 4202560 4241 1238 0 0 128 14 0 0 18 0 29 0 618881468 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=5839/tid=5861] ppid=5834 vsize=1550168 CPUtime=1.46 cores=4-31
/proc/5839/task/5861/stat : 5861 (plingeling) R 5834 5834 5808 0 -1 4202560 4130 1238 0 0 131 15 0 0 22 0 29 0 618881468 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=5839/tid=5862] ppid=5834 vsize=1550168 CPUtime=1.38 cores=4-31
/proc/5839/task/5862/stat : 5862 (plingeling) R 5834 5834 5808 0 -1 4202560 4265 1238 0 0 123 15 0 0 18 0 29 0 618881468 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4211010 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5839/tid=5863] ppid=5834 vsize=1550168 CPUtime=1.43 cores=4-31
/proc/5839/task/5863/stat : 5863 (plingeling) R 5834 5834 5808 0 -1 4202560 4130 1238 0 0 130 13 0 0 21 0 29 0 618881468 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5839/tid=5864] ppid=5834 vsize=1550168 CPUtime=1.23 cores=4-31
/proc/5839/task/5864/stat : 5864 (plingeling) R 5834 5834 5808 0 -1 4202560 4162 1238 0 0 112 11 0 0 19 0 29 0 618881469 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4239072 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5839/tid=5865] ppid=5834 vsize=1550168 CPUtime=1.28 cores=4-31
/proc/5839/task/5865/stat : 5865 (plingeling) R 5834 5834 5808 0 -1 4202560 4267 1238 0 0 104 24 0 0 19 0 29 0 618881469 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=5839/tid=5866] ppid=5834 vsize=1550168 CPUtime=1.27 cores=4-31
/proc/5839/task/5866/stat : 5866 (plingeling) R 5834 5834 5808 0 -1 4202560 4097 1238 0 0 111 16 0 0 19 0 29 0 618881469 1587372032 281923 268435456000 4194304 4356188 140735859007232 18446744073709551615 4240136 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5839/tid=5867] ppid=5834 vsize=1550168 CPUtime=1.5 cores=4-31
################
# More data... #
################
/proc/5837/stat : 5837 (TNM) R 5834 5834 5808 0 -1 4202496 37420 0 0 0 49648 11 0 0 25 0 1 0 618880355 564117504 37318 268435456000 134512640 134534564 4288304880 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5837/statm: 137724 37318 95 6 0 136389 0
[pid=5838] ppid=5834 vsize=346236 CPUtime=496.59 cores=3
/proc/5838/stat : 5838 (march_hi) R 5834 5834 5808 0 -1 4202496 71886 0 0 0 49637 22 0 0 25 0 1 0 618880355 354545664 47542 268435456000 4194304 4331988 140737095859648 18446744073709551615 4263331 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5838/statm: 86559 47542 174 34 0 85001 0
[pid=5839] ppid=5834 vsize=4524368 CPUtime=13570.5 cores=4-31
/proc/5839/stat : 5839 (plingeling) S 5834 5834 5808 0 -1 4202496 3054095 1238 0 0 1354809 2245 0 0 18 0 29 0 618880355 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/5839/statm: 1131092 988360 159 40 0 1129636 0
[pid=5839/tid=5846] ppid=5834 vsize=4524368 CPUtime=483.42 cores=4-31
/proc/5839/task/5846/stat : 5846 (plingeling) R 5834 5834 5808 0 -1 4202560 101371 1238 0 0 48242 100 0 0 25 0 29 0 618881466 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=5839/tid=5847] ppid=5834 vsize=4524368 CPUtime=484.9 cores=4-31
/proc/5839/task/5847/stat : 5847 (plingeling) R 5834 5834 5808 0 -1 4202560 107887 1238 0 0 48380 110 0 0 25 0 29 0 618881466 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4238339 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5839/tid=5848] ppid=5834 vsize=4524368 CPUtime=484.96 cores=4-31
/proc/5839/task/5848/stat : 5848 (plingeling) R 5834 5834 5808 0 -1 4202560 97063 1238 0 0 48455 41 0 0 25 0 29 0 618881466 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5839/tid=5849] ppid=5834 vsize=4524368 CPUtime=478.56 cores=4-31
/proc/5839/task/5849/stat : 5849 (plingeling) R 5834 5834 5808 0 -1 4202560 100319 1238 0 0 47757 99 0 0 25 0 29 0 618881466 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4244489 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5839/tid=5850] ppid=5834 vsize=4524368 CPUtime=484.5 cores=4-31
/proc/5839/task/5850/stat : 5850 (plingeling) R 5834 5834 5808 0 -1 4202560 98884 1238 0 0 48385 65 0 0 25 0 29 0 618881466 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4279753 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5839/tid=5851] ppid=5834 vsize=4524368 CPUtime=484.52 cores=4-31
/proc/5839/task/5851/stat : 5851 (plingeling) R 5834 5834 5808 0 -1 4202560 85986 1238 0 0 48409 43 0 0 25 0 29 0 618881466 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=5839/tid=5852] ppid=5834 vsize=4524368 CPUtime=485.1 cores=4-31
/proc/5839/task/5852/stat : 5852 (plingeling) R 5834 5834 5808 0 -1 4202560 121006 1238 0 0 48415 95 0 0 25 0 29 0 618881466 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4334467 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=5839/tid=5853] ppid=5834 vsize=4524368 CPUtime=483.13 cores=4-31
/proc/5839/task/5853/stat : 5853 (plingeling) R 5834 5834 5808 0 -1 4202560 111243 1238 0 0 48219 94 0 0 25 0 29 0 618881466 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5839/tid=5854] ppid=5834 vsize=4524368 CPUtime=484.7 cores=4-31
/proc/5839/task/5854/stat : 5854 (plingeling) R 5834 5834 5808 0 -1 4202560 114387 1238 0 0 48366 104 0 0 25 0 29 0 618881467 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5839/tid=5855] ppid=5834 vsize=4524368 CPUtime=485.11 cores=4-31
/proc/5839/task/5855/stat : 5855 (plingeling) R 5834 5834 5808 0 -1 4202560 105538 1238 0 0 48407 104 0 0 25 0 29 0 618881467 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4237217 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5839/tid=5856] ppid=5834 vsize=4524368 CPUtime=484.37 cores=4-31
/proc/5839/task/5856/stat : 5856 (plingeling) R 5834 5834 5808 0 -1 4202560 86053 1238 0 0 48397 40 0 0 25 0 29 0 618881467 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4279968 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5839/tid=5857] ppid=5834 vsize=4524368 CPUtime=484.42 cores=4-31
/proc/5839/task/5857/stat : 5857 (plingeling) R 5834 5834 5808 0 -1 4202560 98004 1238 0 0 48339 103 0 0 25 0 29 0 618881467 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5839/tid=5858] ppid=5834 vsize=4524368 CPUtime=484.76 cores=4-31
/proc/5839/task/5858/stat : 5858 (plingeling) R 5834 5834 5808 0 -1 4202560 102609 1238 0 0 48421 55 0 0 25 0 29 0 618881467 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5839/tid=5859] ppid=5834 vsize=4524368 CPUtime=484.98 cores=4-31
/proc/5839/task/5859/stat : 5859 (plingeling) R 5834 5834 5808 0 -1 4202560 84667 1238 0 0 48464 34 0 0 25 0 29 0 618881467 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4279753 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=5839/tid=5860] ppid=5834 vsize=4524368 CPUtime=481.25 cores=4-31
/proc/5839/task/5860/stat : 5860 (plingeling) R 5834 5834 5808 0 -1 4202560 112158 1238 0 0 48051 74 0 0 25 0 29 0 618881468 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=5839/tid=5861] ppid=5834 vsize=4524368 CPUtime=485.21 cores=4-31
/proc/5839/task/5861/stat : 5861 (plingeling) R 5834 5834 5808 0 -1 4202560 106465 1238 0 0 48429 92 0 0 25 0 29 0 618881468 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=5839/tid=5862] ppid=5834 vsize=4524368 CPUtime=484.75 cores=4-31
/proc/5839/task/5862/stat : 5862 (plingeling) R 5834 5834 5808 0 -1 4202560 94848 1238 0 0 48384 91 0 0 25 0 29 0 618881468 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5839/tid=5863] ppid=5834 vsize=4524368 CPUtime=484.2 cores=4-31
/proc/5839/task/5863/stat : 5863 (plingeling) R 5834 5834 5808 0 -1 4202560 106014 1238 0 0 48311 109 0 0 25 0 29 0 618881468 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5839/tid=5864] ppid=5834 vsize=4524368 CPUtime=484.32 cores=4-31
/proc/5839/task/5864/stat : 5864 (plingeling) R 5834 5834 5808 0 -1 4202560 75753 1238 0 0 48405 27 0 0 25 0 29 0 618881469 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5839/tid=5865] ppid=5834 vsize=4524368 CPUtime=484.52 cores=4-31
/proc/5839/task/5865/stat : 5865 (plingeling) R 5834 5834 5808 0 -1 4202560 97126 1238 0 0 48387 65 0 0 25 0 29 0 618881469 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4244397 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5839/tid=5866] ppid=5834 vsize=4524368 CPUtime=484.43 cores=4-31
/proc/5839/task/5866/stat : 5866 (plingeling) R 5834 5834 5808 0 -1 4202560 134408 1238 0 0 48341 102 0 0 25 0 29 0 618881469 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5839/tid=5867] ppid=5834 vsize=4524368 CPUtime=484.6 cores=4-31
/proc/5839/task/5867/stat : 5867 (plingeling) R 5834 5834 5808 0 -1 4202560 82475 1238 0 0 48416 44 0 0 25 0 29 0 618881470 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=5839/tid=5868] ppid=5834 vsize=4524368 CPUtime=484.86 cores=4-31
/proc/5839/task/5868/stat : 5868 (plingeling) R 5834 5834 5808 0 -1 4202560 102647 1238 0 0 48379 107 0 0 25 0 29 0 618881470 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5839/tid=5869] ppid=5834 vsize=4524368 CPUtime=484.75 cores=4-31
/proc/5839/task/5869/stat : 5869 (plingeling) R 5834 5834 5808 0 -1 4202560 110529 1238 0 0 48384 91 0 0 25 0 29 0 618881470 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=5839/tid=5870] ppid=5834 vsize=4524368 CPUtime=485.25 cores=4-31
/proc/5839/task/5870/stat : 5870 (plingeling) R 5834 5834 5808 0 -1 4202560 95828 1238 0 0 48491 34 0 0 25 0 29 0 618881471 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5839/tid=5871] ppid=5834 vsize=4524368 CPUtime=484.55 cores=4-31
/proc/5839/task/5871/stat : 5871 (plingeling) R 5834 5834 5808 0 -1 4202560 117982 1238 0 0 48355 100 0 0 25 0 29 0 618881471 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=5839/tid=5872] ppid=5834 vsize=4524368 CPUtime=484.42 cores=4-31
/proc/5839/task/5872/stat : 5872 (plingeling) R 5834 5834 5808 0 -1 4202560 116428 1238 0 0 48374 68 0 0 25 0 29 0 618881472 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4238735 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5839/tid=5873] ppid=5834 vsize=4524368 CPUtime=484.63 cores=4-31
/proc/5839/task/5873/stat : 5873 (plingeling) R 5834 5834 5808 0 -1 4202560 100284 1238 0 0 48365 98 0 0 25 0 29 0 618881472 4632952832 988360 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 15556.9
Current children cumulated vsize (KiB) 6982412
[startup+497.502 s]
/proc/loadavg: 32.12 31.75 31.61 33/447 5887
/proc/meminfo: memFree=251200408/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
[pid=5835] ppid=5834 vsize=1110860 CPUtime=497.39 cores=0
/proc/5835/stat : 5835 (cryptominisat) R 5834 5834 5808 0 -1 4202496 355844 0 0 0 49617 122 0 0 25 0 1 0 618880355 1137520640 59921 268435456000 4194304 4587354 140737338866592 18446744073709551615 4236541 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5835/statm: 277715 59921 336 96 0 274277 0
[pid=5836] ppid=5834 vsize=431860 CPUtime=497.39 cores=1
/proc/5836/stat : 5836 (clasp) R 5834 5834 5808 0 -1 4202496 112289 0 0 0 49679 60 0 0 25 0 1 0 618880355 442224640 105082 268435456000 4194304 4785740 140736771468800 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5836/statm: 107965 105082 338 145 0 105010 0
[pid=5837] ppid=5834 vsize=550896 CPUtime=497.39 cores=2
/proc/5837/stat : 5837 (TNM) R 5834 5834 5808 0 -1 4202496 37420 0 0 0 49728 11 0 0 25 0 1 0 618880355 564117504 37318 268435456000 134512640 134534564 4288304880 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5837/statm: 137724 37318 95 6 0 136389 0
[pid=5838] ppid=5834 vsize=346236 CPUtime=497.39 cores=3
/proc/5838/stat : 5838 (march_hi) R 5834 5834 5808 0 -1 4202496 71888 0 0 0 49717 22 0 0 25 0 1 0 618880355 354545664 47544 268435456000 4194304 4331988 140737095859648 18446744073709551615 4237182 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5838/statm: 86559 47544 174 34 0 85001 0
[pid=5839] ppid=5834 vsize=4524328 CPUtime=13592.9 cores=4-31
/proc/5839/stat : 5839 (plingeling) S 5834 5834 5808 0 -1 4202496 3054607 1238 0 0 1357046 2245 0 0 18 0 29 0 618880355 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/5839/statm: 1131082 987623 159 40 0 1129626 0
[pid=5839/tid=5846] ppid=5834 vsize=4524328 CPUtime=484.22 cores=4-31
/proc/5839/task/5846/stat : 5846 (plingeling) R 5834 5834 5808 0 -1 4202560 101371 1238 0 0 48322 100 0 0 25 0 29 0 618881466 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=5839/tid=5847] ppid=5834 vsize=4524328 CPUtime=485.7 cores=4-31
/proc/5839/task/5847/stat : 5847 (plingeling) R 5834 5834 5808 0 -1 4202560 107887 1238 0 0 48460 110 0 0 25 0 29 0 618881466 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5839/tid=5848] ppid=5834 vsize=4524328 CPUtime=485.76 cores=4-31
/proc/5839/task/5848/stat : 5848 (plingeling) R 5834 5834 5808 0 -1 4202560 97063 1238 0 0 48535 41 0 0 25 0 29 0 618881466 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5839/tid=5849] ppid=5834 vsize=4524328 CPUtime=479.34 cores=4-31
/proc/5839/task/5849/stat : 5849 (plingeling) R 5834 5834 5808 0 -1 4202560 100319 1238 0 0 47835 99 0 0 25 0 29 0 618881466 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331245 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5839/tid=5850] ppid=5834 vsize=4524328 CPUtime=485.3 cores=4-31
/proc/5839/task/5850/stat : 5850 (plingeling) R 5834 5834 5808 0 -1 4202560 98884 1238 0 0 48465 65 0 0 25 0 29 0 618881466 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5839/tid=5851] ppid=5834 vsize=4524328 CPUtime=485.32 cores=4-31
/proc/5839/task/5851/stat : 5851 (plingeling) R 5834 5834 5808 0 -1 4202560 85986 1238 0 0 48489 43 0 0 25 0 29 0 618881466 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=5839/tid=5852] ppid=5834 vsize=4524328 CPUtime=485.9 cores=4-31
/proc/5839/task/5852/stat : 5852 (plingeling) R 5834 5834 5808 0 -1 4202560 121006 1238 0 0 48495 95 0 0 25 0 29 0 618881466 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=5839/tid=5853] ppid=5834 vsize=4524328 CPUtime=483.93 cores=4-31
/proc/5839/task/5853/stat : 5853 (plingeling) R 5834 5834 5808 0 -1 4202560 111243 1238 0 0 48299 94 0 0 25 0 29 0 618881466 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4281692 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5839/tid=5854] ppid=5834 vsize=4524328 CPUtime=485.5 cores=4-31
/proc/5839/task/5854/stat : 5854 (plingeling) R 5834 5834 5808 0 -1 4202560 114387 1238 0 0 48446 104 0 0 25 0 29 0 618881467 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4334446 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5839/tid=5855] ppid=5834 vsize=4524328 CPUtime=485.91 cores=4-31
/proc/5839/task/5855/stat : 5855 (plingeling) R 5834 5834 5808 0 -1 4202560 105538 1238 0 0 48487 104 0 0 25 0 29 0 618881467 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5839/tid=5856] ppid=5834 vsize=4524328 CPUtime=485.17 cores=4-31
/proc/5839/task/5856/stat : 5856 (plingeling) R 5834 5834 5808 0 -1 4202560 86053 1238 0 0 48477 40 0 0 25 0 29 0 618881467 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5839/tid=5857] ppid=5834 vsize=4524328 CPUtime=485.22 cores=4-31
/proc/5839/task/5857/stat : 5857 (plingeling) R 5834 5834 5808 0 -1 4202560 98004 1238 0 0 48419 103 0 0 25 0 29 0 618881467 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210705 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5839/tid=5858] ppid=5834 vsize=4524328 CPUtime=485.56 cores=4-31
/proc/5839/task/5858/stat : 5858 (plingeling) R 5834 5834 5808 0 -1 4202560 102609 1238 0 0 48501 55 0 0 25 0 29 0 618881467 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4213357 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5839/tid=5859] ppid=5834 vsize=4524328 CPUtime=485.78 cores=4-31
/proc/5839/task/5859/stat : 5859 (plingeling) R 5834 5834 5808 0 -1 4202560 84667 1238 0 0 48544 34 0 0 25 0 29 0 618881467 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=5839/tid=5860] ppid=5834 vsize=4524328 CPUtime=482.05 cores=4-31
/proc/5839/task/5860/stat : 5860 (plingeling) R 5834 5834 5808 0 -1 4202560 112158 1238 0 0 48131 74 0 0 25 0 29 0 618881468 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=5839/tid=5861] ppid=5834 vsize=4524328 CPUtime=486.01 cores=4-31
/proc/5839/task/5861/stat : 5861 (plingeling) R 5834 5834 5808 0 -1 4202560 106465 1238 0 0 48509 92 0 0 25 0 29 0 618881468 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=5839/tid=5862] ppid=5834 vsize=4524328 CPUtime=485.55 cores=4-31
/proc/5839/task/5862/stat : 5862 (plingeling) R 5834 5834 5808 0 -1 4202560 94848 1238 0 0 48464 91 0 0 25 0 29 0 618881468 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5839/tid=5863] ppid=5834 vsize=4524328 CPUtime=485 cores=4-31
/proc/5839/task/5863/stat : 5863 (plingeling) R 5834 5834 5808 0 -1 4202560 106014 1238 0 0 48391 109 0 0 25 0 29 0 618881468 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5839/tid=5864] ppid=5834 vsize=4524328 CPUtime=485.12 cores=4-31
/proc/5839/task/5864/stat : 5864 (plingeling) R 5834 5834 5808 0 -1 4202560 75753 1238 0 0 48485 27 0 0 25 0 29 0 618881469 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4280065 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5839/tid=5865] ppid=5834 vsize=4524328 CPUtime=485.32 cores=4-31
/proc/5839/task/5865/stat : 5865 (plingeling) R 5834 5834 5808 0 -1 4202560 97126 1238 0 0 48467 65 0 0 25 0 29 0 618881469 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5839/tid=5866] ppid=5834 vsize=4524328 CPUtime=485.23 cores=4-31
/proc/5839/task/5866/stat : 5866 (plingeling) R 5834 5834 5808 0 -1 4202560 134408 1238 0 0 48421 102 0 0 25 0 29 0 618881469 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4279677 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5839/tid=5867] ppid=5834 vsize=4524328 CPUtime=485.4 cores=4-31
/proc/5839/task/5867/stat : 5867 (plingeling) R 5834 5834 5808 0 -1 4202560 82475 1238 0 0 48496 44 0 0 25 0 29 0 618881470 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=5839/tid=5868] ppid=5834 vsize=4524328 CPUtime=485.66 cores=4-31
/proc/5839/task/5868/stat : 5868 (plingeling) R 5834 5834 5808 0 -1 4202560 102647 1238 0 0 48459 107 0 0 25 0 29 0 618881470 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210815 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5839/tid=5869] ppid=5834 vsize=4524328 CPUtime=485.55 cores=4-31
/proc/5839/task/5869/stat : 5869 (plingeling) R 5834 5834 5808 0 -1 4202560 110529 1238 0 0 48464 91 0 0 25 0 29 0 618881470 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=5839/tid=5870] ppid=5834 vsize=4524328 CPUtime=486.05 cores=4-31
/proc/5839/task/5870/stat : 5870 (plingeling) R 5834 5834 5808 0 -1 4202560 95828 1238 0 0 48571 34 0 0 25 0 29 0 618881471 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5839/tid=5871] ppid=5834 vsize=4524328 CPUtime=485.36 cores=4-31
/proc/5839/task/5871/stat : 5871 (plingeling) R 5834 5834 5808 0 -1 4202560 118494 1238 0 0 48435 101 0 0 25 0 29 0 618881471 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4211026 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=5839/tid=5872] ppid=5834 vsize=4524328 CPUtime=485.22 cores=4-31
/proc/5839/task/5872/stat : 5872 (plingeling) R 5834 5834 5808 0 -1 4202560 116428 1238 0 0 48454 68 0 0 25 0 29 0 618881472 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4244204 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5839/tid=5873] ppid=5834 vsize=4524328 CPUtime=485.43 cores=4-31
/proc/5839/task/5873/stat : 5873 (plingeling) R 5834 5834 5808 0 -1 4202560 100284 1238 0 0 48445 98 0 0 25 0 29 0 618881472 4632911872 987623 268435456000 4194304 4356188 140735859007232 18446744073709551615 4297741 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 15582.5
Current children cumulated vsize (KiB) 6982504
[startup+497.901 s]
/proc/loadavg: 32.12 31.75 31.61 33/447 5887
/proc/meminfo: memFree=251200408/264257624 swapFree=67111528/67111528
[pid=5834] ppid=5832 vsize=18324 CPUtime=0 cores=0-31
/proc/5834/stat : 5834 (ppfolio) S 5832 5834 5808 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 618880354 18763776 386 268435456000 4194304 4287625 140734018096848 18446744073709551615 258650975999 0 0 4096 65536 13273577466007388159 0 0 17 28 0 0 0
/proc/5834/statm: 4581 386 337 23 0 91 0
[pid=5835] ppid=5834 vsize=1110860 CPUtime=497.79 cores=0
/proc/5835/stat : 5835 (cryptominisat) R 5834 5834 5808 0 -1 4202496 355986 0 0 0 49657 122 0 0 25 0 1 0 618880355 1137520640 60063 268435456000 4194304 4587354 140737338866592 18446744073709551615 4243610 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5835/statm: 277715 60063 336 96 0 274277 0
[pid=5836] ppid=5834 vsize=432276 CPUtime=497.78 cores=1
/proc/5836/stat : 5836 (clasp) R 5834 5834 5808 0 -1 4202496 112410 0 0 0 49718 60 0 0 25 0 1 0 618880355 442650624 105203 268435456000 4194304 4785740 140736771468800 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5836/statm: 108069 105203 338 145 0 105114 0
[pid=5837] ppid=5834 vsize=550896 CPUtime=497.79 cores=2
/proc/5837/stat : 5837 (TNM) R 5834 5834 5808 0 -1 4202496 37420 0 0 0 49768 11 0 0 25 0 1 0 618880355 564117504 37318 268435456000 134512640 134534564 4288304880 18446744073709551615 134528628 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5837/statm: 137724 37318 95 6 0 136389 0
[pid=5838] ppid=5834 vsize=346236 CPUtime=497.79 cores=3
/proc/5838/stat : 5838 (march_hi) R 5834 5834 5808 0 -1 4202496 71889 0 0 0 49757 22 0 0 25 0 1 0 618880355 354545664 47545 268435456000 4194304 4331988 140737095859648 18446744073709551615 4239564 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5838/statm: 86559 47545 174 34 0 85001 0
[pid=5839] ppid=5834 vsize=1180164 CPUtime=13595.9 cores=4-31
/proc/5839/stat : 5839 (plingeling) R 5834 5834 5808 0 -1 4202496 3054608 1238 0 0 1357317 2272 0 0 17 0 1 0 618880355 1208487936 192650 268435456000 4194304 4356188 140735859007232 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 28 0 0 0
/proc/5839/statm: 295041 192650 160 40 0 293585 0
Current children cumulated CPU time (s) 15587
Current children cumulated vsize (KiB) 3638756
Child status: 0
Real time (s): 497.995
CPU time (s): 15587.5
CPU user time (s): 15562.4
CPU system time (s): 25.0612
CPU usage (%): 3130.05
Max. virtual memory (cumulated for all children) (KiB): 7396096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15562.4
system time used= 25.0612
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3634142
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= 3942
involuntary context switches= 38133
runsolver used 3.03354 second user time and 11.1353 second system time
The end
Begin job on node200 at 2011-05-11 02:32:19
IDJOB=3347369
IDBENCH=82378
IDSOLVER=1808
FILE ID=node200/3347369-1305073938
RUNJOBID= node200-1305073938-5822
PBS_JOBID= 13282050
Free space on /tmp= 62028 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347369-1305073938/watcher-3347369-1305073938 -o /tmp/evaluation-result-3347369-1305073938/solver-3347369-1305073938 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347369-1305073938.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=2035551988
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: 256165012 kB
Buffers: 384000 kB
Cached: 7364204 kB
SwapCached: 0 kB
Active: 6878208 kB
Inactive: 938992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256165012 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 33500 kB
Writeback: 4 kB
AnonPages: 68672 kB
Mapped: 13952 kB
Slab: 195952 kB
PageTables: 4284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191568 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= 62020 MiB
End job on node200 at 2011-05-11 02:40:37