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
650.65/27.28 s UNSATISFIABLE
650.65/27.29 solver [5] plingeling 276-6264d55-100731 answered
650.65/27.29 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-3347399-1305148402/watcher-3347399-1305148402 -o /tmp/evaluation-result-3347399-1305148402/solver-3347399-1305148402 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347399-1305148402.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: 23.89 17.02 22.50 1/413 10934
/proc/meminfo: memFree=255899544/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
[startup+0.109366 s]
/proc/loadavg: 23.89 17.02 22.50 1/413 10934
/proc/meminfo: memFree=255899544/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200375 s]
/proc/loadavg: 23.89 17.02 22.50 1/413 10934
/proc/meminfo: memFree=255899544/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300369 s]
/proc/loadavg: 23.89 17.02 22.50 1/413 10934
/proc/meminfo: memFree=255899544/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700357 s]
/proc/loadavg: 23.89 17.02 22.50 1/413 10934
/proc/meminfo: memFree=255899544/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50146 s]
/proc/loadavg: 22.38 16.82 22.40 6/419 10945
/proc/meminfo: memFree=255630776/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 17 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
[pid=10935] ppid=10934 vsize=93208 CPUtime=1.49 cores=0
/proc/10935/stat : 10935 (cryptominisat) R 10934 10934 10405 0 -1 4202496 17807 0 0 0 145 4 0 0 25 0 1 0 626326687 95444992 17577 268435456000 4194304 4587354 140736920967440 18446744073709551615 4429920 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10935/statm: 23302 17577 308 96 0 19864 0
[pid=10936] ppid=10934 vsize=60736 CPUtime=1.49 cores=1
/proc/10936/stat : 10936 (clasp) R 10934 10934 10405 0 -1 4202496 17126 0 0 0 142 7 0 0 20 0 1 0 626326687 62193664 12348 268435456000 4194304 4785740 140736678298080 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10936/statm: 15184 12348 331 145 0 12229 0
[pid=10937] ppid=10934 vsize=507572 CPUtime=1.48 cores=2
/proc/10937/stat : 10937 (TNM) R 10934 10934 10405 0 -1 4202496 18627 0 0 0 143 5 0 0 20 0 1 0 626326687 519753728 18524 268435456000 134512640 134534564 4289516944 18446744073709551615 134524825 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10937/statm: 126893 18524 91 6 0 125558 0
[pid=10938] ppid=10934 vsize=110052 CPUtime=1.49 cores=3
/proc/10938/stat : 10938 (march_hi) R 10934 10934 10405 0 -1 4194304 22320 0 0 0 142 7 0 0 20 0 1 0 626326687 112693248 15686 268435456000 4194304 4331988 140733971208272 18446744073709551615 4256852 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10938/statm: 27513 15686 127 34 0 25955 0
[pid=10939] ppid=10934 vsize=99444 CPUtime=1.48 cores=4-31
/proc/10939/stat : 10939 (plingeling) R 10934 10934 10405 0 -1 4202496 23637 1244 0 0 142 6 0 0 20 0 1 0 626326687 101830656 23520 268435456000 4194304 4356188 140734139667648 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/10939/statm: 24861 23520 129 40 0 23405 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 889336
[startup+3.1015 s]
/proc/loadavg: 22.38 16.82 22.40 6/419 10945
/proc/meminfo: memFree=255518368/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
[pid=10935] ppid=10934 vsize=93424 CPUtime=3.09 cores=0
/proc/10935/stat : 10935 (cryptominisat) R 10934 10934 10405 0 -1 4202496 17850 0 0 0 305 4 0 0 25 0 1 0 626326687 95666176 17620 268435456000 4194304 4587354 140736920967440 18446744073709551615 4248752 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10935/statm: 23356 17620 310 96 0 19918 0
[pid=10936] ppid=10934 vsize=60736 CPUtime=3.09 cores=1
/proc/10936/stat : 10936 (clasp) R 10934 10934 10405 0 -1 4202496 17133 0 0 0 302 7 0 0 25 0 1 0 626326687 62193664 12355 268435456000 4194304 4785740 140736678298080 18446744073709551615 4552632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10936/statm: 15184 12355 338 145 0 12229 0
[pid=10937] ppid=10934 vsize=520376 CPUtime=3.08 cores=2
/proc/10937/stat : 10937 (TNM) R 10934 10934 10405 0 -1 4202496 23052 0 0 0 302 6 0 0 25 0 1 0 626326687 532865024 22949 268435456000 134512640 134534564 4289516944 18446744073709551615 4155047 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10937/statm: 130094 22951 92 6 0 128759 0
[pid=10938] ppid=10934 vsize=110036 CPUtime=3.09 cores=3
/proc/10938/stat : 10938 (march_hi) R 10934 10934 10405 0 -1 4202496 22342 0 0 0 302 7 0 0 25 0 1 0 626326687 112676864 15704 268435456000 4194304 4331988 140733971208272 18446744073709551615 4257039 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10938/statm: 27509 15704 148 34 0 25951 0
[pid=10939] ppid=10934 vsize=250620 CPUtime=3.07 cores=4-31
/proc/10939/stat : 10939 (plingeling) R 10934 10934 10405 0 -1 4202496 61463 1244 0 0 293 14 0 0 25 0 1 0 626326687 256634880 61314 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210549 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/10939/statm: 62655 61314 129 40 0 61199 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 1053516
[startup+6.30056 s]
/proc/loadavg: 22.38 16.82 22.40 6/419 10945
/proc/meminfo: memFree=255195952/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
[pid=10935] ppid=10934 vsize=105320 CPUtime=6.28 cores=0
/proc/10935/stat : 10935 (cryptominisat) R 10934 10934 10405 0 -1 4202496 27729 0 0 0 622 6 0 0 25 0 1 0 626326687 107847680 21268 268435456000 4194304 4587354 140736920967440 18446744073709551615 4236870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10935/statm: 26330 21268 328 96 0 22892 0
[pid=10936] ppid=10934 vsize=60736 CPUtime=6.28 cores=1
/proc/10936/stat : 10936 (clasp) R 10934 10934 10405 0 -1 4202496 17133 0 0 0 621 7 0 0 25 0 1 0 626326687 62193664 12355 268435456000 4194304 4785740 140736678298080 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10936/statm: 15184 12355 338 145 0 12229 0
[pid=10937] ppid=10934 vsize=523676 CPUtime=6.28 cores=2
/proc/10937/stat : 10937 (TNM) R 10934 10934 10405 0 -1 4202496 27263 0 0 0 622 6 0 0 25 0 1 0 626326687 536244224 27160 268435456000 134512640 134534564 4289516944 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10937/statm: 130919 27160 95 6 0 129584 0
[pid=10938] ppid=10934 vsize=204944 CPUtime=6.29 cores=3
/proc/10938/stat : 10938 (march_hi) R 10934 10934 10405 0 -1 4202496 40224 0 0 0 618 11 0 0 25 0 1 0 626326687 209862656 22459 268435456000 4194304 4331988 140733971208272 18446744073709551615 4210448 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10938/statm: 51236 22459 171 34 0 49678 0
[pid=10939] ppid=10934 vsize=380164 CPUtime=6.27 cores=4-31
/proc/10939/stat : 10939 (plingeling) R 10934 10934 10405 0 -1 4202496 93849 1244 0 0 606 21 0 0 25 0 1 0 626326687 389287936 93700 268435456000 4194304 4356188 140734139667648 18446744073709551615 4273536 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/10939/statm: 95041 93700 129 40 0 93585 0
Current children cumulated CPU time (s) 31.4
Current children cumulated vsize (KiB) 1293164
[startup+12.7018 s]
/proc/loadavg: 21.87 16.88 22.36 33/447 10973
/proc/meminfo: memFree=254962644/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
[pid=10935] ppid=10934 vsize=142824 CPUtime=12.69 cores=0
/proc/10935/stat : 10935 (cryptominisat) R 10934 10934 10405 0 -1 4202496 30487 0 0 0 1262 7 0 0 25 0 1 0 626326687 146251776 24026 268435456000 4194304 4587354 140736920967440 18446744073709551615 4236780 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10935/statm: 35706 24026 328 96 0 32268 0
[pid=10936] ppid=10934 vsize=60736 CPUtime=12.68 cores=1
/proc/10936/stat : 10936 (clasp) R 10934 10934 10405 0 -1 4202496 17133 0 0 0 1261 7 0 0 25 0 1 0 626326687 62193664 12355 268435456000 4194304 4785740 140736678298080 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10936/statm: 15184 12355 338 145 0 12229 0
[pid=10937] ppid=10934 vsize=523676 CPUtime=12.68 cores=2
/proc/10937/stat : 10937 (TNM) R 10934 10934 10405 0 -1 4202496 27263 0 0 0 1262 6 0 0 25 0 1 0 626326687 536244224 27160 268435456000 134512640 134534564 4289516944 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10937/statm: 130919 27160 95 6 0 129584 0
[pid=10938] ppid=10934 vsize=208580 CPUtime=12.68 cores=3
/proc/10938/stat : 10938 (march_hi) R 10934 10934 10405 0 -1 4202496 41104 0 0 0 1257 11 0 0 25 0 1 0 626326687 213585920 23339 268435456000 4194304 4331988 140733971208272 18446744073709551615 4210459 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10938/statm: 52145 23339 171 34 0 50587 0
[pid=10939] ppid=10934 vsize=1036120 CPUtime=143.61 cores=4-31
/proc/10939/stat : 10939 (plingeling) S 10934 10934 10405 0 -1 4202496 252228 1244 0 0 14301 60 0 0 18 0 29 0 626326687 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/10939/statm: 259030 147634 159 40 0 257574 0
[pid=10939/tid=10946] ppid=10934 vsize=1036120 CPUtime=4.86 cores=4-31
/proc/10939/task/10946/stat : 10946 (plingeling) R 10934 10934 10405 0 -1 4202560 2708 1244 0 0 486 0 0 0 25 0 29 0 626327465 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10939/tid=10947] ppid=10934 vsize=1036120 CPUtime=4.86 cores=4-31
/proc/10939/task/10947/stat : 10947 (plingeling) R 10934 10934 10405 0 -1 4202560 1302 1244 0 0 486 0 0 0 25 0 29 0 626327465 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4284127 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10939/tid=10948] ppid=10934 vsize=1036120 CPUtime=4.85 cores=4-31
/proc/10939/task/10948/stat : 10948 (plingeling) R 10934 10934 10405 0 -1 4202560 153 1244 0 0 485 0 0 0 25 0 29 0 626327465 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10939/tid=10949] ppid=10934 vsize=1036120 CPUtime=4.84 cores=4-31
/proc/10939/task/10949/stat : 10949 (plingeling) R 10934 10934 10405 0 -1 4202560 2617 1244 0 0 484 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10939/tid=10950] ppid=10934 vsize=1036120 CPUtime=4.83 cores=4-31
/proc/10939/task/10950/stat : 10950 (plingeling) R 10934 10934 10405 0 -1 4202560 2166 1244 0 0 483 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4281782 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10939/tid=10951] ppid=10934 vsize=1036120 CPUtime=4.88 cores=4-31
/proc/10939/task/10951/stat : 10951 (plingeling) R 10934 10934 10405 0 -1 4202560 23 1244 0 0 488 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4234257 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10939/tid=10952] ppid=10934 vsize=1036120 CPUtime=4.83 cores=4-31
/proc/10939/task/10952/stat : 10952 (plingeling) R 10934 10934 10405 0 -1 4202560 2426 1244 0 0 483 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330915 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10939/tid=10953] ppid=10934 vsize=1036120 CPUtime=4.84 cores=4-31
/proc/10939/task/10953/stat : 10953 (plingeling) R 10934 10934 10405 0 -1 4202560 4099 1244 0 0 484 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4234244 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10939/tid=10954] ppid=10934 vsize=1036120 CPUtime=4.85 cores=4-31
/proc/10939/task/10954/stat : 10954 (plingeling) R 10934 10934 10405 0 -1 4202560 3775 1244 0 0 485 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4281639 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10939/tid=10955] ppid=10934 vsize=1036120 CPUtime=4.87 cores=4-31
/proc/10939/task/10955/stat : 10955 (plingeling) R 10934 10934 10405 0 -1 4202560 3783 1244 0 0 486 1 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4284148 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10939/tid=10956] ppid=10934 vsize=1036120 CPUtime=4.85 cores=4-31
/proc/10939/task/10956/stat : 10956 (plingeling) R 10934 10934 10405 0 -1 4202560 4797 1244 0 0 484 1 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10939/tid=10957] ppid=10934 vsize=1036120 CPUtime=4.85 cores=4-31
/proc/10939/task/10957/stat : 10957 (plingeling) R 10934 10934 10405 0 -1 4202560 1016 1244 0 0 485 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10939/tid=10958] ppid=10934 vsize=1036120 CPUtime=4.88 cores=4-31
/proc/10939/task/10958/stat : 10958 (plingeling) R 10934 10934 10405 0 -1 4202560 278 1244 0 0 488 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4284120 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10939/tid=10959] ppid=10934 vsize=1036120 CPUtime=4.85 cores=4-31
/proc/10939/task/10959/stat : 10959 (plingeling) R 10934 10934 10405 0 -1 4202560 2598 1244 0 0 485 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4281677 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10939/tid=10960] ppid=10934 vsize=1036120 CPUtime=4.66 cores=4-31
/proc/10939/task/10960/stat : 10960 (plingeling) R 10934 10934 10405 0 -1 4202560 1117 1244 0 0 466 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4281793 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10939/tid=10961] ppid=10934 vsize=1036120 CPUtime=4.87 cores=4-31
/proc/10939/task/10961/stat : 10961 (plingeling) R 10934 10934 10405 0 -1 4202560 61 1244 0 0 487 0 0 0 25 0 29 0 626327466 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4212718 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10939/tid=10962] ppid=10934 vsize=1036120 CPUtime=4.87 cores=4-31
/proc/10939/task/10962/stat : 10962 (plingeling) R 10934 10934 10405 0 -1 4202560 1081 1244 0 0 487 0 0 0 25 0 29 0 626327467 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4281624 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10939/tid=10963] ppid=10934 vsize=1036120 CPUtime=4.87 cores=4-31
/proc/10939/task/10963/stat : 10963 (plingeling) R 10934 10934 10405 0 -1 4202560 3915 1244 0 0 486 1 0 0 25 0 29 0 626327468 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10939/tid=10964] ppid=10934 vsize=1036120 CPUtime=4.86 cores=4-31
/proc/10939/task/10964/stat : 10964 (plingeling) R 10934 10934 10405 0 -1 4202560 1169 1244 0 0 486 0 0 0 25 0 29 0 626327468 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10939/tid=10965] ppid=10934 vsize=1036120 CPUtime=4.86 cores=4-31
/proc/10939/task/10965/stat : 10965 (plingeling) R 10934 10934 10405 0 -1 4202560 4128 1244 0 0 485 1 0 0 25 0 29 0 626327468 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4236992 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10939/tid=10966] ppid=10934 vsize=1036120 CPUtime=4.84 cores=4-31
/proc/10939/task/10966/stat : 10966 (plingeling) R 10934 10934 10405 0 -1 4202560 4512 1244 0 0 483 1 0 0 25 0 29 0 626327468 1060986880 147634 268435456000 4194304 4356188 140734139667648 18446744073709551615 4284043 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10939/tid=10967] ppid=10934 vsize=1036120 CPUtime=4.84 cores=4-31
################
# More data... #
################
/proc/10937/stat : 10937 (TNM) R 10934 10934 10405 0 -1 4202496 27263 0 0 0 2633 6 0 0 25 0 1 0 626326687 536244224 27160 268435456000 134512640 134534564 4289516944 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10937/statm: 130919 27160 95 6 0 129584 0
[pid=10938] ppid=10934 vsize=208716 CPUtime=26.4 cores=3
/proc/10938/stat : 10938 (march_hi) R 10934 10934 10405 0 -1 4202496 41130 0 0 0 2629 11 0 0 25 0 1 0 626326687 213725184 23365 268435456000 4194304 4331988 140733971208272 18446744073709551615 4210461 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10938/statm: 52179 23365 171 34 0 50621 0
[pid=10939] ppid=10934 vsize=1636856 CPUtime=520.99 cores=4-31
/proc/10939/stat : 10939 (plingeling) S 10934 10934 10405 0 -1 4202496 406407 1244 0 0 51800 299 0 0 18 0 29 0 626326687 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/10939/statm: 409214 300844 159 40 0 407758 0
[pid=10939/tid=10946] ppid=10934 vsize=1636856 CPUtime=18.24 cores=4-31
/proc/10939/task/10946/stat : 10946 (plingeling) R 10934 10934 10405 0 -1 4202560 4518 1244 0 0 1823 1 0 0 25 0 29 0 626327465 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10939/tid=10947] ppid=10934 vsize=1636856 CPUtime=18.43 cores=4-31
/proc/10939/task/10947/stat : 10947 (plingeling) R 10934 10934 10405 0 -1 4202560 14038 1244 0 0 1817 26 0 0 22 0 29 0 626327465 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4338927 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10939/tid=10948] ppid=10934 vsize=1636856 CPUtime=18.26 cores=4-31
/proc/10939/task/10948/stat : 10948 (plingeling) R 10934 10934 10405 0 -1 4202560 1480 1244 0 0 1826 0 0 0 25 0 29 0 626327465 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10939/tid=10949] ppid=10934 vsize=1636856 CPUtime=18.21 cores=4-31
/proc/10939/task/10949/stat : 10949 (plingeling) R 10934 10934 10405 0 -1 4202560 7926 1244 0 0 1811 10 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4213270 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10939/tid=10950] ppid=10934 vsize=1636856 CPUtime=17.98 cores=4-31
/proc/10939/task/10950/stat : 10950 (plingeling) R 10934 10934 10405 0 -1 4202560 3343 1244 0 0 1798 0 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331245 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10939/tid=10951] ppid=10934 vsize=1636856 CPUtime=18.55 cores=4-31
/proc/10939/task/10951/stat : 10951 (plingeling) R 10934 10934 10405 0 -1 4202560 1327 1244 0 0 1855 0 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10939/tid=10952] ppid=10934 vsize=1636856 CPUtime=18.2 cores=4-31
/proc/10939/task/10952/stat : 10952 (plingeling) R 10934 10934 10405 0 -1 4202560 15066 1244 0 0 1808 12 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331514 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10939/tid=10953] ppid=10934 vsize=1636856 CPUtime=18.01 cores=4-31
/proc/10939/task/10953/stat : 10953 (plingeling) R 10934 10934 10405 0 -1 4202560 5427 1244 0 0 1801 0 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10939/tid=10954] ppid=10934 vsize=1636856 CPUtime=18.43 cores=4-31
/proc/10939/task/10954/stat : 10954 (plingeling) R 10934 10934 10405 0 -1 4202560 4957 1244 0 0 1842 1 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4234244 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10939/tid=10955] ppid=10934 vsize=1636856 CPUtime=18.53 cores=4-31
/proc/10939/task/10955/stat : 10955 (plingeling) R 10934 10934 10405 0 -1 4202560 16811 1244 0 0 1825 28 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10939/tid=10956] ppid=10934 vsize=1636856 CPUtime=18.11 cores=4-31
/proc/10939/task/10956/stat : 10956 (plingeling) R 10934 10934 10405 0 -1 4202560 10184 1244 0 0 1809 2 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10939/tid=10957] ppid=10934 vsize=1636856 CPUtime=18.57 cores=4-31
/proc/10939/task/10957/stat : 10957 (plingeling) R 10934 10934 10405 0 -1 4202560 5112 1244 0 0 1849 8 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4208104 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10939/tid=10958] ppid=10934 vsize=1636856 CPUtime=18.29 cores=4-31
/proc/10939/task/10958/stat : 10958 (plingeling) R 10934 10934 10405 0 -1 4202560 2245 1244 0 0 1829 0 0 0 22 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10939/tid=10959] ppid=10934 vsize=1636856 CPUtime=18.29 cores=4-31
/proc/10939/task/10959/stat : 10959 (plingeling) R 10934 10934 10405 0 -1 4202560 3590 1244 0 0 1828 1 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10939/tid=10960] ppid=10934 vsize=1636856 CPUtime=18.11 cores=4-31
/proc/10939/task/10960/stat : 10960 (plingeling) R 10934 10934 10405 0 -1 4202560 13724 1244 0 0 1784 27 0 0 22 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10939/tid=10961] ppid=10934 vsize=1636856 CPUtime=18.2 cores=4-31
/proc/10939/task/10961/stat : 10961 (plingeling) R 10934 10934 10405 0 -1 4202560 5375 1244 0 0 1810 10 0 0 25 0 29 0 626327466 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10939/tid=10962] ppid=10934 vsize=1636856 CPUtime=18.4 cores=4-31
/proc/10939/task/10962/stat : 10962 (plingeling) R 10934 10934 10405 0 -1 4202560 2366 1244 0 0 1840 0 0 0 25 0 29 0 626327467 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10939/tid=10963] ppid=10934 vsize=1636856 CPUtime=18.51 cores=4-31
/proc/10939/task/10963/stat : 10963 (plingeling) R 10934 10934 10405 0 -1 4202560 16559 1244 0 0 1822 29 0 0 25 0 29 0 626327468 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330896 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10939/tid=10964] ppid=10934 vsize=1636856 CPUtime=18.25 cores=4-31
/proc/10939/task/10964/stat : 10964 (plingeling) R 10934 10934 10405 0 -1 4202560 3096 1244 0 0 1824 1 0 0 25 0 29 0 626327468 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331072 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10939/tid=10965] ppid=10934 vsize=1636856 CPUtime=18.27 cores=4-31
/proc/10939/task/10965/stat : 10965 (plingeling) R 10934 10934 10405 0 -1 4202560 9830 1244 0 0 1824 3 0 0 25 0 29 0 626327468 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210751 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10939/tid=10966] ppid=10934 vsize=1636856 CPUtime=18.44 cores=4-31
/proc/10939/task/10966/stat : 10966 (plingeling) R 10934 10934 10405 0 -1 4202560 10126 1244 0 0 1834 10 0 0 25 0 29 0 626327468 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10939/tid=10967] ppid=10934 vsize=1636856 CPUtime=18.32 cores=4-31
/proc/10939/task/10967/stat : 10967 (plingeling) R 10934 10934 10405 0 -1 4202560 4275 1244 0 0 1831 1 0 0 25 0 29 0 626327468 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4284208 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10939/tid=10968] ppid=10934 vsize=1636856 CPUtime=18.56 cores=4-31
/proc/10939/task/10968/stat : 10968 (plingeling) R 10934 10934 10405 0 -1 4202560 13748 1244 0 0 1829 27 0 0 22 0 29 0 626327468 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4260341 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10939/tid=10969] ppid=10934 vsize=1636856 CPUtime=18.2 cores=4-31
/proc/10939/task/10969/stat : 10969 (plingeling) R 10934 10934 10405 0 -1 4202560 5328 1244 0 0 1819 1 0 0 25 0 29 0 626327468 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10939/tid=10970] ppid=10934 vsize=1636856 CPUtime=18.46 cores=4-31
/proc/10939/task/10970/stat : 10970 (plingeling) R 10934 10934 10405 0 -1 4202560 7885 1244 0 0 1836 10 0 0 25 0 29 0 626327469 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10939/tid=10971] ppid=10934 vsize=1636856 CPUtime=18.49 cores=4-31
/proc/10939/task/10971/stat : 10971 (plingeling) R 10934 10934 10405 0 -1 4202560 16028 1244 0 0 1822 27 0 0 25 0 29 0 626327469 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10939/tid=10972] ppid=10934 vsize=1636856 CPUtime=18.41 cores=4-31
/proc/10939/task/10972/stat : 10972 (plingeling) R 10934 10934 10405 0 -1 4202560 6944 1244 0 0 1831 10 0 0 22 0 29 0 626327470 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4279463 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10939/tid=10973] ppid=10934 vsize=1636856 CPUtime=18.24 cores=4-31
/proc/10939/task/10973/stat : 10973 (plingeling) R 10934 10934 10405 0 -1 4202560 9007 1244 0 0 1822 2 0 0 25 0 29 0 626327470 1676140544 300844 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 626.58
Current children cumulated vsize (KiB) 2596524
[startup+26.8022 s]
/proc/loadavg: 24.11 17.62 22.51 33/447 10973
/proc/meminfo: memFree=254324976/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
[pid=10935] ppid=10934 vsize=142824 CPUtime=26.78 cores=0
/proc/10935/stat : 10935 (cryptominisat) R 10934 10934 10405 0 -1 4202496 36260 0 0 0 2669 9 0 0 25 0 1 0 626326687 146251776 29795 268435456000 4194304 4587354 140736920967440 18446744073709551615 4243530 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10935/statm: 35706 29795 328 96 0 32268 0
[pid=10936] ppid=10934 vsize=66528 CPUtime=26.78 cores=1
/proc/10936/stat : 10936 (clasp) R 10934 10934 10405 0 -1 4202496 18646 0 0 0 2670 8 0 0 25 0 1 0 626326687 68124672 13868 268435456000 4194304 4785740 140736678298080 18446744073709551615 4288392 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10936/statm: 16632 13868 338 145 0 13677 0
[pid=10937] ppid=10934 vsize=523676 CPUtime=26.77 cores=2
/proc/10937/stat : 10937 (TNM) R 10934 10934 10405 0 -1 4202496 27263 0 0 0 2671 6 0 0 25 0 1 0 626326687 536244224 27160 268435456000 134512640 134534564 4289516944 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10937/statm: 130919 27160 95 6 0 129584 0
[pid=10938] ppid=10934 vsize=208716 CPUtime=26.78 cores=3
/proc/10938/stat : 10938 (march_hi) R 10934 10934 10405 0 -1 4202496 41130 0 0 0 2667 11 0 0 25 0 1 0 626326687 213725184 23365 268435456000 4194304 4331988 140733971208272 18446744073709551615 4226450 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10938/statm: 52179 23365 171 34 0 50621 0
[pid=10939] ppid=10934 vsize=1636836 CPUtime=531.63 cores=4-31
/proc/10939/stat : 10939 (plingeling) S 10934 10934 10405 0 -1 4202496 406535 1244 0 0 52864 299 0 0 18 0 29 0 626326687 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/10939/statm: 409209 300967 159 40 0 407753 0
[pid=10939/tid=10946] ppid=10934 vsize=1636836 CPUtime=18.62 cores=4-31
/proc/10939/task/10946/stat : 10946 (plingeling) R 10934 10934 10405 0 -1 4202560 4518 1244 0 0 1861 1 0 0 25 0 29 0 626327465 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10939/tid=10947] ppid=10934 vsize=1636836 CPUtime=18.81 cores=4-31
/proc/10939/task/10947/stat : 10947 (plingeling) R 10934 10934 10405 0 -1 4202560 14038 1244 0 0 1855 26 0 0 25 0 29 0 626327465 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10939/tid=10948] ppid=10934 vsize=1636836 CPUtime=18.64 cores=4-31
/proc/10939/task/10948/stat : 10948 (plingeling) R 10934 10934 10405 0 -1 4202560 1480 1244 0 0 1864 0 0 0 25 0 29 0 626327465 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10939/tid=10949] ppid=10934 vsize=1636836 CPUtime=18.59 cores=4-31
/proc/10939/task/10949/stat : 10949 (plingeling) R 10934 10934 10405 0 -1 4202560 7926 1244 0 0 1849 10 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10939/tid=10950] ppid=10934 vsize=1636836 CPUtime=18.36 cores=4-31
/proc/10939/task/10950/stat : 10950 (plingeling) R 10934 10934 10405 0 -1 4202560 3343 1244 0 0 1836 0 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330841 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10939/tid=10951] ppid=10934 vsize=1636836 CPUtime=18.93 cores=4-31
/proc/10939/task/10951/stat : 10951 (plingeling) R 10934 10934 10405 0 -1 4202560 1327 1244 0 0 1893 0 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10939/tid=10952] ppid=10934 vsize=1636836 CPUtime=18.58 cores=4-31
/proc/10939/task/10952/stat : 10952 (plingeling) R 10934 10934 10405 0 -1 4202560 15066 1244 0 0 1846 12 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10939/tid=10953] ppid=10934 vsize=1636836 CPUtime=18.39 cores=4-31
/proc/10939/task/10953/stat : 10953 (plingeling) R 10934 10934 10405 0 -1 4202560 5427 1244 0 0 1839 0 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331631 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10939/tid=10954] ppid=10934 vsize=1636836 CPUtime=18.81 cores=4-31
/proc/10939/task/10954/stat : 10954 (plingeling) R 10934 10934 10405 0 -1 4202560 4957 1244 0 0 1880 1 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4239057 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10939/tid=10955] ppid=10934 vsize=1636836 CPUtime=18.91 cores=4-31
/proc/10939/task/10955/stat : 10955 (plingeling) R 10934 10934 10405 0 -1 4202560 16811 1244 0 0 1863 28 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10939/tid=10956] ppid=10934 vsize=1636836 CPUtime=18.49 cores=4-31
/proc/10939/task/10956/stat : 10956 (plingeling) R 10934 10934 10405 0 -1 4202560 10184 1244 0 0 1847 2 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4243040 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10939/tid=10957] ppid=10934 vsize=1636836 CPUtime=18.95 cores=4-31
/proc/10939/task/10957/stat : 10957 (plingeling) R 10934 10934 10405 0 -1 4202560 5112 1244 0 0 1887 8 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10939/tid=10958] ppid=10934 vsize=1636836 CPUtime=18.67 cores=4-31
/proc/10939/task/10958/stat : 10958 (plingeling) R 10934 10934 10405 0 -1 4202560 2245 1244 0 0 1867 0 0 0 23 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4280608 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10939/tid=10959] ppid=10934 vsize=1636836 CPUtime=18.67 cores=4-31
/proc/10939/task/10959/stat : 10959 (plingeling) R 10934 10934 10405 0 -1 4202560 3718 1244 0 0 1866 1 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331281 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10939/tid=10960] ppid=10934 vsize=1636836 CPUtime=18.49 cores=4-31
/proc/10939/task/10960/stat : 10960 (plingeling) R 10934 10934 10405 0 -1 4202560 13724 1244 0 0 1822 27 0 0 24 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4260319 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10939/tid=10961] ppid=10934 vsize=1636836 CPUtime=18.58 cores=4-31
/proc/10939/task/10961/stat : 10961 (plingeling) R 10934 10934 10405 0 -1 4202560 5375 1244 0 0 1848 10 0 0 25 0 29 0 626327466 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10939/tid=10962] ppid=10934 vsize=1636836 CPUtime=18.78 cores=4-31
/proc/10939/task/10962/stat : 10962 (plingeling) R 10934 10934 10405 0 -1 4202560 2366 1244 0 0 1878 0 0 0 25 0 29 0 626327467 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10939/tid=10963] ppid=10934 vsize=1636836 CPUtime=18.89 cores=4-31
/proc/10939/task/10963/stat : 10963 (plingeling) R 10934 10934 10405 0 -1 4202560 16559 1244 0 0 1860 29 0 0 25 0 29 0 626327468 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210875 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10939/tid=10964] ppid=10934 vsize=1636836 CPUtime=18.63 cores=4-31
/proc/10939/task/10964/stat : 10964 (plingeling) R 10934 10934 10405 0 -1 4202560 3096 1244 0 0 1862 1 0 0 25 0 29 0 626327468 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4334538 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10939/tid=10965] ppid=10934 vsize=1636836 CPUtime=18.65 cores=4-31
/proc/10939/task/10965/stat : 10965 (plingeling) R 10934 10934 10405 0 -1 4202560 9830 1244 0 0 1862 3 0 0 25 0 29 0 626327468 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10939/tid=10966] ppid=10934 vsize=1636836 CPUtime=18.82 cores=4-31
/proc/10939/task/10966/stat : 10966 (plingeling) R 10934 10934 10405 0 -1 4202560 10126 1244 0 0 1872 10 0 0 25 0 29 0 626327468 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4239875 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10939/tid=10967] ppid=10934 vsize=1636836 CPUtime=18.7 cores=4-31
/proc/10939/task/10967/stat : 10967 (plingeling) R 10934 10934 10405 0 -1 4202560 4275 1244 0 0 1869 1 0 0 25 0 29 0 626327468 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10939/tid=10968] ppid=10934 vsize=1636836 CPUtime=18.94 cores=4-31
/proc/10939/task/10968/stat : 10968 (plingeling) R 10934 10934 10405 0 -1 4202560 13748 1244 0 0 1867 27 0 0 23 0 29 0 626327468 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10939/tid=10969] ppid=10934 vsize=1636836 CPUtime=18.58 cores=4-31
/proc/10939/task/10969/stat : 10969 (plingeling) R 10934 10934 10405 0 -1 4202560 5328 1244 0 0 1857 1 0 0 25 0 29 0 626327468 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10939/tid=10970] ppid=10934 vsize=1636836 CPUtime=18.84 cores=4-31
/proc/10939/task/10970/stat : 10970 (plingeling) R 10934 10934 10405 0 -1 4202560 7885 1244 0 0 1874 10 0 0 25 0 29 0 626327469 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10939/tid=10971] ppid=10934 vsize=1636836 CPUtime=18.87 cores=4-31
/proc/10939/task/10971/stat : 10971 (plingeling) R 10934 10934 10405 0 -1 4202560 16028 1244 0 0 1860 27 0 0 25 0 29 0 626327469 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10939/tid=10972] ppid=10934 vsize=1636836 CPUtime=18.79 cores=4-31
/proc/10939/task/10972/stat : 10972 (plingeling) R 10934 10934 10405 0 -1 4202560 6944 1244 0 0 1869 10 0 0 25 0 29 0 626327470 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10939/tid=10973] ppid=10934 vsize=1636836 CPUtime=18.62 cores=4-31
/proc/10939/task/10973/stat : 10973 (plingeling) R 10934 10934 10405 0 -1 4202560 9007 1244 0 0 1860 2 0 0 25 0 29 0 626327470 1676120064 300967 268435456000 4194304 4356188 140734139667648 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 638.74
Current children cumulated vsize (KiB) 2596904
[startup+27.2023 s]
/proc/loadavg: 24.11 17.62 22.51 33/447 10973
/proc/meminfo: memFree=254324976/264257624 swapFree=67111528/67111528
[pid=10934] ppid=10932 vsize=18324 CPUtime=0 cores=0-31
/proc/10934/stat : 10934 (ppfolio) S 10932 10934 10405 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 626326686 18763776 386 268435456000 4194304 4287625 140734923195584 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 12 0 0 0
/proc/10934/statm: 4581 386 337 23 0 91 0
[pid=10935] ppid=10934 vsize=142824 CPUtime=27.18 cores=0
/proc/10935/stat : 10935 (cryptominisat) R 10934 10934 10405 0 -1 4202496 36399 0 0 0 2709 9 0 0 25 0 1 0 626326687 146251776 29932 268435456000 4194304 4587354 140736920967440 18446744073709551615 4236820 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10935/statm: 35706 29932 328 96 0 32268 0
[pid=10936] ppid=10934 vsize=66792 CPUtime=27.18 cores=1
/proc/10936/stat : 10936 (clasp) R 10934 10934 10405 0 -1 4202496 18689 0 0 0 2710 8 0 0 25 0 1 0 626326687 68395008 13911 268435456000 4194304 4785740 140736678298080 18446744073709551615 4552553 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10936/statm: 16698 13911 338 145 0 13743 0
[pid=10937] ppid=10934 vsize=523676 CPUtime=27.17 cores=2
/proc/10937/stat : 10937 (TNM) R 10934 10934 10405 0 -1 4202496 27263 0 0 0 2711 6 0 0 25 0 1 0 626326687 536244224 27160 268435456000 134512640 134534564 4289516944 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10937/statm: 130919 27160 95 6 0 129584 0
[pid=10938] ppid=10934 vsize=208716 CPUtime=27.18 cores=3
/proc/10938/stat : 10938 (march_hi) R 10934 10934 10405 0 -1 4202496 41130 0 0 0 2707 11 0 0 25 0 1 0 626326687 213725184 23365 268435456000 4194304 4331988 140733971208272 18446744073709551615 4226237 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10938/statm: 52179 23365 171 34 0 50621 0
[pid=10939] ppid=10934 vsize=1142012 CPUtime=541.94 cores=4-31
/proc/10939/stat : 10939 (plingeling) R 10934 10934 10405 0 -1 4202496 407048 1244 0 0 53892 302 0 0 17 0 1 0 626326687 1169420288 238702 268435456000 4194304 4356188 140734139667648 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 20 0 0 0
/proc/10939/statm: 285503 238702 160 40 0 284047 0
Current children cumulated CPU time (s) 650.65
Current children cumulated vsize (KiB) 2102344
Child status: 0
Real time (s): 27.2914
CPU time (s): 651.142
CPU user time (s): 647.63
CPU system time (s): 3.51247
CPU usage (%): 2385.89
Max. virtual memory (cumulated for all children) (KiB): 2598040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 647.63
system time used= 3.51247
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532360
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= 1836
involuntary context switches= 1474
runsolver used 0.137979 second user time and 0.556915 second system time
The end
Begin job on node200 at 2011-05-11 23:13:23
IDJOB=3347399
IDBENCH=82410
IDSOLVER=1808
FILE ID=node200/3347399-1305148402
RUNJOBID= node200-1305142793-10419
PBS_JOBID= 13282066
Free space on /tmp= 62032 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347399-1305148402/watcher-3347399-1305148402 -o /tmp/evaluation-result-3347399-1305148402/solver-3347399-1305148402 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347399-1305148402.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 17407fc59aa2b679b7792ae0656704b9
RANDOM SEED=1702801898
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: 255899956 kB
Buffers: 418916 kB
Cached: 7529152 kB
SwapCached: 0 kB
Active: 7086436 kB
Inactive: 930332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255899956 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 27980 kB
Writeback: 0 kB
AnonPages: 69060 kB
Mapped: 14484 kB
Slab: 247668 kB
PageTables: 4512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 177396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62024 MiB
End job on node200 at 2011-05-11 23:13:50