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
641.85/20.32 s UNSATISFIABLE
641.85/20.32 solver [5] plingeling 276-6264d55-100731 answered
641.85/20.32 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-3347705-1306144979/watcher-3347705-1306144979 -o /tmp/evaluation-result-3347705-1306144979/solver-3347705-1306144979 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347705-1306144979.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: 30.58 30.61 31.38 1/413 1126
/proc/meminfo: memFree=255311820/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) S 1124 1126 726 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 2826088480828 0 0 17 16 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
[startup+0.0312039 s]
/proc/loadavg: 30.58 30.61 31.38 1/413 1126
/proc/meminfo: memFree=255311820/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) S 1124 1126 726 0 -1 4202496 514 0 0 0 0 0 0 0 25 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 1828101225510338559 0 0 17 16 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100203 s]
/proc/loadavg: 30.58 30.61 31.38 1/413 1126
/proc/meminfo: memFree=255311820/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) S 1124 1126 726 0 -1 4202496 514 0 0 0 0 0 0 0 25 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 1828101225510338559 0 0 17 16 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300172 s]
/proc/loadavg: 30.58 30.61 31.38 1/413 1126
/proc/meminfo: memFree=255311820/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) R 1124 1126 726 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 0 0 0 17 23 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700186 s]
/proc/loadavg: 30.58 30.61 31.38 1/413 1126
/proc/meminfo: memFree=255311820/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) S 1124 1126 726 0 -1 4202496 514 0 0 0 0 0 0 0 21 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 1828101225510338559 0 0 17 23 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50121 s]
/proc/loadavg: 30.58 30.61 31.38 33/447 1165
/proc/meminfo: memFree=255247980/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) S 1124 1126 726 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 1828101225510338559 0 0 17 23 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
[pid=1127] ppid=1126 vsize=807124 CPUtime=1.48 cores=0
/proc/1127/stat : 1127 (cryptominisat) R 1126 1126 726 0 -1 4202496 2119 0 0 0 148 0 0 0 20 0 1 0 725984310 826494976 1629 268435456000 4194304 4587354 140735659294752 18446744073709551615 4243904 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1127/statm: 201781 1629 330 96 0 198343 0
[pid=1128] ppid=1126 vsize=16884 CPUtime=1.48 cores=1
/proc/1128/stat : 1128 (clasp) R 1126 1126 726 0 -1 4202496 1781 0 0 0 148 0 0 0 20 0 1 0 725984310 17289216 1552 268435456000 4194304 4785740 140735655637904 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1128/statm: 4221 1552 338 145 0 1266 0
[pid=1129] ppid=1126 vsize=456752 CPUtime=1.48 cores=2
/proc/1129/stat : 1129 (TNM) R 1126 1126 726 0 -1 4202496 752 0 0 0 148 0 0 0 20 0 1 0 725984310 467714048 649 268435456000 134512640 134534564 4290450016 18446744073709551615 134525871 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1129/statm: 114188 649 95 6 0 112853 0
[pid=1130] ppid=1126 vsize=16936 CPUtime=1.48 cores=3
/proc/1130/stat : 1130 (march_hi) R 1126 1126 726 0 -1 4202496 4079 0 0 0 148 0 0 0 20 0 1 0 725984310 17342464 1655 268435456000 4194304 4331988 140734069375344 18446744073709551615 4265452 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1130/statm: 4234 1655 174 34 0 2676 0
[pid=1131] ppid=1126 vsize=552820 CPUtime=36.2 cores=4-31
/proc/1131/stat : 1131 (plingeling) S 1126 1126 726 0 -1 4202496 21775 1246 0 0 3609 11 0 0 18 0 29 0 725984310 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1131/statm: 138205 18053 159 40 0 136749 0
[pid=1131/tid=1138] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1138/stat : 1138 (plingeling) R 1126 1126 726 0 -1 4202560 470 1246 0 0 128 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1131/tid=1139] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1139/stat : 1139 (plingeling) R 1126 1126 726 0 -1 4202560 366 1246 0 0 128 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1131/tid=1140] ppid=1126 vsize=552820 CPUtime=1.27 cores=4-31
/proc/1131/task/1140/stat : 1140 (plingeling) R 1126 1126 726 0 -1 4202560 656 1246 0 0 127 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1131/tid=1141] ppid=1126 vsize=552820 CPUtime=1.29 cores=4-31
/proc/1131/task/1141/stat : 1141 (plingeling) R 1126 1126 726 0 -1 4202560 378 1246 0 0 129 0 0 0 22 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331392 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1131/tid=1142] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1142/stat : 1142 (plingeling) R 1126 1126 726 0 -1 4202560 725 1246 0 0 128 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1131/tid=1143] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1143/stat : 1143 (plingeling) R 1126 1126 726 0 -1 4202560 705 1246 0 0 128 0 0 0 22 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210823 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1131/tid=1144] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1144/stat : 1144 (plingeling) R 1126 1126 726 0 -1 4202560 367 1246 0 0 128 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1131/tid=1145] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1145/stat : 1145 (plingeling) R 1126 1126 726 0 -1 4202560 549 1246 0 0 128 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1131/tid=1146] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1146/stat : 1146 (plingeling) R 1126 1126 726 0 -1 4202560 387 1246 0 0 128 0 0 0 25 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1131/tid=1147] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1147/stat : 1147 (plingeling) R 1126 1126 726 0 -1 4202560 279 1246 0 0 128 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1131/tid=1148] ppid=1126 vsize=552820 CPUtime=1.27 cores=4-31
/proc/1131/task/1148/stat : 1148 (plingeling) R 1126 1126 726 0 -1 4202560 330 1246 0 0 127 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1131/tid=1149] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1149/stat : 1149 (plingeling) R 1126 1126 726 0 -1 4202560 311 1246 0 0 128 0 0 0 19 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1131/tid=1150] ppid=1126 vsize=552820 CPUtime=1.26 cores=4-31
/proc/1131/task/1150/stat : 1150 (plingeling) R 1126 1126 726 0 -1 4202560 435 1246 0 0 126 0 0 0 25 0 29 0 725984330 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1131/tid=1151] ppid=1126 vsize=552820 CPUtime=1.25 cores=4-31
/proc/1131/task/1151/stat : 1151 (plingeling) R 1126 1126 726 0 -1 4202560 389 1246 0 0 125 0 0 0 25 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1131/tid=1152] ppid=1126 vsize=552820 CPUtime=1.27 cores=4-31
/proc/1131/task/1152/stat : 1152 (plingeling) R 1126 1126 726 0 -1 4202560 478 1246 0 0 127 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1131/tid=1153] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1153/stat : 1153 (plingeling) R 1126 1126 726 0 -1 4202560 353 1246 0 0 128 0 0 0 25 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1131/tid=1154] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1154/stat : 1154 (plingeling) R 1126 1126 726 0 -1 4202560 790 1246 0 0 128 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1131/tid=1155] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1155/stat : 1155 (plingeling) R 1126 1126 726 0 -1 4202560 805 1246 0 0 128 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1131/tid=1156] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1156/stat : 1156 (plingeling) R 1126 1126 726 0 -1 4202560 539 1246 0 0 128 0 0 0 22 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1131/tid=1157] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1157/stat : 1157 (plingeling) R 1126 1126 726 0 -1 4202560 441 1246 0 0 128 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210820 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1131/tid=1158] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1158/stat : 1158 (plingeling) R 1126 1126 726 0 -1 4202560 478 1246 0 0 128 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1131/tid=1159] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1159/stat : 1159 (plingeling) R 1126 1126 726 0 -1 4202560 595 1246 0 0 128 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1131/tid=1160] ppid=1126 vsize=552820 CPUtime=1.27 cores=4-31
/proc/1131/task/1160/stat : 1160 (plingeling) R 1126 1126 726 0 -1 4202560 309 1246 0 0 127 0 0 0 22 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4279474 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1131/tid=1161] ppid=1126 vsize=552820 CPUtime=1.29 cores=4-31
/proc/1131/task/1161/stat : 1161 (plingeling) R 1126 1126 726 0 -1 4202560 588 1246 0 0 129 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4281578 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1131/tid=1162] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1162/stat : 1162 (plingeling) R 1126 1126 726 0 -1 4202560 481 1246 0 0 128 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1131/tid=1163] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1163/stat : 1163 (plingeling) R 1126 1126 726 0 -1 4202560 1004 1246 0 0 128 0 0 0 22 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331371 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1131/tid=1164] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1164/stat : 1164 (plingeling) R 1126 1126 726 0 -1 4202560 487 1246 0 0 128 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4281608 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1131/tid=1165] ppid=1126 vsize=552820 CPUtime=1.28 cores=4-31
/proc/1131/task/1165/stat : 1165 (plingeling) R 1126 1126 726 0 -1 4202560 256 1246 0 0 128 0 0 0 19 0 29 0 725984331 566087680 18053 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 42.12
Current children cumulated vsize (KiB) 1868840
[startup+3.10227 s]
/proc/loadavg: 30.58 30.61 31.38 33/447 1165
/proc/meminfo: memFree=255192512/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) S 1124 1126 726 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 1828101225510338559 0 0 17 23 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
[pid=1127] ppid=1126 vsize=806028 CPUtime=3.08 cores=0
/proc/1127/stat : 1127 (cryptominisat) R 1126 1126 726 0 -1 4202496 2758 0 0 0 308 0 0 0 25 0 1 0 725984310 825372672 1670 268435456000 4194304 4587354 140735659294752 18446744073709551615 4238739 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1127/statm: 201507 1670 330 96 0 198069 0
[pid=1128] ppid=1126 vsize=17676 CPUtime=3.09 cores=1
/proc/1128/stat : 1128 (clasp) R 1126 1126 726 0 -1 4202496 1993 0 0 0 309 0 0 0 25 0 1 0 725984310 18100224 1764 268435456000 4194304 4785740 140735655637904 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1128/statm: 4419 1764 338 145 0 1464 0
[pid=1129] ppid=1126 vsize=456752 CPUtime=3.08 cores=2
/proc/1129/stat : 1129 (TNM) R 1126 1126 726 0 -1 4202496 752 0 0 0 308 0 0 0 25 0 1 0 725984310 467714048 649 268435456000 134512640 134534564 4290450016 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1129/statm: 114188 649 95 6 0 112853 0
[pid=1130] ppid=1126 vsize=17472 CPUtime=3.08 cores=3
/proc/1130/stat : 1130 (march_hi) R 1126 1126 726 0 -1 4202496 4201 0 0 0 308 0 0 0 25 0 1 0 725984310 17891328 1774 268435456000 4194304 4331988 140734069375344 18446744073709551615 4297714 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1130/statm: 4368 1774 174 34 0 2810 0
[pid=1131] ppid=1126 vsize=572652 CPUtime=80.97 cores=4-31
/proc/1131/stat : 1131 (plingeling) S 1126 1126 726 0 -1 4202496 33229 1246 0 0 8081 16 0 0 18 0 29 0 725984310 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1131/statm: 143163 23363 159 40 0 141707 0
[pid=1131/tid=1138] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1138/stat : 1138 (plingeling) R 1126 1126 726 0 -1 4202560 891 1246 0 0 288 0 0 0 23 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1131/tid=1139] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1139/stat : 1139 (plingeling) R 1126 1126 726 0 -1 4202560 690 1246 0 0 288 0 0 0 23 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4280864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1131/tid=1140] ppid=1126 vsize=572652 CPUtime=2.87 cores=4-31
/proc/1131/task/1140/stat : 1140 (plingeling) R 1126 1126 726 0 -1 4202560 915 1246 0 0 287 0 0 0 24 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1131/tid=1141] ppid=1126 vsize=572652 CPUtime=2.89 cores=4-31
/proc/1131/task/1141/stat : 1141 (plingeling) R 1126 1126 726 0 -1 4202560 573 1246 0 0 289 0 0 0 25 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1131/tid=1142] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1142/stat : 1142 (plingeling) R 1126 1126 726 0 -1 4202560 1050 1246 0 0 288 0 0 0 22 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4237407 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1131/tid=1143] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1143/stat : 1143 (plingeling) R 1126 1126 726 0 -1 4202560 1061 1246 0 0 288 0 0 0 25 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1131/tid=1144] ppid=1126 vsize=572652 CPUtime=2.87 cores=4-31
/proc/1131/task/1144/stat : 1144 (plingeling) R 1126 1126 726 0 -1 4202560 756 1246 0 0 287 0 0 0 23 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4279761 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1131/tid=1145] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1145/stat : 1145 (plingeling) R 1126 1126 726 0 -1 4202560 1099 1246 0 0 288 0 0 0 23 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1131/tid=1146] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1146/stat : 1146 (plingeling) R 1126 1126 726 0 -1 4202560 777 1246 0 0 288 0 0 0 25 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1131/tid=1147] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1147/stat : 1147 (plingeling) R 1126 1126 726 0 -1 4202560 538 1246 0 0 288 0 0 0 23 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4335708 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1131/tid=1148] ppid=1126 vsize=572652 CPUtime=2.87 cores=4-31
/proc/1131/task/1148/stat : 1148 (plingeling) R 1126 1126 726 0 -1 4202560 750 1246 0 0 287 0 0 0 23 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4280649 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1131/tid=1149] ppid=1126 vsize=572652 CPUtime=2.87 cores=4-31
/proc/1131/task/1149/stat : 1149 (plingeling) R 1126 1126 726 0 -1 4202560 602 1246 0 0 287 0 0 0 23 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1131/tid=1150] ppid=1126 vsize=572652 CPUtime=2.86 cores=4-31
/proc/1131/task/1150/stat : 1150 (plingeling) R 1126 1126 726 0 -1 4202560 791 1246 0 0 286 0 0 0 25 0 29 0 725984330 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1131/tid=1151] ppid=1126 vsize=572652 CPUtime=2.82 cores=4-31
/proc/1131/task/1151/stat : 1151 (plingeling) R 1126 1126 726 0 -1 4202560 616 1246 0 0 282 0 0 0 25 0 29 0 725984331 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4238210 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1131/tid=1152] ppid=1126 vsize=572652 CPUtime=2.87 cores=4-31
/proc/1131/task/1152/stat : 1152 (plingeling) R 1126 1126 726 0 -1 4202560 899 1246 0 0 287 0 0 0 23 0 29 0 725984331 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1131/tid=1153] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1153/stat : 1153 (plingeling) R 1126 1126 726 0 -1 4202560 839 1246 0 0 288 0 0 0 25 0 29 0 725984331 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4284014 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1131/tid=1154] ppid=1126 vsize=572652 CPUtime=2.88 cores=4-31
/proc/1131/task/1154/stat : 1154 (plingeling) R 1126 1126 726 0 -1 4202560 1210 1246 0 0 288 0 0 0 24 0 29 0 725984331 586395648 23363 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1131/tid=1155] ppid=1126 vsize=572652 CPUtime=2.89 cores=4-31
################
# More data... #
################
[pid=1130] ppid=1126 vsize=20144 CPUtime=19.08 cores=3
/proc/1130/stat : 1130 (march_hi) R 1126 1126 726 0 -1 4202496 4810 0 0 0 1908 0 0 0 25 0 1 0 725984310 20627456 2383 268435456000 4194304 4331988 140734069375344 18446744073709551615 4237180 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1130/statm: 5036 2383 174 34 0 3478 0
[pid=1131] ppid=1126 vsize=663472 CPUtime=528.09 cores=4-31
/proc/1131/stat : 1131 (plingeling) S 1126 1126 726 0 -1 4202496 111742 1246 0 0 52708 101 0 0 18 0 29 0 725984310 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1131/statm: 165868 47380 159 40 0 164412 0
[pid=1131/tid=1138] ppid=1126 vsize=663472 CPUtime=18.86 cores=4-31
/proc/1131/task/1138/stat : 1138 (plingeling) R 1126 1126 726 0 -1 4202560 3772 1246 0 0 1883 3 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1131/tid=1139] ppid=1126 vsize=663472 CPUtime=18.86 cores=4-31
/proc/1131/task/1139/stat : 1139 (plingeling) R 1126 1126 726 0 -1 4202560 3956 1246 0 0 1883 3 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1131/tid=1140] ppid=1126 vsize=663472 CPUtime=18.85 cores=4-31
/proc/1131/task/1140/stat : 1140 (plingeling) R 1126 1126 726 0 -1 4202560 3315 1246 0 0 1883 2 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1131/tid=1141] ppid=1126 vsize=663472 CPUtime=18.89 cores=4-31
/proc/1131/task/1141/stat : 1141 (plingeling) R 1126 1126 726 0 -1 4202560 1501 1246 0 0 1889 0 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1131/tid=1142] ppid=1126 vsize=663472 CPUtime=18.85 cores=4-31
/proc/1131/task/1142/stat : 1142 (plingeling) R 1126 1126 726 0 -1 4202560 4218 1246 0 0 1882 3 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1131/tid=1143] ppid=1126 vsize=663472 CPUtime=18.86 cores=4-31
/proc/1131/task/1143/stat : 1143 (plingeling) R 1126 1126 726 0 -1 4202560 3781 1246 0 0 1884 2 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1131/tid=1144] ppid=1126 vsize=663472 CPUtime=18.87 cores=4-31
/proc/1131/task/1144/stat : 1144 (plingeling) R 1126 1126 726 0 -1 4202560 3924 1246 0 0 1884 3 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1131/tid=1145] ppid=1126 vsize=663472 CPUtime=18.87 cores=4-31
/proc/1131/task/1145/stat : 1145 (plingeling) R 1126 1126 726 0 -1 4202560 4396 1246 0 0 1882 5 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1131/tid=1146] ppid=1126 vsize=663472 CPUtime=18.87 cores=4-31
/proc/1131/task/1146/stat : 1146 (plingeling) R 1126 1126 726 0 -1 4202560 4458 1246 0 0 1883 4 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4281760 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1131/tid=1147] ppid=1126 vsize=663472 CPUtime=18.87 cores=4-31
/proc/1131/task/1147/stat : 1147 (plingeling) R 1126 1126 726 0 -1 4202560 3292 1246 0 0 1883 4 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1131/tid=1148] ppid=1126 vsize=663472 CPUtime=18.87 cores=4-31
/proc/1131/task/1148/stat : 1148 (plingeling) R 1126 1126 726 0 -1 4202560 3824 1246 0 0 1884 3 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1131/tid=1149] ppid=1126 vsize=663472 CPUtime=18.86 cores=4-31
/proc/1131/task/1149/stat : 1149 (plingeling) R 1126 1126 726 0 -1 4202560 1658 1246 0 0 1885 1 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1131/tid=1150] ppid=1126 vsize=663472 CPUtime=18.84 cores=4-31
/proc/1131/task/1150/stat : 1150 (plingeling) R 1126 1126 726 0 -1 4202560 4376 1246 0 0 1881 3 0 0 25 0 29 0 725984330 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4279481 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1131/tid=1151] ppid=1126 vsize=663472 CPUtime=18.77 cores=4-31
/proc/1131/task/1151/stat : 1151 (plingeling) R 1126 1126 726 0 -1 4202560 2920 1246 0 0 1875 2 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1131/tid=1152] ppid=1126 vsize=663472 CPUtime=18.86 cores=4-31
/proc/1131/task/1152/stat : 1152 (plingeling) R 1126 1126 726 0 -1 4202560 4708 1246 0 0 1883 3 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1131/tid=1153] ppid=1126 vsize=663472 CPUtime=18.86 cores=4-31
/proc/1131/task/1153/stat : 1153 (plingeling) R 1126 1126 726 0 -1 4202560 4200 1246 0 0 1880 6 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1131/tid=1154] ppid=1126 vsize=663472 CPUtime=18.85 cores=4-31
/proc/1131/task/1154/stat : 1154 (plingeling) R 1126 1126 726 0 -1 4202560 4762 1246 0 0 1880 5 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331655 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1131/tid=1155] ppid=1126 vsize=663472 CPUtime=18.88 cores=4-31
/proc/1131/task/1155/stat : 1155 (plingeling) R 1126 1126 726 0 -1 4202560 5513 1246 0 0 1882 6 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1131/tid=1156] ppid=1126 vsize=663472 CPUtime=18.81 cores=4-31
/proc/1131/task/1156/stat : 1156 (plingeling) R 1126 1126 726 0 -1 4202560 3713 1246 0 0 1879 2 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1131/tid=1157] ppid=1126 vsize=663472 CPUtime=18.88 cores=4-31
/proc/1131/task/1157/stat : 1157 (plingeling) R 1126 1126 726 0 -1 4202560 1790 1246 0 0 1887 1 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1131/tid=1158] ppid=1126 vsize=663472 CPUtime=18.86 cores=4-31
/proc/1131/task/1158/stat : 1158 (plingeling) R 1126 1126 726 0 -1 4202560 3684 1246 0 0 1884 2 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1131/tid=1159] ppid=1126 vsize=663472 CPUtime=18.84 cores=4-31
/proc/1131/task/1159/stat : 1159 (plingeling) R 1126 1126 726 0 -1 4202560 4151 1246 0 0 1881 3 0 0 18 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331337 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1131/tid=1160] ppid=1126 vsize=663472 CPUtime=18.86 cores=4-31
/proc/1131/task/1160/stat : 1160 (plingeling) R 1126 1126 726 0 -1 4202560 3836 1246 0 0 1883 3 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1131/tid=1161] ppid=1126 vsize=663472 CPUtime=18.87 cores=4-31
/proc/1131/task/1161/stat : 1161 (plingeling) R 1126 1126 726 0 -1 4202560 4178 1246 0 0 1882 5 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331366 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1131/tid=1162] ppid=1126 vsize=663472 CPUtime=18.84 cores=4-31
/proc/1131/task/1162/stat : 1162 (plingeling) R 1126 1126 726 0 -1 4202560 4136 1246 0 0 1881 3 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331011 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1131/tid=1163] ppid=1126 vsize=663472 CPUtime=18.85 cores=4-31
/proc/1131/task/1163/stat : 1163 (plingeling) R 1126 1126 726 0 -1 4202560 4558 1246 0 0 1881 4 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1131/tid=1164] ppid=1126 vsize=663472 CPUtime=18.5 cores=4-31
/proc/1131/task/1164/stat : 1164 (plingeling) R 1126 1126 726 0 -1 4202560 3949 1246 0 0 1847 3 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1131/tid=1165] ppid=1126 vsize=663472 CPUtime=18.87 cores=4-31
/proc/1131/task/1165/stat : 1165 (plingeling) R 1126 1126 726 0 -1 4202560 1349 1246 0 0 1887 0 0 0 25 0 29 0 725984331 679395328 47380 268435456000 4194304 4356188 140736114870048 18446744073709551615 4241582 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 604.41
Current children cumulated vsize (KiB) 2002588
[startup+19.9019 s]
/proc/loadavg: 30.99 30.70 31.40 33/447 1165
/proc/meminfo: memFree=255079380/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) S 1124 1126 726 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 1828101225510338559 0 0 17 23 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
[pid=1127] ppid=1126 vsize=824304 CPUtime=19.88 cores=0
/proc/1127/stat : 1127 (cryptominisat) R 1126 1126 726 0 -1 4202496 9797 0 0 0 1985 3 0 0 25 0 1 0 725984310 844087296 4498 268435456000 4194304 4587354 140735659294752 18446744073709551615 4237684 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1127/statm: 206076 4498 336 96 0 202638 0
[pid=1128] ppid=1126 vsize=25552 CPUtime=19.88 cores=1
/proc/1128/stat : 1128 (clasp) R 1126 1126 726 0 -1 4202496 3965 0 0 0 1987 1 0 0 25 0 1 0 725984310 26165248 3736 268435456000 4194304 4785740 140735655637904 18446744073709551615 4552662 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1128/statm: 6388 3736 338 145 0 3433 0
[pid=1129] ppid=1126 vsize=456752 CPUtime=19.88 cores=2
/proc/1129/stat : 1129 (TNM) R 1126 1126 726 0 -1 4202496 752 0 0 0 1988 0 0 0 25 0 1 0 725984310 467714048 649 268435456000 134512640 134534564 4290450016 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1129/statm: 114188 649 95 6 0 112853 0
[pid=1130] ppid=1126 vsize=20144 CPUtime=19.88 cores=3
/proc/1130/stat : 1130 (march_hi) R 1126 1126 726 0 -1 4202496 4834 0 0 0 1988 0 0 0 25 0 1 0 725984310 20627456 2407 268435456000 4194304 4331988 140734069375344 18446744073709551615 4237182 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1130/statm: 5036 2407 174 34 0 3478 0
[pid=1131] ppid=1126 vsize=662192 CPUtime=550.45 cores=4-31
/proc/1131/stat : 1131 (plingeling) S 1126 1126 726 0 -1 4202496 114942 1246 0 0 54941 104 0 0 18 0 29 0 725984310 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1131/statm: 165548 47028 159 40 0 164092 0
[pid=1131/tid=1138] ppid=1126 vsize=662192 CPUtime=19.66 cores=4-31
/proc/1131/task/1138/stat : 1138 (plingeling) R 1126 1126 726 0 -1 4202560 4028 1246 0 0 1963 3 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1131/tid=1139] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1139/stat : 1139 (plingeling) R 1126 1126 726 0 -1 4202560 4148 1246 0 0 1963 4 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4234302 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1131/tid=1140] ppid=1126 vsize=662192 CPUtime=19.65 cores=4-31
/proc/1131/task/1140/stat : 1140 (plingeling) R 1126 1126 726 0 -1 4202560 3379 1246 0 0 1963 2 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1131/tid=1141] ppid=1126 vsize=662192 CPUtime=19.68 cores=4-31
/proc/1131/task/1141/stat : 1141 (plingeling) R 1126 1126 726 0 -1 4202560 1533 1246 0 0 1968 0 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210581 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1131/tid=1142] ppid=1126 vsize=662192 CPUtime=19.65 cores=4-31
/proc/1131/task/1142/stat : 1142 (plingeling) R 1126 1126 726 0 -1 4202560 4442 1246 0 0 1961 4 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4211156 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1131/tid=1143] ppid=1126 vsize=662192 CPUtime=19.66 cores=4-31
/proc/1131/task/1143/stat : 1143 (plingeling) R 1126 1126 726 0 -1 4202560 3845 1246 0 0 1964 2 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4279666 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1131/tid=1144] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1144/stat : 1144 (plingeling) R 1126 1126 726 0 -1 4202560 4244 1246 0 0 1964 3 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1131/tid=1145] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1145/stat : 1145 (plingeling) R 1126 1126 726 0 -1 4202560 4524 1246 0 0 1962 5 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1131/tid=1146] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1146/stat : 1146 (plingeling) R 1126 1126 726 0 -1 4202560 4714 1246 0 0 1963 4 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4284157 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1131/tid=1147] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1147/stat : 1147 (plingeling) R 1126 1126 726 0 -1 4202560 3388 1246 0 0 1963 4 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1131/tid=1148] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1148/stat : 1148 (plingeling) R 1126 1126 726 0 -1 4202560 3952 1246 0 0 1964 3 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1131/tid=1149] ppid=1126 vsize=662192 CPUtime=19.66 cores=4-31
/proc/1131/task/1149/stat : 1149 (plingeling) R 1126 1126 726 0 -1 4202560 1658 1246 0 0 1965 1 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1131/tid=1150] ppid=1126 vsize=662192 CPUtime=19.64 cores=4-31
/proc/1131/task/1150/stat : 1150 (plingeling) R 1126 1126 726 0 -1 4202560 4504 1246 0 0 1961 3 0 0 25 0 29 0 725984330 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1131/tid=1151] ppid=1126 vsize=662192 CPUtime=19.57 cores=4-31
/proc/1131/task/1151/stat : 1151 (plingeling) R 1126 1126 726 0 -1 4202560 3048 1246 0 0 1955 2 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1131/tid=1152] ppid=1126 vsize=662192 CPUtime=19.66 cores=4-31
/proc/1131/task/1152/stat : 1152 (plingeling) R 1126 1126 726 0 -1 4202560 4708 1246 0 0 1963 3 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1131/tid=1153] ppid=1126 vsize=662192 CPUtime=19.66 cores=4-31
/proc/1131/task/1153/stat : 1153 (plingeling) R 1126 1126 726 0 -1 4202560 4328 1246 0 0 1960 6 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1131/tid=1154] ppid=1126 vsize=662192 CPUtime=19.65 cores=4-31
/proc/1131/task/1154/stat : 1154 (plingeling) R 1126 1126 726 0 -1 4202560 4762 1246 0 0 1960 5 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1131/tid=1155] ppid=1126 vsize=662192 CPUtime=19.68 cores=4-31
/proc/1131/task/1155/stat : 1155 (plingeling) R 1126 1126 726 0 -1 4202560 5545 1246 0 0 1962 6 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330766 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1131/tid=1156] ppid=1126 vsize=662192 CPUtime=19.58 cores=4-31
/proc/1131/task/1156/stat : 1156 (plingeling) R 1126 1126 726 0 -1 4202560 3777 1246 0 0 1956 2 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1131/tid=1157] ppid=1126 vsize=662192 CPUtime=19.68 cores=4-31
/proc/1131/task/1157/stat : 1157 (plingeling) R 1126 1126 726 0 -1 4202560 1854 1246 0 0 1967 1 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1131/tid=1158] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1158/stat : 1158 (plingeling) R 1126 1126 726 0 -1 4202560 4004 1246 0 0 1964 3 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1131/tid=1159] ppid=1126 vsize=662192 CPUtime=19.64 cores=4-31
/proc/1131/task/1159/stat : 1159 (plingeling) R 1126 1126 726 0 -1 4202560 4151 1246 0 0 1961 3 0 0 19 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1131/tid=1160] ppid=1126 vsize=662192 CPUtime=19.66 cores=4-31
/proc/1131/task/1160/stat : 1160 (plingeling) R 1126 1126 726 0 -1 4202560 4028 1246 0 0 1963 3 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1131/tid=1161] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1161/stat : 1161 (plingeling) R 1126 1126 726 0 -1 4202560 4178 1246 0 0 1962 5 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1131/tid=1162] ppid=1126 vsize=662192 CPUtime=19.64 cores=4-31
/proc/1131/task/1162/stat : 1162 (plingeling) R 1126 1126 726 0 -1 4202560 4296 1246 0 0 1961 3 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4331519 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1131/tid=1163] ppid=1126 vsize=662192 CPUtime=19.65 cores=4-31
/proc/1131/task/1163/stat : 1163 (plingeling) R 1126 1126 726 0 -1 4202560 4590 1246 0 0 1961 4 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1131/tid=1164] ppid=1126 vsize=662192 CPUtime=19.3 cores=4-31
/proc/1131/task/1164/stat : 1164 (plingeling) R 1126 1126 726 0 -1 4202560 4141 1246 0 0 1927 3 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1131/tid=1165] ppid=1126 vsize=662192 CPUtime=19.67 cores=4-31
/proc/1131/task/1165/stat : 1165 (plingeling) R 1126 1126 726 0 -1 4202560 1349 1246 0 0 1967 0 0 0 25 0 29 0 725984331 678084608 47028 268435456000 4194304 4356188 140736114870048 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 629.97
Current children cumulated vsize (KiB) 2007268
[startup+20.3019 s]
/proc/loadavg: 30.99 30.70 31.40 33/447 1165
/proc/meminfo: memFree=255079380/264257624 swapFree=67111528/67111528
[pid=1126] ppid=1124 vsize=18324 CPUtime=0 cores=0-31
/proc/1126/stat : 1126 (ppfolio) S 1124 1126 726 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725984310 18763776 386 268435456000 4194304 4287625 140736563225776 18446744073709551615 258650975999 0 0 4096 65536 1828101225510338559 0 0 17 23 0 0 0
/proc/1126/statm: 4581 386 337 23 0 91 0
[pid=1127] ppid=1126 vsize=824304 CPUtime=20.28 cores=0
/proc/1127/stat : 1127 (cryptominisat) R 1126 1126 726 0 -1 4202496 9913 0 0 0 2025 3 0 0 25 0 1 0 725984310 844087296 4612 268435456000 4194304 4587354 140735659294752 18446744073709551615 258650652587 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1127/statm: 206076 4612 336 96 0 202638 0
[pid=1128] ppid=1126 vsize=25552 CPUtime=20.28 cores=1
/proc/1128/stat : 1128 (clasp) R 1126 1126 726 0 -1 4202496 3965 0 0 0 2027 1 0 0 25 0 1 0 725984310 26165248 3736 268435456000 4194304 4785740 140735655637904 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1128/statm: 6388 3736 338 145 0 3433 0
[pid=1129] ppid=1126 vsize=456752 CPUtime=20.28 cores=2
/proc/1129/stat : 1129 (TNM) R 1126 1126 726 0 -1 4202496 752 0 0 0 2028 0 0 0 25 0 1 0 725984310 467714048 649 268435456000 134512640 134534564 4290450016 18446744073709551615 3900859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1129/statm: 114188 649 95 6 0 112853 0
[pid=1130] ppid=1126 vsize=20144 CPUtime=20.28 cores=3
/proc/1130/stat : 1130 (march_hi) R 1126 1126 726 0 -1 4202496 4845 0 0 0 2028 0 0 0 25 0 1 0 725984310 20627456 2418 268435456000 4194304 4331988 140734069375344 18446744073709551615 4231525 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1130/statm: 5036 2418 174 34 0 3478 0
[pid=1131] ppid=1126 vsize=464360 CPUtime=560.73 cores=4-31
/proc/1131/stat : 1131 (plingeling) S 1126 1126 726 0 -1 4202496 115839 1246 0 0 55969 104 0 0 17 0 2 0 725984310 475504640 43537 268435456000 4194304 4356188 140736114870048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1131/statm: 116090 43537 160 40 0 114634 0
[pid=1131/tid=1159] ppid=1126 vsize=464360 CPUtime=20.04 cores=4-31
/proc/1131/task/1159/stat : 1159 (plingeling) R 1126 1126 726 0 -1 4202560 4247 1246 0 0 2001 3 0 0 19 0 2 0 725984331 475504640 43537 268435456000 4194304 4356188 140736114870048 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 1809436
Child status: 0
Real time (s): 20.3249
CPU time (s): 642.035
CPU user time (s): 640.887
CPU system time (s): 1.14882
CPU usage (%): 3158.86
Max. virtual memory (cumulated for all children) (KiB): 2719448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 640.887
system time used= 1.14882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137104
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= 1560
involuntary context switches= 1410
runsolver used 0.110983 second user time and 0.466929 second system time
The end
Begin job on node200 at 2011-05-23 12:02:59
IDJOB=3347705
IDBENCH=88025
IDSOLVER=1808
FILE ID=node200/3347705-1306144979
RUNJOBID= node200-1306144788-740
PBS_JOBID= 13387844
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347705-1306144979/watcher-3347705-1306144979 -o /tmp/evaluation-result-3347705-1306144979/solver-3347705-1306144979 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347705-1306144979.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 532245ed9a95eef41b179dba56b78f57
RANDOM SEED=2012710586
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: 255311860 kB
Buffers: 459648 kB
Cached: 8070268 kB
SwapCached: 0 kB
Active: 7620580 kB
Inactive: 978588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255311860 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10164 kB
Writeback: 0 kB
AnonPages: 76036 kB
Mapped: 15176 kB
Slab: 254156 kB
PageTables: 5880 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 167224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62036 MiB
End job on node200 at 2011-05-23 12:03:19