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
19126.27/598.70 s UNSATISFIABLE
19129.47/598.77 solver [2] clasp 1.3.6 answered
19129.47/598.77 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-3347163-1304768381/watcher-3347163-1304768381 -o /tmp/evaluation-result-3347163-1304768381/solver-3347163-1304768381 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347163-1304768381.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.12 30.80 31.51 1/413 6128
/proc/meminfo: memFree=256785392/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 0 0 0 25 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
[startup+0.115334 s]
/proc/loadavg: 27.12 30.80 31.51 1/413 6128
/proc/meminfo: memFree=256785392/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.20035 s]
/proc/loadavg: 27.12 30.80 31.51 1/413 6128
/proc/meminfo: memFree=256785392/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300262 s]
/proc/loadavg: 27.12 30.80 31.51 1/413 6128
/proc/meminfo: memFree=256785392/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700276 s]
/proc/loadavg: 27.12 30.80 31.51 1/413 6128
/proc/meminfo: memFree=256785392/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.5013 s]
/proc/loadavg: 27.12 30.80 31.51 32/447 6169
/proc/meminfo: memFree=256719884/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
[pid=6129] ppid=6128 vsize=28048 CPUtime=1.49 cores=0
/proc/6129/stat : 6129 (cryptominisat) R 6128 6128 6102 0 -1 4202496 2242 0 0 0 148 1 0 0 20 0 1 0 588324527 28721152 1304 268435456000 4194304 4587354 140733739700256 18446744073709551615 4237443 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6129/statm: 7012 1304 331 96 0 3574 0
[pid=6130] ppid=6128 vsize=15636 CPUtime=1.49 cores=1
/proc/6130/stat : 6130 (clasp) R 6128 6128 6102 0 -1 4202496 1391 0 0 0 148 1 0 0 20 0 1 0 588324527 16011264 1254 268435456000 4194304 4785740 140736842830384 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6130/statm: 3909 1254 338 145 0 954 0
[pid=6131] ppid=6128 vsize=456496 CPUtime=1.48 cores=2
/proc/6131/stat : 6131 (TNM) R 6128 6128 6102 0 -1 4202496 658 0 0 0 148 0 0 0 20 0 1 0 588324527 467451904 555 268435456000 134512640 134534564 4286928784 18446744073709551615 134529758 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6131/statm: 114124 555 95 6 0 112789 0
[pid=6132] ppid=6128 vsize=17636 CPUtime=1.48 cores=3
/proc/6132/stat : 6132 (march_hi) R 6128 6128 6102 0 -1 4202496 6170 0 0 0 146 2 0 0 20 0 1 0 588324527 18059264 2050 268435456000 4194304 4331988 140735872348896 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6132/statm: 4409 2050 173 34 0 2851 0
[pid=6133] ppid=6128 vsize=683636 CPUtime=35.4 cores=4-31
/proc/6133/stat : 6133 (plingeling) S 6128 6128 6102 0 -1 4202496 22554 1236 0 0 3523 17 0 0 22 0 29 0 588324527 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/6133/statm: 170909 19533 159 40 0 169453 0
[pid=6133/tid=6142] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6142/stat : 6142 (plingeling) R 6128 6128 6102 0 -1 4202560 541 1236 0 0 125 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=6133/tid=6143] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6143/stat : 6143 (plingeling) R 6128 6128 6102 0 -1 4202560 711 1236 0 0 125 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331026 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=6133/tid=6144] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6144/stat : 6144 (plingeling) R 6128 6128 6102 0 -1 4202560 702 1236 0 0 125 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=6133/tid=6145] ppid=6128 vsize=683636 CPUtime=1.23 cores=4-31
/proc/6133/task/6145/stat : 6145 (plingeling) R 6128 6128 6102 0 -1 4202560 623 1236 0 0 123 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330839 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=6133/tid=6146] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6146/stat : 6146 (plingeling) R 6128 6128 6102 0 -1 4202560 733 1236 0 0 125 0 0 0 22 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=6133/tid=6147] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6147/stat : 6147 (plingeling) R 6128 6128 6102 0 -1 4202560 704 1236 0 0 125 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=6133/tid=6148] ppid=6128 vsize=683636 CPUtime=1.26 cores=4-31
/proc/6133/task/6148/stat : 6148 (plingeling) R 6128 6128 6102 0 -1 4202560 658 1236 0 0 126 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4281818 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=6133/tid=6149] ppid=6128 vsize=683636 CPUtime=1.26 cores=4-31
/proc/6133/task/6149/stat : 6149 (plingeling) R 6128 6128 6102 0 -1 4202560 547 1236 0 0 126 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4234267 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6133/tid=6150] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6150/stat : 6150 (plingeling) R 6128 6128 6102 0 -1 4202560 725 1236 0 0 125 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4273848 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6133/tid=6151] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6151/stat : 6151 (plingeling) R 6128 6128 6102 0 -1 4202560 503 1236 0 0 125 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6133/tid=6152] ppid=6128 vsize=683636 CPUtime=1.26 cores=4-31
/proc/6133/task/6152/stat : 6152 (plingeling) R 6128 6128 6102 0 -1 4202560 765 1236 0 0 126 0 0 0 18 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4234306 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=6133/tid=6153] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6153/stat : 6153 (plingeling) R 6128 6128 6102 0 -1 4202560 656 1236 0 0 125 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4250495 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=6133/tid=6154] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6154/stat : 6154 (plingeling) R 6128 6128 6102 0 -1 4202560 829 1236 0 0 125 0 0 0 25 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=6133/tid=6155] ppid=6128 vsize=683636 CPUtime=1.26 cores=4-31
/proc/6133/task/6155/stat : 6155 (plingeling) R 6128 6128 6102 0 -1 4202560 723 1236 0 0 126 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330752 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6133/tid=6156] ppid=6128 vsize=683636 CPUtime=1.26 cores=4-31
/proc/6133/task/6156/stat : 6156 (plingeling) R 6128 6128 6102 0 -1 4202560 814 1236 0 0 126 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=6133/tid=6157] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6157/stat : 6157 (plingeling) R 6128 6128 6102 0 -1 4202560 616 1236 0 0 125 0 0 0 18 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331692 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=6133/tid=6158] ppid=6128 vsize=683636 CPUtime=1.24 cores=4-31
/proc/6133/task/6158/stat : 6158 (plingeling) R 6128 6128 6102 0 -1 4202560 625 1236 0 0 124 0 0 0 25 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=6133/tid=6159] ppid=6128 vsize=683636 CPUtime=1.24 cores=4-31
/proc/6133/task/6159/stat : 6159 (plingeling) R 6128 6128 6102 0 -1 4202560 545 1236 0 0 124 0 0 0 19 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=6133/tid=6160] ppid=6128 vsize=683636 CPUtime=1.21 cores=4-31
/proc/6133/task/6160/stat : 6160 (plingeling) R 6128 6128 6102 0 -1 4202560 480 1236 0 0 121 0 0 0 25 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=6133/tid=6161] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6161/stat : 6161 (plingeling) R 6128 6128 6102 0 -1 4202560 597 1236 0 0 125 0 0 0 25 0 29 0 588324549 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331389 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=6133/tid=6162] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6162/stat : 6162 (plingeling) R 6128 6128 6102 0 -1 4202560 592 1236 0 0 125 0 0 0 19 0 29 0 588324550 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4284043 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=6133/tid=6163] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6163/stat : 6163 (plingeling) R 6128 6128 6102 0 -1 4202560 737 1236 0 0 125 0 0 0 19 0 29 0 588324550 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=6133/tid=6164] ppid=6128 vsize=683636 CPUtime=1.24 cores=4-31
/proc/6133/task/6164/stat : 6164 (plingeling) R 6128 6128 6102 0 -1 4202560 526 1236 0 0 124 0 0 0 19 0 29 0 588324550 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4284178 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=6133/tid=6165] ppid=6128 vsize=683636 CPUtime=1.23 cores=4-31
/proc/6133/task/6165/stat : 6165 (plingeling) R 6128 6128 6102 0 -1 4202560 687 1236 0 0 123 0 0 0 25 0 29 0 588324550 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=6133/tid=6166] ppid=6128 vsize=683636 CPUtime=1.25 cores=4-31
/proc/6133/task/6166/stat : 6166 (plingeling) R 6128 6128 6102 0 -1 4202560 697 1236 0 0 125 0 0 0 25 0 29 0 588324550 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=6133/tid=6167] ppid=6128 vsize=683636 CPUtime=1.24 cores=4-31
/proc/6133/task/6167/stat : 6167 (plingeling) R 6128 6128 6102 0 -1 4202560 873 1236 0 0 124 0 0 0 25 0 29 0 588324550 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=6133/tid=6168] ppid=6128 vsize=683636 CPUtime=1.24 cores=4-31
/proc/6133/task/6168/stat : 6168 (plingeling) R 6128 6128 6102 0 -1 4202560 745 1236 0 0 124 0 0 0 25 0 29 0 588324550 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=6133/tid=6169] ppid=6128 vsize=683636 CPUtime=1.23 cores=4-31
/proc/6133/task/6169/stat : 6169 (plingeling) R 6128 6128 6102 0 -1 4202560 552 1236 0 0 123 0 0 0 25 0 29 0 588324550 700043264 19533 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 41.34
Current children cumulated vsize (KiB) 1219776
[startup+3.10136 s]
/proc/loadavg: 27.12 30.80 31.51 33/447 6169
/proc/meminfo: memFree=256666340/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
[pid=6129] ppid=6128 vsize=245364 CPUtime=3.08 cores=0
/proc/6129/stat : 6129 (cryptominisat) R 6128 6128 6102 0 -1 4202496 3319 0 0 0 307 1 0 0 25 0 1 0 588324527 251252736 1396 268435456000 4194304 4587354 140733739700256 18446744073709551615 4236311 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6129/statm: 61341 1396 334 96 0 57903 0
[pid=6130] ppid=6128 vsize=16164 CPUtime=3.09 cores=1
/proc/6130/stat : 6130 (clasp) R 6128 6128 6102 0 -1 4202496 1517 0 0 0 308 1 0 0 25 0 1 0 588324527 16551936 1380 268435456000 4194304 4785740 140736842830384 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6130/statm: 4041 1380 338 145 0 1086 0
[pid=6131] ppid=6128 vsize=456496 CPUtime=3.08 cores=2
/proc/6131/stat : 6131 (TNM) R 6128 6128 6102 0 -1 4202496 658 0 0 0 308 0 0 0 25 0 1 0 588324527 467451904 555 268435456000 134512640 134534564 4286928784 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6131/statm: 114124 555 95 6 0 112789 0
[pid=6132] ppid=6128 vsize=17892 CPUtime=3.08 cores=3
/proc/6132/stat : 6132 (march_hi) R 6128 6128 6102 0 -1 4202496 6238 0 0 0 306 2 0 0 25 0 1 0 588324527 18321408 2118 268435456000 4194304 4331988 140735872348896 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6132/statm: 4473 2118 173 34 0 2915 0
[pid=6133] ppid=6128 vsize=699552 CPUtime=80.14 cores=4-31
/proc/6133/stat : 6133 (plingeling) S 6128 6128 6102 0 -1 4202496 31839 1236 0 0 7993 21 0 0 22 0 29 0 588324527 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/6133/statm: 174888 23576 159 40 0 173432 0
[pid=6133/tid=6142] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6142/stat : 6142 (plingeling) R 6128 6128 6102 0 -1 4202560 898 1236 0 0 285 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4211007 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=6133/tid=6143] ppid=6128 vsize=699552 CPUtime=2.84 cores=4-31
/proc/6133/task/6143/stat : 6143 (plingeling) R 6128 6128 6102 0 -1 4202560 1003 1236 0 0 284 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4279451 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=6133/tid=6144] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6144/stat : 6144 (plingeling) R 6128 6128 6102 0 -1 4202560 1058 1236 0 0 285 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=6133/tid=6145] ppid=6128 vsize=699552 CPUtime=2.83 cores=4-31
/proc/6133/task/6145/stat : 6145 (plingeling) R 6128 6128 6102 0 -1 4202560 846 1236 0 0 283 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=6133/tid=6146] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6146/stat : 6146 (plingeling) R 6128 6128 6102 0 -1 4202560 1120 1236 0 0 285 0 0 0 25 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=6133/tid=6147] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6147/stat : 6147 (plingeling) R 6128 6128 6102 0 -1 4202560 1093 1236 0 0 285 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=6133/tid=6148] ppid=6128 vsize=699552 CPUtime=2.86 cores=4-31
/proc/6133/task/6148/stat : 6148 (plingeling) R 6128 6128 6102 0 -1 4202560 820 1236 0 0 286 0 0 0 24 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=6133/tid=6149] ppid=6128 vsize=699552 CPUtime=2.86 cores=4-31
/proc/6133/task/6149/stat : 6149 (plingeling) R 6128 6128 6102 0 -1 4202560 871 1236 0 0 286 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6133/tid=6150] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6150/stat : 6150 (plingeling) R 6128 6128 6102 0 -1 4202560 1179 1236 0 0 285 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330792 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6133/tid=6151] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6151/stat : 6151 (plingeling) R 6128 6128 6102 0 -1 4202560 925 1236 0 0 285 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6133/tid=6152] ppid=6128 vsize=699552 CPUtime=2.86 cores=4-31
/proc/6133/task/6152/stat : 6152 (plingeling) R 6128 6128 6102 0 -1 4202560 1090 1236 0 0 286 0 0 0 20 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4234341 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=6133/tid=6153] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6153/stat : 6153 (plingeling) R 6128 6128 6102 0 -1 4202560 786 1236 0 0 285 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=6133/tid=6154] ppid=6128 vsize=699552 CPUtime=2.86 cores=4-31
/proc/6133/task/6154/stat : 6154 (plingeling) R 6128 6128 6102 0 -1 4202560 1119 1236 0 0 285 1 0 0 25 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=6133/tid=6155] ppid=6128 vsize=699552 CPUtime=2.86 cores=4-31
/proc/6133/task/6155/stat : 6155 (plingeling) R 6128 6128 6102 0 -1 4202560 1048 1236 0 0 286 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6133/tid=6156] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6156/stat : 6156 (plingeling) R 6128 6128 6102 0 -1 4202560 1202 1236 0 0 285 0 0 0 23 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331072 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=6133/tid=6157] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6157/stat : 6157 (plingeling) R 6128 6128 6102 0 -1 4202560 1101 1236 0 0 285 0 0 0 21 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=6133/tid=6158] ppid=6128 vsize=699552 CPUtime=2.85 cores=4-31
/proc/6133/task/6158/stat : 6158 (plingeling) R 6128 6128 6102 0 -1 4202560 1014 1236 0 0 284 1 0 0 25 0 29 0 588324549 716341248 23576 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=6133/tid=6159] ppid=6128 vsize=699552 CPUtime=2.84 cores=4-31
################
# More data... #
################
[pid=6132] ppid=6128 vsize=27024 CPUtime=598.29 cores=3
/proc/6132/stat : 6132 (march_hi) R 6128 6128 6102 0 -1 4202496 8384 0 0 0 59825 4 0 0 25 0 1 0 588324527 27672576 4261 268435456000 4194304 4331988 140735872348896 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6132/statm: 6756 4261 174 34 0 5198 0
[pid=6133] ppid=6128 vsize=1310004 CPUtime=16727.2 cores=4-31
/proc/6133/stat : 6133 (plingeling) S 6128 6128 6102 0 -1 4202496 1759070 1236 0 0 1671244 1480 0 0 22 0 29 0 588324527 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/6133/statm: 327501 176009 159 40 0 326045 0
[pid=6133/tid=6142] ppid=6128 vsize=1310004 CPUtime=598.02 cores=4-31
/proc/6133/task/6142/stat : 6142 (plingeling) R 6128 6128 6102 0 -1 4202560 65321 1236 0 0 59740 62 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=6133/tid=6143] ppid=6128 vsize=1310004 CPUtime=598.02 cores=4-31
/proc/6133/task/6143/stat : 6143 (plingeling) R 6128 6128 6102 0 -1 4202560 70161 1236 0 0 59746 56 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=6133/tid=6144] ppid=6128 vsize=1310004 CPUtime=597.04 cores=4-31
/proc/6133/task/6144/stat : 6144 (plingeling) R 6128 6128 6102 0 -1 4202560 66827 1236 0 0 59653 51 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=6133/tid=6145] ppid=6128 vsize=1310004 CPUtime=598.01 cores=4-31
/proc/6133/task/6145/stat : 6145 (plingeling) R 6128 6128 6102 0 -1 4202560 56271 1236 0 0 59761 40 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=6133/tid=6146] ppid=6128 vsize=1310004 CPUtime=597.99 cores=4-31
/proc/6133/task/6146/stat : 6146 (plingeling) R 6128 6128 6102 0 -1 4202560 68007 1236 0 0 59747 52 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=6133/tid=6147] ppid=6128 vsize=1310004 CPUtime=597.7 cores=4-31
/proc/6133/task/6147/stat : 6147 (plingeling) R 6128 6128 6102 0 -1 4202560 66251 1236 0 0 59719 51 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4284182 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=6133/tid=6148] ppid=6128 vsize=1310004 CPUtime=598.03 cores=4-31
/proc/6133/task/6148/stat : 6148 (plingeling) R 6128 6128 6102 0 -1 4202560 63934 1236 0 0 59757 46 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=6133/tid=6149] ppid=6128 vsize=1310004 CPUtime=597.23 cores=4-31
/proc/6133/task/6149/stat : 6149 (plingeling) R 6128 6128 6102 0 -1 4202560 44783 1236 0 0 59650 73 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=6133/tid=6150] ppid=6128 vsize=1310004 CPUtime=598.02 cores=4-31
/proc/6133/task/6150/stat : 6150 (plingeling) R 6128 6128 6102 0 -1 4202560 68353 1236 0 0 59751 51 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6133/tid=6151] ppid=6128 vsize=1310004 CPUtime=598.03 cores=4-31
/proc/6133/task/6151/stat : 6151 (plingeling) R 6128 6128 6102 0 -1 4202560 68451 1236 0 0 59752 51 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6133/tid=6152] ppid=6128 vsize=1310004 CPUtime=597.99 cores=4-31
/proc/6133/task/6152/stat : 6152 (plingeling) R 6128 6128 6102 0 -1 4202560 66375 1236 0 0 59744 55 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=6133/tid=6153] ppid=6128 vsize=1310004 CPUtime=598.04 cores=4-31
/proc/6133/task/6153/stat : 6153 (plingeling) R 6128 6128 6102 0 -1 4202560 52790 1236 0 0 59761 43 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=6133/tid=6154] ppid=6128 vsize=1310004 CPUtime=597.62 cores=4-31
/proc/6133/task/6154/stat : 6154 (plingeling) R 6128 6128 6102 0 -1 4202560 65637 1236 0 0 59714 48 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6133/tid=6155] ppid=6128 vsize=1310004 CPUtime=598.01 cores=4-31
/proc/6133/task/6155/stat : 6155 (plingeling) R 6128 6128 6102 0 -1 4202560 65349 1236 0 0 59751 50 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6133/tid=6156] ppid=6128 vsize=1310004 CPUtime=590.32 cores=4-31
/proc/6133/task/6156/stat : 6156 (plingeling) R 6128 6128 6102 0 -1 4202560 63832 1236 0 0 58978 54 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=6133/tid=6157] ppid=6128 vsize=1310004 CPUtime=597.54 cores=4-31
/proc/6133/task/6157/stat : 6157 (plingeling) R 6128 6128 6102 0 -1 4202560 50901 1236 0 0 59689 65 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=6133/tid=6158] ppid=6128 vsize=1310004 CPUtime=591.64 cores=4-31
/proc/6133/task/6158/stat : 6158 (plingeling) R 6128 6128 6102 0 -1 4202560 67516 1236 0 0 59107 57 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=6133/tid=6159] ppid=6128 vsize=1310004 CPUtime=597.99 cores=4-31
/proc/6133/task/6159/stat : 6159 (plingeling) R 6128 6128 6102 0 -1 4202560 60877 1236 0 0 59752 47 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=6133/tid=6160] ppid=6128 vsize=1310004 CPUtime=597.77 cores=4-31
/proc/6133/task/6160/stat : 6160 (plingeling) R 6128 6128 6102 0 -1 4202560 68428 1236 0 0 59733 44 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=6133/tid=6161] ppid=6128 vsize=1310004 CPUtime=598.02 cores=4-31
/proc/6133/task/6161/stat : 6161 (plingeling) R 6128 6128 6102 0 -1 4202560 53017 1236 0 0 59760 42 0 0 25 0 29 0 588324549 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=6133/tid=6162] ppid=6128 vsize=1310004 CPUtime=597.98 cores=4-31
/proc/6133/task/6162/stat : 6162 (plingeling) R 6128 6128 6102 0 -1 4202560 65436 1236 0 0 59749 49 0 0 25 0 29 0 588324550 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331122 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=6133/tid=6163] ppid=6128 vsize=1310004 CPUtime=598.01 cores=4-31
/proc/6133/task/6163/stat : 6163 (plingeling) R 6128 6128 6102 0 -1 4202560 65867 1236 0 0 59753 48 0 0 25 0 29 0 588324550 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4283934 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=6133/tid=6164] ppid=6128 vsize=1310004 CPUtime=597.99 cores=4-31
/proc/6133/task/6164/stat : 6164 (plingeling) R 6128 6128 6102 0 -1 4202560 62841 1236 0 0 59741 58 0 0 25 0 29 0 588324550 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=6133/tid=6165] ppid=6128 vsize=1310004 CPUtime=598.01 cores=4-31
/proc/6133/task/6165/stat : 6165 (plingeling) R 6128 6128 6102 0 -1 4202560 52474 1236 0 0 59736 65 0 0 25 0 29 0 588324550 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=6133/tid=6166] ppid=6128 vsize=1310004 CPUtime=598.01 cores=4-31
/proc/6133/task/6166/stat : 6166 (plingeling) R 6128 6128 6102 0 -1 4202560 67234 1236 0 0 59744 57 0 0 25 0 29 0 588324550 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=6133/tid=6167] ppid=6128 vsize=1310004 CPUtime=597.8 cores=4-31
/proc/6133/task/6167/stat : 6167 (plingeling) R 6128 6128 6102 0 -1 4202560 67478 1236 0 0 59727 53 0 0 25 0 29 0 588324550 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=6133/tid=6168] ppid=6128 vsize=1310004 CPUtime=598.02 cores=4-31
/proc/6133/task/6168/stat : 6168 (plingeling) R 6128 6128 6102 0 -1 4202560 66835 1236 0 0 59742 60 0 0 25 0 29 0 588324550 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=6133/tid=6169] ppid=6128 vsize=1310004 CPUtime=598 cores=4-31
/proc/6133/task/6169/stat : 6169 (plingeling) R 6128 6128 6102 0 -1 4202560 53776 1236 0 0 59766 34 0 0 25 0 29 0 588324550 1341444096 176009 268435456000 4194304 4356188 140735424033280 18446744073709551615 4280060 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 19120.4
Current children cumulated vsize (KiB) 5678160
[startup+598.602 s]
/proc/loadavg: 32.13 31.92 31.77 33/447 6185
/proc/meminfo: memFree=255957600/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0.01 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 1 0 0 15 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
[pid=6129] ppid=6128 vsize=3834020 CPUtime=598.47 cores=0
/proc/6129/stat : 6129 (cryptominisat) R 6128 6128 6102 0 -1 4202496 95036 0 0 0 59806 41 0 0 25 0 1 0 588324527 3926036480 21706 268435456000 4194304 4587354 140733739700256 18446744073709551615 4237840 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6129/statm: 958505 21706 337 96 0 955067 0
[pid=6130] ppid=6128 vsize=32292 CPUtime=598.47 cores=1
/proc/6130/stat : 6130 (clasp) R 6128 6128 6102 0 -1 4202496 5530 0 0 0 59845 2 0 0 25 0 1 0 588324527 33067008 5340 268435456000 4194304 4785740 140736842830384 18446744073709551615 4287042 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6130/statm: 8073 5340 339 145 0 5118 0
[pid=6131] ppid=6128 vsize=456496 CPUtime=598.47 cores=2
/proc/6131/stat : 6131 (TNM) R 6128 6128 6102 0 -1 4202496 658 0 0 0 59847 0 0 0 25 0 1 0 588324527 467451904 555 268435456000 134512640 134534564 4286928784 18446744073709551615 134530641 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6131/statm: 114124 555 95 6 0 112789 0
[pid=6132] ppid=6128 vsize=27024 CPUtime=598.47 cores=3
/proc/6132/stat : 6132 (march_hi) R 6128 6128 6102 0 -1 4202496 8385 0 0 0 59843 4 0 0 25 0 1 0 588324527 27672576 4262 268435456000 4194304 4331988 140735872348896 18446744073709551615 4210937 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6132/statm: 6756 4262 174 34 0 5198 0
[pid=6133] ppid=6128 vsize=1319220 CPUtime=16732.4 cores=4-31
/proc/6133/stat : 6133 (plingeling) S 6128 6128 6102 0 -1 4202496 1761374 1236 0 0 1671753 1485 0 0 22 0 29 0 588324527 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/6133/statm: 329805 178313 159 40 0 328349 0
[pid=6133/tid=6142] ppid=6128 vsize=1319220 CPUtime=598.2 cores=4-31
/proc/6133/task/6142/stat : 6142 (plingeling) R 6128 6128 6102 0 -1 4202560 65321 1236 0 0 59758 62 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=6133/tid=6143] ppid=6128 vsize=1319220 CPUtime=598.2 cores=4-31
/proc/6133/task/6143/stat : 6143 (plingeling) R 6128 6128 6102 0 -1 4202560 70161 1236 0 0 59764 56 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=6133/tid=6144] ppid=6128 vsize=1319220 CPUtime=597.22 cores=4-31
/proc/6133/task/6144/stat : 6144 (plingeling) R 6128 6128 6102 0 -1 4202560 66827 1236 0 0 59671 51 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=6133/tid=6145] ppid=6128 vsize=1319220 CPUtime=598.19 cores=4-31
/proc/6133/task/6145/stat : 6145 (plingeling) R 6128 6128 6102 0 -1 4202560 56271 1236 0 0 59779 40 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=6133/tid=6146] ppid=6128 vsize=1319220 CPUtime=598.17 cores=4-31
/proc/6133/task/6146/stat : 6146 (plingeling) R 6128 6128 6102 0 -1 4202560 68007 1236 0 0 59765 52 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331807 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=6133/tid=6147] ppid=6128 vsize=1319220 CPUtime=597.88 cores=4-31
/proc/6133/task/6147/stat : 6147 (plingeling) R 6128 6128 6102 0 -1 4202560 66251 1236 0 0 59737 51 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=6133/tid=6148] ppid=6128 vsize=1319220 CPUtime=598.21 cores=4-31
/proc/6133/task/6148/stat : 6148 (plingeling) R 6128 6128 6102 0 -1 4202560 63934 1236 0 0 59775 46 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=6133/tid=6149] ppid=6128 vsize=1319220 CPUtime=597.41 cores=4-31
/proc/6133/task/6149/stat : 6149 (plingeling) R 6128 6128 6102 0 -1 4202560 44783 1236 0 0 59668 73 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=6133/tid=6150] ppid=6128 vsize=1319220 CPUtime=598.2 cores=4-31
/proc/6133/task/6150/stat : 6150 (plingeling) R 6128 6128 6102 0 -1 4202560 68353 1236 0 0 59769 51 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6133/tid=6151] ppid=6128 vsize=1319220 CPUtime=598.21 cores=4-31
/proc/6133/task/6151/stat : 6151 (plingeling) R 6128 6128 6102 0 -1 4202560 68451 1236 0 0 59770 51 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6133/tid=6152] ppid=6128 vsize=1319220 CPUtime=598.17 cores=4-31
/proc/6133/task/6152/stat : 6152 (plingeling) R 6128 6128 6102 0 -1 4202560 66375 1236 0 0 59762 55 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=6133/tid=6153] ppid=6128 vsize=1319220 CPUtime=598.22 cores=4-31
/proc/6133/task/6153/stat : 6153 (plingeling) R 6128 6128 6102 0 -1 4202560 52790 1236 0 0 59779 43 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=6133/tid=6154] ppid=6128 vsize=1319220 CPUtime=597.8 cores=4-31
/proc/6133/task/6154/stat : 6154 (plingeling) R 6128 6128 6102 0 -1 4202560 65637 1236 0 0 59732 48 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331465 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6133/tid=6155] ppid=6128 vsize=1319220 CPUtime=598.19 cores=4-31
/proc/6133/task/6155/stat : 6155 (plingeling) R 6128 6128 6102 0 -1 4202560 67397 1236 0 0 59764 55 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6133/tid=6156] ppid=6128 vsize=1319220 CPUtime=590.5 cores=4-31
/proc/6133/task/6156/stat : 6156 (plingeling) R 6128 6128 6102 0 -1 4202560 63832 1236 0 0 58996 54 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=6133/tid=6157] ppid=6128 vsize=1319220 CPUtime=597.72 cores=4-31
/proc/6133/task/6157/stat : 6157 (plingeling) R 6128 6128 6102 0 -1 4202560 50901 1236 0 0 59707 65 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331861 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=6133/tid=6158] ppid=6128 vsize=1319220 CPUtime=591.83 cores=4-31
/proc/6133/task/6158/stat : 6158 (plingeling) R 6128 6128 6102 0 -1 4202560 67772 1236 0 0 59125 58 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=6133/tid=6159] ppid=6128 vsize=1319220 CPUtime=598.17 cores=4-31
/proc/6133/task/6159/stat : 6159 (plingeling) R 6128 6128 6102 0 -1 4202560 60877 1236 0 0 59770 47 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=6133/tid=6160] ppid=6128 vsize=1319220 CPUtime=597.95 cores=4-31
/proc/6133/task/6160/stat : 6160 (plingeling) R 6128 6128 6102 0 -1 4202560 68428 1236 0 0 59751 44 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=6133/tid=6161] ppid=6128 vsize=1319220 CPUtime=598.2 cores=4-31
/proc/6133/task/6161/stat : 6161 (plingeling) R 6128 6128 6102 0 -1 4202560 53017 1236 0 0 59778 42 0 0 25 0 29 0 588324549 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=6133/tid=6162] ppid=6128 vsize=1319220 CPUtime=598.16 cores=4-31
/proc/6133/task/6162/stat : 6162 (plingeling) R 6128 6128 6102 0 -1 4202560 65436 1236 0 0 59767 49 0 0 25 0 29 0 588324550 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331363 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=6133/tid=6163] ppid=6128 vsize=1319220 CPUtime=598.19 cores=4-31
/proc/6133/task/6163/stat : 6163 (plingeling) R 6128 6128 6102 0 -1 4202560 65867 1236 0 0 59771 48 0 0 25 0 29 0 588324550 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=6133/tid=6164] ppid=6128 vsize=1319220 CPUtime=598.17 cores=4-31
/proc/6133/task/6164/stat : 6164 (plingeling) R 6128 6128 6102 0 -1 4202560 62841 1236 0 0 59759 58 0 0 25 0 29 0 588324550 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=6133/tid=6165] ppid=6128 vsize=1319220 CPUtime=598.19 cores=4-31
/proc/6133/task/6165/stat : 6165 (plingeling) R 6128 6128 6102 0 -1 4202560 52474 1236 0 0 59754 65 0 0 25 0 29 0 588324550 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=6133/tid=6166] ppid=6128 vsize=1319220 CPUtime=598.19 cores=4-31
/proc/6133/task/6166/stat : 6166 (plingeling) R 6128 6128 6102 0 -1 4202560 67234 1236 0 0 59762 57 0 0 25 0 29 0 588324550 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=6133/tid=6167] ppid=6128 vsize=1319220 CPUtime=597.98 cores=4-31
/proc/6133/task/6167/stat : 6167 (plingeling) R 6128 6128 6102 0 -1 4202560 67478 1236 0 0 59745 53 0 0 25 0 29 0 588324550 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=6133/tid=6168] ppid=6128 vsize=1319220 CPUtime=598.2 cores=4-31
/proc/6133/task/6168/stat : 6168 (plingeling) R 6128 6128 6102 0 -1 4202560 66835 1236 0 0 59760 60 0 0 25 0 29 0 588324550 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331122 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=6133/tid=6169] ppid=6128 vsize=1319220 CPUtime=598.18 cores=4-31
/proc/6133/task/6169/stat : 6169 (plingeling) R 6128 6128 6102 0 -1 4202560 53776 1236 0 0 59784 34 0 0 25 0 29 0 588324550 1350881280 178313 268435456000 4194304 4356188 140735424033280 18446744073709551615 4234040 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 19126.3
Current children cumulated vsize (KiB) 5687376
[startup+598.702 s]
/proc/loadavg: 32.13 31.92 31.77 33/447 6185
/proc/meminfo: memFree=255957600/264257624 swapFree=67111528/67111528
[pid=6128] ppid=6126 vsize=18324 CPUtime=0.01 cores=0-31
/proc/6128/stat : 6128 (ppfolio) S 6126 6128 6102 0 -1 4202496 515 0 0 0 0 1 0 0 15 0 1 0 588324527 18763776 386 268435456000 4194304 4287625 140735531910544 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/6128/statm: 4581 386 337 23 0 91 0
[pid=6129] ppid=6128 vsize=3834020 CPUtime=598.57 cores=0
/proc/6129/stat : 6129 (cryptominisat) R 6128 6128 6102 0 -1 4202496 95053 0 0 0 59816 41 0 0 25 0 1 0 588324527 3926036480 21723 268435456000 4194304 4587354 140733739700256 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6129/statm: 958505 21723 337 96 0 955067 0
[pid=6130] ppid=6128 vsize=0 CPUtime=598.58 cores=1
/proc/6130/stat : 6130 (clasp) R 6128 6128 6102 0 -1 4202500 5548 0 0 0 59855 3 0 0 25 0 1 0 588324527 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/6130/statm: 0 0 0 0 0 0 0
[pid=6131] ppid=6128 vsize=456496 CPUtime=598.57 cores=2
/proc/6131/stat : 6131 (TNM) R 6128 6128 6102 0 -1 4202496 658 0 0 0 59857 0 0 0 25 0 1 0 588324527 467451904 555 268435456000 134512640 134534564 4286928784 18446744073709551615 134529758 256 0 4096 0 0 0 0 17 2 0 0 0
/proc/6131/statm: 114124 555 95 6 0 112789 0
[pid=6132] ppid=6128 vsize=0 CPUtime=598.57 cores=3
/proc/6132/stat : 6132 (march_hi) R 6128 6128 6102 0 -1 4203524 8385 0 0 0 59853 4 0 0 25 0 1 0 588324527 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6132/statm: 0 0 0 0 0 0 0
[pid=6133] ppid=6128 vsize=0 CPUtime=16735.2 cores=4-31
/proc/6133/stat : 6133 (plingeling) Z 6128 6128 6102 0 -1 4203548 1761502 1236 0 0 1672032 1485 0 0 18 0 4 0 588324527 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/6133/statm: 0 0 0 0 0 0 0
[pid=6133/tid=6156] ppid=6128 vsize=1319732 CPUtime=590.59 cores=4-31
/proc/6133/task/6156/stat : 6156 (plingeling) R 6128 6128 6102 0 -1 4202560 63832 1236 0 0 59005 54 0 0 25 0 2 0 588324549 1351405568 178441 268435456000 4194304 4356188 140735424033280 18446744073709551615 4331154 256 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 19129.5
Current children cumulated vsize (KiB) 4308840
Child status: 0
Real time (s): 598.777
CPU time (s): 19129.6
CPU user time (s): 19114.2
CPU system time (s): 15.4676
CPU usage (%): 3194.78
Max. virtual memory (cumulated for all children) (KiB): 9388664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19114.2
system time used= 15.4676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1872918
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= 3701
involuntary context switches= 44264
runsolver used 3.49747 second user time and 13.451 second system time
The end
Begin job on node200 at 2011-05-07 13:39:41
IDJOB=3347163
IDBENCH=20401
IDSOLVER=1808
FILE ID=node200/3347163-1304768381
RUNJOBID= node200-1304768381-6116
PBS_JOBID= 13281958
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347163-1304768381/watcher-3347163-1304768381 -o /tmp/evaluation-result-3347163-1304768381/solver-3347163-1304768381 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347163-1304768381.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=1105000967
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: 256785672 kB
Buffers: 348020 kB
Cached: 6783152 kB
SwapCached: 0 kB
Active: 6313476 kB
Inactive: 886504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256785672 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10244 kB
Writeback: 0 kB
AnonPages: 69352 kB
Mapped: 14208 kB
Slab: 191132 kB
PageTables: 3992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 172072 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-07 13:49:40