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
6880.30/234.08 s UNSATISFIABLE
6880.79/234.16 solver [5] plingeling 276-6264d55-100731 answered
6880.79/234.16 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-3347391-1305137439/watcher-3347391-1305137439 -o /tmp/evaluation-result-3347391-1305137439/solver-3347391-1305137439 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347391-1305137439.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.14 29.90 29.24 1/413 10122
/proc/meminfo: memFree=255962336/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[startup+0.091678 s]
/proc/loadavg: 27.14 29.90 29.24 1/413 10122
/proc/meminfo: memFree=255962336/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100676 s]
/proc/loadavg: 27.14 29.90 29.24 1/413 10122
/proc/meminfo: memFree=255962336/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300689 s]
/proc/loadavg: 27.14 29.90 29.24 1/413 10122
/proc/meminfo: memFree=255962336/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700723 s]
/proc/loadavg: 27.14 29.90 29.24 1/413 10122
/proc/meminfo: memFree=255962336/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.5007 s]
/proc/loadavg: 27.14 29.90 29.24 6/419 10133
/proc/meminfo: memFree=255587960/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[pid=10123] ppid=10122 vsize=178852 CPUtime=1.49 cores=0
/proc/10123/stat : 10123 (cryptominisat) R 10122 10122 10096 0 -1 4202496 36771 0 0 0 140 9 0 0 20 0 1 0 625230545 183144448 36363 268435456000 4194304 4587354 140737307692144 18446744073709551615 4237655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10123/statm: 44713 36363 303 96 0 41275 0
[pid=10124] ppid=10122 vsize=164128 CPUtime=1.48 cores=1
/proc/10124/stat : 10124 (clasp) R 10122 10122 10096 0 -1 4202496 48345 0 0 0 134 14 0 0 20 0 1 0 625230545 168067072 36367 268435456000 4194304 4785740 140735590135184 18446744073709551615 4491675 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10124/statm: 41032 36367 310 145 0 38077 0
[pid=10125] ppid=10122 vsize=469692 CPUtime=1.49 cores=2
/proc/10125/stat : 10125 (TNM) R 10122 10122 10096 0 -1 4202496 7712 0 0 0 144 5 0 0 20 0 1 0 625230545 480964608 7611 268435456000 134512640 134534564 4294272368 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10125/statm: 117423 7612 90 6 0 116088 0
[pid=10126] ppid=10122 vsize=109212 CPUtime=1.49 cores=3
/proc/10126/stat : 10126 (march_hi) R 10122 10122 10096 0 -1 4194304 25143 0 0 0 139 10 0 0 20 0 1 0 625230545 111833088 25039 268435456000 4194304 4331988 140737177309792 18446744073709551615 258650955760 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10126/statm: 27303 25040 112 34 0 25745 0
[pid=10127] ppid=10122 vsize=134132 CPUtime=1.48 cores=4-31
/proc/10127/stat : 10127 (plingeling) R 10122 10122 10096 0 -1 4202496 32340 1244 0 0 141 7 0 0 25 0 1 0 625230545 137351168 32192 268435456000 4194304 4356188 140734042068448 18446744073709551615 4277939 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/10127/statm: 33533 32192 129 40 0 32077 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 1074340
[startup+3.10081 s]
/proc/loadavg: 25.36 29.48 29.11 6/419 10133
/proc/meminfo: memFree=255308704/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[pid=10123] ppid=10122 vsize=225200 CPUtime=3.09 cores=0
/proc/10123/stat : 10123 (cryptominisat) R 10122 10122 10096 0 -1 4202496 48380 0 0 0 298 11 0 0 25 0 1 0 625230545 230604800 47972 268435456000 4194304 4587354 140737307692144 18446744073709551615 4365236 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10123/statm: 56300 47972 308 96 0 52862 0
[pid=10124] ppid=10122 vsize=176804 CPUtime=3.09 cores=1
/proc/10124/stat : 10124 (clasp) R 10122 10122 10096 0 -1 4202496 51042 0 0 0 294 15 0 0 25 0 1 0 625230545 181047296 39064 268435456000 4194304 4785740 140735590135184 18446744073709551615 4495797 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10124/statm: 44201 39064 316 145 0 41246 0
[pid=10125] ppid=10122 vsize=571076 CPUtime=3.08 cores=2
/proc/10125/stat : 10125 (TNM) R 10122 10122 10096 0 -1 4202496 39664 0 0 0 297 11 0 0 25 0 1 0 625230545 584781824 39562 268435456000 134512640 134534564 4294272368 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10125/statm: 142769 39562 91 6 0 141434 0
[pid=10126] ppid=10122 vsize=248924 CPUtime=3.09 cores=3
/proc/10126/stat : 10126 (march_hi) R 10122 10122 10096 0 -1 4194304 50450 0 0 0 293 16 0 0 25 0 1 0 625230545 254898176 38328 268435456000 4194304 4331988 140737177309792 18446744073709551615 258650653386 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10126/statm: 62231 38328 124 34 0 60673 0
[pid=10127] ppid=10122 vsize=268660 CPUtime=3.08 cores=4-31
/proc/10127/stat : 10127 (plingeling) R 10122 10122 10096 0 -1 4202496 66036 1244 0 0 293 15 0 0 25 0 1 0 625230545 275107840 65824 268435456000 4194304 4356188 140734042068448 18446744073709551615 4212579 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/10127/statm: 67165 65824 129 40 0 65709 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 1508988
[startup+6.30089 s]
/proc/loadavg: 25.36 29.48 29.11 6/419 10133
/proc/meminfo: memFree=254899064/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[pid=10123] ppid=10122 vsize=225200 CPUtime=6.29 cores=0
/proc/10123/stat : 10123 (cryptominisat) R 10122 10122 10096 0 -1 4202496 48380 0 0 0 618 11 0 0 25 0 1 0 625230545 230604800 47972 268435456000 4194304 4587354 140737307692144 18446744073709551615 4365216 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10123/statm: 56300 47972 308 96 0 52862 0
[pid=10124] ppid=10122 vsize=158348 CPUtime=6.29 cores=1
/proc/10124/stat : 10124 (clasp) R 10122 10122 10096 0 -1 4202496 51237 0 0 0 614 15 0 0 25 0 1 0 625230545 162148352 35959 268435456000 4194304 4785740 140735590135184 18446744073709551615 4552635 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10124/statm: 39587 35959 331 145 0 36632 0
[pid=10125] ppid=10122 vsize=571076 CPUtime=6.28 cores=2
/proc/10125/stat : 10125 (TNM) R 10122 10122 10096 0 -1 4202496 39664 0 0 0 617 11 0 0 25 0 1 0 625230545 584781824 39562 268435456000 134512640 134534564 4294272368 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10125/statm: 142769 39562 91 6 0 141434 0
[pid=10126] ppid=10122 vsize=257700 CPUtime=6.29 cores=3
/proc/10126/stat : 10126 (march_hi) R 10122 10122 10096 0 -1 4194304 93654 0 0 0 604 25 0 0 25 0 1 0 625230545 263884800 42083 268435456000 4194304 4331988 140737177309792 18446744073709551615 4251649 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10126/statm: 64425 42083 127 34 0 62867 0
[pid=10127] ppid=10122 vsize=454232 CPUtime=6.28 cores=4-31
/proc/10127/stat : 10127 (plingeling) R 10122 10122 10096 0 -1 4202496 112182 1244 0 0 602 26 0 0 25 0 1 0 625230545 465133568 111594 268435456000 4194304 4356188 140734042068448 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/10127/statm: 113558 111600 129 40 0 112102 0
Current children cumulated CPU time (s) 31.43
Current children cumulated vsize (KiB) 1684880
[startup+12.7011 s]
/proc/loadavg: 23.73 29.08 28.98 6/419 10133
/proc/meminfo: memFree=254145284/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[pid=10123] ppid=10122 vsize=328660 CPUtime=12.69 cores=0
/proc/10123/stat : 10123 (cryptominisat) R 10122 10122 10096 0 -1 4202496 96229 0 0 0 1247 22 0 0 25 0 1 0 625230545 336547840 70623 268435456000 4194304 4587354 140737307692144 18446744073709551615 4236698 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10123/statm: 82165 70623 327 96 0 78727 0
[pid=10124] ppid=10122 vsize=158348 CPUtime=12.68 cores=1
/proc/10124/stat : 10124 (clasp) R 10122 10122 10096 0 -1 4202496 51244 0 0 0 1253 15 0 0 25 0 1 0 625230545 162148352 35966 268435456000 4194304 4785740 140735590135184 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10124/statm: 39587 35966 338 145 0 36632 0
[pid=10125] ppid=10122 vsize=571076 CPUtime=12.68 cores=2
/proc/10125/stat : 10125 (TNM) R 10122 10122 10096 0 -1 4202496 39664 0 0 0 1257 11 0 0 25 0 1 0 625230545 584781824 39562 268435456000 134512640 134534564 4294272368 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10125/statm: 142769 39562 91 6 0 141434 0
[pid=10126] ppid=10122 vsize=357324 CPUtime=12.68 cores=3
/proc/10126/stat : 10126 (march_hi) R 10122 10122 10096 0 -1 4202496 207114 0 0 0 1219 49 0 0 25 0 1 0 625230545 365899776 66904 268435456000 4194304 4331988 140737177309792 18446744073709551615 4271067 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10126/statm: 89331 66904 149 34 0 87773 0
[pid=10127] ppid=10122 vsize=972540 CPUtime=12.68 cores=4-31
/proc/10127/stat : 10127 (plingeling) R 10122 10122 10096 0 -1 4202496 242382 1244 0 0 1217 51 0 0 25 0 1 0 625230545 995880960 241794 268435456000 4194304 4356188 140734042068448 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/10127/statm: 243135 241794 129 40 0 241679 0
Current children cumulated CPU time (s) 63.41
Current children cumulated vsize (KiB) 2406272
[startup+25.5025 s]
/proc/loadavg: 21.58 28.31 28.73 33/447 10161
/proc/meminfo: memFree=252495220/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[pid=10123] ppid=10122 vsize=366164 CPUtime=25.49 cores=0
/proc/10123/stat : 10123 (cryptominisat) R 10122 10122 10096 0 -1 4202496 98411 0 0 0 2526 23 0 0 25 0 1 0 625230545 374951936 72803 268435456000 4194304 4587354 140737307692144 18446744073709551615 4236496 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10123/statm: 91541 72803 327 96 0 88103 0
[pid=10124] ppid=10122 vsize=158348 CPUtime=25.48 cores=1
/proc/10124/stat : 10124 (clasp) R 10122 10122 10096 0 -1 4202496 51244 0 0 0 2533 15 0 0 25 0 1 0 625230545 162148352 35966 268435456000 4194304 4785740 140735590135184 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10124/statm: 39587 35966 338 145 0 36632 0
[pid=10125] ppid=10122 vsize=1236492 CPUtime=25.48 cores=2
/proc/10125/stat : 10125 (TNM) R 10122 10122 10096 0 -1 4202496 219865 0 0 0 2502 46 0 0 25 0 1 0 625230545 1266167808 219763 268435456000 134512640 134534564 4294272368 18446744073709551615 134529953 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10125/statm: 309123 219763 95 6 0 307788 0
[pid=10126] ppid=10122 vsize=468788 CPUtime=25.48 cores=3
/proc/10126/stat : 10126 (march_hi) R 10122 10122 10096 0 -1 4202496 234863 0 0 0 2493 55 0 0 25 0 1 0 625230545 480038912 94653 268435456000 4194304 4331988 140737177309792 18446744073709551615 4256852 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10126/statm: 117197 94653 149 34 0 115639 0
[pid=10127] ppid=10122 vsize=2018640 CPUtime=118.74 cores=4-31
/proc/10127/stat : 10127 (plingeling) S 10122 10122 10096 0 -1 4202496 583577 1244 0 0 11697 177 0 0 18 0 29 0 625230545 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/10127/statm: 504660 389578 150 40 0 503204 0
[pid=10127/tid=10134] ppid=10122 vsize=2018640 CPUtime=3.49 cores=4-31
/proc/10127/task/10134/stat : 10134 (plingeling) R 10122 10122 10096 0 -1 4202560 3637 1244 0 0 348 1 0 0 25 0 29 0 625232738 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4244483 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10127/tid=10135] ppid=10122 vsize=2018640 CPUtime=3.48 cores=4-31
/proc/10127/task/10135/stat : 10135 (plingeling) R 10122 10122 10096 0 -1 4202560 8312 1244 0 0 346 2 0 0 25 0 29 0 625232738 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4260315 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10127/tid=10136] ppid=10122 vsize=2018640 CPUtime=3.46 cores=4-31
/proc/10127/task/10136/stat : 10136 (plingeling) R 10122 10122 10096 0 -1 4202560 7042 1244 0 0 344 2 0 0 25 0 29 0 625232738 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4259331 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10127/tid=10137] ppid=10122 vsize=2018640 CPUtime=3.45 cores=4-31
/proc/10127/task/10137/stat : 10137 (plingeling) R 10122 10122 10096 0 -1 4202560 5829 1244 0 0 344 1 0 0 25 0 29 0 625232738 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10127/tid=10138] ppid=10122 vsize=2018640 CPUtime=3.44 cores=4-31
/proc/10127/task/10138/stat : 10138 (plingeling) R 10122 10122 10096 0 -1 4202560 9366 1244 0 0 336 8 0 0 18 0 29 0 625232738 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4315734 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10127/tid=10139] ppid=10122 vsize=2018640 CPUtime=3.39 cores=4-31
/proc/10127/task/10139/stat : 10139 (plingeling) R 10122 10122 10096 0 -1 4202560 4965 1244 0 0 337 2 0 0 25 0 29 0 625232738 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10127/tid=10140] ppid=10122 vsize=2018640 CPUtime=3.43 cores=4-31
/proc/10127/task/10140/stat : 10140 (plingeling) R 10122 10122 10096 0 -1 4202560 10418 1244 0 0 339 4 0 0 18 0 29 0 625232738 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4315087 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10127/tid=10141] ppid=10122 vsize=2018640 CPUtime=3.51 cores=4-31
/proc/10127/task/10141/stat : 10141 (plingeling) R 10122 10122 10096 0 -1 4202560 10233 1244 0 0 347 4 0 0 18 0 29 0 625232738 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4262787 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10127/tid=10142] ppid=10122 vsize=2018640 CPUtime=3.52 cores=4-31
/proc/10127/task/10142/stat : 10142 (plingeling) R 10122 10122 10096 0 -1 4202560 322 1244 0 0 352 0 0 0 25 0 29 0 625232739 2067087360 389578 268435456000 4194304 4356188 140734042068448 18446744073709551615 4267675 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10127/tid=10143] ppid=10122 vsize=2018640 CPUtime=3.45 cores=4-31
################
# More data... #
################
[pid=10127/tid=10142] ppid=10122 vsize=3746864 CPUtime=209.88 cores=4-31
/proc/10127/task/10142/stat : 10142 (plingeling) R 10122 10122 10096 0 -1 4202560 16820 1244 0 0 20984 4 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10127/tid=10143] ppid=10122 vsize=3746864 CPUtime=209.65 cores=4-31
/proc/10127/task/10143/stat : 10143 (plingeling) R 10122 10122 10096 0 -1 4202560 31958 1244 0 0 20939 26 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4297897 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10127/tid=10144] ppid=10122 vsize=3746864 CPUtime=209.84 cores=4-31
/proc/10127/task/10144/stat : 10144 (plingeling) R 10122 10122 10096 0 -1 4202560 35406 1244 0 0 20953 31 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10127/tid=10145] ppid=10122 vsize=3746864 CPUtime=209.82 cores=4-31
/proc/10127/task/10145/stat : 10145 (plingeling) R 10122 10122 10096 0 -1 4202560 16167 1244 0 0 20959 23 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4324019 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10127/tid=10146] ppid=10122 vsize=3746864 CPUtime=209.86 cores=4-31
/proc/10127/task/10146/stat : 10146 (plingeling) R 10122 10122 10096 0 -1 4202560 23549 1244 0 0 20981 5 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4235867 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10127/tid=10147] ppid=10122 vsize=3746864 CPUtime=209.77 cores=4-31
/proc/10127/task/10147/stat : 10147 (plingeling) R 10122 10122 10096 0 -1 4202560 27851 1244 0 0 20949 28 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4212207 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10127/tid=10148] ppid=10122 vsize=3746864 CPUtime=206.51 cores=4-31
/proc/10127/task/10148/stat : 10148 (plingeling) R 10122 10122 10096 0 -1 4202560 20519 1244 0 0 20629 22 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10127/tid=10149] ppid=10122 vsize=3746864 CPUtime=209.73 cores=4-31
/proc/10127/task/10149/stat : 10149 (plingeling) R 10122 10122 10096 0 -1 4202560 29203 1244 0 0 20942 31 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4211010 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10127/tid=10150] ppid=10122 vsize=3746864 CPUtime=209.81 cores=4-31
/proc/10127/task/10150/stat : 10150 (plingeling) R 10122 10122 10096 0 -1 4202560 24870 1244 0 0 20975 6 0 0 25 0 29 0 625232739 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10127/tid=10151] ppid=10122 vsize=3746864 CPUtime=209.8 cores=4-31
/proc/10127/task/10151/stat : 10151 (plingeling) R 10122 10122 10096 0 -1 4202560 26231 1244 0 0 20956 24 0 0 25 0 29 0 625232740 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10127/tid=10152] ppid=10122 vsize=3746864 CPUtime=209.8 cores=4-31
/proc/10127/task/10152/stat : 10152 (plingeling) R 10122 10122 10096 0 -1 4202560 30826 1244 0 0 20952 28 0 0 25 0 29 0 625232740 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10127/tid=10153] ppid=10122 vsize=3746864 CPUtime=209.81 cores=4-31
/proc/10127/task/10153/stat : 10153 (plingeling) R 10122 10122 10096 0 -1 4202560 28117 1244 0 0 20974 7 0 0 25 0 29 0 625232740 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4330752 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10127/tid=10154] ppid=10122 vsize=3746864 CPUtime=209.81 cores=4-31
/proc/10127/task/10154/stat : 10154 (plingeling) R 10122 10122 10096 0 -1 4202560 21093 1244 0 0 20975 6 0 0 25 0 29 0 625232740 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4210591 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10127/tid=10155] ppid=10122 vsize=3746864 CPUtime=209.8 cores=4-31
/proc/10127/task/10155/stat : 10155 (plingeling) R 10122 10122 10096 0 -1 4202560 21035 1244 0 0 20975 5 0 0 25 0 29 0 625232741 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10127/tid=10156] ppid=10122 vsize=3746864 CPUtime=209.85 cores=4-31
/proc/10127/task/10156/stat : 10156 (plingeling) R 10122 10122 10096 0 -1 4202560 26040 1244 0 0 20961 24 0 0 25 0 29 0 625232741 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4242677 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10127/tid=10157] ppid=10122 vsize=3746864 CPUtime=209.85 cores=4-31
/proc/10127/task/10157/stat : 10157 (plingeling) R 10122 10122 10096 0 -1 4202560 21694 1244 0 0 20979 6 0 0 25 0 29 0 625232741 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10127/tid=10158] ppid=10122 vsize=3746864 CPUtime=209.56 cores=4-31
/proc/10127/task/10158/stat : 10158 (plingeling) R 10122 10122 10096 0 -1 4202560 16918 1244 0 0 20934 22 0 0 25 0 29 0 625232741 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4211010 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10127/tid=10159] ppid=10122 vsize=3746864 CPUtime=209.7 cores=4-31
/proc/10127/task/10159/stat : 10159 (plingeling) R 10122 10122 10096 0 -1 4202560 28003 1244 0 0 20941 29 0 0 25 0 29 0 625232741 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4242674 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10127/tid=10160] ppid=10122 vsize=3746864 CPUtime=209.59 cores=4-31
/proc/10127/task/10160/stat : 10160 (plingeling) R 10122 10122 10096 0 -1 4202560 13217 1244 0 0 20956 3 0 0 25 0 29 0 625232741 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10127/tid=10161] ppid=10122 vsize=3746864 CPUtime=209.78 cores=4-31
/proc/10127/task/10161/stat : 10161 (plingeling) R 10122 10122 10096 0 -1 4202560 23882 1244 0 0 20954 24 0 0 25 0 29 0 625232741 3836788736 810809 268435456000 4194304 4356188 140734042068448 18446744073709551615 4242762 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 6817.15
Current children cumulated vsize (KiB) 7447664
[startup+233.502 s]
/proc/loadavg: 31.88 30.25 29.42 33/447 10167
/proc/meminfo: memFree=250101984/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[pid=10123] ppid=10122 vsize=516168 CPUtime=233.44 cores=0
/proc/10123/stat : 10123 (cryptominisat) R 10122 10122 10096 0 -1 4202496 126534 0 0 0 23313 31 0 0 25 0 1 0 625230545 528556032 100917 268435456000 4194304 4587354 140737307692144 18446744073709551615 4236432 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10123/statm: 129042 100917 328 96 0 125604 0
[pid=10124] ppid=10122 vsize=432544 CPUtime=233.44 cores=1
/proc/10124/stat : 10124 (clasp) R 10122 10122 10096 0 -1 4202496 120472 0 0 0 23303 41 0 0 25 0 1 0 625230545 442925056 105194 268435456000 4194304 4785740 140735590135184 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10124/statm: 108136 105194 338 145 0 105181 0
[pid=10125] ppid=10122 vsize=1236492 CPUtime=233.44 cores=2
/proc/10125/stat : 10125 (TNM) R 10122 10122 10096 0 -1 4202496 219866 0 0 0 23298 46 0 0 25 0 1 0 625230545 1266167808 219764 268435456000 134512640 134534564 4294272368 18446744073709551615 134525989 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10125/statm: 309123 219764 95 6 0 307788 0
[pid=10126] ppid=10122 vsize=1498084 CPUtime=233.45 cores=3
/proc/10126/stat : 10126 (march_hi) R 10122 10122 10096 0 -1 4202496 968152 0 0 0 23110 235 0 0 25 0 1 0 625230545 1534038016 234518 268435456000 4194304 4331988 140737177309792 18446744073709551615 4226263 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10126/statm: 374521 234518 173 34 0 372963 0
[pid=10127] ppid=10122 vsize=3711612 CPUtime=5934.52 cores=4-31
/proc/10127/stat : 10127 (plingeling) S 10122 10122 10096 0 -1 4202496 1040254 1244 0 0 592865 587 0 0 18 0 29 0 625230545 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/10127/statm: 927903 802012 159 40 0 926447 0
[pid=10127/tid=10134] ppid=10122 vsize=3711612 CPUtime=211.44 cores=4-31
/proc/10127/task/10134/stat : 10134 (plingeling) R 10122 10122 10096 0 -1 4202560 18185 1244 0 0 21141 3 0 0 25 0 29 0 625232738 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4242762 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10127/tid=10135] ppid=10122 vsize=3711612 CPUtime=211.27 cores=4-31
/proc/10127/task/10135/stat : 10135 (plingeling) R 10122 10122 10096 0 -1 4202560 24835 1244 0 0 21103 24 0 0 25 0 29 0 625232738 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4208123 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10127/tid=10136] ppid=10122 vsize=3711612 CPUtime=211.33 cores=4-31
/proc/10127/task/10136/stat : 10136 (plingeling) R 10122 10122 10096 0 -1 4202560 25902 1244 0 0 21108 25 0 0 25 0 29 0 625232738 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4238416 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10127/tid=10137] ppid=10122 vsize=3711612 CPUtime=211.42 cores=4-31
/proc/10127/task/10137/stat : 10137 (plingeling) R 10122 10122 10096 0 -1 4202560 23327 1244 0 0 21118 24 0 0 25 0 29 0 625232738 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4212626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10127/tid=10138] ppid=10122 vsize=3711612 CPUtime=211.32 cores=4-31
/proc/10127/task/10138/stat : 10138 (plingeling) R 10122 10122 10096 0 -1 4202560 22532 1244 0 0 21122 10 0 0 25 0 29 0 625232738 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10127/tid=10139] ppid=10122 vsize=3711612 CPUtime=208.74 cores=4-31
/proc/10127/task/10139/stat : 10139 (plingeling) R 10122 10122 10096 0 -1 4202560 16455 1244 0 0 20870 4 0 0 25 0 29 0 625232738 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4238400 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10127/tid=10140] ppid=10122 vsize=3711612 CPUtime=211.24 cores=4-31
/proc/10127/task/10140/stat : 10140 (plingeling) R 10122 10122 10096 0 -1 4202560 23066 1244 0 0 21098 26 0 0 25 0 29 0 625232738 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10127/tid=10141] ppid=10122 vsize=3711612 CPUtime=211.37 cores=4-31
/proc/10127/task/10141/stat : 10141 (plingeling) R 10122 10122 10096 0 -1 4202560 31092 1244 0 0 21111 26 0 0 25 0 29 0 625232738 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4238400 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10127/tid=10142] ppid=10122 vsize=3711612 CPUtime=211.48 cores=4-31
/proc/10127/task/10142/stat : 10142 (plingeling) R 10122 10122 10096 0 -1 4202560 16820 1244 0 0 21144 4 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10127/tid=10143] ppid=10122 vsize=3711612 CPUtime=211.25 cores=4-31
/proc/10127/task/10143/stat : 10143 (plingeling) R 10122 10122 10096 0 -1 4202560 31974 1244 0 0 21099 26 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4236937 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10127/tid=10144] ppid=10122 vsize=3711612 CPUtime=211.44 cores=4-31
/proc/10127/task/10144/stat : 10144 (plingeling) R 10122 10122 10096 0 -1 4202560 35406 1244 0 0 21113 31 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10127/tid=10145] ppid=10122 vsize=3711612 CPUtime=211.42 cores=4-31
/proc/10127/task/10145/stat : 10145 (plingeling) R 10122 10122 10096 0 -1 4202560 16167 1244 0 0 21119 23 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4242762 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10127/tid=10146] ppid=10122 vsize=3711612 CPUtime=211.46 cores=4-31
/proc/10127/task/10146/stat : 10146 (plingeling) R 10122 10122 10096 0 -1 4202560 23549 1244 0 0 21141 5 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10127/tid=10147] ppid=10122 vsize=3711612 CPUtime=211.37 cores=4-31
/proc/10127/task/10147/stat : 10147 (plingeling) R 10122 10122 10096 0 -1 4202560 27851 1244 0 0 21109 28 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10127/tid=10148] ppid=10122 vsize=3711612 CPUtime=208.11 cores=4-31
/proc/10127/task/10148/stat : 10148 (plingeling) R 10122 10122 10096 0 -1 4202560 20519 1244 0 0 20789 22 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10127/tid=10149] ppid=10122 vsize=3711612 CPUtime=211.33 cores=4-31
/proc/10127/task/10149/stat : 10149 (plingeling) R 10122 10122 10096 0 -1 4202560 29203 1244 0 0 21102 31 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10127/tid=10150] ppid=10122 vsize=3711612 CPUtime=211.41 cores=4-31
/proc/10127/task/10150/stat : 10150 (plingeling) R 10122 10122 10096 0 -1 4202560 24870 1244 0 0 21135 6 0 0 25 0 29 0 625232739 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4242664 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10127/tid=10151] ppid=10122 vsize=3711612 CPUtime=211.4 cores=4-31
/proc/10127/task/10151/stat : 10151 (plingeling) R 10122 10122 10096 0 -1 4202560 26231 1244 0 0 21116 24 0 0 25 0 29 0 625232740 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10127/tid=10152] ppid=10122 vsize=3711612 CPUtime=211.39 cores=4-31
/proc/10127/task/10152/stat : 10152 (plingeling) R 10122 10122 10096 0 -1 4202560 30826 1244 0 0 21111 28 0 0 25 0 29 0 625232740 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10127/tid=10153] ppid=10122 vsize=3711612 CPUtime=211.41 cores=4-31
/proc/10127/task/10153/stat : 10153 (plingeling) R 10122 10122 10096 0 -1 4202560 28117 1244 0 0 21134 7 0 0 25 0 29 0 625232740 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10127/tid=10154] ppid=10122 vsize=3711612 CPUtime=211.41 cores=4-31
/proc/10127/task/10154/stat : 10154 (plingeling) R 10122 10122 10096 0 -1 4202560 21093 1244 0 0 21135 6 0 0 25 0 29 0 625232740 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4236841 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10127/tid=10155] ppid=10122 vsize=3711612 CPUtime=211.4 cores=4-31
/proc/10127/task/10155/stat : 10155 (plingeling) R 10122 10122 10096 0 -1 4202560 21035 1244 0 0 21135 5 0 0 25 0 29 0 625232741 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4284008 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10127/tid=10156] ppid=10122 vsize=3711612 CPUtime=211.44 cores=4-31
/proc/10127/task/10156/stat : 10156 (plingeling) R 10122 10122 10096 0 -1 4202560 26040 1244 0 0 21120 24 0 0 25 0 29 0 625232741 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10127/tid=10157] ppid=10122 vsize=3711612 CPUtime=211.45 cores=4-31
/proc/10127/task/10157/stat : 10157 (plingeling) R 10122 10122 10096 0 -1 4202560 21694 1244 0 0 21139 6 0 0 25 0 29 0 625232741 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10127/tid=10158] ppid=10122 vsize=3711612 CPUtime=211.16 cores=4-31
/proc/10127/task/10158/stat : 10158 (plingeling) R 10122 10122 10096 0 -1 4202560 16918 1244 0 0 21094 22 0 0 25 0 29 0 625232741 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4238561 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10127/tid=10159] ppid=10122 vsize=3711612 CPUtime=211.3 cores=4-31
/proc/10127/task/10159/stat : 10159 (plingeling) R 10122 10122 10096 0 -1 4202560 28003 1244 0 0 21101 29 0 0 25 0 29 0 625232741 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4334538 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10127/tid=10160] ppid=10122 vsize=3711612 CPUtime=211.19 cores=4-31
/proc/10127/task/10160/stat : 10160 (plingeling) R 10122 10122 10096 0 -1 4202560 13217 1244 0 0 21116 3 0 0 25 0 29 0 625232741 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4236992 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10127/tid=10161] ppid=10122 vsize=3711612 CPUtime=211.38 cores=4-31
/proc/10127/task/10161/stat : 10161 (plingeling) R 10122 10122 10096 0 -1 4202560 23882 1244 0 0 21114 24 0 0 25 0 29 0 625232741 3800690688 802012 268435456000 4194304 4356188 140734042068448 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 6868.29
Current children cumulated vsize (KiB) 7413224
[startup+233.902 s]
/proc/loadavg: 31.88 30.25 29.42 33/447 10167
/proc/meminfo: memFree=250101984/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[pid=10123] ppid=10122 vsize=516168 CPUtime=233.84 cores=0
/proc/10123/stat : 10123 (cryptominisat) R 10122 10122 10096 0 -1 4202496 126547 0 0 0 23353 31 0 0 25 0 1 0 625230545 528556032 100930 268435456000 4194304 4587354 140737307692144 18446744073709551615 4236832 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10123/statm: 129042 100930 328 96 0 125604 0
[pid=10124] ppid=10122 vsize=432544 CPUtime=233.84 cores=1
/proc/10124/stat : 10124 (clasp) R 10122 10122 10096 0 -1 4202496 120472 0 0 0 23343 41 0 0 25 0 1 0 625230545 442925056 105194 268435456000 4194304 4785740 140735590135184 18446744073709551615 4290633 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10124/statm: 108136 105194 338 145 0 105181 0
[pid=10125] ppid=10122 vsize=1236492 CPUtime=233.84 cores=2
/proc/10125/stat : 10125 (TNM) R 10122 10122 10096 0 -1 4202496 219866 0 0 0 23338 46 0 0 25 0 1 0 625230545 1266167808 219764 268435456000 134512640 134534564 4294272368 18446744073709551615 134530344 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10125/statm: 309123 219764 95 6 0 307788 0
[pid=10126] ppid=10122 vsize=1498084 CPUtime=233.85 cores=3
/proc/10126/stat : 10126 (march_hi) R 10122 10122 10096 0 -1 4202496 968152 0 0 0 23150 235 0 0 25 0 1 0 625230545 1534038016 234518 268435456000 4194304 4331988 140737177309792 18446744073709551615 4226263 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10126/statm: 374521 234518 173 34 0 372963 0
[pid=10127] ppid=10122 vsize=3422380 CPUtime=5944.43 cores=4-31
/proc/10127/stat : 10127 (plingeling) R 10122 10122 10096 0 -1 4202496 1040255 1244 0 0 593855 588 0 0 17 0 1 0 625230545 3504517120 781037 268435456000 4194304 4356188 140734042068448 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/10127/statm: 855595 780525 160 40 0 854139 0
Current children cumulated CPU time (s) 6879.8
Current children cumulated vsize (KiB) 7123992
[startup+234.101 s]
/proc/loadavg: 31.88 30.25 29.42 33/447 10167
/proc/meminfo: memFree=250101984/264257624 swapFree=67111528/67111528
[pid=10122] ppid=10120 vsize=18324 CPUtime=0 cores=0-31
/proc/10122/stat : 10122 (ppfolio) S 10120 10122 10096 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 625230544 18763776 385 268435456000 4194304 4287625 140736069712912 18446744073709551615 258650975999 0 0 4096 65536 2757369004032 0 0 17 24 0 0 0
/proc/10122/statm: 4581 385 337 23 0 91 0
[pid=10123] ppid=10122 vsize=0 CPUtime=234.04 cores=0
/proc/10123/stat : 10123 (cryptominisat) R 10122 10122 10096 0 -1 4203524 126547 0 0 0 23372 32 0 0 25 0 1 0 625230545 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10123/statm: 0 0 0 0 0 0 0
[pid=10124] ppid=10122 vsize=0 CPUtime=234.04 cores=1
/proc/10124/stat : 10124 (clasp) R 10122 10122 10096 0 -1 4203524 120472 0 0 0 23361 43 0 0 25 0 1 0 625230545 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/10124/statm: 0 0 0 0 0 0 0
[pid=10125] ppid=10122 vsize=0 CPUtime=234.04 cores=2
/proc/10125/stat : 10125 (TNM) R 10122 10122 10096 0 -1 4203524 219866 0 0 0 23357 47 0 0 25 0 1 0 625230545 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/10125/statm: 0 0 0 0 0 0 0
[pid=10126] ppid=10122 vsize=0 CPUtime=234.04 cores=3
/proc/10126/stat : 10126 (march_hi) R 10122 10122 10096 0 -1 4203524 968152 0 0 0 23168 236 0 0 25 0 1 0 625230545 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 0 0 0 0 0 0 0
[pid=10127] ppid=10122 vsize=0 CPUtime=5944.63 cores=4-31
/proc/10127/stat : 10127 (plingeling) R 10122 10122 10096 0 -1 4202500 1040258 1244 0 0 593855 608 0 0 17 0 1 0 625230545 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 24 0 0 0
/proc/10127/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6880.79
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 234.165
CPU time (s): 6881.08
CPU user time (s): 6871.16
CPU system time (s): 9.91349
CPU usage (%): 2938.56
Max. virtual memory (cumulated for all children) (KiB): 7483104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6871.16
system time used= 9.91349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2477070
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= 2379
involuntary context switches= 16715
runsolver used 1.34579 second user time and 5.06023 second system time
The end
Begin job on node200 at 2011-05-11 20:10:41
IDJOB=3347391
IDBENCH=82403
IDSOLVER=1808
FILE ID=node200/3347391-1305137439
RUNJOBID= node200-1305137439-10110
PBS_JOBID= 13282065
Free space on /tmp= 62012 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347391-1305137439/watcher-3347391-1305137439 -o /tmp/evaluation-result-3347391-1305137439/solver-3347391-1305137439 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347391-1305137439.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a85b6db657886fb2a1a46ae1fe4d7999
RANDOM SEED=1966083028
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: 255962748 kB
Buffers: 415264 kB
Cached: 7481280 kB
SwapCached: 0 kB
Active: 7036104 kB
Inactive: 928944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255962748 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 50636 kB
Writeback: 0 kB
AnonPages: 68836 kB
Mapped: 14048 kB
Slab: 245824 kB
PageTables: 4516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188656 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= 62000 MiB
End job on node200 at 2011-05-11 20:14:36