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
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-3347559-1305321682/watcher-3347559-1305321682 -o /tmp/evaluation-result-3347559-1305321682/solver-3347559-1305321682 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347559-1305321682.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.15 31.00 31.66 1/413 27111
/proc/meminfo: memFree=255611900/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 511 0 0 0 0 0 0 0 23 0 1 0 643654641 18763776 385 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 16 0 0 0
/proc/27111/statm: 4581 385 337 23 0 91 0
[startup+0.0582111 s]
/proc/loadavg: 27.15 31.00 31.66 1/413 27111
/proc/meminfo: memFree=255611900/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 23 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+0.101183 s]
/proc/loadavg: 27.15 31.00 31.66 1/413 27111
/proc/meminfo: memFree=255611900/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 23 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+0.301235 s]
/proc/loadavg: 27.15 31.00 31.66 1/413 27111
/proc/meminfo: memFree=255611900/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 22 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+0.701187 s]
/proc/loadavg: 27.15 31.00 31.66 1/413 27111
/proc/meminfo: memFree=255611900/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 22 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18324
[startup+1.50123 s]
/proc/loadavg: 27.15 31.00 31.66 5/418 27122
/proc/meminfo: memFree=255440088/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 17 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
[pid=27112] ppid=27111 vsize=53712 CPUtime=1.49 cores=0
/proc/27112/stat : 27112 (cryptominisat) R 27111 27111 27085 0 -1 4202496 8291 0 0 0 146 3 0 0 20 0 1 0 643654641 55001088 8066 268435456000 4194304 4587354 140736635309648 18446744073709551615 4421100 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27112/statm: 13428 8066 315 96 0 9990 0
[pid=27113] ppid=27111 vsize=43376 CPUtime=1.48 cores=1
/proc/27113/stat : 27113 (clasp) R 27111 27111 27085 0 -1 4202496 10304 0 0 0 145 3 0 0 20 0 1 0 643654641 44417024 7991 268435456000 4194304 4785740 140736150366320 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27113/statm: 10844 7991 338 145 0 7889 0
[pid=27115] ppid=27111 vsize=111832 CPUtime=1.48 cores=3
/proc/27115/stat : 27115 (march_hi) R 27111 27111 27085 0 -1 4202496 54531 0 0 0 137 11 0 0 20 0 1 0 643654641 114515968 11878 268435456000 4194304 4331988 140737172423712 18446744073709551615 4256835 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27115/statm: 27958 11878 160 34 0 26400 0
[pid=27116] ppid=27111 vsize=123980 CPUtime=1.48 cores=4-31
/proc/27116/stat : 27116 (plingeling) R 27111 27111 27085 0 -1 4202496 29770 1240 0 0 141 6 0 1 21 0 1 0 643654642 126955520 29654 268435456000 4194304 4356188 140735804502736 18446744073709551615 4225397 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/27116/statm: 30995 29654 129 40 0 29539 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 351224
[startup+3.10124 s]
/proc/loadavg: 27.15 31.00 31.66 5/418 27122
/proc/meminfo: memFree=255244964/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 15 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
[pid=27112] ppid=27111 vsize=72824 CPUtime=3.08 cores=0
/proc/27112/stat : 27112 (cryptominisat) R 27111 27111 27085 0 -1 4202496 16993 0 0 0 303 5 0 0 25 0 1 0 643654641 74571776 13339 268435456000 4194304 4587354 140736635309648 18446744073709551615 4238600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27112/statm: 18206 13339 329 96 0 14768 0
[pid=27113] ppid=27111 vsize=43376 CPUtime=3.08 cores=1
/proc/27113/stat : 27113 (clasp) R 27111 27111 27085 0 -1 4202496 10304 0 0 0 305 3 0 0 25 0 1 0 643654641 44417024 7991 268435456000 4194304 4785740 140736150366320 18446744073709551615 4553068 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27113/statm: 10844 7991 338 145 0 7889 0
[pid=27115] ppid=27111 vsize=122580 CPUtime=3.09 cores=3
/proc/27115/stat : 27115 (march_hi) R 27111 27111 27085 0 -1 4202496 65238 0 0 0 296 13 0 0 25 0 1 0 643654641 125521920 15678 268435456000 4194304 4331988 140737172423712 18446744073709551615 4243090 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27115/statm: 30645 15678 175 34 0 29087 0
[pid=27116] ppid=27111 vsize=782316 CPUtime=8.9 cores=4-31
/proc/27116/stat : 27116 (plingeling) S 27111 27111 27085 0 -1 4202496 78703 1240 0 0 831 58 0 1 18 0 29 0 643654642 801091584 73555 268435456000 4194304 4356188 140735804502736 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/27116/statm: 195579 73555 137 40 0 194123 0
Current children cumulated CPU time (s) 18.18
Current children cumulated vsize (KiB) 1039420
[startup+6.30134 s]
/proc/loadavg: 25.30 30.55 31.51 32/446 27150
/proc/meminfo: memFree=255005568/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 15 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
[pid=27112] ppid=27111 vsize=110328 CPUtime=6.28 cores=0
/proc/27112/stat : 27112 (cryptominisat) R 27111 27111 27085 0 -1 4202496 17697 0 0 0 623 5 0 0 25 0 1 0 643654641 112975872 14028 268435456000 4194304 4587354 140736635309648 18446744073709551615 4230176 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27112/statm: 27582 14028 329 96 0 24144 0
[pid=27113] ppid=27111 vsize=47080 CPUtime=6.28 cores=1
/proc/27113/stat : 27113 (clasp) R 27111 27111 27085 0 -1 4202496 11287 0 0 0 625 3 0 0 25 0 1 0 643654641 48209920 8974 268435456000 4194304 4785740 140736150366320 18446744073709551615 4552983 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27113/statm: 11770 8974 338 145 0 8815 0
[pid=27115] ppid=27111 vsize=129944 CPUtime=6.28 cores=3
/proc/27115/stat : 27115 (march_hi) R 27111 27111 27085 0 -1 4202496 66867 0 0 0 615 13 0 0 25 0 1 0 643654641 133062656 17306 268435456000 4194304 4331988 140737172423712 18446744073709551615 4263328 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27115/statm: 32486 17306 174 34 0 30928 0
[pid=27116] ppid=27111 vsize=892944 CPUtime=98.2 cores=4-31
/proc/27116/stat : 27116 (plingeling) S 27111 27111 27085 0 -1 4202496 161700 1240 0 0 9732 87 0 1 18 0 29 0 643654642 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/27116/statm: 223236 112664 159 40 0 221780 0
[pid=27116/tid=27123] ppid=27111 vsize=892944 CPUtime=3.43 cores=4-31
/proc/27116/task/27123/stat : 27123 (plingeling) R 27111 27111 27085 0 -1 4202560 3190 1240 0 0 340 2 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4211720 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27116/tid=27124] ppid=27111 vsize=892944 CPUtime=3.38 cores=4-31
/proc/27116/task/27124/stat : 27124 (plingeling) R 27111 27111 27085 0 -1 4202560 3161 1240 0 0 336 1 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4271328 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27116/tid=27125] ppid=27111 vsize=892944 CPUtime=3.43 cores=4-31
/proc/27116/task/27125/stat : 27125 (plingeling) R 27111 27111 27085 0 -1 4202560 3436 1240 0 0 339 3 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4303184 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27116/tid=27126] ppid=27111 vsize=892944 CPUtime=3.37 cores=4-31
/proc/27116/task/27126/stat : 27126 (plingeling) R 27111 27111 27085 0 -1 4202560 2509 1240 0 0 332 4 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27116/tid=27127] ppid=27111 vsize=892944 CPUtime=3.39 cores=4-31
/proc/27116/task/27127/stat : 27127 (plingeling) R 27111 27111 27085 0 -1 4202560 3425 1240 0 0 336 2 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4312608 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27116/tid=27128] ppid=27111 vsize=892944 CPUtime=3.48 cores=4-31
/proc/27116/task/27128/stat : 27128 (plingeling) R 27111 27111 27085 0 -1 4202560 5495 1240 0 0 346 1 0 1 22 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4271019 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27116/tid=27129] ppid=27111 vsize=892944 CPUtime=3.46 cores=4-31
/proc/27116/task/27129/stat : 27129 (plingeling) R 27111 27111 27085 0 -1 4202560 6554 1240 0 0 342 3 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4312408 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27116/tid=27130] ppid=27111 vsize=892944 CPUtime=3.43 cores=4-31
/proc/27116/task/27130/stat : 27130 (plingeling) R 27111 27111 27085 0 -1 4202560 3797 1240 0 0 339 3 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4270971 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27116/tid=27131] ppid=27111 vsize=892944 CPUtime=3.37 cores=4-31
/proc/27116/task/27131/stat : 27131 (plingeling) R 27111 27111 27085 0 -1 4202560 3265 1240 0 0 333 3 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4215072 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27116/tid=27132] ppid=27111 vsize=892944 CPUtime=3.38 cores=4-31
/proc/27116/task/27132/stat : 27132 (plingeling) R 27111 27111 27085 0 -1 4202560 3548 1240 0 0 336 1 0 1 22 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4233426 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27116/tid=27133] ppid=27111 vsize=892944 CPUtime=3.43 cores=4-31
/proc/27116/task/27133/stat : 27133 (plingeling) R 27111 27111 27085 0 -1 4202560 2990 1240 0 0 339 3 0 1 25 0 29 0 643654921 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4216192 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27116/tid=27134] ppid=27111 vsize=892944 CPUtime=3.35 cores=4-31
/proc/27116/task/27134/stat : 27134 (plingeling) R 27111 27111 27085 0 -1 4202560 2519 1240 0 0 334 0 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27116/tid=27135] ppid=27111 vsize=892944 CPUtime=3.48 cores=4-31
/proc/27116/task/27135/stat : 27135 (plingeling) R 27111 27111 27085 0 -1 4202560 3326 1240 0 0 344 3 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4305100 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27116/tid=27136] ppid=27111 vsize=892944 CPUtime=3.38 cores=4-31
/proc/27116/task/27136/stat : 27136 (plingeling) R 27111 27111 27085 0 -1 4202560 4239 1240 0 0 334 3 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4233061 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27116/tid=27137] ppid=27111 vsize=892944 CPUtime=3.37 cores=4-31
/proc/27116/task/27137/stat : 27137 (plingeling) R 27111 27111 27085 0 -1 4202560 3980 1240 0 0 333 3 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27116/tid=27138] ppid=27111 vsize=892944 CPUtime=3.36 cores=4-31
/proc/27116/task/27138/stat : 27138 (plingeling) R 27111 27111 27085 0 -1 4202560 4417 1240 0 0 334 1 0 1 22 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4310872 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27116/tid=27139] ppid=27111 vsize=892944 CPUtime=3.45 cores=4-31
/proc/27116/task/27139/stat : 27139 (plingeling) R 27111 27111 27085 0 -1 4202560 5088 1240 0 0 341 3 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4211883 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27116/tid=27140] ppid=27111 vsize=892944 CPUtime=3.38 cores=4-31
/proc/27116/task/27140/stat : 27140 (plingeling) R 27111 27111 27085 0 -1 4202560 3291 1240 0 0 336 1 0 1 22 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4304188 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27116/tid=27141] ppid=27111 vsize=892944 CPUtime=3.46 cores=4-31
/proc/27116/task/27141/stat : 27141 (plingeling) R 27111 27111 27085 0 -1 4202560 3215 1240 0 0 342 3 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4254514 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27116/tid=27142] ppid=27111 vsize=892944 CPUtime=3.45 cores=4-31
/proc/27116/task/27142/stat : 27142 (plingeling) R 27111 27111 27085 0 -1 4202560 4449 1240 0 0 343 1 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27116/tid=27143] ppid=27111 vsize=892944 CPUtime=3.37 cores=4-31
/proc/27116/task/27143/stat : 27143 (plingeling) R 27111 27111 27085 0 -1 4202560 2661 1240 0 0 333 3 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4231212 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27116/tid=27144] ppid=27111 vsize=892944 CPUtime=3.4 cores=4-31
/proc/27116/task/27144/stat : 27144 (plingeling) R 27111 27111 27085 0 -1 4202560 3256 1240 0 0 336 3 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4231417 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27116/tid=27145] ppid=27111 vsize=892944 CPUtime=3.4 cores=4-31
/proc/27116/task/27145/stat : 27145 (plingeling) R 27111 27111 27085 0 -1 4202560 3504 1240 0 0 337 2 0 1 25 0 29 0 643654922 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4276732 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27116/tid=27146] ppid=27111 vsize=892944 CPUtime=3.47 cores=4-31
/proc/27116/task/27146/stat : 27146 (plingeling) R 27111 27111 27085 0 -1 4202560 4640 1240 0 0 345 1 0 1 25 0 29 0 643654923 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4312079 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27116/tid=27147] ppid=27111 vsize=892944 CPUtime=3.33 cores=4-31
/proc/27116/task/27147/stat : 27147 (plingeling) R 27111 27111 27085 0 -1 4202560 3491 1240 0 0 329 3 0 1 25 0 29 0 643654923 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4232885 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27116/tid=27148] ppid=27111 vsize=892944 CPUtime=3.38 cores=4-31
/proc/27116/task/27148/stat : 27148 (plingeling) R 27111 27111 27085 0 -1 4202560 3659 1240 0 0 334 3 0 1 25 0 29 0 643654923 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4211140 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27116/tid=27149] ppid=27111 vsize=892944 CPUtime=3.4 cores=4-31
/proc/27116/task/27149/stat : 27149 (plingeling) R 27111 27111 27085 0 -1 4202560 3374 1240 0 0 337 2 0 1 22 0 29 0 643654923 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4303168 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27116/tid=27150] ppid=27111 vsize=892944 CPUtime=3.44 cores=4-31
/proc/27116/task/27150/stat : 27150 (plingeling) R 27111 27111 27085 0 -1 4202560 3896 1240 0 0 343 0 0 1 25 0 29 0 643654923 914374656 112664 268435456000 4194304 4356188 140735804502736 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 117.07
Current children cumulated vsize (KiB) 1198620
[startup+12.7016 s]
/proc/loadavg: 25.75 30.55 31.51 32/446 27150
/proc/meminfo: memFree=255075076/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 15 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
[pid=27112] ppid=27111 vsize=79508 CPUtime=12.68 cores=0
/proc/27112/stat : 27112 (cryptominisat) R 27111 27111 27085 0 -1 4202496 20600 0 0 0 1262 6 0 0 25 0 1 0 643654641 81416192 13944 268435456000 4194304 4587354 140736635309648 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27112/statm: 19877 13944 335 96 0 16439 0
[pid=27113] ppid=27111 vsize=55844 CPUtime=12.68 cores=1
/proc/27113/stat : 27113 (clasp) R 27111 27111 27085 0 -1 4202496 13432 0 0 0 1264 4 0 0 25 0 1 0 643654641 57184256 11119 268435456000 4194304 4785740 140736150366320 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27113/statm: 13961 11119 338 145 0 11006 0
[pid=27115] ppid=27111 vsize=131808 CPUtime=12.68 cores=3
/proc/27115/stat : 27115 (march_hi) R 27111 27111 27085 0 -1 4202496 67335 0 0 0 1255 13 0 0 25 0 1 0 643654641 134971392 17774 268435456000 4194304 4331988 140737172423712 18446744073709551615 4263185 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27115/statm: 32952 17774 174 34 0 31394 0
[pid=27116] ppid=27111 vsize=808744 CPUtime=277.17 cores=4-31
/proc/27116/stat : 27116 (plingeling) S 27111 27111 27085 0 -1 4202496 170345 1240 0 0 27626 90 0 1 18 0 29 0 643654642 828153856 89308 268435456000 4194304 4356188 140735804502736 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
################
# More data... #
################
[pid=27112] ppid=27111 vsize=2140160 CPUtime=5081.33 cores=0
/proc/27112/stat : 27112 (cryptominisat) R 27111 27111 27085 0 -1 4202496 534067 0 0 0 507795 338 0 0 25 0 1 0 643654641 2191523840 77547 268435456000 4194304 4587354 140736635309648 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27112/statm: 535040 77547 335 96 0 531602 0
[pid=27113] ppid=27111 vsize=403804 CPUtime=5081.33 cores=1
/proc/27113/stat : 27113 (clasp) R 27111 27111 27085 0 -1 4202496 98349 0 0 0 508070 63 0 0 25 0 1 0 643654641 413495296 96036 268435456000 4194304 4785740 140736150366320 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27113/statm: 100951 96036 338 145 0 97996 0
[pid=27115] ppid=27111 vsize=175796 CPUtime=5081.33 cores=3
/proc/27115/stat : 27115 (march_hi) R 27111 27111 27085 0 -1 4202496 77278 0 0 0 508108 25 0 0 25 0 1 0 643654641 180015104 27717 268435456000 4194304 4331988 140737172423712 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27115/statm: 43949 27717 174 34 0 42391 0
[pid=27116] ppid=27111 vsize=2258772 CPUtime=140615 cores=4-31
/proc/27116/stat : 27116 (plingeling) S 27111 27111 27085 0 -1 4202496 3434002 1240 0 0 14058963 2544 0 1 18 0 29 0 643654642 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/27116/statm: 564693 445349 159 40 0 563237 0
[pid=27116/tid=27123] ppid=27111 vsize=2258772 CPUtime=4883.38 cores=4-31
/proc/27116/task/27123/stat : 27123 (plingeling) R 27111 27111 27085 0 -1 4202560 153279 1240 0 0 488250 87 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27116/tid=27124] ppid=27111 vsize=2258772 CPUtime=4932.83 cores=4-31
/proc/27116/task/27124/stat : 27124 (plingeling) R 27111 27111 27085 0 -1 4202560 130462 1240 0 0 493167 115 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27116/tid=27125] ppid=27111 vsize=2258772 CPUtime=4941.8 cores=4-31
/proc/27116/task/27125/stat : 27125 (plingeling) R 27111 27111 27085 0 -1 4202560 107877 1240 0 0 494095 84 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27116/tid=27126] ppid=27111 vsize=2258772 CPUtime=5034.89 cores=4-31
/proc/27116/task/27126/stat : 27126 (plingeling) R 27111 27111 27085 0 -1 4202560 37461 1240 0 0 503462 26 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4233948 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27116/tid=27127] ppid=27111 vsize=2258772 CPUtime=5002.01 cores=4-31
/proc/27116/task/27127/stat : 27127 (plingeling) R 27111 27111 27085 0 -1 4202560 115648 1240 0 0 500109 91 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4332260 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27116/tid=27128] ppid=27111 vsize=2258772 CPUtime=5078.52 cores=4-31
/proc/27116/task/27128/stat : 27128 (plingeling) R 27111 27111 27085 0 -1 4202560 161076 1240 0 0 507707 144 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27116/tid=27129] ppid=27111 vsize=2258772 CPUtime=5078.51 cores=4-31
/proc/27116/task/27129/stat : 27129 (plingeling) R 27111 27111 27085 0 -1 4202560 126448 1240 0 0 507770 80 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27116/tid=27130] ppid=27111 vsize=2258772 CPUtime=5063.18 cores=4-31
/proc/27116/task/27130/stat : 27130 (plingeling) R 27111 27111 27085 0 -1 4202560 168970 1240 0 0 506185 132 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27116/tid=27131] ppid=27111 vsize=2258772 CPUtime=5078.41 cores=4-31
/proc/27116/task/27131/stat : 27131 (plingeling) R 27111 27111 27085 0 -1 4202560 169048 1240 0 0 507685 155 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27116/tid=27132] ppid=27111 vsize=2258772 CPUtime=4868.14 cores=4-31
/proc/27116/task/27132/stat : 27132 (plingeling) R 27111 27111 27085 0 -1 4202560 125828 1240 0 0 486739 74 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27116/tid=27133] ppid=27111 vsize=2258772 CPUtime=4992.25 cores=4-31
/proc/27116/task/27133/stat : 27133 (plingeling) R 27111 27111 27085 0 -1 4202560 103425 1240 0 0 499119 105 0 1 25 0 29 0 643654921 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27116/tid=27134] ppid=27111 vsize=2258772 CPUtime=5037.37 cores=4-31
/proc/27116/task/27134/stat : 27134 (plingeling) R 27111 27111 27085 0 -1 4202560 62839 1240 0 0 503702 34 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27116/tid=27135] ppid=27111 vsize=2258772 CPUtime=5073.23 cores=4-31
/proc/27116/task/27135/stat : 27135 (plingeling) R 27111 27111 27085 0 -1 4202560 114260 1240 0 0 507225 97 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4234040 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27116/tid=27136] ppid=27111 vsize=2258772 CPUtime=4958.03 cores=4-31
/proc/27116/task/27136/stat : 27136 (plingeling) R 27111 27111 27085 0 -1 4202560 105922 1240 0 0 495713 89 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27116/tid=27137] ppid=27111 vsize=2258772 CPUtime=5016.07 cores=4-31
/proc/27116/task/27137/stat : 27137 (plingeling) R 27111 27111 27085 0 -1 4202560 152236 1240 0 0 501489 117 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27116/tid=27138] ppid=27111 vsize=2258772 CPUtime=5062.63 cores=4-31
/proc/27116/task/27138/stat : 27138 (plingeling) R 27111 27111 27085 0 -1 4202560 158664 1240 0 0 506118 144 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27116/tid=27139] ppid=27111 vsize=2258772 CPUtime=5016.91 cores=4-31
/proc/27116/task/27139/stat : 27139 (plingeling) R 27111 27111 27085 0 -1 4202560 118141 1240 0 0 501603 87 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27116/tid=27140] ppid=27111 vsize=2258772 CPUtime=5078.31 cores=4-31
/proc/27116/task/27140/stat : 27140 (plingeling) R 27111 27111 27085 0 -1 4202560 135518 1240 0 0 507718 112 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27116/tid=27141] ppid=27111 vsize=2258772 CPUtime=5078.49 cores=4-31
/proc/27116/task/27141/stat : 27141 (plingeling) R 27111 27111 27085 0 -1 4202560 108215 1240 0 0 507777 71 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4332145 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27116/tid=27142] ppid=27111 vsize=2258772 CPUtime=5078.37 cores=4-31
/proc/27116/task/27142/stat : 27142 (plingeling) R 27111 27111 27085 0 -1 4202560 35631 1240 0 0 507811 25 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4284120 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27116/tid=27143] ppid=27111 vsize=2258772 CPUtime=5078.42 cores=4-31
/proc/27116/task/27143/stat : 27143 (plingeling) R 27111 27111 27085 0 -1 4202560 126973 1240 0 0 507751 90 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27116/tid=27144] ppid=27111 vsize=2258772 CPUtime=5078.45 cores=4-31
/proc/27116/task/27144/stat : 27144 (plingeling) R 27111 27111 27085 0 -1 4202560 131562 1240 0 0 507769 75 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27116/tid=27145] ppid=27111 vsize=2258772 CPUtime=5047.01 cores=4-31
/proc/27116/task/27145/stat : 27145 (plingeling) R 27111 27111 27085 0 -1 4202560 127631 1240 0 0 504590 110 0 1 25 0 29 0 643654922 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27116/tid=27146] ppid=27111 vsize=2258772 CPUtime=5008.12 cores=4-31
/proc/27116/task/27146/stat : 27146 (plingeling) R 27111 27111 27085 0 -1 4202560 149906 1240 0 0 500686 125 0 1 25 0 29 0 643654923 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27116/tid=27147] ppid=27111 vsize=2258772 CPUtime=4983.73 cores=4-31
/proc/27116/task/27147/stat : 27147 (plingeling) R 27111 27111 27085 0 -1 4202560 137055 1240 0 0 498273 99 0 1 25 0 29 0 643654923 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27116/tid=27148] ppid=27111 vsize=2258772 CPUtime=5023.21 cores=4-31
/proc/27116/task/27148/stat : 27148 (plingeling) R 27111 27111 27085 0 -1 4202560 105515 1240 0 0 502258 62 0 1 25 0 29 0 643654923 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27116/tid=27149] ppid=27111 vsize=2258772 CPUtime=5049.71 cores=4-31
/proc/27116/task/27149/stat : 27149 (plingeling) R 27111 27111 27085 0 -1 4202560 142895 1240 0 0 504911 59 0 1 25 0 29 0 643654923 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27116/tid=27150] ppid=27111 vsize=2258772 CPUtime=4990.35 cores=4-31
/proc/27116/task/27150/stat : 27150 (plingeling) R 27111 27111 27085 0 -1 4202560 64192 1240 0 0 499006 28 0 1 25 0 29 0 643654923 2312982528 445349 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 155859
Current children cumulated vsize (KiB) 4996856
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 31.02 31.01 31.00 32/446 27301
/proc/meminfo: memFree=253066124/264257624 swapFree=67111528/67111528
[pid=27111] ppid=27109 vsize=18324 CPUtime=0.03 cores=0-31
/proc/27111/stat : 27111 (ppfolio) S 27109 27111 27085 0 -1 4202496 512 1194 0 0 0 0 0 3 15 0 1 0 643654641 18763776 386 268435456000 4194304 4287625 140735795063712 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 16 0 0 0
/proc/27111/statm: 4581 386 338 23 0 91 0
[pid=27112] ppid=27111 vsize=2140160 CPUtime=5099.04 cores=0
/proc/27112/stat : 27112 (cryptominisat) R 27111 27111 27085 0 -1 4202496 534173 0 0 0 509566 338 0 0 25 0 1 0 643654641 2191523840 77653 268435456000 4194304 4587354 140736635309648 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27112/statm: 535040 77653 335 96 0 531602 0
[pid=27113] ppid=27111 vsize=403804 CPUtime=5099.05 cores=1
/proc/27113/stat : 27113 (clasp) R 27111 27111 27085 0 -1 4202496 98349 0 0 0 509842 63 0 0 25 0 1 0 643654641 413495296 96036 268435456000 4194304 4785740 140736150366320 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27113/statm: 100951 96036 338 145 0 97996 0
[pid=27115] ppid=27111 vsize=175796 CPUtime=5099.05 cores=3
/proc/27115/stat : 27115 (march_hi) R 27111 27111 27085 0 -1 4202496 77303 0 0 0 509880 25 0 0 25 0 1 0 643654641 180015104 27742 268435456000 4194304 4331988 140737172423712 18446744073709551615 4228475 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27115/statm: 43949 27742 174 34 0 42391 0
[pid=27116] ppid=27111 vsize=2209620 CPUtime=141109 cores=4-31
/proc/27116/stat : 27116 (plingeling) S 27111 27111 27085 0 -1 4202496 3448594 1240 0 0 14108344 2548 0 1 18 0 29 0 643654642 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/27116/statm: 552405 433061 159 40 0 550949 0
[pid=27116/tid=27123] ppid=27111 vsize=2209620 CPUtime=4901.1 cores=4-31
/proc/27116/task/27123/stat : 27123 (plingeling) R 27111 27111 27085 0 -1 4202560 153279 1240 0 0 490022 87 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331345 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27116/tid=27124] ppid=27111 vsize=2209620 CPUtime=4949.45 cores=4-31
/proc/27116/task/27124/stat : 27124 (plingeling) R 27111 27111 27085 0 -1 4202560 135070 1240 0 0 494828 116 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27116/tid=27125] ppid=27111 vsize=2209620 CPUtime=4959.12 cores=4-31
/proc/27116/task/27125/stat : 27125 (plingeling) R 27111 27111 27085 0 -1 4202560 107877 1240 0 0 495827 84 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27116/tid=27126] ppid=27111 vsize=2209620 CPUtime=5052.61 cores=4-31
/proc/27116/task/27126/stat : 27126 (plingeling) R 27111 27111 27085 0 -1 4202560 37973 1240 0 0 505234 26 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27116/tid=27127] ppid=27111 vsize=2209620 CPUtime=5019.74 cores=4-31
/proc/27116/task/27127/stat : 27127 (plingeling) R 27111 27111 27085 0 -1 4202560 116160 1240 0 0 501881 92 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27116/tid=27128] ppid=27111 vsize=2209620 CPUtime=5096.24 cores=4-31
/proc/27116/task/27128/stat : 27128 (plingeling) R 27111 27111 27085 0 -1 4202560 161588 1240 0 0 509479 144 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27116/tid=27129] ppid=27111 vsize=2209620 CPUtime=5096.23 cores=4-31
/proc/27116/task/27129/stat : 27129 (plingeling) R 27111 27111 27085 0 -1 4202560 126448 1240 0 0 509542 80 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330896 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27116/tid=27130] ppid=27111 vsize=2209620 CPUtime=5080.9 cores=4-31
/proc/27116/task/27130/stat : 27130 (plingeling) R 27111 27111 27085 0 -1 4202560 168970 1240 0 0 507957 132 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27116/tid=27131] ppid=27111 vsize=2209620 CPUtime=5096.13 cores=4-31
/proc/27116/task/27131/stat : 27131 (plingeling) R 27111 27111 27085 0 -1 4202560 169048 1240 0 0 509457 155 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27116/tid=27132] ppid=27111 vsize=2209620 CPUtime=4885.09 cores=4-31
/proc/27116/task/27132/stat : 27132 (plingeling) R 27111 27111 27085 0 -1 4202560 125828 1240 0 0 488434 74 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4234227 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27116/tid=27133] ppid=27111 vsize=2209620 CPUtime=5009.97 cores=4-31
/proc/27116/task/27133/stat : 27133 (plingeling) R 27111 27111 27085 0 -1 4202560 103425 1240 0 0 500891 105 0 1 25 0 29 0 643654921 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27116/tid=27134] ppid=27111 vsize=2209620 CPUtime=5055.09 cores=4-31
/proc/27116/task/27134/stat : 27134 (plingeling) R 27111 27111 27085 0 -1 4202560 62839 1240 0 0 505474 34 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27116/tid=27135] ppid=27111 vsize=2209620 CPUtime=5090.96 cores=4-31
/proc/27116/task/27135/stat : 27135 (plingeling) R 27111 27111 27085 0 -1 4202560 114772 1240 0 0 508997 98 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27116/tid=27136] ppid=27111 vsize=2209620 CPUtime=4975.75 cores=4-31
/proc/27116/task/27136/stat : 27136 (plingeling) R 27111 27111 27085 0 -1 4202560 105922 1240 0 0 497485 89 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4281624 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27116/tid=27137] ppid=27111 vsize=2209620 CPUtime=5033.78 cores=4-31
/proc/27116/task/27137/stat : 27137 (plingeling) R 27111 27111 27085 0 -1 4202560 157868 1240 0 0 503259 118 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27116/tid=27138] ppid=27111 vsize=2209620 CPUtime=5080.34 cores=4-31
/proc/27116/task/27138/stat : 27138 (plingeling) R 27111 27111 27085 0 -1 4202560 158664 1240 0 0 507889 144 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27116/tid=27139] ppid=27111 vsize=2209620 CPUtime=5034.62 cores=4-31
/proc/27116/task/27139/stat : 27139 (plingeling) R 27111 27111 27085 0 -1 4202560 118141 1240 0 0 503374 87 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27116/tid=27140] ppid=27111 vsize=2209620 CPUtime=5096.03 cores=4-31
/proc/27116/task/27140/stat : 27140 (plingeling) R 27111 27111 27085 0 -1 4202560 135774 1240 0 0 509490 112 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27116/tid=27141] ppid=27111 vsize=2209620 CPUtime=5096.21 cores=4-31
/proc/27116/task/27141/stat : 27141 (plingeling) R 27111 27111 27085 0 -1 4202560 109751 1240 0 0 509548 72 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27116/tid=27142] ppid=27111 vsize=2209620 CPUtime=5096.09 cores=4-31
/proc/27116/task/27142/stat : 27142 (plingeling) R 27111 27111 27085 0 -1 4202560 35631 1240 0 0 509583 25 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27116/tid=27143] ppid=27111 vsize=2209620 CPUtime=5096.13 cores=4-31
/proc/27116/task/27143/stat : 27143 (plingeling) R 27111 27111 27085 0 -1 4202560 126973 1240 0 0 509522 90 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27116/tid=27144] ppid=27111 vsize=2209620 CPUtime=5096.17 cores=4-31
/proc/27116/task/27144/stat : 27144 (plingeling) R 27111 27111 27085 0 -1 4202560 131562 1240 0 0 509541 75 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27116/tid=27145] ppid=27111 vsize=2209620 CPUtime=5064.73 cores=4-31
/proc/27116/task/27145/stat : 27145 (plingeling) R 27111 27111 27085 0 -1 4202560 127631 1240 0 0 506362 110 0 1 25 0 29 0 643654922 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331092 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27116/tid=27146] ppid=27111 vsize=2209620 CPUtime=5025.84 cores=4-31
/proc/27116/task/27146/stat : 27146 (plingeling) R 27111 27111 27085 0 -1 4202560 149906 1240 0 0 502458 125 0 1 25 0 29 0 643654923 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27116/tid=27147] ppid=27111 vsize=2209620 CPUtime=5001.44 cores=4-31
/proc/27116/task/27147/stat : 27147 (plingeling) R 27111 27111 27085 0 -1 4202560 137055 1240 0 0 500044 99 0 1 25 0 29 0 643654923 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27116/tid=27148] ppid=27111 vsize=2209620 CPUtime=5040.93 cores=4-31
/proc/27116/task/27148/stat : 27148 (plingeling) R 27111 27111 27085 0 -1 4202560 105515 1240 0 0 504030 62 0 1 25 0 29 0 643654923 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331946 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27116/tid=27149] ppid=27111 vsize=2209620 CPUtime=5067.42 cores=4-31
/proc/27116/task/27149/stat : 27149 (plingeling) R 27111 27111 27085 0 -1 4202560 143407 1240 0 0 506682 59 0 1 25 0 29 0 643654923 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4331345 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27116/tid=27150] ppid=27111 vsize=2209620 CPUtime=5008.07 cores=4-31
/proc/27116/task/27150/stat : 27150 (plingeling) R 27111 27111 27085 0 -1 4202560 64192 1240 0 0 500778 28 0 1 25 0 29 0 643654923 2262650880 433061 268435456000 4194304 4356188 140735804502736 18446744073709551615 4210820 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 156406
Current children cumulated vsize (KiB) 4947704
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27111 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=12998
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=45993
# CPU time returned by wait4() is 0.058991
# while last known CPU time is 156406
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5100.04
CPU time (s): 156406
CPU user time (s): 156376
CPU system time (s): 29.78
CPU usage (%): 3066.76
Max. virtual memory (cumulated for all children) (KiB): 8134620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.012998
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1706
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= 466
involuntary context switches= 6
runsolver used 27.0149 second user time and 116.907 second system time
The end
Begin job on node200 at 2011-05-13 23:21:22
IDJOB=3347559
IDBENCH=83133
IDSOLVER=1808
FILE ID=node200/3347559-1305321682
RUNJOBID= node200-1305321682-27099
PBS_JOBID= 13282112
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347559-1305321682/watcher-3347559-1305321682 -o /tmp/evaluation-result-3347559-1305321682/solver-3347559-1305321682 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347559-1305321682.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 808b4b06b3dea960876e6772f0b9c207
RANDOM SEED=1874920329
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: 255612180 kB
Buffers: 434404 kB
Cached: 7808328 kB
SwapCached: 0 kB
Active: 7380620 kB
Inactive: 930684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255612180 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13392 kB
Writeback: 0 kB
AnonPages: 68760 kB
Mapped: 14432 kB
Slab: 250060 kB
PageTables: 4404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62032 MiB
End job on node200 at 2011-05-14 00:46:24