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
0.00/0.01
1216.59/120.48 s UNSATISFIABLE
1219.53/120.78 solver [1] cryptominisat 2.7.1 answered
1219.53/120.78 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-3347349-1305031090/watcher-3347349-1305031090 -o /tmp/evaluation-result-3347349-1305031090/solver-3347349-1305031090 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347349-1305031090.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: 25.78 24.16 27.91 1/413 3004
/proc/meminfo: memFree=256184608/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 24 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[startup+0.072931 s]
/proc/loadavg: 25.78 24.16 27.91 1/413 3004
/proc/meminfo: memFree=256184608/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 24 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100937 s]
/proc/loadavg: 25.78 24.16 27.91 1/413 3004
/proc/meminfo: memFree=256184608/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 24 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300916 s]
/proc/loadavg: 25.78 24.16 27.91 1/413 3004
/proc/meminfo: memFree=256184608/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 24 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700915 s]
/proc/loadavg: 25.78 24.16 27.91 1/413 3004
/proc/meminfo: memFree=256184608/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 24 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50093 s]
/proc/loadavg: 25.78 24.16 27.91 5/418 3015
/proc/meminfo: memFree=255714892/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 24 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=255660 CPUtime=1.48 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 58024 0 0 0 133 15 0 0 25 0 1 0 614596133 261795840 57562 268435456000 4194304 4587354 140737071506352 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 63915 57563 286 96 0 60477 0
[pid=3006] ppid=3004 vsize=127708 CPUtime=1.48 cores=1
/proc/3006/stat : 3006 (clasp) R 3004 3004 2907 0 -1 4202496 32292 0 0 0 133 15 0 0 20 0 1 0 614596133 130772992 28399 268435456000 4194304 4785740 140737108624448 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/3006/statm: 31927 28400 307 145 0 28972 0
[pid=3008] ppid=3004 vsize=234428 CPUtime=1.48 cores=3
/proc/3008/stat : 3008 (march_hi) R 3004 3004 2907 0 -1 4194304 49513 0 0 0 135 13 0 0 20 0 1 0 614596133 240054272 49409 268435456000 4194304 4331988 140735826935872 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3008/statm: 58607 49410 112 34 0 57049 0
[pid=3009] ppid=3004 vsize=77960 CPUtime=1.48 cores=4-31
/proc/3009/stat : 3009 (plingeling) R 3004 3004 2907 0 -1 4202496 18269 1237 0 0 144 4 0 0 21 0 1 0 614596133 79831040 18149 268435456000 4194304 4356188 140734578209392 18446744073709551615 4277592 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/3009/statm: 19490 18149 129 40 0 18034 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 714080
[startup+3.10099 s]
/proc/loadavg: 25.78 24.16 27.91 5/418 3015
/proc/meminfo: memFree=255344380/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 24 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=560108 CPUtime=3.09 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 124649 0 0 0 276 33 0 0 25 0 1 0 614596133 573550592 123792 268435456000 4194304 4587354 140737071506352 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 140060 123792 286 96 0 136622 0
[pid=3006] ppid=3004 vsize=201936 CPUtime=3.09 cores=1
/proc/3006/stat : 3006 (clasp) R 3004 3004 2907 0 -1 4202496 50849 0 0 0 282 27 0 0 25 0 1 0 614596133 206782464 46956 268435456000 4194304 4785740 140737108624448 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/3006/statm: 50484 46956 307 145 0 47529 0
[pid=3008] ppid=3004 vsize=321288 CPUtime=3.08 cores=3
/proc/3008/stat : 3008 (march_hi) R 3004 3004 2907 0 -1 4194304 73890 0 0 0 283 25 0 0 25 0 1 0 614596133 328998912 73786 268435456000 4194304 4331988 140735826935872 18446744073709551615 4261092 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3008/statm: 80322 73786 112 34 0 78764 0
[pid=3009] ppid=3004 vsize=160860 CPUtime=3.07 cores=4-31
/proc/3009/stat : 3009 (plingeling) R 3004 3004 2907 0 -1 4202496 39130 1237 0 0 298 9 0 0 25 0 1 0 614596133 164720640 38874 268435456000 4194304 4356188 140734578209392 18446744073709551615 4273551 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/3009/statm: 40215 38874 129 40 0 38759 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 1262516
[startup+6.30111 s]
/proc/loadavg: 24.04 23.83 27.79 5/418 3015
/proc/meminfo: memFree=254608916/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=780852 CPUtime=6.28 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 173920 0 0 0 584 44 0 0 25 0 1 0 614596133 799592448 173014 268435456000 4194304 4587354 140737071506352 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 195213 173015 305 96 0 191775 0
[pid=3006] ppid=3004 vsize=205124 CPUtime=6.29 cores=1
/proc/3006/stat : 3006 (clasp) R 3004 3004 2907 0 -1 4202496 62278 0 0 0 600 29 0 0 25 0 1 0 614596133 210046976 48167 268435456000 4194304 4785740 140737108624448 18446744073709551615 4552646 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/3006/statm: 51281 48167 327 145 0 48326 0
[pid=3008] ppid=3004 vsize=954272 CPUtime=6.28 cores=3
/proc/3008/stat : 3008 (march_hi) R 3004 3004 2907 0 -1 4194304 145033 0 0 0 577 51 0 0 25 0 1 0 614596133 977174528 144926 268435456000 4194304 4331988 140735826935872 18446744073709551615 4256805 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3008/statm: 238568 144926 115 34 0 237010 0
[pid=3009] ppid=3004 vsize=361124 CPUtime=6.28 cores=4-31
/proc/3009/stat : 3009 (plingeling) R 3004 3004 2907 0 -1 4202496 89236 1237 0 0 608 20 0 0 25 0 1 0 614596133 369790976 88940 268435456000 4194304 4356188 140734578209392 18446744073709551615 4213220 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/3009/statm: 90281 88940 129 40 0 88825 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 2319696
[startup+12.7014 s]
/proc/loadavg: 22.43 23.50 27.66 5/418 3015
/proc/meminfo: memFree=253921664/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=818688 CPUtime=12.69 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 185373 0 0 0 1222 47 0 0 25 0 1 0 614596133 838336512 180430 268435456000 4194304 4587354 140737071506352 18446744073709551615 4317918 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 204672 180430 314 96 0 201234 0
[pid=3006] ppid=3004 vsize=205124 CPUtime=12.69 cores=1
/proc/3006/stat : 3006 (clasp) R 3004 3004 2907 0 -1 4202496 62285 0 0 0 1240 29 0 0 25 0 1 0 614596133 210046976 48174 268435456000 4194304 4785740 140737108624448 18446744073709551615 4550442 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/3006/statm: 51281 48174 334 145 0 48326 0
[pid=3008] ppid=3004 vsize=938196 CPUtime=12.68 cores=3
/proc/3008/stat : 3008 (march_hi) R 3004 3004 2907 0 -1 4194304 210060 0 0 0 1202 66 0 0 25 0 1 0 614596133 960712704 140925 268435456000 4194304 4331988 140735826935872 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3008/statm: 234549 140925 126 34 0 232991 0
[pid=3009] ppid=3004 vsize=726872 CPUtime=12.68 cores=4-31
/proc/3009/stat : 3009 (plingeling) R 3004 3004 2907 0 -1 4202496 180953 1237 0 0 1231 37 0 0 25 0 1 0 614596133 744316928 180377 268435456000 4194304 4356188 140734578209392 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/3009/statm: 181718 180377 129 40 0 180262 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 2707204
[startup+25.5008 s]
/proc/loadavg: 18.35 22.54 27.28 5/418 3015
/proc/meminfo: memFree=253240056/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=989848 CPUtime=25.49 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 202024 0 0 0 2499 50 0 0 25 0 1 0 614596133 1013604352 197079 268435456000 4194304 4587354 140737071506352 18446744073709551615 4317792 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 247462 197079 322 96 0 244024 0
[pid=3006] ppid=3004 vsize=205124 CPUtime=25.48 cores=1
/proc/3006/stat : 3006 (clasp) R 3004 3004 2907 0 -1 4202496 62285 0 0 0 2519 29 0 0 25 0 1 0 614596133 210046976 48174 268435456000 4194304 4785740 140737108624448 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/3006/statm: 51281 48174 334 145 0 48326 0
[pid=3008] ppid=3004 vsize=938088 CPUtime=25.48 cores=3
/proc/3008/stat : 3008 (march_hi) R 3004 3004 2907 0 -1 4194304 264769 0 0 0 2470 78 0 0 25 0 1 0 614596133 960602112 140904 268435456000 4194304 4331988 140735826935872 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3008/statm: 234522 140904 127 34 0 232964 0
[pid=3009] ppid=3004 vsize=1433480 CPUtime=25.48 cores=4-31
/proc/3009/stat : 3009 (plingeling) R 3004 3004 2907 0 -1 4202496 357605 1237 0 0 2474 74 0 0 25 0 1 0 614596133 1467883520 357029 268435456000 4194304 4356188 140734578209392 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/3009/statm: 358370 357029 129 40 0 356914 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 3584864
[startup+51.1007 s]
/proc/loadavg: 13.51 21.07 26.66 5/418 3017
/proc/meminfo: memFree=251831524/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=820612 CPUtime=51.08 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 220124 0 0 0 5054 54 0 0 25 0 1 0 614596133 840306688 186812 268435456000 4194304 4587354 140737071506352 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 205153 186812 325 96 0 201715 0
[pid=3006] ppid=3004 vsize=205124 CPUtime=51.08 cores=1
/proc/3006/stat : 3006 (clasp) R 3004 3004 2907 0 -1 4202496 62300 0 0 0 5079 29 0 0 25 0 1 0 614596133 210046976 48189 268435456000 4194304 4785740 140737108624448 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/3006/statm: 51281 48189 334 145 0 48326 0
[pid=3008] ppid=3004 vsize=952880 CPUtime=51.07 cores=3
/proc/3008/stat : 3008 (march_hi) R 3004 3004 2907 0 -1 4202496 411221 0 0 0 4997 110 0 0 25 0 1 0 614596133 975749120 143622 268435456000 4194304 4331988 140735826935872 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3008/statm: 238220 143622 151 34 0 236662 0
[pid=3009] ppid=3004 vsize=2845524 CPUtime=51.07 cores=4-31
/proc/3009/stat : 3009 (plingeling) R 3004 3004 2907 0 -1 4202496 710768 1237 0 0 4961 146 0 0 25 0 1 0 614596133 2913816576 710040 268435456000 4194304 4356188 140734578209392 18446744073709551615 4277785 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/3009/statm: 711381 710040 129 40 0 709925 0
Current children cumulated CPU time (s) 204.3
Current children cumulated vsize (KiB) 4842464
[startup+102.322 s]
/proc/loadavg: 12.10 19.29 25.75 32/446 3045
/proc/meminfo: memFree=249660092/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=772516 CPUtime=102.29 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 227369 0 0 0 10172 57 0 0 25 0 1 0 614596133 791056384 177977 268435456000 4194304 4587354 140737071506352 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 193129 177977 325 96 0 189691 0
[pid=3006] ppid=3004 vsize=228924 CPUtime=102.29 cores=1
################
# More data... #
################
Current children cumulated CPU time (s) 1151.57
Current children cumulated vsize (KiB) 8060072
[startup+119.922 s]
/proc/loadavg: 17.46 20.05 25.86 32/446 3047
/proc/meminfo: memFree=249673888/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 16 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=772516 CPUtime=119.89 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 227395 0 0 0 11932 57 0 0 25 0 1 0 614596133 791056384 178002 268435456000 4194304 4587354 140737071506352 18446744073709551615 258650613570 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 193129 178002 342 96 0 189691 0
[pid=3006] ppid=3004 vsize=261252 CPUtime=119.88 cores=1
/proc/3006/stat : 3006 (clasp) R 3004 3004 2907 0 -1 4202496 76327 0 0 0 11955 33 0 0 25 0 1 0 614596133 267522048 62216 268435456000 4194304 4785740 140737108624448 18446744073709551615 4290588 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/3006/statm: 65313 62216 334 145 0 62358 0
[pid=3008] ppid=3004 vsize=1882380 CPUtime=119.89 cores=3
/proc/3008/stat : 3008 (march_hi) R 3004 3004 2907 0 -1 4202496 670685 0 0 0 11824 165 0 0 25 0 1 0 614596133 1927557120 230780 268435456000 4194304 4331988 140735826935872 18446744073709551615 4228235 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3008/statm: 470595 230780 177 34 0 469037 0
[pid=3009] ppid=3004 vsize=5134820 CPUtime=842.08 cores=4-31
/proc/3009/stat : 3009 (plingeling) S 3004 3004 2907 0 -1 4202496 2020276 1237 0 0 82642 1566 0 0 19 0 29 0 614596133 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/3009/statm: 1283705 1150859 159 40 0 1282249 0
[pid=3009/tid=3018] ppid=3004 vsize=5134820 CPUtime=26.51 cores=4-31
/proc/3009/task/3018/stat : 3018 (plingeling) R 3004 3004 2907 0 -1 4202560 31600 1237 0 0 2593 58 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4276751 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3009/tid=3019] ppid=3004 vsize=5134820 CPUtime=27.55 cores=4-31
/proc/3009/task/3019/stat : 3019 (plingeling) R 3004 3004 2907 0 -1 4202560 33551 1237 0 0 2709 46 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3009/tid=3020] ppid=3004 vsize=5134820 CPUtime=27.66 cores=4-31
/proc/3009/task/3020/stat : 3020 (plingeling) R 3004 3004 2907 0 -1 4202560 32482 1237 0 0 2710 56 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210562 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3009/tid=3021] ppid=3004 vsize=5134820 CPUtime=26.22 cores=4-31
/proc/3009/task/3021/stat : 3021 (plingeling) R 3004 3004 2907 0 -1 4202560 28372 1237 0 0 2571 51 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3009/tid=3022] ppid=3004 vsize=5134820 CPUtime=27.53 cores=4-31
/proc/3009/task/3022/stat : 3022 (plingeling) R 3004 3004 2907 0 -1 4202560 30676 1237 0 0 2713 40 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210583 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3009/tid=3023] ppid=3004 vsize=5134820 CPUtime=26.36 cores=4-31
/proc/3009/task/3023/stat : 3023 (plingeling) R 3004 3004 2907 0 -1 4202560 30607 1237 0 0 2588 48 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4211853 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3009/tid=3024] ppid=3004 vsize=5134820 CPUtime=27.46 cores=4-31
/proc/3009/task/3024/stat : 3024 (plingeling) R 3004 3004 2907 0 -1 4202560 27059 1237 0 0 2717 29 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4270533 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3009/tid=3025] ppid=3004 vsize=5134820 CPUtime=26.48 cores=4-31
/proc/3009/task/3025/stat : 3025 (plingeling) R 3004 3004 2907 0 -1 4202560 30083 1237 0 0 2594 54 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4211578 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3009/tid=3026] ppid=3004 vsize=5134820 CPUtime=25.95 cores=4-31
/proc/3009/task/3026/stat : 3026 (plingeling) R 3004 3004 2907 0 -1 4202560 27327 1237 0 0 2551 44 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3009/tid=3027] ppid=3004 vsize=5134820 CPUtime=26.44 cores=4-31
/proc/3009/task/3027/stat : 3027 (plingeling) R 3004 3004 2907 0 -1 4202560 32060 1237 0 0 2584 60 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3009/tid=3028] ppid=3004 vsize=5134820 CPUtime=27.11 cores=4-31
/proc/3009/task/3028/stat : 3028 (plingeling) R 3004 3004 2907 0 -1 4202560 31032 1237 0 0 2653 58 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3009/tid=3029] ppid=3004 vsize=5134820 CPUtime=26.58 cores=4-31
/proc/3009/task/3029/stat : 3029 (plingeling) R 3004 3004 2907 0 -1 4202560 27863 1237 0 0 2621 37 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3009/tid=3030] ppid=3004 vsize=5134820 CPUtime=26.3 cores=4-31
/proc/3009/task/3030/stat : 3030 (plingeling) R 3004 3004 2907 0 -1 4202560 28072 1237 0 0 2587 43 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3009/tid=3031] ppid=3004 vsize=5134820 CPUtime=26.74 cores=4-31
/proc/3009/task/3031/stat : 3031 (plingeling) R 3004 3004 2907 0 -1 4202560 26941 1237 0 0 2627 47 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4270512 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3009/tid=3032] ppid=3004 vsize=5134820 CPUtime=27.17 cores=4-31
/proc/3009/task/3032/stat : 3032 (plingeling) R 3004 3004 2907 0 -1 4202560 29985 1237 0 0 2666 51 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3009/tid=3033] ppid=3004 vsize=5134820 CPUtime=27.53 cores=4-31
/proc/3009/task/3033/stat : 3033 (plingeling) R 3004 3004 2907 0 -1 4202560 28338 1237 0 0 2720 33 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4211672 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=3009/tid=3034] ppid=3004 vsize=5134820 CPUtime=27.26 cores=4-31
/proc/3009/task/3034/stat : 3034 (plingeling) R 3004 3004 2907 0 -1 4202560 24683 1237 0 0 2684 42 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4276747 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3009/tid=3035] ppid=3004 vsize=5134820 CPUtime=26.5 cores=4-31
/proc/3009/task/3035/stat : 3035 (plingeling) R 3004 3004 2907 0 -1 4202560 33230 1237 0 0 2606 44 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3009/tid=3036] ppid=3004 vsize=5134820 CPUtime=26.62 cores=4-31
/proc/3009/task/3036/stat : 3036 (plingeling) R 3004 3004 2907 0 -1 4202560 33644 1237 0 0 2607 55 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=3009/tid=3037] ppid=3004 vsize=5134820 CPUtime=26.7 cores=4-31
/proc/3009/task/3037/stat : 3037 (plingeling) R 3004 3004 2907 0 -1 4202560 30477 1237 0 0 2619 51 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4283899 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=3009/tid=3038] ppid=3004 vsize=5134820 CPUtime=26.11 cores=4-31
/proc/3009/task/3038/stat : 3038 (plingeling) R 3004 3004 2907 0 -1 4202560 30234 1237 0 0 2563 48 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4271183 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3009/tid=3039] ppid=3004 vsize=5134820 CPUtime=26.67 cores=4-31
/proc/3009/task/3039/stat : 3039 (plingeling) R 3004 3004 2907 0 -1 4202560 27440 1237 0 0 2624 43 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4270960 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3009/tid=3040] ppid=3004 vsize=5134820 CPUtime=26.08 cores=4-31
/proc/3009/task/3040/stat : 3040 (plingeling) R 3004 3004 2907 0 -1 4202560 27948 1237 0 0 2561 47 0 0 25 0 29 0 614605275 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4211812 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3009/tid=3041] ppid=3004 vsize=5134820 CPUtime=27.58 cores=4-31
/proc/3009/task/3041/stat : 3041 (plingeling) R 3004 3004 2907 0 -1 4202560 26187 1237 0 0 2715 43 0 0 25 0 29 0 614605275 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4211749 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3009/tid=3042] ppid=3004 vsize=5134820 CPUtime=27.55 cores=4-31
/proc/3009/task/3042/stat : 3042 (plingeling) R 3004 3004 2907 0 -1 4202560 25428 1237 0 0 2716 39 0 0 25 0 29 0 614605275 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3009/tid=3043] ppid=3004 vsize=5134820 CPUtime=26.62 cores=4-31
/proc/3009/task/3043/stat : 3043 (plingeling) R 3004 3004 2907 0 -1 4202560 28445 1237 0 0 2604 58 0 0 25 0 29 0 614605276 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4211578 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3009/tid=3044] ppid=3004 vsize=5134820 CPUtime=27.32 cores=4-31
/proc/3009/task/3044/stat : 3044 (plingeling) R 3004 3004 2907 0 -1 4202560 30602 1237 0 0 2687 45 0 0 25 0 29 0 614605276 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3009/tid=3045] ppid=3004 vsize=5134820 CPUtime=25.84 cores=4-31
/proc/3009/task/3045/stat : 3045 (plingeling) R 3004 3004 2907 0 -1 4202560 27681 1237 0 0 2556 28 0 0 25 0 29 0 614605276 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 1201.74
Current children cumulated vsize (KiB) 8069292
[startup+120.302 s]
/proc/loadavg: 17.46 20.05 25.86 32/446 3047
/proc/meminfo: memFree=249673888/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=0 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 214 0 0 0 0 0 0 16 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3005] ppid=3004 vsize=709044 CPUtime=120.26 cores=0
/proc/3005/stat : 3005 (cryptominisat) R 3004 3004 2907 0 -1 4202496 227395 0 0 0 11969 57 0 0 25 0 1 0 614596133 726061056 164836 268435456000 4194304 4587354 140737071506352 18446744073709551615 258650613570 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3005/statm: 177261 164836 342 96 0 173823 0
[pid=3006] ppid=3004 vsize=261252 CPUtime=120.26 cores=1
/proc/3006/stat : 3006 (clasp) R 3004 3004 2907 0 -1 4202496 76327 0 0 0 11993 33 0 0 25 0 1 0 614596133 267522048 62216 268435456000 4194304 4785740 140737108624448 18446744073709551615 4290659 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/3006/statm: 65313 62216 334 145 0 62358 0
[pid=3008] ppid=3004 vsize=1882380 CPUtime=120.26 cores=3
/proc/3008/stat : 3008 (march_hi) R 3004 3004 2907 0 -1 4202496 670687 0 0 0 11861 165 0 0 25 0 1 0 614596133 1927557120 230782 268435456000 4194304 4331988 140735826935872 18446744073709551615 4228270 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3008/statm: 470595 230782 177 34 0 469037 0
[pid=3009] ppid=3004 vsize=5134820 CPUtime=852.71 cores=4-31
/proc/3009/stat : 3009 (plingeling) S 3004 3004 2907 0 -1 4202496 2020276 1237 0 0 83705 1566 0 0 19 0 29 0 614596133 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/3009/statm: 1283705 1150859 159 40 0 1282249 0
[pid=3009/tid=3018] ppid=3004 vsize=5134820 CPUtime=26.89 cores=4-31
/proc/3009/task/3018/stat : 3018 (plingeling) R 3004 3004 2907 0 -1 4202560 31600 1237 0 0 2631 58 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3009/tid=3019] ppid=3004 vsize=5134820 CPUtime=27.93 cores=4-31
/proc/3009/task/3019/stat : 3019 (plingeling) R 3004 3004 2907 0 -1 4202560 33551 1237 0 0 2747 46 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3009/tid=3020] ppid=3004 vsize=5134820 CPUtime=28.04 cores=4-31
/proc/3009/task/3020/stat : 3020 (plingeling) R 3004 3004 2907 0 -1 4202560 32482 1237 0 0 2748 56 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3009/tid=3021] ppid=3004 vsize=5134820 CPUtime=26.6 cores=4-31
/proc/3009/task/3021/stat : 3021 (plingeling) R 3004 3004 2907 0 -1 4202560 28372 1237 0 0 2609 51 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3009/tid=3022] ppid=3004 vsize=5134820 CPUtime=27.91 cores=4-31
/proc/3009/task/3022/stat : 3022 (plingeling) R 3004 3004 2907 0 -1 4202560 30676 1237 0 0 2751 40 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3009/tid=3023] ppid=3004 vsize=5134820 CPUtime=26.74 cores=4-31
/proc/3009/task/3023/stat : 3023 (plingeling) R 3004 3004 2907 0 -1 4202560 30607 1237 0 0 2626 48 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4211900 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3009/tid=3024] ppid=3004 vsize=5134820 CPUtime=27.84 cores=4-31
/proc/3009/task/3024/stat : 3024 (plingeling) R 3004 3004 2907 0 -1 4202560 27059 1237 0 0 2755 29 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4276747 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3009/tid=3025] ppid=3004 vsize=5134820 CPUtime=26.86 cores=4-31
/proc/3009/task/3025/stat : 3025 (plingeling) R 3004 3004 2907 0 -1 4202560 30083 1237 0 0 2632 54 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210562 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3009/tid=3026] ppid=3004 vsize=5134820 CPUtime=26.33 cores=4-31
/proc/3009/task/3026/stat : 3026 (plingeling) R 3004 3004 2907 0 -1 4202560 27327 1237 0 0 2589 44 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210600 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3009/tid=3027] ppid=3004 vsize=5134820 CPUtime=26.82 cores=4-31
/proc/3009/task/3027/stat : 3027 (plingeling) R 3004 3004 2907 0 -1 4202560 32060 1237 0 0 2622 60 0 0 25 0 29 0 614605272 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3009/tid=3028] ppid=3004 vsize=5134820 CPUtime=27.49 cores=4-31
/proc/3009/task/3028/stat : 3028 (plingeling) R 3004 3004 2907 0 -1 4202560 31032 1237 0 0 2691 58 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3009/tid=3029] ppid=3004 vsize=5134820 CPUtime=26.96 cores=4-31
/proc/3009/task/3029/stat : 3029 (plingeling) R 3004 3004 2907 0 -1 4202560 27863 1237 0 0 2659 37 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3009/tid=3030] ppid=3004 vsize=5134820 CPUtime=26.68 cores=4-31
/proc/3009/task/3030/stat : 3030 (plingeling) R 3004 3004 2907 0 -1 4202560 28072 1237 0 0 2625 43 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3009/tid=3031] ppid=3004 vsize=5134820 CPUtime=27.12 cores=4-31
/proc/3009/task/3031/stat : 3031 (plingeling) R 3004 3004 2907 0 -1 4202560 26941 1237 0 0 2665 47 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3009/tid=3032] ppid=3004 vsize=5134820 CPUtime=27.55 cores=4-31
/proc/3009/task/3032/stat : 3032 (plingeling) R 3004 3004 2907 0 -1 4202560 29985 1237 0 0 2704 51 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3009/tid=3033] ppid=3004 vsize=5134820 CPUtime=27.91 cores=4-31
/proc/3009/task/3033/stat : 3033 (plingeling) R 3004 3004 2907 0 -1 4202560 28338 1237 0 0 2758 33 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=3009/tid=3034] ppid=3004 vsize=5134820 CPUtime=27.64 cores=4-31
/proc/3009/task/3034/stat : 3034 (plingeling) R 3004 3004 2907 0 -1 4202560 24683 1237 0 0 2722 42 0 0 25 0 29 0 614605273 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4211511 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3009/tid=3035] ppid=3004 vsize=5134820 CPUtime=26.87 cores=4-31
/proc/3009/task/3035/stat : 3035 (plingeling) R 3004 3004 2907 0 -1 4202560 33230 1237 0 0 2643 44 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3009/tid=3036] ppid=3004 vsize=5134820 CPUtime=27 cores=4-31
/proc/3009/task/3036/stat : 3036 (plingeling) R 3004 3004 2907 0 -1 4202560 33644 1237 0 0 2645 55 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=3009/tid=3037] ppid=3004 vsize=5134820 CPUtime=27.08 cores=4-31
/proc/3009/task/3037/stat : 3037 (plingeling) R 3004 3004 2907 0 -1 4202560 30477 1237 0 0 2657 51 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4281793 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=3009/tid=3038] ppid=3004 vsize=5134820 CPUtime=26.49 cores=4-31
/proc/3009/task/3038/stat : 3038 (plingeling) R 3004 3004 2907 0 -1 4202560 30234 1237 0 0 2601 48 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4253736 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3009/tid=3039] ppid=3004 vsize=5134820 CPUtime=27.05 cores=4-31
/proc/3009/task/3039/stat : 3039 (plingeling) R 3004 3004 2907 0 -1 4202560 27440 1237 0 0 2662 43 0 0 25 0 29 0 614605274 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3009/tid=3040] ppid=3004 vsize=5134820 CPUtime=26.46 cores=4-31
/proc/3009/task/3040/stat : 3040 (plingeling) R 3004 3004 2907 0 -1 4202560 27948 1237 0 0 2599 47 0 0 25 0 29 0 614605275 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3009/tid=3041] ppid=3004 vsize=5134820 CPUtime=27.96 cores=4-31
/proc/3009/task/3041/stat : 3041 (plingeling) R 3004 3004 2907 0 -1 4202560 26187 1237 0 0 2753 43 0 0 25 0 29 0 614605275 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210615 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3009/tid=3042] ppid=3004 vsize=5134820 CPUtime=27.93 cores=4-31
/proc/3009/task/3042/stat : 3042 (plingeling) R 3004 3004 2907 0 -1 4202560 25428 1237 0 0 2754 39 0 0 25 0 29 0 614605275 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3009/tid=3043] ppid=3004 vsize=5134820 CPUtime=27 cores=4-31
/proc/3009/task/3043/stat : 3043 (plingeling) R 3004 3004 2907 0 -1 4202560 28445 1237 0 0 2642 58 0 0 25 0 29 0 614605276 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3009/tid=3044] ppid=3004 vsize=5134820 CPUtime=27.7 cores=4-31
/proc/3009/task/3044/stat : 3044 (plingeling) R 3004 3004 2907 0 -1 4202560 30602 1237 0 0 2725 45 0 0 25 0 29 0 614605276 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3009/tid=3045] ppid=3004 vsize=5134820 CPUtime=26.22 cores=4-31
/proc/3009/task/3045/stat : 3045 (plingeling) R 3004 3004 2907 0 -1 4202560 27681 1237 0 0 2594 28 0 0 25 0 29 0 614605276 5258055680 1150859 268435456000 4194304 4356188 140734578209392 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 1213.49
Current children cumulated vsize (KiB) 8005820
[startup+120.701 s]
/proc/loadavg: 17.46 20.05 25.86 32/446 3047
/proc/meminfo: memFree=249673888/264257624 swapFree=67111528/67111528
[pid=3004] ppid=3002 vsize=18324 CPUtime=361.46 cores=0-31
/proc/3004/stat : 3004 (ppfolio) S 3002 3004 2907 0 -1 4202496 513 974624 0 0 0 0 35875 271 15 0 1 0 614596132 18763776 387 268435456000 4194304 4287625 140737047296544 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 24 0 0 0
/proc/3004/statm: 4581 387 338 23 0 91 0
[pid=3009] ppid=3004 vsize=0 CPUtime=858.07 cores=4-31
/proc/3009/stat : 3009 (plingeling) Z 3004 3004 2907 0 -1 4203548 2020276 1237 0 0 84217 1590 0 0 18 0 2 0 614596133 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/3009/statm: 0 0 0 0 0 0 0
[pid=3009/tid=3030] ppid=3004 vsize=0 CPUtime=27.09 cores=4-31
/proc/3009/task/3030/stat : 3030 (plingeling) R 3004 3004 2907 0 -1 4203588 28072 1237 0 0 2644 65 0 0 25 0 2 0 614605273 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 1219.53
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 120.781
CPU time (s): 1219.65
CPU user time (s): 1200.94
CPU system time (s): 18.7122
CPU usage (%): 1009.81
Max. virtual memory (cumulated for all children) (KiB): 9200056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.94
system time used= 18.7122
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2996669
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= 8200
involuntary context switches= 2553
runsolver used 0.413937 second user time and 1.9417 second system time
The end
Begin job on node200 at 2011-05-10 14:38:17
IDJOB=3347349
IDBENCH=82364
IDSOLVER=1808
FILE ID=node200/3347349-1305031090
RUNJOBID= node200-1305030848-2921
PBS_JOBID= 13282039
Free space on /tmp= 61884 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347349-1305031090/watcher-3347349-1305031090 -o /tmp/evaluation-result-3347349-1305031090/solver-3347349-1305031090 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347349-1305031090.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 2a2f6fb35277c8ead36f65de8bb36dbb
RANDOM SEED=1221294671
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: 256185012 kB
Buffers: 378212 kB
Cached: 7349620 kB
SwapCached: 0 kB
Active: 6864340 kB
Inactive: 932368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256185012 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 181272 kB
Writeback: 0 kB
AnonPages: 68792 kB
Mapped: 14528 kB
Slab: 195788 kB
PageTables: 4100 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 174896 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= 61876 MiB
End job on node200 at 2011-05-10 14:40:18