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
11628.57/364.10 s UNSATISFIABLE
11631.43/364.20 solver [2] clasp 1.3.6 answered
11631.43/364.20 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-3347695-1306140046/watcher-3347695-1306140046 -o /tmp/evaluation-result-3347695-1306140046/solver-3347695-1306140046 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347695-1306140046.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: 28.79 30.31 28.81 1/413 32758
/proc/meminfo: memFree=255317928/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=0 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 725490989 18763776 385 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/32758/statm: 4581 385 337 23 0 91 0
[startup+0.0399961 s]
/proc/loadavg: 28.79 30.31 28.81 1/413 32758
/proc/meminfo: memFree=255317928/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=0 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 725490989 18763776 385 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/32758/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.112575 s]
/proc/loadavg: 28.79 30.31 28.81 1/413 32758
/proc/meminfo: memFree=255317928/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=0 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 725490989 18763776 385 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 27 0 0 0
/proc/32758/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301006 s]
/proc/loadavg: 28.79 30.31 28.81 1/413 32758
/proc/meminfo: memFree=255317928/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=0 cores=0-31
/proc/32758/stat : 32758 (ppfolio) R 32756 32758 32732 0 -1 4202496 512 0 0 0 0 0 0 0 23 0 1 0 725490989 18763776 385 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/32758/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.70102 s]
/proc/loadavg: 28.79 30.31 28.81 1/413 32758
/proc/meminfo: memFree=255317928/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=0 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 512 0 0 0 0 0 0 0 23 0 1 0 725490989 18763776 385 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 4 0 0 0
/proc/32758/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50205 s]
/proc/loadavg: 28.79 30.31 28.81 33/447 329
/proc/meminfo: memFree=255235668/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=0 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 725490989 18763776 385 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 13 0 0 0
/proc/32758/statm: 4581 385 337 23 0 91 0
[pid=32759] ppid=32758 vsize=1908180 CPUtime=1.48 cores=0
/proc/32759/stat : 32759 (cryptominisat) R 32758 32758 32732 0 -1 4202496 1887 0 0 0 148 0 0 0 25 0 1 0 725490990 1953976320 946 268435456000 4194304 4587354 140734622627520 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32759/statm: 477045 946 325 96 0 473607 0
[pid=32760] ppid=32758 vsize=13356 CPUtime=1.48 cores=1
/proc/32760/stat : 32760 (clasp) R 32758 32758 32732 0 -1 4202496 801 0 0 0 148 0 0 0 20 0 1 0 725490990 13676544 693 268435456000 4194304 4785740 140734790567248 18446744073709551615 4550378 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32760/statm: 3339 693 338 145 0 384 0
[pid=32761] ppid=32758 vsize=455832 CPUtime=1.48 cores=2
/proc/32761/stat : 32761 (TNM) R 32758 32758 32732 0 -1 4202496 301 0 0 0 148 0 0 0 20 0 1 0 725490990 466771968 199 268435456000 134512640 134534564 4289333120 18446744073709551615 134529838 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32761/statm: 113958 199 95 6 0 112623 0
[pid=32762] ppid=32758 vsize=7092 CPUtime=1.48 cores=3
/proc/32762/stat : 32762 (march_hi) R 32758 32758 32732 0 -1 4202496 394 0 0 0 148 0 0 0 20 0 1 0 725490990 7262208 288 268435456000 4194304 4331988 140736958528688 18446744073709551615 4226184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32762/statm: 1773 288 173 34 0 215 0
[pid=32763] ppid=32758 vsize=571720 CPUtime=40.02 cores=4-31
/proc/32763/stat : 32763 (plingeling) S 32758 32758 32732 0 -1 4202496 28635 1248 0 0 3955 46 0 1 18 0 29 0 725490990 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32763/statm: 142930 22339 158 40 0 141474 0
[pid=32763/tid=302] ppid=32758 vsize=571720 CPUtime=1.42 cores=4-31
/proc/32763/task/302/stat : 302 (plingeling) R 32758 32758 32732 0 -1 4202560 1068 1248 0 0 140 1 0 1 19 0 29 0 725490993 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4279725 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32763/tid=303] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/303/stat : 303 (plingeling) R 32758 32758 32732 0 -1 4202560 873 1248 0 0 141 1 0 1 22 0 29 0 725490993 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32763/tid=304] ppid=32758 vsize=571720 CPUtime=1.45 cores=4-31
/proc/32763/task/304/stat : 304 (plingeling) R 32758 32758 32732 0 -1 4202560 916 1248 0 0 143 1 0 1 19 0 29 0 725490993 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4332272 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32763/tid=305] ppid=32758 vsize=571720 CPUtime=1.46 cores=4-31
/proc/32763/task/305/stat : 305 (plingeling) R 32758 32758 32732 0 -1 4202560 1177 1248 0 0 143 2 0 1 19 0 29 0 725490993 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331101 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32763/tid=306] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/306/stat : 306 (plingeling) R 32758 32758 32732 0 -1 4202560 1356 1248 0 0 140 2 0 1 19 0 29 0 725490993 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32763/tid=307] ppid=32758 vsize=571720 CPUtime=1.45 cores=4-31
/proc/32763/task/307/stat : 307 (plingeling) R 32758 32758 32732 0 -1 4202560 945 1248 0 0 143 1 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32763/tid=308] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/308/stat : 308 (plingeling) R 32758 32758 32732 0 -1 4202560 1147 1248 0 0 141 1 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4279540 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32763/tid=309] ppid=32758 vsize=571720 CPUtime=1.44 cores=4-31
/proc/32763/task/309/stat : 309 (plingeling) R 32758 32758 32732 0 -1 4202560 1211 1248 0 0 141 2 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32763/tid=310] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/310/stat : 310 (plingeling) R 32758 32758 32732 0 -1 4202560 755 1248 0 0 141 1 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32763/tid=311] ppid=32758 vsize=571720 CPUtime=1.41 cores=4-31
/proc/32763/task/311/stat : 311 (plingeling) R 32758 32758 32732 0 -1 4202560 984 1248 0 0 139 1 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32763/tid=312] ppid=32758 vsize=571720 CPUtime=1.41 cores=4-31
/proc/32763/task/312/stat : 312 (plingeling) R 32758 32758 32732 0 -1 4202560 1136 1248 0 0 139 1 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32763/tid=313] ppid=32758 vsize=571720 CPUtime=1.42 cores=4-31
/proc/32763/task/313/stat : 313 (plingeling) R 32758 32758 32732 0 -1 4202560 527 1248 0 0 141 0 0 1 25 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4219781 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32763/tid=314] ppid=32758 vsize=571720 CPUtime=1.44 cores=4-31
/proc/32763/task/314/stat : 314 (plingeling) R 32758 32758 32732 0 -1 4202560 1074 1248 0 0 141 2 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4298488 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32763/tid=315] ppid=32758 vsize=571720 CPUtime=1.44 cores=4-31
/proc/32763/task/315/stat : 315 (plingeling) R 32758 32758 32732 0 -1 4202560 1146 1248 0 0 142 1 0 1 18 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32763/tid=316] ppid=32758 vsize=571720 CPUtime=1.45 cores=4-31
/proc/32763/task/316/stat : 316 (plingeling) R 32758 32758 32732 0 -1 4202560 984 1248 0 0 143 1 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331352 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32763/tid=317] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/317/stat : 317 (plingeling) R 32758 32758 32732 0 -1 4202560 1167 1248 0 0 141 1 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32763/tid=318] ppid=32758 vsize=571720 CPUtime=1.4 cores=4-31
/proc/32763/task/318/stat : 318 (plingeling) R 32758 32758 32732 0 -1 4202560 1022 1248 0 0 138 1 0 1 18 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32763/tid=319] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/319/stat : 319 (plingeling) R 32758 32758 32732 0 -1 4202560 1080 1248 0 0 140 2 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32763/tid=320] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/320/stat : 320 (plingeling) R 32758 32758 32732 0 -1 4202560 1172 1248 0 0 142 0 0 1 18 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32763/tid=321] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/321/stat : 321 (plingeling) R 32758 32758 32732 0 -1 4202560 839 1248 0 0 141 1 0 1 18 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4210549 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32763/tid=322] ppid=32758 vsize=571720 CPUtime=1.4 cores=4-31
/proc/32763/task/322/stat : 322 (plingeling) R 32758 32758 32732 0 -1 4202560 630 1248 0 0 139 0 0 1 25 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4273771 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32763/tid=323] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/323/stat : 323 (plingeling) R 32758 32758 32732 0 -1 4202560 1112 1248 0 0 141 1 0 1 18 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4210583 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32763/tid=324] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/324/stat : 324 (plingeling) R 32758 32758 32732 0 -1 4202560 1141 1248 0 0 141 1 0 1 18 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32763/tid=325] ppid=32758 vsize=571720 CPUtime=1.41 cores=4-31
/proc/32763/task/325/stat : 325 (plingeling) R 32758 32758 32732 0 -1 4202560 1049 1248 0 0 139 1 0 1 25 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32763/tid=326] ppid=32758 vsize=571720 CPUtime=1.41 cores=4-31
/proc/32763/task/326/stat : 326 (plingeling) R 32758 32758 32732 0 -1 4202560 966 1248 0 0 139 1 0 1 18 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32763/tid=327] ppid=32758 vsize=571720 CPUtime=1.43 cores=4-31
/proc/32763/task/327/stat : 327 (plingeling) R 32758 32758 32732 0 -1 4202560 1180 1248 0 0 141 1 0 1 19 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4234107 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32763/tid=328] ppid=32758 vsize=571720 CPUtime=1.4 cores=4-31
/proc/32763/task/328/stat : 328 (plingeling) R 32758 32758 32732 0 -1 4202560 771 1248 0 0 138 1 0 1 25 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4219472 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32763/tid=329] ppid=32758 vsize=571720 CPUtime=1.44 cores=4-31
/proc/32763/task/329/stat : 329 (plingeling) R 32758 32758 32732 0 -1 4202560 378 1248 0 0 143 0 0 1 23 0 29 0 725490994 585441280 22339 268435456000 4194304 4356188 140736656527680 18446744073709551615 4211032 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 45.94
Current children cumulated vsize (KiB) 2974504
[startup+3.1021 s]
/proc/loadavg: 28.79 30.31 28.81 34/447 329
/proc/meminfo: memFree=255184216/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=0 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 725490989 18763776 385 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 13 0 0 0
/proc/32758/statm: 4581 385 337 23 0 91 0
[pid=32759] ppid=32758 vsize=3819284 CPUtime=3.09 cores=0
/proc/32759/stat : 32759 (cryptominisat) R 32758 32758 32732 0 -1 4202496 3569 0 0 0 308 1 0 0 25 0 1 0 725490990 3910946816 2209 268435456000 4194304 4587354 140734622627520 18446744073709551615 4231426 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32759/statm: 954821 2209 332 96 0 951383 0
[pid=32760] ppid=32758 vsize=13756 CPUtime=3.08 cores=1
/proc/32760/stat : 32760 (clasp) R 32758 32758 32732 0 -1 4202496 880 0 0 0 308 0 0 0 25 0 1 0 725490990 14086144 772 268435456000 4194304 4785740 140734790567248 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32760/statm: 3439 772 338 145 0 484 0
[pid=32761] ppid=32758 vsize=455832 CPUtime=3.08 cores=2
/proc/32761/stat : 32761 (TNM) R 32758 32758 32732 0 -1 4202496 301 0 0 0 308 0 0 0 25 0 1 0 725490990 466771968 199 268435456000 134512640 134534564 4289333120 18446744073709551615 134528972 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32761/statm: 113958 199 95 6 0 112623 0
[pid=32762] ppid=32758 vsize=7092 CPUtime=3.08 cores=3
/proc/32762/stat : 32762 (march_hi) R 32758 32758 32732 0 -1 4202496 406 0 0 0 308 0 0 0 25 0 1 0 725490990 7262208 300 268435456000 4194304 4331988 140736958528688 18446744073709551615 4226448 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32762/statm: 1773 300 173 34 0 215 0
[pid=32763] ppid=32758 vsize=628716 CPUtime=84.34 cores=4-31
/proc/32763/stat : 32763 (plingeling) S 32758 32758 32732 0 -1 4202496 54708 1248 0 0 8346 87 0 1 18 0 29 0 725490990 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32763/statm: 157179 36540 158 40 0 155723 0
[pid=32763/tid=302] ppid=32758 vsize=628716 CPUtime=3.01 cores=4-31
/proc/32763/task/302/stat : 302 (plingeling) R 32758 32758 32732 0 -1 4202560 2125 1248 0 0 297 3 0 1 18 0 29 0 725490993 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32763/tid=303] ppid=32758 vsize=628716 CPUtime=3.02 cores=4-31
/proc/32763/task/303/stat : 303 (plingeling) R 32758 32758 32732 0 -1 4202560 1802 1248 0 0 299 2 0 1 19 0 29 0 725490993 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32763/tid=304] ppid=32758 vsize=628716 CPUtime=3.02 cores=4-31
/proc/32763/task/304/stat : 304 (plingeling) R 32758 32758 32732 0 -1 4202560 2102 1248 0 0 299 2 0 1 18 0 29 0 725490993 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32763/tid=305] ppid=32758 vsize=628716 CPUtime=3.04 cores=4-31
/proc/32763/task/305/stat : 305 (plingeling) R 32758 32758 32732 0 -1 4202560 1273 1248 0 0 301 2 0 1 25 0 29 0 725490993 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32763/tid=306] ppid=32758 vsize=628716 CPUtime=3.01 cores=4-31
/proc/32763/task/306/stat : 306 (plingeling) R 32758 32758 32732 0 -1 4202560 1932 1248 0 0 297 3 0 1 19 0 29 0 725490993 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32763/tid=307] ppid=32758 vsize=628716 CPUtime=3.03 cores=4-31
/proc/32763/task/307/stat : 307 (plingeling) R 32758 32758 32732 0 -1 4202560 1842 1248 0 0 300 2 0 1 19 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4279731 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32763/tid=308] ppid=32758 vsize=628716 CPUtime=3.02 cores=4-31
/proc/32763/task/308/stat : 308 (plingeling) R 32758 32758 32732 0 -1 4202560 1947 1248 0 0 298 3 0 1 18 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32763/tid=309] ppid=32758 vsize=628716 CPUtime=3.02 cores=4-31
/proc/32763/task/309/stat : 309 (plingeling) R 32758 32758 32732 0 -1 4202560 2491 1248 0 0 297 4 0 1 18 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32763/tid=310] ppid=32758 vsize=628716 CPUtime=3.01 cores=4-31
/proc/32763/task/310/stat : 310 (plingeling) R 32758 32758 32732 0 -1 4202560 1717 1248 0 0 298 2 0 1 24 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32763/tid=311] ppid=32758 vsize=628716 CPUtime=2.98 cores=4-31
/proc/32763/task/311/stat : 311 (plingeling) R 32758 32758 32732 0 -1 4202560 1817 1248 0 0 294 3 0 1 21 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4279666 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32763/tid=312] ppid=32758 vsize=628716 CPUtime=3 cores=4-31
/proc/32763/task/312/stat : 312 (plingeling) R 32758 32758 32732 0 -1 4202560 2193 1248 0 0 296 3 0 1 19 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331337 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32763/tid=313] ppid=32758 vsize=628716 CPUtime=3.01 cores=4-31
/proc/32763/task/313/stat : 313 (plingeling) R 32758 32758 32732 0 -1 4202560 1233 1248 0 0 299 1 0 1 18 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32763/tid=314] ppid=32758 vsize=628716 CPUtime=3 cores=4-31
/proc/32763/task/314/stat : 314 (plingeling) R 32758 32758 32732 0 -1 4202560 2067 1248 0 0 296 3 0 1 23 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32763/tid=315] ppid=32758 vsize=628716 CPUtime=3.01 cores=4-31
/proc/32763/task/315/stat : 315 (plingeling) R 32758 32758 32732 0 -1 4202560 2235 1248 0 0 297 3 0 1 19 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32763/tid=316] ppid=32758 vsize=628716 CPUtime=3.03 cores=4-31
/proc/32763/task/316/stat : 316 (plingeling) R 32758 32758 32732 0 -1 4202560 2042 1248 0 0 300 2 0 1 25 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4280608 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32763/tid=317] ppid=32758 vsize=628716 CPUtime=3.03 cores=4-31
/proc/32763/task/317/stat : 317 (plingeling) R 32758 32758 32732 0 -1 4202560 2575 1248 0 0 297 5 0 1 18 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4282013 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32763/tid=318] ppid=32758 vsize=628716 CPUtime=2.98 cores=4-31
/proc/32763/task/318/stat : 318 (plingeling) R 32758 32758 32732 0 -1 4202560 1791 1248 0 0 295 2 0 1 19 0 29 0 725490994 643805184 36540 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32763/tid=319] ppid=32758 vsize=628716 CPUtime=3.02 cores=4-31
################
# More data... #
################
/proc/32762/statm: 2157 672 174 34 0 599 0
[pid=32763] ppid=32758 vsize=1513728 CPUtime=10147.1 cores=4-31
/proc/32763/stat : 32763 (plingeling) S 32758 32758 32732 0 -1 4202496 1979129 1248 0 0 1013096 1614 0 1 18 0 29 0 725490990 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32763/statm: 378432 257685 158 40 0 376976 0
[pid=32763/tid=302] ppid=32758 vsize=1513728 CPUtime=360.46 cores=4-31
/proc/32763/task/302/stat : 302 (plingeling) R 32758 32758 32732 0 -1 4202560 75952 1248 0 0 35994 51 0 1 25 0 29 0 725490993 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32763/tid=303] ppid=32758 vsize=1513728 CPUtime=362.79 cores=4-31
/proc/32763/task/303/stat : 303 (plingeling) R 32758 32758 32732 0 -1 4202560 82350 1248 0 0 36216 62 0 1 25 0 29 0 725490993 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32763/tid=304] ppid=32758 vsize=1513728 CPUtime=362.36 cores=4-31
/proc/32763/task/304/stat : 304 (plingeling) R 32758 32758 32732 0 -1 4202560 80345 1248 0 0 36175 60 0 1 25 0 29 0 725490993 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32763/tid=305] ppid=32758 vsize=1513728 CPUtime=362.89 cores=4-31
/proc/32763/task/305/stat : 305 (plingeling) R 32758 32758 32732 0 -1 4202560 23069 1248 0 0 36264 24 0 1 25 0 29 0 725490993 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32763/tid=306] ppid=32758 vsize=1513728 CPUtime=362.84 cores=4-31
/proc/32763/task/306/stat : 306 (plingeling) R 32758 32758 32732 0 -1 4202560 81520 1248 0 0 36229 54 0 1 25 0 29 0 725490993 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32763/tid=307] ppid=32758 vsize=1513728 CPUtime=362.84 cores=4-31
/proc/32763/task/307/stat : 307 (plingeling) R 32758 32758 32732 0 -1 4202560 83894 1248 0 0 36226 57 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32763/tid=308] ppid=32758 vsize=1513728 CPUtime=362.77 cores=4-31
/proc/32763/task/308/stat : 308 (plingeling) R 32758 32758 32732 0 -1 4202560 73183 1248 0 0 36225 51 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32763/tid=309] ppid=32758 vsize=1513728 CPUtime=362.82 cores=4-31
/proc/32763/task/309/stat : 309 (plingeling) R 32758 32758 32732 0 -1 4202560 68158 1248 0 0 36194 87 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32763/tid=310] ppid=32758 vsize=1513728 CPUtime=362.75 cores=4-31
/proc/32763/task/310/stat : 310 (plingeling) R 32758 32758 32732 0 -1 4202560 86041 1248 0 0 36211 63 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32763/tid=311] ppid=32758 vsize=1513728 CPUtime=362.78 cores=4-31
/proc/32763/task/311/stat : 311 (plingeling) R 32758 32758 32732 0 -1 4202560 76957 1248 0 0 36221 56 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32763/tid=312] ppid=32758 vsize=1513728 CPUtime=362.74 cores=4-31
/proc/32763/task/312/stat : 312 (plingeling) R 32758 32758 32732 0 -1 4202560 82643 1248 0 0 36213 60 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32763/tid=313] ppid=32758 vsize=1513728 CPUtime=362.7 cores=4-31
/proc/32763/task/313/stat : 313 (plingeling) R 32758 32758 32732 0 -1 4202560 39380 1248 0 0 36232 37 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4332162 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32763/tid=314] ppid=32758 vsize=1513728 CPUtime=362.46 cores=4-31
/proc/32763/task/314/stat : 314 (plingeling) R 32758 32758 32732 0 -1 4202560 66550 1248 0 0 36197 48 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32763/tid=315] ppid=32758 vsize=1513728 CPUtime=362.71 cores=4-31
/proc/32763/task/315/stat : 315 (plingeling) R 32758 32758 32732 0 -1 4202560 81758 1248 0 0 36208 62 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32763/tid=316] ppid=32758 vsize=1513728 CPUtime=362.74 cores=4-31
/proc/32763/task/316/stat : 316 (plingeling) R 32758 32758 32732 0 -1 4202560 81661 1248 0 0 36221 52 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4234244 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32763/tid=317] ppid=32758 vsize=1513728 CPUtime=362.85 cores=4-31
/proc/32763/task/317/stat : 317 (plingeling) R 32758 32758 32732 0 -1 4202560 59346 1248 0 0 36184 100 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32763/tid=318] ppid=32758 vsize=1513728 CPUtime=361.17 cores=4-31
/proc/32763/task/318/stat : 318 (plingeling) R 32758 32758 32732 0 -1 4202560 77154 1248 0 0 36051 65 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32763/tid=319] ppid=32758 vsize=1513728 CPUtime=362.62 cores=4-31
/proc/32763/task/319/stat : 319 (plingeling) R 32758 32758 32732 0 -1 4202560 82460 1248 0 0 36199 62 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32763/tid=320] ppid=32758 vsize=1513728 CPUtime=362.68 cores=4-31
/proc/32763/task/320/stat : 320 (plingeling) R 32758 32758 32732 0 -1 4202560 72888 1248 0 0 36222 45 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32763/tid=321] ppid=32758 vsize=1513728 CPUtime=362.87 cores=4-31
/proc/32763/task/321/stat : 321 (plingeling) R 32758 32758 32732 0 -1 4202560 34091 1248 0 0 36255 31 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32763/tid=322] ppid=32758 vsize=1513728 CPUtime=362.76 cores=4-31
/proc/32763/task/322/stat : 322 (plingeling) R 32758 32758 32732 0 -1 4202560 84828 1248 0 0 36214 61 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32763/tid=323] ppid=32758 vsize=1513728 CPUtime=361.11 cores=4-31
/proc/32763/task/323/stat : 323 (plingeling) R 32758 32758 32732 0 -1 4202560 79518 1248 0 0 36052 58 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32763/tid=324] ppid=32758 vsize=1513728 CPUtime=362.69 cores=4-31
/proc/32763/task/324/stat : 324 (plingeling) R 32758 32758 32732 0 -1 4202560 75673 1248 0 0 36203 65 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32763/tid=325] ppid=32758 vsize=1513728 CPUtime=362.49 cores=4-31
/proc/32763/task/325/stat : 325 (plingeling) R 32758 32758 32732 0 -1 4202560 59228 1248 0 0 36175 73 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32763/tid=326] ppid=32758 vsize=1513728 CPUtime=362.86 cores=4-31
/proc/32763/task/326/stat : 326 (plingeling) R 32758 32758 32732 0 -1 4202560 76778 1248 0 0 36229 56 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32763/tid=327] ppid=32758 vsize=1513728 CPUtime=362.68 cores=4-31
/proc/32763/task/327/stat : 327 (plingeling) R 32758 32758 32732 0 -1 4202560 84832 1248 0 0 36198 69 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32763/tid=328] ppid=32758 vsize=1513728 CPUtime=358.66 cores=4-31
/proc/32763/task/328/stat : 328 (plingeling) R 32758 32758 32732 0 -1 4202560 82793 1248 0 0 35801 64 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32763/tid=329] ppid=32758 vsize=1513728 CPUtime=362.97 cores=4-31
/proc/32763/task/329/stat : 329 (plingeling) R 32758 32758 32732 0 -1 4202560 25250 1248 0 0 36271 25 0 1 25 0 29 0 725490994 1550057472 257685 268435456000 4194304 4356188 140736656527680 18446744073709551615 4234192 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 11599.2
Current children cumulated vsize (KiB) 5851772
[startup+363.902 s]
/proc/loadavg: 32.02 31.52 29.84 33/447 339
/proc/meminfo: memFree=254250564/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=0.01 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 512 0 0 0 0 1 0 0 15 0 1 0 725490989 18763776 385 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 13 0 0 0
/proc/32758/statm: 4581 385 337 23 0 91 0
[pid=32759] ppid=32758 vsize=3836808 CPUtime=363.81 cores=0
/proc/32759/stat : 32759 (cryptominisat) R 32758 32758 32732 0 -1 4202496 112778 0 0 0 36344 37 0 0 25 0 1 0 725490990 3928891392 9726 268435456000 4194304 4587354 140734622627520 18446744073709551615 4239308 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32759/statm: 959202 9726 332 96 0 955764 0
[pid=32760] ppid=32758 vsize=18452 CPUtime=363.82 cores=1
/proc/32760/stat : 32760 (clasp) R 32758 32758 32732 0 -1 4202496 2020 0 0 0 36381 1 0 0 25 0 1 0 725490990 18894848 1912 268435456000 4194304 4785740 140734790567248 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32760/statm: 4613 1912 339 145 0 1658 0
[pid=32761] ppid=32758 vsize=455832 CPUtime=363.81 cores=2
/proc/32761/stat : 32761 (TNM) R 32758 32758 32732 0 -1 4202496 301 0 0 0 36381 0 0 0 25 0 1 0 725490990 466771968 199 268435456000 134512640 134534564 4289333120 18446744073709551615 134528659 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32761/statm: 113958 199 95 6 0 112623 0
[pid=32762] ppid=32758 vsize=8628 CPUtime=363.81 cores=3
/proc/32762/stat : 32762 (march_hi) R 32758 32758 32732 0 -1 4202496 778 0 0 0 36380 1 0 0 25 0 1 0 725490990 8835072 672 268435456000 4194304 4331988 140736958528688 18446744073709551615 4226479 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32762/statm: 2157 672 174 34 0 599 0
[pid=32763] ppid=32758 vsize=1533440 CPUtime=10169.5 cores=4-31
/proc/32763/stat : 32763 (plingeling) S 32758 32758 32732 0 -1 4202496 1984057 1248 0 0 1015334 1615 0 1 18 0 29 0 725490990 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32763/statm: 383360 262613 158 40 0 381904 0
[pid=32763/tid=302] ppid=32758 vsize=1533440 CPUtime=361.26 cores=4-31
/proc/32763/task/302/stat : 302 (plingeling) R 32758 32758 32732 0 -1 4202560 75952 1248 0 0 36074 51 0 1 25 0 29 0 725490993 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32763/tid=303] ppid=32758 vsize=1533440 CPUtime=363.59 cores=4-31
/proc/32763/task/303/stat : 303 (plingeling) R 32758 32758 32732 0 -1 4202560 82350 1248 0 0 36296 62 0 1 25 0 29 0 725490993 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32763/tid=304] ppid=32758 vsize=1533440 CPUtime=363.16 cores=4-31
/proc/32763/task/304/stat : 304 (plingeling) R 32758 32758 32732 0 -1 4202560 80345 1248 0 0 36255 60 0 1 25 0 29 0 725490993 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32763/tid=305] ppid=32758 vsize=1533440 CPUtime=363.69 cores=4-31
/proc/32763/task/305/stat : 305 (plingeling) R 32758 32758 32732 0 -1 4202560 23069 1248 0 0 36344 24 0 1 25 0 29 0 725490993 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32763/tid=306] ppid=32758 vsize=1533440 CPUtime=363.64 cores=4-31
/proc/32763/task/306/stat : 306 (plingeling) R 32758 32758 32732 0 -1 4202560 81520 1248 0 0 36309 54 0 1 25 0 29 0 725490993 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32763/tid=307] ppid=32758 vsize=1533440 CPUtime=363.65 cores=4-31
/proc/32763/task/307/stat : 307 (plingeling) R 32758 32758 32732 0 -1 4202560 84022 1248 0 0 36306 58 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32763/tid=308] ppid=32758 vsize=1533440 CPUtime=363.57 cores=4-31
/proc/32763/task/308/stat : 308 (plingeling) R 32758 32758 32732 0 -1 4202560 73183 1248 0 0 36305 51 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32763/tid=309] ppid=32758 vsize=1533440 CPUtime=363.62 cores=4-31
/proc/32763/task/309/stat : 309 (plingeling) R 32758 32758 32732 0 -1 4202560 68158 1248 0 0 36274 87 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32763/tid=310] ppid=32758 vsize=1533440 CPUtime=363.55 cores=4-31
/proc/32763/task/310/stat : 310 (plingeling) R 32758 32758 32732 0 -1 4202560 86041 1248 0 0 36291 63 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32763/tid=311] ppid=32758 vsize=1533440 CPUtime=363.58 cores=4-31
/proc/32763/task/311/stat : 311 (plingeling) R 32758 32758 32732 0 -1 4202560 77213 1248 0 0 36301 56 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4274144 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32763/tid=312] ppid=32758 vsize=1533440 CPUtime=363.54 cores=4-31
/proc/32763/task/312/stat : 312 (plingeling) R 32758 32758 32732 0 -1 4202560 82707 1248 0 0 36293 60 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32763/tid=313] ppid=32758 vsize=1533440 CPUtime=363.5 cores=4-31
/proc/32763/task/313/stat : 313 (plingeling) R 32758 32758 32732 0 -1 4202560 39380 1248 0 0 36312 37 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32763/tid=314] ppid=32758 vsize=1533440 CPUtime=363.26 cores=4-31
/proc/32763/task/314/stat : 314 (plingeling) R 32758 32758 32732 0 -1 4202560 66806 1248 0 0 36277 48 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32763/tid=315] ppid=32758 vsize=1533440 CPUtime=363.51 cores=4-31
/proc/32763/task/315/stat : 315 (plingeling) R 32758 32758 32732 0 -1 4202560 82014 1248 0 0 36288 62 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32763/tid=316] ppid=32758 vsize=1533440 CPUtime=363.54 cores=4-31
/proc/32763/task/316/stat : 316 (plingeling) R 32758 32758 32732 0 -1 4202560 81661 1248 0 0 36301 52 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32763/tid=317] ppid=32758 vsize=1533440 CPUtime=363.65 cores=4-31
/proc/32763/task/317/stat : 317 (plingeling) R 32758 32758 32732 0 -1 4202560 59346 1248 0 0 36264 100 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32763/tid=318] ppid=32758 vsize=1533440 CPUtime=361.97 cores=4-31
/proc/32763/task/318/stat : 318 (plingeling) R 32758 32758 32732 0 -1 4202560 77922 1248 0 0 36131 65 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32763/tid=319] ppid=32758 vsize=1533440 CPUtime=363.42 cores=4-31
/proc/32763/task/319/stat : 319 (plingeling) R 32758 32758 32732 0 -1 4202560 82716 1248 0 0 36279 62 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32763/tid=320] ppid=32758 vsize=1533440 CPUtime=363.48 cores=4-31
/proc/32763/task/320/stat : 320 (plingeling) R 32758 32758 32732 0 -1 4202560 73400 1248 0 0 36302 45 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4280687 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32763/tid=321] ppid=32758 vsize=1533440 CPUtime=363.67 cores=4-31
/proc/32763/task/321/stat : 321 (plingeling) R 32758 32758 32732 0 -1 4202560 34091 1248 0 0 36335 31 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32763/tid=322] ppid=32758 vsize=1533440 CPUtime=363.56 cores=4-31
/proc/32763/task/322/stat : 322 (plingeling) R 32758 32758 32732 0 -1 4202560 85084 1248 0 0 36294 61 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32763/tid=323] ppid=32758 vsize=1533440 CPUtime=361.91 cores=4-31
/proc/32763/task/323/stat : 323 (plingeling) R 32758 32758 32732 0 -1 4202560 79518 1248 0 0 36132 58 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32763/tid=324] ppid=32758 vsize=1533440 CPUtime=363.48 cores=4-31
/proc/32763/task/324/stat : 324 (plingeling) R 32758 32758 32732 0 -1 4202560 77721 1248 0 0 36282 65 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32763/tid=325] ppid=32758 vsize=1533440 CPUtime=363.29 cores=4-31
/proc/32763/task/325/stat : 325 (plingeling) R 32758 32758 32732 0 -1 4202560 59228 1248 0 0 36255 73 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32763/tid=326] ppid=32758 vsize=1533440 CPUtime=363.66 cores=4-31
/proc/32763/task/326/stat : 326 (plingeling) R 32758 32758 32732 0 -1 4202560 76778 1248 0 0 36309 56 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32763/tid=327] ppid=32758 vsize=1533440 CPUtime=363.48 cores=4-31
/proc/32763/task/327/stat : 327 (plingeling) R 32758 32758 32732 0 -1 4202560 84832 1248 0 0 36278 69 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32763/tid=328] ppid=32758 vsize=1533440 CPUtime=359.45 cores=4-31
/proc/32763/task/328/stat : 328 (plingeling) R 32758 32758 32732 0 -1 4202560 82793 1248 0 0 35880 64 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32763/tid=329] ppid=32758 vsize=1533440 CPUtime=363.77 cores=4-31
/proc/32763/task/329/stat : 329 (plingeling) R 32758 32758 32732 0 -1 4202560 25378 1248 0 0 36351 25 0 1 25 0 29 0 725490994 1570242560 262613 268435456000 4194304 4356188 140736656527680 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 11624.8
Current children cumulated vsize (KiB) 5871484
[startup+364.122 s]
/proc/loadavg: 32.02 31.52 29.84 33/447 339
/proc/meminfo: memFree=254227012/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=1456.13 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 513 115930 0 0 0 1 145571 41 15 0 1 0 725490989 18763776 386 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 13 0 0 0
/proc/32758/statm: 4581 386 338 23 0 91 0
[pid=32763] ppid=32758 vsize=0 CPUtime=10175.2 cores=4-31
/proc/32763/stat : 32763 (plingeling) Z 32758 32758 32732 0 -1 4203548 1985081 1248 0 0 1015905 1616 0 1 18 0 2 0 725490990 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32763/statm: 0 0 0 0 0 0 0
[pid=32763/tid=318] ppid=32758 vsize=0 CPUtime=362.18 cores=4-31
/proc/32763/task/318/stat : 318 (plingeling) R 32758 32758 32732 0 -1 4203588 77922 1248 0 0 36151 66 0 1 25 0 2 0 725490994 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11631.3
Current children cumulated vsize (KiB) 18324
[startup+364.201 s]
/proc/loadavg: 32.02 31.52 29.84 33/447 339
/proc/meminfo: memFree=254227012/264257624 swapFree=67111528/67111528
[pid=32758] ppid=32756 vsize=18324 CPUtime=1456.13 cores=0-31
/proc/32758/stat : 32758 (ppfolio) S 32756 32758 32732 0 -1 4202496 513 115930 0 0 0 1 145571 41 15 0 1 0 725490989 18763776 386 268435456000 4194304 4287625 140737000529840 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 13 0 0 0
/proc/32758/statm: 4581 386 338 23 0 91 0
[pid=32763] ppid=32758 vsize=0 CPUtime=10175.3 cores=4-31
/proc/32763/stat : 32763 (plingeling) Z 32758 32758 32732 0 -1 4203548 1985081 1248 0 0 1015905 1624 0 1 18 0 2 0 725490990 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32763/statm: 0 0 0 0 0 0 0
[pid=32763/tid=318] ppid=32758 vsize=0 CPUtime=362.26 cores=4-31
/proc/32763/task/318/stat : 318 (plingeling) R 32758 32758 32732 0 -1 4203588 77922 1248 0 0 36151 74 0 1 25 0 2 0 725490994 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11631.4
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 364.207
CPU time (s): 11631.5
CPU user time (s): 11614.8
CPU system time (s): 16.6905
CPU usage (%): 3193.64
Max. virtual memory (cumulated for all children) (KiB): 7394648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11614.8
system time used= 16.6905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2102791
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= 5843
involuntary context switches= 26605
runsolver used 2.11968 second user time and 8.23175 second system time
The end
Begin job on node200 at 2011-05-23 10:40:46
IDJOB=3347695
IDBENCH=87943
IDSOLVER=1808
FILE ID=node200/3347695-1306140046
RUNJOBID= node200-1306140046-32746
PBS_JOBID= 13387841
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT02/industrial/aloul/Homer/homer16.shuffled.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347695-1306140046/watcher-3347695-1306140046 -o /tmp/evaluation-result-3347695-1306140046/solver-3347695-1306140046 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347695-1306140046.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f98b1abe53ae4846a5f9102253ed913e
RANDOM SEED=1991689594
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: 255318208 kB
Buffers: 459320 kB
Cached: 8069320 kB
SwapCached: 0 kB
Active: 7619092 kB
Inactive: 978288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255318208 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10164 kB
Writeback: 0 kB
AnonPages: 69224 kB
Mapped: 13332 kB
Slab: 253660 kB
PageTables: 4596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 179828 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= 62036 MiB
End job on node200 at 2011-05-23 10:46:50