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
67556.24/2115.44 s UNSATISFIABLE
67557.16/2115.66 solver [1] cryptominisat 2.7.1 answered
67557.16/2115.66 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-3347461-1305181899/watcher-3347461-1305181899 -o /tmp/evaluation-result-3347461-1305181899/solver-3347461-1305181899 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347461-1305181899.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: 29.57 31.57 31.86 1/413 16358
/proc/meminfo: memFree=255745288/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 24 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
[startup+0.119604 s]
/proc/loadavg: 29.57 31.57 31.86 1/413 16358
/proc/meminfo: memFree=255745288/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 24 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200598 s]
/proc/loadavg: 29.57 31.57 31.86 1/413 16358
/proc/meminfo: memFree=255745288/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 18 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300656 s]
/proc/loadavg: 29.57 31.57 31.86 1/413 16358
/proc/meminfo: memFree=255745288/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 18 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700643 s]
/proc/loadavg: 29.57 31.57 31.86 1/413 16358
/proc/meminfo: memFree=255745288/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 18 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50062 s]
/proc/loadavg: 27.60 31.13 31.71 6/419 16369
/proc/meminfo: memFree=255564928/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
[pid=16359] ppid=16358 vsize=59732 CPUtime=1.48 cores=0
/proc/16359/stat : 16359 (cryptominisat) R 16358 16358 16332 0 -1 4202496 11799 0 0 0 145 3 0 0 20 0 1 0 629676348 61165568 9570 268435456000 4194304 4587354 140734743918704 18446744073709551615 4237566 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16359/statm: 14933 9570 330 96 0 11495 0
[pid=16360] ppid=16358 vsize=36624 CPUtime=1.48 cores=1
/proc/16360/stat : 16360 (clasp) R 16358 16358 16332 0 -1 4202496 8044 0 0 0 146 2 0 0 20 0 1 0 629676348 37502976 6300 268435456000 4194304 4785740 140736323912576 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16360/statm: 9156 6300 338 145 0 6201 0
[pid=16361] ppid=16358 vsize=460976 CPUtime=1.48 cores=2
/proc/16361/stat : 16361 (TNM) R 16358 16358 16332 0 -1 4202496 4744 0 0 0 146 2 0 0 20 0 1 0 629676348 472039424 4642 268435456000 134512640 134534564 4293321648 18446744073709551615 134525938 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16361/statm: 115244 4642 95 6 0 113909 0
[pid=16362] ppid=16358 vsize=90312 CPUtime=1.48 cores=3
/proc/16362/stat : 16362 (march_hi) R 16358 16358 16332 0 -1 4202496 38969 0 0 0 139 9 0 0 20 0 1 0 629676348 92479488 10943 268435456000 4194304 4331988 140736755099360 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16362/statm: 22578 10943 172 34 0 21020 0
[pid=16363] ppid=16358 vsize=119836 CPUtime=1.48 cores=4-31
/proc/16363/stat : 16363 (plingeling) R 16358 16358 16332 0 -1 4202496 28733 1240 0 0 141 6 0 1 21 0 1 0 629676348 122712064 28617 268435456000 4194304 4356188 140737099207664 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/16363/statm: 29959 28617 129 40 0 28503 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 785804
[startup+3.10065 s]
/proc/loadavg: 27.60 31.13 31.71 6/419 16369
/proc/meminfo: memFree=255414344/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
[pid=16359] ppid=16358 vsize=59732 CPUtime=3.09 cores=0
/proc/16359/stat : 16359 (cryptominisat) R 16358 16358 16332 0 -1 4202496 12011 0 0 0 305 4 0 0 25 0 1 0 629676348 61165568 9774 268435456000 4194304 4587354 140734743918704 18446744073709551615 4230195 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16359/statm: 14933 9774 330 96 0 11495 0
[pid=16360] ppid=16358 vsize=36624 CPUtime=3.08 cores=1
/proc/16360/stat : 16360 (clasp) R 16358 16358 16332 0 -1 4202496 8052 0 0 0 306 2 0 0 25 0 1 0 629676348 37502976 6308 268435456000 4194304 4785740 140736323912576 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16360/statm: 9156 6308 338 145 0 6201 0
[pid=16361] ppid=16358 vsize=460976 CPUtime=3.08 cores=2
/proc/16361/stat : 16361 (TNM) R 16358 16358 16332 0 -1 4202496 4744 0 0 0 306 2 0 0 25 0 1 0 629676348 472039424 4642 268435456000 134512640 134534564 4293321648 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16361/statm: 115244 4642 95 6 0 113909 0
[pid=16362] ppid=16358 vsize=94268 CPUtime=3.08 cores=3
/proc/16362/stat : 16362 (march_hi) R 16358 16358 16332 0 -1 4202496 47740 0 0 0 297 11 0 0 25 0 1 0 629676348 96530432 19714 268435456000 4194304 4331988 140736755099360 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16362/statm: 23567 19714 172 34 0 22009 0
[pid=16363] ppid=16358 vsize=809748 CPUtime=24.32 cores=4-31
/proc/16363/stat : 16363 (plingeling) S 16358 16358 16332 0 -1 4202496 73509 1240 0 0 2413 18 0 1 19 0 29 0 629676348 829181952 64121 268435456000 4194304 4356188 140737099207664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/16363/statm: 202437 64121 142 40 0 200981 0
Current children cumulated CPU time (s) 36.65
Current children cumulated vsize (KiB) 1479672
[startup+6.30176 s]
/proc/loadavg: 27.60 31.13 31.71 33/447 16397
/proc/meminfo: memFree=255263340/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
[pid=16359] ppid=16358 vsize=60788 CPUtime=6.29 cores=0
/proc/16359/stat : 16359 (cryptominisat) R 16358 16358 16332 0 -1 4202496 12664 0 0 0 625 4 0 0 25 0 1 0 629676348 62246912 10417 268435456000 4194304 4587354 140734743918704 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16359/statm: 15197 10417 336 96 0 11759 0
[pid=16360] ppid=16358 vsize=40392 CPUtime=6.28 cores=1
/proc/16360/stat : 16360 (clasp) R 16358 16358 16332 0 -1 4202496 9019 0 0 0 625 3 0 0 25 0 1 0 629676348 41361408 7275 268435456000 4194304 4785740 140736323912576 18446744073709551615 4552974 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16360/statm: 10098 7275 338 145 0 7143 0
[pid=16361] ppid=16358 vsize=460976 CPUtime=6.28 cores=2
/proc/16361/stat : 16361 (TNM) R 16358 16358 16332 0 -1 4202496 4744 0 0 0 626 2 0 0 25 0 1 0 629676348 472039424 4642 268435456000 134512640 134534564 4293321648 18446744073709551615 3901792 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16361/statm: 115244 4642 95 6 0 113909 0
[pid=16362] ppid=16358 vsize=95588 CPUtime=6.29 cores=3
/proc/16362/stat : 16362 (march_hi) R 16358 16358 16332 0 -1 4202496 48108 0 0 0 617 12 0 0 25 0 1 0 629676348 97882112 20082 268435456000 4194304 4331988 140736755099360 18446744073709551615 4229471 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16362/statm: 23897 20082 172 34 0 22339 0
[pid=16363] ppid=16358 vsize=826420 CPUtime=113.77 cores=4-31
/proc/16363/stat : 16363 (plingeling) S 16358 16358 16332 0 -1 4202496 124934 1240 0 0 11342 34 0 1 19 0 29 0 629676348 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/16363/statm: 206605 74659 159 40 0 205149 0
[pid=16363/tid=16370] ppid=16358 vsize=826420 CPUtime=4 cores=4-31
/proc/16363/task/16370/stat : 16370 (plingeling) R 16358 16358 16332 0 -1 4202560 2476 1240 0 0 399 0 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331624 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16363/tid=16371] ppid=16358 vsize=826420 CPUtime=3.99 cores=4-31
/proc/16363/task/16371/stat : 16371 (plingeling) R 16358 16358 16332 0 -1 4202560 3023 1240 0 0 396 2 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16363/tid=16372] ppid=16358 vsize=826420 CPUtime=4 cores=4-31
/proc/16363/task/16372/stat : 16372 (plingeling) R 16358 16358 16332 0 -1 4202560 2386 1240 0 0 399 0 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4284076 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16363/tid=16373] ppid=16358 vsize=826420 CPUtime=4 cores=4-31
/proc/16363/task/16373/stat : 16373 (plingeling) R 16358 16358 16332 0 -1 4202560 1922 1240 0 0 399 0 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16363/tid=16374] ppid=16358 vsize=826420 CPUtime=3.91 cores=4-31
/proc/16363/task/16374/stat : 16374 (plingeling) R 16358 16358 16332 0 -1 4202560 2156 1240 0 0 390 0 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16363/tid=16375] ppid=16358 vsize=826420 CPUtime=3.99 cores=4-31
/proc/16363/task/16375/stat : 16375 (plingeling) R 16358 16358 16332 0 -1 4202560 1976 1240 0 0 398 0 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4241549 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16363/tid=16376] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16376/stat : 16376 (plingeling) R 16358 16358 16332 0 -1 4202560 2788 1240 0 0 397 0 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4210615 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16363/tid=16377] ppid=16358 vsize=826420 CPUtime=4 cores=4-31
/proc/16363/task/16377/stat : 16377 (plingeling) R 16358 16358 16332 0 -1 4202560 2355 1240 0 0 399 0 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16363/tid=16378] ppid=16358 vsize=826420 CPUtime=3.99 cores=4-31
/proc/16363/task/16378/stat : 16378 (plingeling) R 16358 16358 16332 0 -1 4202560 3123 1240 0 0 397 1 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16363/tid=16379] ppid=16358 vsize=826420 CPUtime=3.96 cores=4-31
/proc/16363/task/16379/stat : 16379 (plingeling) R 16358 16358 16332 0 -1 4202560 2813 1240 0 0 395 0 0 1 25 0 29 0 629676576 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16363/tid=16380] ppid=16358 vsize=826420 CPUtime=3.97 cores=4-31
/proc/16363/task/16380/stat : 16380 (plingeling) R 16358 16358 16332 0 -1 4202560 1889 1240 0 0 396 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16363/tid=16381] ppid=16358 vsize=826420 CPUtime=3.99 cores=4-31
/proc/16363/task/16381/stat : 16381 (plingeling) R 16358 16358 16332 0 -1 4202560 1166 1240 0 0 398 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16363/tid=16382] ppid=16358 vsize=826420 CPUtime=3.99 cores=4-31
/proc/16363/task/16382/stat : 16382 (plingeling) R 16358 16358 16332 0 -1 4202560 3223 1240 0 0 397 1 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4284127 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16363/tid=16383] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16383/stat : 16383 (plingeling) R 16358 16358 16332 0 -1 4202560 2410 1240 0 0 397 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16363/tid=16384] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16384/stat : 16384 (plingeling) R 16358 16358 16332 0 -1 4202560 2476 1240 0 0 397 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4250592 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16363/tid=16385] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16385/stat : 16385 (plingeling) R 16358 16358 16332 0 -1 4202560 2188 1240 0 0 397 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4284120 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16363/tid=16386] ppid=16358 vsize=826420 CPUtime=3.99 cores=4-31
/proc/16363/task/16386/stat : 16386 (plingeling) R 16358 16358 16332 0 -1 4202560 2787 1240 0 0 398 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4279978 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16363/tid=16387] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16387/stat : 16387 (plingeling) R 16358 16358 16332 0 -1 4202560 2829 1240 0 0 397 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16363/tid=16388] ppid=16358 vsize=826420 CPUtime=3.97 cores=4-31
/proc/16363/task/16388/stat : 16388 (plingeling) R 16358 16358 16332 0 -1 4202560 3172 1240 0 0 396 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4334477 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16363/tid=16389] ppid=16358 vsize=826420 CPUtime=3.99 cores=4-31
/proc/16363/task/16389/stat : 16389 (plingeling) R 16358 16358 16332 0 -1 4202560 1792 1240 0 0 398 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4236829 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16363/tid=16390] ppid=16358 vsize=826420 CPUtime=3.99 cores=4-31
/proc/16363/task/16390/stat : 16390 (plingeling) R 16358 16358 16332 0 -1 4202560 3400 1240 0 0 398 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16363/tid=16391] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16391/stat : 16391 (plingeling) R 16358 16358 16332 0 -1 4202560 1765 1240 0 0 397 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16363/tid=16392] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16392/stat : 16392 (plingeling) R 16358 16358 16332 0 -1 4202560 1913 1240 0 0 397 0 0 1 25 0 29 0 629676577 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4281760 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16363/tid=16393] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16393/stat : 16393 (plingeling) R 16358 16358 16332 0 -1 4202560 1897 1240 0 0 397 0 0 1 25 0 29 0 629676578 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16363/tid=16394] ppid=16358 vsize=826420 CPUtime=3.97 cores=4-31
/proc/16363/task/16394/stat : 16394 (plingeling) R 16358 16358 16332 0 -1 4202560 1186 1240 0 0 396 0 0 1 25 0 29 0 629676578 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16363/tid=16395] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16395/stat : 16395 (plingeling) R 16358 16358 16332 0 -1 4202560 4222 1240 0 0 396 1 0 1 25 0 29 0 629676578 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4236893 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16363/tid=16396] ppid=16358 vsize=826420 CPUtime=3.98 cores=4-31
/proc/16363/task/16396/stat : 16396 (plingeling) R 16358 16358 16332 0 -1 4202560 2009 1240 0 0 397 0 0 1 25 0 29 0 629676578 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16363/tid=16397] ppid=16358 vsize=826420 CPUtime=3.97 cores=4-31
/proc/16363/task/16397/stat : 16397 (plingeling) R 16358 16358 16332 0 -1 4202560 2699 1240 0 0 396 0 0 1 25 0 29 0 629676578 846254080 74659 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 138.91
Current children cumulated vsize (KiB) 1502488
[startup+12.702 s]
/proc/loadavg: 28.35 31.17 31.72 33/447 16399
/proc/meminfo: memFree=255243500/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
[pid=16359] ppid=16358 vsize=63088 CPUtime=12.68 cores=0
/proc/16359/stat : 16359 (cryptominisat) R 16358 16358 16332 0 -1 4202496 13501 0 0 0 1264 4 0 0 25 0 1 0 629676348 64602112 11243 268435456000 4194304 4587354 140734743918704 18446744073709551615 4430254 0 0 4096 2 0 0 0 17 0 0 0 0
################
# More data... #
################
[pid=16358] ppid=16356 vsize=18324 CPUtime=0.01 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 1 0 0 15 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
[pid=16359] ppid=16358 vsize=567720 CPUtime=2113.99 cores=0
/proc/16359/stat : 16359 (cryptominisat) R 16358 16358 16332 0 -1 4202496 218784 0 0 0 211299 100 0 0 25 0 1 0 629676348 581345280 40753 268435456000 4194304 4587354 140734743918704 18446744073709551615 4477278 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16359/statm: 141930 40753 336 96 0 138492 0
[pid=16360] ppid=16358 vsize=272092 CPUtime=2113.96 cores=1
/proc/16360/stat : 16360 (clasp) R 16358 16358 16332 0 -1 4202496 67746 0 0 0 211369 27 0 0 25 0 1 0 629676348 278622208 64874 268435456000 4194304 4785740 140736323912576 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16360/statm: 68023 64874 339 145 0 65068 0
[pid=16361] ppid=16358 vsize=460980 CPUtime=2113.99 cores=2
/proc/16361/stat : 16361 (TNM) R 16358 16358 16332 0 -1 4202496 4753 0 0 0 211397 2 0 0 25 0 1 0 629676348 472043520 4651 268435456000 134512640 134534564 4293321648 18446744073709551615 134530659 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16361/statm: 115245 4651 103 6 0 113910 0
[pid=16362] ppid=16358 vsize=200436 CPUtime=2113.98 cores=3
/proc/16362/stat : 16362 (march_hi) R 16358 16358 16332 0 -1 4202496 72869 0 0 0 211363 35 0 0 25 0 1 0 629676348 205246464 44772 268435456000 4194304 4331988 140736755099360 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16362/statm: 50109 44772 172 34 0 48551 0
[pid=16363] ppid=16358 vsize=2984556 CPUtime=59067.7 cores=4-31
/proc/16363/stat : 16363 (plingeling) S 16358 16358 16332 0 -1 4202496 1459641 1240 0 0 5905937 833 0 1 19 0 29 0 629676348 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/16363/statm: 746139 610107 159 40 0 744683 0
[pid=16363/tid=16370] ppid=16358 vsize=2984556 CPUtime=2111.69 cores=4-31
/proc/16363/task/16370/stat : 16370 (plingeling) R 16358 16358 16332 0 -1 4202560 55129 1240 0 0 211135 33 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16363/tid=16371] ppid=16358 vsize=2984556 CPUtime=2111.69 cores=4-31
/proc/16363/task/16371/stat : 16371 (plingeling) R 16358 16358 16332 0 -1 4202560 43712 1240 0 0 211139 29 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16363/tid=16372] ppid=16358 vsize=2984556 CPUtime=2111.7 cores=4-31
/proc/16363/task/16372/stat : 16372 (plingeling) R 16358 16358 16332 0 -1 4202560 52699 1240 0 0 211149 20 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4338290 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16363/tid=16373] ppid=16358 vsize=2984556 CPUtime=2111.66 cores=4-31
/proc/16363/task/16373/stat : 16373 (plingeling) R 16358 16358 16332 0 -1 4202560 26714 1240 0 0 211154 11 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16363/tid=16374] ppid=16358 vsize=2984556 CPUtime=2051.97 cores=4-31
/proc/16363/task/16374/stat : 16374 (plingeling) R 16358 16358 16332 0 -1 4202560 24262 1240 0 0 205181 15 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16363/tid=16375] ppid=16358 vsize=2984556 CPUtime=2111.68 cores=4-31
/proc/16363/task/16375/stat : 16375 (plingeling) R 16358 16358 16332 0 -1 4202560 27984 1240 0 0 211155 12 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16363/tid=16376] ppid=16358 vsize=2984556 CPUtime=2111.6 cores=4-31
/proc/16363/task/16376/stat : 16376 (plingeling) R 16358 16358 16332 0 -1 4202560 40560 1240 0 0 211144 15 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16363/tid=16377] ppid=16358 vsize=2984556 CPUtime=2111.67 cores=4-31
/proc/16363/task/16377/stat : 16377 (plingeling) R 16358 16358 16332 0 -1 4202560 128404 1240 0 0 211069 97 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16363/tid=16378] ppid=16358 vsize=2984556 CPUtime=2111.64 cores=4-31
/proc/16363/task/16378/stat : 16378 (plingeling) R 16358 16358 16332 0 -1 4202560 42561 1240 0 0 211133 30 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16363/tid=16379] ppid=16358 vsize=2984556 CPUtime=2111.67 cores=4-31
/proc/16363/task/16379/stat : 16379 (plingeling) R 16358 16358 16332 0 -1 4202560 35667 1240 0 0 211143 23 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16363/tid=16380] ppid=16358 vsize=2984556 CPUtime=2111.67 cores=4-31
/proc/16363/task/16380/stat : 16380 (plingeling) R 16358 16358 16332 0 -1 4202560 28643 1240 0 0 211160 6 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16363/tid=16381] ppid=16358 vsize=2984556 CPUtime=2111.66 cores=4-31
/proc/16363/task/16381/stat : 16381 (plingeling) R 16358 16358 16332 0 -1 4202560 11882 1240 0 0 211161 4 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4211026 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16363/tid=16382] ppid=16358 vsize=2984556 CPUtime=2111.68 cores=4-31
/proc/16363/task/16382/stat : 16382 (plingeling) R 16358 16358 16332 0 -1 4202560 29486 1240 0 0 211160 7 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16363/tid=16383] ppid=16358 vsize=2984556 CPUtime=2111.69 cores=4-31
/proc/16363/task/16383/stat : 16383 (plingeling) R 16358 16358 16332 0 -1 4202560 24940 1240 0 0 211157 11 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16363/tid=16384] ppid=16358 vsize=2984556 CPUtime=2111.65 cores=4-31
/proc/16363/task/16384/stat : 16384 (plingeling) R 16358 16358 16332 0 -1 4202560 46648 1240 0 0 211140 24 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16363/tid=16385] ppid=16358 vsize=2984556 CPUtime=2110.7 cores=4-31
/proc/16363/task/16385/stat : 16385 (plingeling) R 16358 16358 16332 0 -1 4202560 111611 1240 0 0 210939 130 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4284144 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16363/tid=16386] ppid=16358 vsize=2984556 CPUtime=2111.7 cores=4-31
/proc/16363/task/16386/stat : 16386 (plingeling) R 16358 16358 16332 0 -1 4202560 54089 1240 0 0 211145 24 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16363/tid=16387] ppid=16358 vsize=2984556 CPUtime=2111.63 cores=4-31
/proc/16363/task/16387/stat : 16387 (plingeling) R 16358 16358 16332 0 -1 4202560 74563 1240 0 0 211113 49 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4210842 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16363/tid=16388] ppid=16358 vsize=2984556 CPUtime=2111.67 cores=4-31
/proc/16363/task/16388/stat : 16388 (plingeling) R 16358 16358 16332 0 -1 4202560 49142 1240 0 0 211142 24 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16363/tid=16389] ppid=16358 vsize=2984556 CPUtime=2111.68 cores=4-31
/proc/16363/task/16389/stat : 16389 (plingeling) R 16358 16358 16332 0 -1 4202560 26493 1240 0 0 211155 12 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4279731 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16363/tid=16390] ppid=16358 vsize=2984556 CPUtime=2111.69 cores=4-31
/proc/16363/task/16390/stat : 16390 (plingeling) R 16358 16358 16332 0 -1 4202560 38352 1240 0 0 211142 26 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16363/tid=16391] ppid=16358 vsize=2984556 CPUtime=2111.12 cores=4-31
/proc/16363/task/16391/stat : 16391 (plingeling) R 16358 16358 16332 0 -1 4202560 39637 1240 0 0 211103 8 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16363/tid=16392] ppid=16358 vsize=2984556 CPUtime=2111.63 cores=4-31
/proc/16363/task/16392/stat : 16392 (plingeling) R 16358 16358 16332 0 -1 4202560 84240 1240 0 0 211140 22 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4238400 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16363/tid=16393] ppid=16358 vsize=2984556 CPUtime=2111.67 cores=4-31
/proc/16363/task/16393/stat : 16393 (plingeling) R 16358 16358 16332 0 -1 4202560 127121 1240 0 0 211058 108 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331807 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16363/tid=16394] ppid=16358 vsize=2984556 CPUtime=2111.65 cores=4-31
/proc/16363/task/16394/stat : 16394 (plingeling) R 16358 16358 16332 0 -1 4202560 38970 1240 0 0 211150 14 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16363/tid=16395] ppid=16358 vsize=2984556 CPUtime=2111.64 cores=4-31
/proc/16363/task/16395/stat : 16395 (plingeling) R 16358 16358 16332 0 -1 4202560 48051 1240 0 0 211135 28 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16363/tid=16396] ppid=16358 vsize=2984556 CPUtime=2111.67 cores=4-31
/proc/16363/task/16396/stat : 16396 (plingeling) R 16358 16358 16332 0 -1 4202560 71566 1240 0 0 211146 20 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330876 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16363/tid=16397] ppid=16358 vsize=2984556 CPUtime=2111.66 cores=4-31
/proc/16363/task/16397/stat : 16397 (plingeling) R 16358 16358 16332 0 -1 4202560 19622 1240 0 0 211161 4 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 67523.6
Current children cumulated vsize (KiB) 4504108
[startup+2115.2 s]
/proc/loadavg: 32.11 32.12 32.02 33/447 16464
/proc/meminfo: memFree=252687152/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=0.01 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 512 0 0 0 0 1 0 0 15 0 1 0 629676347 18763776 385 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9201901190399393791 0 0 17 28 0 0 0
/proc/16358/statm: 4581 385 337 23 0 91 0
[pid=16359] ppid=16358 vsize=567720 CPUtime=2114.79 cores=0
/proc/16359/stat : 16359 (cryptominisat) R 16358 16358 16332 0 -1 4202496 218809 0 0 0 211379 100 0 0 25 0 1 0 629676348 581345280 40776 268435456000 4194304 4587354 140734743918704 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16359/statm: 141930 40776 336 96 0 138492 0
[pid=16360] ppid=16358 vsize=272092 CPUtime=2114.76 cores=1
/proc/16360/stat : 16360 (clasp) R 16358 16358 16332 0 -1 4202496 67746 0 0 0 211449 27 0 0 25 0 1 0 629676348 278622208 64874 268435456000 4194304 4785740 140736323912576 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16360/statm: 68023 64874 339 145 0 65068 0
[pid=16361] ppid=16358 vsize=460980 CPUtime=2114.79 cores=2
/proc/16361/stat : 16361 (TNM) R 16358 16358 16332 0 -1 4202496 4753 0 0 0 211477 2 0 0 25 0 1 0 629676348 472043520 4651 268435456000 134512640 134534564 4293321648 18446744073709551615 3900913 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16361/statm: 115245 4651 103 6 0 113910 0
[pid=16362] ppid=16358 vsize=200436 CPUtime=2114.78 cores=3
/proc/16362/stat : 16362 (march_hi) R 16358 16358 16332 0 -1 4202496 72874 0 0 0 211443 35 0 0 25 0 1 0 629676348 205246464 44777 268435456000 4194304 4331988 140736755099360 18446744073709551615 4229533 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16362/statm: 50109 44777 172 34 0 48551 0
[pid=16363] ppid=16358 vsize=2984556 CPUtime=59090.1 cores=4-31
/proc/16363/stat : 16363 (plingeling) S 16358 16358 16332 0 -1 4202496 1459641 1240 0 0 5908176 833 0 1 19 0 29 0 629676348 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/16363/statm: 746139 610107 159 40 0 744683 0
[pid=16363/tid=16370] ppid=16358 vsize=2984556 CPUtime=2112.49 cores=4-31
/proc/16363/task/16370/stat : 16370 (plingeling) R 16358 16358 16332 0 -1 4202560 55129 1240 0 0 211215 33 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4282784 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16363/tid=16371] ppid=16358 vsize=2984556 CPUtime=2112.49 cores=4-31
/proc/16363/task/16371/stat : 16371 (plingeling) R 16358 16358 16332 0 -1 4202560 43712 1240 0 0 211219 29 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16363/tid=16372] ppid=16358 vsize=2984556 CPUtime=2112.5 cores=4-31
/proc/16363/task/16372/stat : 16372 (plingeling) R 16358 16358 16332 0 -1 4202560 52699 1240 0 0 211229 20 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16363/tid=16373] ppid=16358 vsize=2984556 CPUtime=2112.46 cores=4-31
/proc/16363/task/16373/stat : 16373 (plingeling) R 16358 16358 16332 0 -1 4202560 26714 1240 0 0 211234 11 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16363/tid=16374] ppid=16358 vsize=2984556 CPUtime=2052.77 cores=4-31
/proc/16363/task/16374/stat : 16374 (plingeling) R 16358 16358 16332 0 -1 4202560 24262 1240 0 0 205261 15 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16363/tid=16375] ppid=16358 vsize=2984556 CPUtime=2112.48 cores=4-31
/proc/16363/task/16375/stat : 16375 (plingeling) R 16358 16358 16332 0 -1 4202560 27984 1240 0 0 211235 12 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16363/tid=16376] ppid=16358 vsize=2984556 CPUtime=2112.4 cores=4-31
/proc/16363/task/16376/stat : 16376 (plingeling) R 16358 16358 16332 0 -1 4202560 40560 1240 0 0 211224 15 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16363/tid=16377] ppid=16358 vsize=2984556 CPUtime=2112.47 cores=4-31
/proc/16363/task/16377/stat : 16377 (plingeling) R 16358 16358 16332 0 -1 4202560 128404 1240 0 0 211149 97 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16363/tid=16378] ppid=16358 vsize=2984556 CPUtime=2112.44 cores=4-31
/proc/16363/task/16378/stat : 16378 (plingeling) R 16358 16358 16332 0 -1 4202560 42561 1240 0 0 211213 30 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16363/tid=16379] ppid=16358 vsize=2984556 CPUtime=2112.47 cores=4-31
/proc/16363/task/16379/stat : 16379 (plingeling) R 16358 16358 16332 0 -1 4202560 35667 1240 0 0 211223 23 0 1 25 0 29 0 629676576 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16363/tid=16380] ppid=16358 vsize=2984556 CPUtime=2112.47 cores=4-31
/proc/16363/task/16380/stat : 16380 (plingeling) R 16358 16358 16332 0 -1 4202560 28643 1240 0 0 211240 6 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16363/tid=16381] ppid=16358 vsize=2984556 CPUtime=2112.46 cores=4-31
/proc/16363/task/16381/stat : 16381 (plingeling) R 16358 16358 16332 0 -1 4202560 11882 1240 0 0 211241 4 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16363/tid=16382] ppid=16358 vsize=2984556 CPUtime=2112.48 cores=4-31
/proc/16363/task/16382/stat : 16382 (plingeling) R 16358 16358 16332 0 -1 4202560 29486 1240 0 0 211240 7 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16363/tid=16383] ppid=16358 vsize=2984556 CPUtime=2112.49 cores=4-31
/proc/16363/task/16383/stat : 16383 (plingeling) R 16358 16358 16332 0 -1 4202560 24940 1240 0 0 211237 11 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16363/tid=16384] ppid=16358 vsize=2984556 CPUtime=2112.45 cores=4-31
/proc/16363/task/16384/stat : 16384 (plingeling) R 16358 16358 16332 0 -1 4202560 46648 1240 0 0 211220 24 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16363/tid=16385] ppid=16358 vsize=2984556 CPUtime=2111.5 cores=4-31
/proc/16363/task/16385/stat : 16385 (plingeling) R 16358 16358 16332 0 -1 4202560 111611 1240 0 0 211019 130 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16363/tid=16386] ppid=16358 vsize=2984556 CPUtime=2112.49 cores=4-31
/proc/16363/task/16386/stat : 16386 (plingeling) R 16358 16358 16332 0 -1 4202560 54089 1240 0 0 211224 24 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16363/tid=16387] ppid=16358 vsize=2984556 CPUtime=2112.43 cores=4-31
/proc/16363/task/16387/stat : 16387 (plingeling) R 16358 16358 16332 0 -1 4202560 74563 1240 0 0 211193 49 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4334062 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16363/tid=16388] ppid=16358 vsize=2984556 CPUtime=2112.47 cores=4-31
/proc/16363/task/16388/stat : 16388 (plingeling) R 16358 16358 16332 0 -1 4202560 49142 1240 0 0 211222 24 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4338290 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16363/tid=16389] ppid=16358 vsize=2984556 CPUtime=2112.48 cores=4-31
/proc/16363/task/16389/stat : 16389 (plingeling) R 16358 16358 16332 0 -1 4202560 26493 1240 0 0 211235 12 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16363/tid=16390] ppid=16358 vsize=2984556 CPUtime=2112.49 cores=4-31
/proc/16363/task/16390/stat : 16390 (plingeling) R 16358 16358 16332 0 -1 4202560 38352 1240 0 0 211222 26 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16363/tid=16391] ppid=16358 vsize=2984556 CPUtime=2111.92 cores=4-31
/proc/16363/task/16391/stat : 16391 (plingeling) R 16358 16358 16332 0 -1 4202560 39637 1240 0 0 211183 8 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16363/tid=16392] ppid=16358 vsize=2984556 CPUtime=2112.43 cores=4-31
/proc/16363/task/16392/stat : 16392 (plingeling) R 16358 16358 16332 0 -1 4202560 84240 1240 0 0 211220 22 0 1 25 0 29 0 629676577 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16363/tid=16393] ppid=16358 vsize=2984556 CPUtime=2112.47 cores=4-31
/proc/16363/task/16393/stat : 16393 (plingeling) R 16358 16358 16332 0 -1 4202560 127121 1240 0 0 211138 108 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16363/tid=16394] ppid=16358 vsize=2984556 CPUtime=2112.45 cores=4-31
/proc/16363/task/16394/stat : 16394 (plingeling) R 16358 16358 16332 0 -1 4202560 38970 1240 0 0 211230 14 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16363/tid=16395] ppid=16358 vsize=2984556 CPUtime=2112.44 cores=4-31
/proc/16363/task/16395/stat : 16395 (plingeling) R 16358 16358 16332 0 -1 4202560 48051 1240 0 0 211215 28 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16363/tid=16396] ppid=16358 vsize=2984556 CPUtime=2112.47 cores=4-31
/proc/16363/task/16396/stat : 16396 (plingeling) R 16358 16358 16332 0 -1 4202560 71566 1240 0 0 211226 20 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4331392 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16363/tid=16397] ppid=16358 vsize=2984556 CPUtime=2112.46 cores=4-31
/proc/16363/task/16397/stat : 16397 (plingeling) R 16358 16358 16332 0 -1 4202560 19622 1240 0 0 211241 4 0 1 25 0 29 0 629676578 3056185344 610107 268435456000 4194304 4356188 140737099207664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 67549.2
Current children cumulated vsize (KiB) 4504108
[startup+2115.6 s]
/proc/loadavg: 32.11 32.12 32.02 33/447 16464
/proc/meminfo: memFree=252687152/264257624 swapFree=67111528/67111528
[pid=16358] ppid=16356 vsize=18324 CPUtime=8460.16 cores=0-31
/proc/16358/stat : 16358 (ppfolio) S 16356 16358 16332 0 -1 4202496 513 364201 0 0 0 1 845845 170 15 0 1 0 629676347 18763776 386 268435456000 4194304 4287625 140733310443264 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 28 0 0 0
/proc/16358/statm: 4581 386 338 23 0 91 0
[pid=16363] ppid=16358 vsize=0 CPUtime=59097 cores=4-31
/proc/16363/stat : 16363 (plingeling) Z 16358 16358 16332 0 -1 4203548 1459641 1240 0 0 5908850 849 0 1 18 0 2 0 629676348 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/16363/statm: 0 0 0 0 0 0 0
[pid=16363/tid=16387] ppid=16358 vsize=0 CPUtime=2112.83 cores=4-31
/proc/16363/task/16387/stat : 16387 (plingeling) R 16358 16358 16332 0 -1 4203588 74563 1240 0 0 211217 65 0 1 25 0 2 0 629676577 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 67557.2
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 2115.66
CPU time (s): 67557.2
CPU user time (s): 67547
CPU system time (s): 10.2874
CPU usage (%): 3193.2
Max. virtual memory (cumulated for all children) (KiB): 6067336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67547
system time used= 10.2874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1825614
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= 2526
involuntary context switches= 168686
runsolver used 12.6331 second user time and 47.1738 second system time
The end
Begin job on node200 at 2011-05-12 08:31:39
IDJOB=3347461
IDBENCH=82466
IDSOLVER=1808
FILE ID=node200/3347461-1305181899
RUNJOBID= node200-1305181899-16346
PBS_JOBID= 13282078
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347461-1305181899/watcher-3347461-1305181899 -o /tmp/evaluation-result-3347461-1305181899/solver-3347461-1305181899 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347461-1305181899.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ee159af2e208d290f7f3fefd15c344f2
RANDOM SEED=2101200948
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: 255745700 kB
Buffers: 426168 kB
Cached: 7685732 kB
SwapCached: 0 kB
Active: 7256364 kB
Inactive: 924388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255745700 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11940 kB
Writeback: 0 kB
AnonPages: 68736 kB
Mapped: 14432 kB
Slab: 249080 kB
PageTables: 4408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188484 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= 62040 MiB
End job on node200 at 2011-05-12 09:06:55