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
105030.84/3294.23 s UNSATISFIABLE
105032.30/3294.45 solver [2] clasp 1.3.6 answered
105032.30/3294.45 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-3347223-1304857493/watcher-3347223-1304857493 -o /tmp/evaluation-result-3347223-1304857493/solver-3347223-1304857493 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347223-1304857493.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.25 31.01 31.40 1/413 20493
/proc/meminfo: memFree=256747784/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 19 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
[startup+0.0670211 s]
/proc/loadavg: 27.25 31.01 31.40 1/413 20493
/proc/meminfo: memFree=256747784/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 19 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.102014 s]
/proc/loadavg: 27.25 31.01 31.40 1/413 20493
/proc/meminfo: memFree=256747784/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 19 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301042 s]
/proc/loadavg: 27.25 31.01 31.40 1/413 20493
/proc/meminfo: memFree=256747784/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 17 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701049 s]
/proc/loadavg: 27.25 31.01 31.40 1/413 20493
/proc/meminfo: memFree=256747784/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 17 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50107 s]
/proc/loadavg: 27.25 31.01 31.40 6/419 20504
/proc/meminfo: memFree=256447396/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
[pid=20494] ppid=20493 vsize=105980 CPUtime=1.48 cores=0
/proc/20494/stat : 20494 (cryptominisat) R 20493 20493 20467 0 -1 4202496 21451 0 0 0 144 4 0 0 20 0 1 0 597235782 108523520 19759 268435456000 4194304 4587354 140733688538656 18446744073709551615 4356696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20494/statm: 26495 19760 313 96 0 23057 0
[pid=20495] ppid=20493 vsize=103600 CPUtime=1.49 cores=1
/proc/20495/stat : 20495 (clasp) R 20493 20493 20467 0 -1 4202496 26076 0 0 0 142 7 0 0 20 0 1 0 597235782 106086400 22692 268435456000 4194304 4785740 140734993275296 18446744073709551615 258650652667 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20495/statm: 25900 22692 317 145 0 22945 0
[pid=20496] ppid=20493 vsize=484220 CPUtime=1.48 cores=2
/proc/20496/stat : 20496 (TNM) R 20493 20493 20467 0 -1 4202496 16044 0 0 0 143 5 0 0 25 0 1 0 597235782 495841280 15942 268435456000 134512640 134534564 4287870832 18446744073709551615 134529352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20496/statm: 121055 15942 95 6 0 119720 0
[pid=20497] ppid=20493 vsize=90916 CPUtime=1.48 cores=3
/proc/20497/stat : 20497 (march_hi) R 20493 20493 20467 0 -1 4194304 33124 0 0 0 139 9 0 0 20 0 1 0 597235782 93097984 16794 268435456000 4194304 4331988 140734746608816 18446744073709551615 4251649 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20497/statm: 22729 16794 126 34 0 21171 0
[pid=20498] ppid=20493 vsize=120520 CPUtime=1.49 cores=4-31
/proc/20498/stat : 20498 (plingeling) R 20493 20493 20467 0 -1 4202496 28904 1243 0 0 140 8 0 1 21 0 1 0 597235782 123412480 28788 268435456000 4194304 4356188 140735896892304 18446744073709551615 4278590 0 0 4096 17442 0 0 0 17 11 0 0 0
/proc/20498/statm: 30130 28788 129 40 0 28674 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 923560
[startup+3.10111 s]
/proc/loadavg: 27.25 31.01 31.40 6/419 20504
/proc/meminfo: memFree=256232700/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
[pid=20494] ppid=20493 vsize=200908 CPUtime=3.09 cores=0
/proc/20494/stat : 20494 (cryptominisat) R 20493 20493 20467 0 -1 4202496 41487 0 0 0 298 11 0 0 25 0 1 0 597235782 205729792 36866 268435456000 4194304 4587354 140733688538656 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20494/statm: 50227 36867 315 96 0 46789 0
[pid=20495] ppid=20493 vsize=145840 CPUtime=3.09 cores=1
/proc/20495/stat : 20495 (clasp) R 20493 20493 20467 0 -1 4202496 36554 0 0 0 300 9 0 0 25 0 1 0 597235782 149340160 33170 268435456000 4194304 4785740 140734993275296 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20495/statm: 36460 33170 317 145 0 33505 0
[pid=20496] ppid=20493 vsize=484220 CPUtime=3.08 cores=2
/proc/20496/stat : 20496 (TNM) R 20493 20493 20467 0 -1 4202496 16044 0 0 0 303 5 0 0 25 0 1 0 597235782 495841280 15942 268435456000 134512640 134534564 4287870832 18446744073709551615 134529366 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20496/statm: 121055 15942 95 6 0 119720 0
[pid=20497] ppid=20493 vsize=80884 CPUtime=3.08 cores=3
/proc/20497/stat : 20497 (march_hi) R 20493 20493 20467 0 -1 4202496 78426 0 0 0 289 19 0 0 25 0 1 0 597235782 82825216 14304 268435456000 4194304 4331988 140734746608816 18446744073709551615 4256835 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20497/statm: 20221 14304 140 34 0 18663 0
[pid=20498] ppid=20493 vsize=232864 CPUtime=3.09 cores=4-31
/proc/20498/stat : 20498 (plingeling) R 20493 20493 20467 0 -1 4202496 56994 1243 0 0 294 14 0 1 25 0 1 0 597235782 238452736 56874 268435456000 4194304 4356188 140735896892304 18446744073709551615 4213242 0 0 4096 17442 0 0 0 17 11 0 0 0
/proc/20498/statm: 58216 56874 129 40 0 56760 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 1163040
[startup+6.30122 s]
/proc/loadavg: 25.47 30.57 31.26 6/419 20504
/proc/meminfo: memFree=255714284/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
[pid=20494] ppid=20493 vsize=269008 CPUtime=6.29 cores=0
/proc/20494/stat : 20494 (cryptominisat) R 20493 20493 20467 0 -1 4202496 68014 0 0 0 611 18 0 0 25 0 1 0 597235782 275464192 58597 268435456000 4194304 4587354 140733688538656 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20494/statm: 67252 58597 345 96 0 63814 0
[pid=20495] ppid=20493 vsize=168172 CPUtime=6.29 cores=1
/proc/20495/stat : 20495 (clasp) R 20493 20493 20467 0 -1 4202496 44542 0 0 0 618 11 0 0 25 0 1 0 597235782 172208128 38260 268435456000 4194304 4785740 140734993275296 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20495/statm: 42043 38260 338 145 0 39088 0
[pid=20496] ppid=20493 vsize=488052 CPUtime=6.28 cores=2
/proc/20496/stat : 20496 (TNM) R 20493 20493 20467 0 -1 4202496 16045 0 0 0 623 5 0 0 25 0 1 0 597235782 499765248 15943 268435456000 134512640 134534564 4287870832 18446744073709551615 134528330 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20496/statm: 122013 15943 95 6 0 120678 0
[pid=20497] ppid=20493 vsize=296876 CPUtime=6.28 cores=3
/proc/20497/stat : 20497 (march_hi) R 20493 20493 20467 0 -1 4202496 144309 0 0 0 596 32 0 0 25 0 1 0 597235782 304001024 41843 268435456000 4194304 4331988 140734746608816 18446744073709551615 4229439 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20497/statm: 74219 41843 172 34 0 72661 0
[pid=20498] ppid=20493 vsize=457428 CPUtime=6.29 cores=4-31
/proc/20498/stat : 20498 (plingeling) R 20493 20493 20467 0 -1 4202496 113135 1243 0 0 602 26 0 1 25 0 1 0 597235782 468406272 113015 268435456000 4194304 4356188 140735896892304 18446744073709551615 4278640 0 0 4096 17442 0 0 0 17 11 0 0 0
/proc/20498/statm: 114357 113015 129 40 0 112901 0
Current children cumulated CPU time (s) 31.43
Current children cumulated vsize (KiB) 1697860
[startup+12.7024 s]
/proc/loadavg: 26.07 30.61 31.27 33/447 20532
/proc/meminfo: memFree=255093212/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
[pid=20494] ppid=20493 vsize=269008 CPUtime=12.68 cores=0
/proc/20494/stat : 20494 (cryptominisat) R 20493 20493 20467 0 -1 4202496 68427 0 0 0 1250 18 0 0 25 0 1 0 597235782 275464192 59005 268435456000 4194304 4587354 140733688538656 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20494/statm: 67252 59005 345 96 0 63814 0
[pid=20495] ppid=20493 vsize=179736 CPUtime=12.68 cores=1
/proc/20495/stat : 20495 (clasp) R 20493 20493 20467 0 -1 4202496 47314 0 0 0 1257 11 0 0 25 0 1 0 597235782 184049664 41032 268435456000 4194304 4785740 140734993275296 18446744073709551615 4277703 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20495/statm: 44934 41032 338 145 0 41979 0
[pid=20496] ppid=20493 vsize=488052 CPUtime=12.68 cores=2
/proc/20496/stat : 20496 (TNM) R 20493 20493 20467 0 -1 4202496 16045 0 0 0 1263 5 0 0 25 0 1 0 597235782 499765248 15943 268435456000 134512640 134534564 4287870832 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20496/statm: 122013 15943 95 6 0 120678 0
[pid=20497] ppid=20493 vsize=325032 CPUtime=12.68 cores=3
/proc/20497/stat : 20497 (march_hi) R 20493 20493 20467 0 -1 4202496 173711 0 0 0 1229 39 0 0 25 0 1 0 597235782 332832768 71245 268435456000 4194304 4331988 140734746608816 18446744073709551615 4228981 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20497/statm: 81258 71245 172 34 0 79700 0
[pid=20498] ppid=20493 vsize=1343804 CPUtime=109.64 cores=4-31
/proc/20498/stat : 20498 (plingeling) S 20493 20493 20467 0 -1 4202496 429016 1243 0 0 10664 299 0 1 20 0 29 0 597235782 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/20498/statm: 335951 237149 159 40 0 334495 0
[pid=20498/tid=20505] ppid=20493 vsize=1343804 CPUtime=3.57 cores=4-31
/proc/20498/task/20505/stat : 20505 (plingeling) R 20493 20493 20467 0 -1 4202560 6957 1243 0 0 349 7 0 1 20 0 29 0 597236670 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4304644 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20498/tid=20506] ppid=20493 vsize=1343804 CPUtime=3.61 cores=4-31
/proc/20498/task/20506/stat : 20506 (plingeling) R 20493 20493 20467 0 -1 4202560 8756 1243 0 0 350 10 0 1 20 0 29 0 597236670 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20498/tid=20507] ppid=20493 vsize=1343804 CPUtime=3.55 cores=4-31
/proc/20498/task/20507/stat : 20507 (plingeling) R 20493 20493 20467 0 -1 4202560 11761 1243 0 0 344 10 0 1 20 0 29 0 597236670 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4293708 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20498/tid=20508] ppid=20493 vsize=1343804 CPUtime=3.79 cores=4-31
/proc/20498/task/20508/stat : 20508 (plingeling) R 20493 20493 20467 0 -1 4202560 6828 1243 0 0 375 3 0 1 25 0 29 0 597236670 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20498/tid=20509] ppid=20493 vsize=1343804 CPUtime=3.76 cores=4-31
/proc/20498/task/20509/stat : 20509 (plingeling) R 20493 20493 20467 0 -1 4202560 9162 1243 0 0 368 7 0 1 25 0 29 0 597236670 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4231763 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20498/tid=20510] ppid=20493 vsize=1343804 CPUtime=3.5 cores=4-31
/proc/20498/task/20510/stat : 20510 (plingeling) R 20493 20493 20467 0 -1 4202560 9416 1243 0 0 341 8 0 1 20 0 29 0 597236670 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4214803 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20498/tid=20511] ppid=20493 vsize=1343804 CPUtime=3.59 cores=4-31
/proc/20498/task/20511/stat : 20511 (plingeling) R 20493 20493 20467 0 -1 4202560 10192 1243 0 0 348 10 0 1 21 0 29 0 597236670 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4231647 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20498/tid=20512] ppid=20493 vsize=1343804 CPUtime=3.6 cores=4-31
/proc/20498/task/20512/stat : 20512 (plingeling) R 20493 20493 20467 0 -1 4202560 9244 1243 0 0 347 12 0 1 20 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4300648 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20498/tid=20513] ppid=20493 vsize=1343804 CPUtime=3.54 cores=4-31
/proc/20498/task/20513/stat : 20513 (plingeling) R 20493 20493 20467 0 -1 4202560 9591 1243 0 0 343 10 0 1 21 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4214368 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20498/tid=20514] ppid=20493 vsize=1343804 CPUtime=3.57 cores=4-31
/proc/20498/task/20514/stat : 20514 (plingeling) R 20493 20493 20467 0 -1 4202560 8716 1243 0 0 343 13 0 1 20 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4275198 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20498/tid=20515] ppid=20493 vsize=1343804 CPUtime=3.57 cores=4-31
/proc/20498/task/20515/stat : 20515 (plingeling) R 20493 20493 20467 0 -1 4202560 10512 1243 0 0 343 13 0 1 20 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4295249 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20498/tid=20516] ppid=20493 vsize=1343804 CPUtime=3.76 cores=4-31
/proc/20498/task/20516/stat : 20516 (plingeling) R 20493 20493 20467 0 -1 4202560 6978 1243 0 0 369 6 0 1 25 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20498/tid=20517] ppid=20493 vsize=1343804 CPUtime=3.58 cores=4-31
/proc/20498/task/20517/stat : 20517 (plingeling) R 20493 20493 20467 0 -1 4202560 11744 1243 0 0 346 11 0 1 20 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20498/tid=20518] ppid=20493 vsize=1343804 CPUtime=3.57 cores=4-31
/proc/20498/task/20518/stat : 20518 (plingeling) R 20493 20493 20467 0 -1 4202560 11918 1243 0 0 345 11 0 1 25 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4232885 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20498/tid=20519] ppid=20493 vsize=1343804 CPUtime=3.57 cores=4-31
/proc/20498/task/20519/stat : 20519 (plingeling) R 20493 20493 20467 0 -1 4202560 10932 1243 0 0 345 11 0 1 20 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4231516 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20498/tid=20520] ppid=20493 vsize=1343804 CPUtime=3.73 cores=4-31
/proc/20498/task/20520/stat : 20520 (plingeling) R 20493 20493 20467 0 -1 4202560 10072 1243 0 0 366 6 0 1 25 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4208988 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20498/tid=20521] ppid=20493 vsize=1343804 CPUtime=3.47 cores=4-31
/proc/20498/task/20521/stat : 20521 (plingeling) R 20493 20493 20467 0 -1 4202560 9807 1243 0 0 339 7 0 1 20 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4301779 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20498/tid=20522] ppid=20493 vsize=1343804 CPUtime=3.5 cores=4-31
/proc/20498/task/20522/stat : 20522 (plingeling) R 20493 20493 20467 0 -1 4202560 5992 1243 0 0 343 6 0 1 25 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4230333 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20498/tid=20523] ppid=20493 vsize=1343804 CPUtime=3.55 cores=4-31
/proc/20498/task/20523/stat : 20523 (plingeling) R 20493 20493 20467 0 -1 4202560 11809 1243 0 0 344 10 0 1 21 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4232885 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20498/tid=20524] ppid=20493 vsize=1343804 CPUtime=3.64 cores=4-31
/proc/20498/task/20524/stat : 20524 (plingeling) R 20493 20493 20467 0 -1 4202560 5864 1243 0 0 361 2 0 1 25 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20498/tid=20525] ppid=20493 vsize=1343804 CPUtime=3.56 cores=4-31
/proc/20498/task/20525/stat : 20525 (plingeling) R 20493 20493 20467 0 -1 4202560 9272 1243 0 0 347 8 0 1 21 0 29 0 597236671 1376055296 237149 268435456000 4194304 4356188 140735896892304 18446744073709551615 4303168 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20498/tid=20526] ppid=20493 vsize=1343804 CPUtime=3.49 cores=4-31
################
# More data... #
################
/proc/20497/statm: 87430 77519 172 34 0 85872 0
[pid=20498] ppid=20493 vsize=2892808 CPUtime=91837 cores=4-31
/proc/20498/stat : 20498 (plingeling) S 20493 20493 20467 0 -1 4202496 4569050 1243 0 0 9180156 3545 0 1 20 0 29 0 597235782 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/20498/statm: 723202 626367 159 40 0 721746 0
[pid=20498/tid=20505] ppid=20493 vsize=2892808 CPUtime=3191.45 cores=4-31
/proc/20498/task/20505/stat : 20505 (plingeling) R 20493 20493 20467 0 -1 4202560 181579 1243 0 0 318988 156 0 1 25 0 29 0 597236670 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20498/tid=20506] ppid=20493 vsize=2892808 CPUtime=3282.95 cores=4-31
/proc/20498/task/20506/stat : 20506 (plingeling) R 20493 20493 20467 0 -1 4202560 198690 1243 0 0 328129 165 0 1 25 0 29 0 597236670 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20498/tid=20507] ppid=20493 vsize=2892808 CPUtime=3283.01 cores=4-31
/proc/20498/task/20507/stat : 20507 (plingeling) R 20493 20493 20467 0 -1 4202560 175902 1243 0 0 328160 140 0 1 25 0 29 0 597236670 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20498/tid=20508] ppid=20493 vsize=2892808 CPUtime=3283.88 cores=4-31
/proc/20498/task/20508/stat : 20508 (plingeling) R 20493 20493 20467 0 -1 4202560 36075 1243 0 0 328375 12 0 1 25 0 29 0 597236670 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281690 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20498/tid=20509] ppid=20493 vsize=2892808 CPUtime=3283.36 cores=4-31
/proc/20498/task/20509/stat : 20509 (plingeling) R 20493 20493 20467 0 -1 4202560 180933 1243 0 0 328210 125 0 1 25 0 29 0 597236670 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20498/tid=20510] ppid=20493 vsize=2892808 CPUtime=3282.75 cores=4-31
/proc/20498/task/20510/stat : 20510 (plingeling) R 20493 20493 20467 0 -1 4202560 170186 1243 0 0 328173 101 0 1 25 0 29 0 597236670 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20498/tid=20511] ppid=20493 vsize=2892808 CPUtime=3281.18 cores=4-31
/proc/20498/task/20511/stat : 20511 (plingeling) R 20493 20493 20467 0 -1 4202560 192560 1243 0 0 327954 163 0 1 25 0 29 0 597236670 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20498/tid=20512] ppid=20493 vsize=2892808 CPUtime=3283.05 cores=4-31
/proc/20498/task/20512/stat : 20512 (plingeling) R 20493 20493 20467 0 -1 4202560 153068 1243 0 0 328159 145 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281715 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20498/tid=20513] ppid=20493 vsize=2892808 CPUtime=3282.59 cores=4-31
/proc/20498/task/20513/stat : 20513 (plingeling) R 20493 20493 20467 0 -1 4202560 192609 1243 0 0 328119 139 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4312430 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20498/tid=20514] ppid=20493 vsize=2892808 CPUtime=3283.15 cores=4-31
/proc/20498/task/20514/stat : 20514 (plingeling) R 20493 20493 20467 0 -1 4202560 185770 1243 0 0 328177 137 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4284120 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20498/tid=20515] ppid=20493 vsize=2892808 CPUtime=3282.63 cores=4-31
/proc/20498/task/20515/stat : 20515 (plingeling) R 20493 20493 20467 0 -1 4202560 164650 1243 0 0 328110 152 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4234169 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20498/tid=20516] ppid=20493 vsize=2892808 CPUtime=3283.49 cores=4-31
/proc/20498/task/20516/stat : 20516 (plingeling) R 20493 20493 20467 0 -1 4202560 38369 1243 0 0 328333 15 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20498/tid=20517] ppid=20493 vsize=2892808 CPUtime=3282.73 cores=4-31
/proc/20498/task/20517/stat : 20517 (plingeling) R 20493 20493 20467 0 -1 4202560 171317 1243 0 0 328157 115 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20498/tid=20518] ppid=20493 vsize=2892808 CPUtime=3281.99 cores=4-31
/proc/20498/task/20518/stat : 20518 (plingeling) R 20493 20493 20467 0 -1 4202560 168495 1243 0 0 328063 135 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281624 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20498/tid=20519] ppid=20493 vsize=2892808 CPUtime=3282.68 cores=4-31
/proc/20498/task/20519/stat : 20519 (plingeling) R 20493 20493 20467 0 -1 4202560 179362 1243 0 0 328112 155 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20498/tid=20520] ppid=20493 vsize=2892808 CPUtime=3282.6 cores=4-31
/proc/20498/task/20520/stat : 20520 (plingeling) R 20493 20493 20467 0 -1 4202560 174146 1243 0 0 328092 167 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281537 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20498/tid=20521] ppid=20493 vsize=2892808 CPUtime=3282.25 cores=4-31
/proc/20498/task/20521/stat : 20521 (plingeling) R 20493 20493 20467 0 -1 4202560 186074 1243 0 0 328083 141 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20498/tid=20522] ppid=20493 vsize=2892808 CPUtime=3283.12 cores=4-31
/proc/20498/task/20522/stat : 20522 (plingeling) R 20493 20493 20467 0 -1 4202560 173725 1243 0 0 328114 197 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20498/tid=20523] ppid=20493 vsize=2892808 CPUtime=3282.9 cores=4-31
/proc/20498/task/20523/stat : 20523 (plingeling) R 20493 20493 20467 0 -1 4202560 171935 1243 0 0 328189 100 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281643 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20498/tid=20524] ppid=20493 vsize=2892808 CPUtime=3283.64 cores=4-31
/proc/20498/task/20524/stat : 20524 (plingeling) R 20493 20493 20467 0 -1 4202560 36024 1243 0 0 328353 10 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20498/tid=20525] ppid=20493 vsize=2892808 CPUtime=3283.17 cores=4-31
/proc/20498/task/20525/stat : 20525 (plingeling) R 20493 20493 20467 0 -1 4202560 191465 1243 0 0 328181 135 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281643 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20498/tid=20526] ppid=20493 vsize=2892808 CPUtime=3282.42 cores=4-31
/proc/20498/task/20526/stat : 20526 (plingeling) R 20493 20493 20467 0 -1 4202560 171098 1243 0 0 328121 120 0 1 25 0 29 0 597236671 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20498/tid=20527] ppid=20493 vsize=2892808 CPUtime=3282.82 cores=4-31
/proc/20498/task/20527/stat : 20527 (plingeling) R 20493 20493 20467 0 -1 4202560 184630 1243 0 0 328130 151 0 1 25 0 29 0 597236672 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20498/tid=20528] ppid=20493 vsize=2892808 CPUtime=3282.86 cores=4-31
/proc/20498/task/20528/stat : 20528 (plingeling) R 20493 20493 20467 0 -1 4202560 167031 1243 0 0 328120 165 0 1 25 0 29 0 597236672 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20498/tid=20529] ppid=20493 vsize=2892808 CPUtime=3281.29 cores=4-31
/proc/20498/task/20529/stat : 20529 (plingeling) R 20493 20493 20467 0 -1 4202560 183889 1243 0 0 327959 169 0 1 25 0 29 0 597236672 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20498/tid=20530] ppid=20493 vsize=2892808 CPUtime=3283.52 cores=4-31
/proc/20498/task/20530/stat : 20530 (plingeling) R 20493 20493 20467 0 -1 4202560 171424 1243 0 0 328199 152 0 1 25 0 29 0 597236672 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4331504 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20498/tid=20531] ppid=20493 vsize=2892808 CPUtime=3282.75 cores=4-31
/proc/20498/task/20531/stat : 20531 (plingeling) R 20493 20493 20467 0 -1 4202560 173403 1243 0 0 328150 124 0 1 25 0 29 0 597236672 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20498/tid=20532] ppid=20493 vsize=2892808 CPUtime=3283.94 cores=4-31
/proc/20498/task/20532/stat : 20532 (plingeling) R 20493 20493 20467 0 -1 4202560 26674 1243 0 0 328386 7 0 1 25 0 29 0 597236672 2962235392 626367 268435456000 4194304 4356188 140735896892304 18446744073709551615 4283912 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 105008
Current children cumulated vsize (KiB) 5849972
[startup+3293.9 s]
/proc/loadavg: 32.09 32.11 32.07 33/447 20630
/proc/meminfo: memFree=252913340/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=0 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 597235782 18763776 386 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 4 0 0 0
/proc/20493/statm: 4581 386 337 23 0 91 0
[pid=20494] ppid=20493 vsize=1543884 CPUtime=3293.24 cores=0
/proc/20494/stat : 20494 (cryptominisat) R 20493 20493 20467 0 -1 4202496 2469118 0 0 0 328532 792 0 0 25 0 1 0 597235782 1580937216 104761 268435456000 4194304 4587354 140733688538656 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20494/statm: 385971 104761 335 96 0 382533 0
[pid=20495] ppid=20493 vsize=557184 CPUtime=3293.26 cores=1
/proc/20495/stat : 20495 (clasp) R 20493 20493 20467 0 -1 4202496 140974 0 0 0 329261 65 0 0 25 0 1 0 597235782 570556416 134692 268435456000 4194304 4785740 140734993275296 18446744073709551615 4291206 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20495/statm: 139296 134692 338 145 0 136341 0
[pid=20496] ppid=20493 vsize=488052 CPUtime=3293.26 cores=2
/proc/20496/stat : 20496 (TNM) R 20493 20493 20467 0 -1 4202496 16045 0 0 0 329321 5 0 0 25 0 1 0 597235782 499765248 15943 268435456000 134512640 134534564 4287870832 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20496/statm: 122013 15943 95 6 0 120678 0
[pid=20497] ppid=20493 vsize=349720 CPUtime=3293.26 cores=3
/proc/20497/stat : 20497 (march_hi) R 20493 20493 20467 0 -1 4202496 179985 0 0 0 329285 41 0 0 25 0 1 0 597235782 358113280 77519 268435456000 4194304 4331988 140734746608816 18446744073709551615 4229057 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20497/statm: 87430 77519 172 34 0 85872 0
[pid=20498] ppid=20493 vsize=2876424 CPUtime=91848.2 cores=4-31
/proc/20498/stat : 20498 (plingeling) S 20493 20493 20467 0 -1 4202496 4569050 1243 0 0 9181276 3546 0 1 20 0 29 0 597235782 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/20498/statm: 719106 622271 159 40 0 717650 0
[pid=20498/tid=20505] ppid=20493 vsize=2876424 CPUtime=3191.85 cores=4-31
/proc/20498/task/20505/stat : 20505 (plingeling) R 20493 20493 20467 0 -1 4202560 181579 1243 0 0 319028 156 0 1 25 0 29 0 597236670 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4279731 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20498/tid=20506] ppid=20493 vsize=2876424 CPUtime=3283.35 cores=4-31
/proc/20498/task/20506/stat : 20506 (plingeling) R 20493 20493 20467 0 -1 4202560 198690 1243 0 0 328169 165 0 1 25 0 29 0 597236670 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281661 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20498/tid=20507] ppid=20493 vsize=2876424 CPUtime=3283.41 cores=4-31
/proc/20498/task/20507/stat : 20507 (plingeling) R 20493 20493 20467 0 -1 4202560 175902 1243 0 0 328200 140 0 1 25 0 29 0 597236670 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20498/tid=20508] ppid=20493 vsize=2876424 CPUtime=3284.28 cores=4-31
/proc/20498/task/20508/stat : 20508 (plingeling) R 20493 20493 20467 0 -1 4202560 36075 1243 0 0 328415 12 0 1 25 0 29 0 597236670 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20498/tid=20509] ppid=20493 vsize=2876424 CPUtime=3283.76 cores=4-31
/proc/20498/task/20509/stat : 20509 (plingeling) R 20493 20493 20467 0 -1 4202560 180933 1243 0 0 328250 125 0 1 25 0 29 0 597236670 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4279481 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20498/tid=20510] ppid=20493 vsize=2876424 CPUtime=3283.15 cores=4-31
/proc/20498/task/20510/stat : 20510 (plingeling) R 20493 20493 20467 0 -1 4202560 170186 1243 0 0 328213 101 0 1 25 0 29 0 597236670 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20498/tid=20511] ppid=20493 vsize=2876424 CPUtime=3281.58 cores=4-31
/proc/20498/task/20511/stat : 20511 (plingeling) R 20493 20493 20467 0 -1 4202560 192560 1243 0 0 327994 163 0 1 25 0 29 0 597236670 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4283916 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20498/tid=20512] ppid=20493 vsize=2876424 CPUtime=3283.45 cores=4-31
/proc/20498/task/20512/stat : 20512 (plingeling) R 20493 20493 20467 0 -1 4202560 153068 1243 0 0 328199 145 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4274268 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20498/tid=20513] ppid=20493 vsize=2876424 CPUtime=3282.99 cores=4-31
/proc/20498/task/20513/stat : 20513 (plingeling) R 20493 20493 20467 0 -1 4202560 192609 1243 0 0 328159 139 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4211900 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20498/tid=20514] ppid=20493 vsize=2876424 CPUtime=3283.55 cores=4-31
/proc/20498/task/20514/stat : 20514 (plingeling) R 20493 20493 20467 0 -1 4202560 185770 1243 0 0 328217 137 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20498/tid=20515] ppid=20493 vsize=2876424 CPUtime=3283.03 cores=4-31
/proc/20498/task/20515/stat : 20515 (plingeling) R 20493 20493 20467 0 -1 4202560 164650 1243 0 0 328150 152 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330882 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20498/tid=20516] ppid=20493 vsize=2876424 CPUtime=3283.89 cores=4-31
/proc/20498/task/20516/stat : 20516 (plingeling) R 20493 20493 20467 0 -1 4202560 38369 1243 0 0 328373 15 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20498/tid=20517] ppid=20493 vsize=2876424 CPUtime=3283.13 cores=4-31
/proc/20498/task/20517/stat : 20517 (plingeling) R 20493 20493 20467 0 -1 4202560 171317 1243 0 0 328197 115 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4279448 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20498/tid=20518] ppid=20493 vsize=2876424 CPUtime=3282.39 cores=4-31
/proc/20498/task/20518/stat : 20518 (plingeling) R 20493 20493 20467 0 -1 4202560 168495 1243 0 0 328103 135 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281692 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20498/tid=20519] ppid=20493 vsize=2876424 CPUtime=3283.08 cores=4-31
/proc/20498/task/20519/stat : 20519 (plingeling) R 20493 20493 20467 0 -1 4202560 179362 1243 0 0 328152 155 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281643 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20498/tid=20520] ppid=20493 vsize=2876424 CPUtime=3283 cores=4-31
/proc/20498/task/20520/stat : 20520 (plingeling) R 20493 20493 20467 0 -1 4202560 174146 1243 0 0 328132 167 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4233969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20498/tid=20521] ppid=20493 vsize=2876424 CPUtime=3282.65 cores=4-31
/proc/20498/task/20521/stat : 20521 (plingeling) R 20493 20493 20467 0 -1 4202560 186074 1243 0 0 328123 141 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20498/tid=20522] ppid=20493 vsize=2876424 CPUtime=3283.52 cores=4-31
/proc/20498/task/20522/stat : 20522 (plingeling) R 20493 20493 20467 0 -1 4202560 173725 1243 0 0 328154 197 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330990 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20498/tid=20523] ppid=20493 vsize=2876424 CPUtime=3283.3 cores=4-31
/proc/20498/task/20523/stat : 20523 (plingeling) R 20493 20493 20467 0 -1 4202560 171935 1243 0 0 328229 100 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281456 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20498/tid=20524] ppid=20493 vsize=2876424 CPUtime=3284.04 cores=4-31
/proc/20498/task/20524/stat : 20524 (plingeling) R 20493 20493 20467 0 -1 4202560 36024 1243 0 0 328393 10 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4284127 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20498/tid=20525] ppid=20493 vsize=2876424 CPUtime=3283.57 cores=4-31
/proc/20498/task/20525/stat : 20525 (plingeling) R 20493 20493 20467 0 -1 4202560 191465 1243 0 0 328221 135 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281652 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20498/tid=20526] ppid=20493 vsize=2876424 CPUtime=3282.82 cores=4-31
/proc/20498/task/20526/stat : 20526 (plingeling) R 20493 20493 20467 0 -1 4202560 171098 1243 0 0 328161 120 0 1 25 0 29 0 597236671 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20498/tid=20527] ppid=20493 vsize=2876424 CPUtime=3283.22 cores=4-31
/proc/20498/task/20527/stat : 20527 (plingeling) R 20493 20493 20467 0 -1 4202560 184630 1243 0 0 328170 151 0 1 25 0 29 0 597236672 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281677 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20498/tid=20528] ppid=20493 vsize=2876424 CPUtime=3283.26 cores=4-31
/proc/20498/task/20528/stat : 20528 (plingeling) R 20493 20493 20467 0 -1 4202560 167031 1243 0 0 328160 165 0 1 25 0 29 0 597236672 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20498/tid=20529] ppid=20493 vsize=2876424 CPUtime=3281.69 cores=4-31
/proc/20498/task/20529/stat : 20529 (plingeling) R 20493 20493 20467 0 -1 4202560 183889 1243 0 0 327999 169 0 1 25 0 29 0 597236672 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20498/tid=20530] ppid=20493 vsize=2876424 CPUtime=3283.92 cores=4-31
/proc/20498/task/20530/stat : 20530 (plingeling) R 20493 20493 20467 0 -1 4202560 171424 1243 0 0 328239 152 0 1 25 0 29 0 597236672 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4284120 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20498/tid=20531] ppid=20493 vsize=2876424 CPUtime=3283.15 cores=4-31
/proc/20498/task/20531/stat : 20531 (plingeling) R 20493 20493 20467 0 -1 4202560 173403 1243 0 0 328190 124 0 1 25 0 29 0 597236672 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4284120 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20498/tid=20532] ppid=20493 vsize=2876424 CPUtime=3284.34 cores=4-31
/proc/20498/task/20532/stat : 20532 (plingeling) R 20493 20493 20467 0 -1 4202560 26674 1243 0 0 328426 7 0 1 25 0 29 0 597236672 2945458176 622271 268435456000 4194304 4356188 140735896892304 18446744073709551615 4281643 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 105021
Current children cumulated vsize (KiB) 5833588
[startup+3294.3 s]
/proc/loadavg: 32.09 32.11 32.07 33/447 20630
/proc/meminfo: memFree=252913340/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=13174.5 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 516 2806345 0 0 0 0 1316532 916 15 0 1 0 597235782 18763776 387 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 4 0 0 0
/proc/20493/statm: 4581 387 338 23 0 91 0
[pid=20498] ppid=20493 vsize=0 CPUtime=91857.7 cores=4-31
/proc/20498/stat : 20498 (plingeling) Z 20493 20493 20467 0 -1 4203548 4569050 1243 0 0 9182213 3555 0 1 18 0 2 0 597235782 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/20498/statm: 0 0 0 0 0 0 0
[pid=20498/tid=20510] ppid=20493 vsize=0 CPUtime=3283.55 cores=4-31
/proc/20498/task/20510/stat : 20510 (plingeling) R 20493 20493 20467 0 -1 4203588 170186 1243 0 0 328247 107 0 1 25 0 2 0 597236670 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 105032
Current children cumulated vsize (KiB) 18324
[startup+3294.4 s]
/proc/loadavg: 32.09 32.11 32.07 2/416 20630
/proc/meminfo: memFree=256121036/264257624 swapFree=67111528/67111528
[pid=20493] ppid=20491 vsize=18324 CPUtime=13174.5 cores=0-31
/proc/20493/stat : 20493 (ppfolio) S 20491 20493 20467 0 -1 4202496 516 2806345 0 0 0 0 1316532 916 15 0 1 0 597235782 18763776 387 268435456000 4194304 4287625 140734957430912 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 4 0 0 0
/proc/20493/statm: 4581 387 338 23 0 91 0
[pid=20498] ppid=20493 vsize=0 CPUtime=91857.8 cores=4-31
/proc/20498/stat : 20498 (plingeling) Z 20493 20493 20467 0 -1 4203548 4569050 1243 0 0 9182213 3567 0 1 18 0 2 0 597235782 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/20498/statm: 0 0 0 0 0 0 0
[pid=20498/tid=20510] ppid=20493 vsize=0 CPUtime=3283.67 cores=4-31
/proc/20498/task/20510/stat : 20510 (plingeling) R 20493 20493 20467 0 -1 4203588 170186 1243 0 0 328247 119 0 1 25 0 2 0 597236670 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 105032
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 3294.46
CPU time (s): 105032
CPU user time (s): 104987
CPU system time (s): 44.8932
CPU usage (%): 3188.15
Max. virtual memory (cumulated for all children) (KiB): 12021016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104987
system time used= 44.8932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7377173
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= 4237
involuntary context switches= 263842
runsolver used 19.473 second user time and 73.6178 second system time
The end
Begin job on node200 at 2011-05-08 14:24:54
IDJOB=3347223
IDBENCH=70760
IDSOLVER=1808
FILE ID=node200/3347223-1304857493
RUNJOBID= node200-1304857493-20481
PBS_JOBID= 13281987
Free space on /tmp= 62044 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347223-1304857493/watcher-3347223-1304857493 -o /tmp/evaluation-result-3347223-1304857493/solver-3347223-1304857493 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347223-1304857493.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=2037354243
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: 256748312 kB
Buffers: 359540 kB
Cached: 6803300 kB
SwapCached: 0 kB
Active: 6337800 kB
Inactive: 893588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256748312 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 18108 kB
Writeback: 0 kB
AnonPages: 68956 kB
Mapped: 13756 kB
Slab: 192016 kB
PageTables: 5768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190284 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= 62032 MiB
End job on node200 at 2011-05-08 15:19:48