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
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-3347393-1305142793/watcher-3347393-1305142793 -o /tmp/evaluation-result-3347393-1305142793/solver-3347393-1305142793 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347393-1305142793.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: 23.19 30.07 31.35 1/413 10431
/proc/meminfo: memFree=255811280/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 23 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[startup+0.058953 s]
/proc/loadavg: 23.19 30.07 31.35 1/413 10431
/proc/meminfo: memFree=255811280/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 23 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100964 s]
/proc/loadavg: 23.19 30.07 31.35 1/413 10431
/proc/meminfo: memFree=255811280/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 23 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301007 s]
/proc/loadavg: 23.19 30.07 31.35 1/413 10431
/proc/meminfo: memFree=255811280/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 23 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700947 s]
/proc/loadavg: 23.19 30.07 31.35 1/413 10431
/proc/meminfo: memFree=255811280/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 23 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50097 s]
/proc/loadavg: 23.19 30.07 31.35 5/418 10442
/proc/meminfo: memFree=255178128/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 23 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=250860 CPUtime=1.48 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 51933 0 0 0 133 15 0 0 25 0 1 0 625766371 256880640 50793 268435456000 4194304 4587354 140733907853584 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 62715 50793 286 96 0 59277 0
[pid=10433] ppid=10431 vsize=251760 CPUtime=1.49 cores=1
/proc/10433/stat : 10433 (clasp) R 10431 10431 10405 0 -1 4202496 68995 0 0 0 126 23 0 0 20 0 1 0 625766371 257802240 57804 268435456000 4194304 4785740 140733402576368 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10433/statm: 62940 57804 307 145 0 59985 0
[pid=10435] ppid=10431 vsize=305836 CPUtime=1.48 cores=3
/proc/10435/stat : 10435 (march_hi) R 10431 10431 10405 0 -1 4194304 67045 0 0 0 127 21 0 0 20 0 1 0 625766371 313176064 66940 268435456000 4194304 4331988 140737321874928 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10435/statm: 76459 66940 112 34 0 74901 0
[pid=10436] ppid=10431 vsize=147384 CPUtime=1.47 cores=4-31
/proc/10436/stat : 10436 (plingeling) R 10431 10431 10405 0 -1 4202496 35666 1245 0 0 139 8 0 0 25 0 1 0 625766371 150921216 35505 268435456000 4194304 4356188 140737073878144 18446744073709551615 4277939 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/10436/statm: 36846 35505 129 40 0 35390 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 974164
[startup+3.10103 s]
/proc/loadavg: 23.19 30.07 31.35 5/418 10442
/proc/meminfo: memFree=254790696/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 23 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=537024 CPUtime=3.09 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 123888 0 0 0 273 36 0 0 25 0 1 0 625766371 549912576 121670 268435456000 4194304 4587354 140733907853584 18446744073709551615 258650652393 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 134256 121670 286 96 0 130818 0
[pid=10433] ppid=10431 vsize=329544 CPUtime=3.08 cores=1
/proc/10433/stat : 10433 (clasp) R 10431 10431 10405 0 -1 4202496 88410 0 0 0 273 35 0 0 25 0 1 0 625766371 337453056 77219 268435456000 4194304 4785740 140733402576368 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10433/statm: 82386 77219 307 145 0 79431 0
[pid=10435] ppid=10431 vsize=387812 CPUtime=3.08 cores=3
/proc/10435/stat : 10435 (march_hi) R 10431 10431 10405 0 -1 4194304 90015 0 0 0 277 31 0 0 25 0 1 0 625766371 397119488 89910 268435456000 4194304 4331988 140737321874928 18446744073709551615 258650955760 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10435/statm: 96953 89910 112 34 0 95395 0
[pid=10436] ppid=10431 vsize=260748 CPUtime=3.08 cores=4-31
/proc/10436/stat : 10436 (plingeling) R 10431 10431 10405 0 -1 4202496 64007 1245 0 0 293 15 0 0 25 0 1 0 625766371 267005952 63846 268435456000 4194304 4356188 140737073878144 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/10436/statm: 65187 63846 129 40 0 63731 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 1533452
[startup+6.30114 s]
/proc/loadavg: 21.66 29.63 31.20 5/418 10442
/proc/meminfo: memFree=253806816/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 18 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=772540 CPUtime=6.29 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 175926 0 0 0 578 51 0 0 25 0 1 0 625766371 791080960 173673 268435456000 4194304 4587354 140733907853584 18446744073709551615 4237424 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 193135 173673 304 96 0 189697 0
[pid=10433] ppid=10431 vsize=347740 CPUtime=6.28 cores=1
/proc/10433/stat : 10433 (clasp) R 10431 10431 10405 0 -1 4202496 124056 0 0 0 587 41 0 0 25 0 1 0 625766371 356085760 82948 268435456000 4194304 4785740 140733402576368 18446744073709551615 4319144 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10433/statm: 86935 82948 326 145 0 83980 0
[pid=10435] ppid=10431 vsize=1034964 CPUtime=6.28 cores=3
/proc/10435/stat : 10435 (march_hi) R 10431 10431 10405 0 -1 4194304 176963 0 0 0 573 55 0 0 25 0 1 0 625766371 1059803136 176855 268435456000 4194304 4331988 140737321874928 18446744073709551615 4256805 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10435/statm: 258741 176855 115 34 0 257183 0
[pid=10436] ppid=10431 vsize=501696 CPUtime=6.28 cores=4-31
/proc/10436/stat : 10436 (plingeling) R 10431 10431 10405 0 -1 4202496 124244 1245 0 0 601 27 0 0 25 0 1 0 625766371 513736704 124083 268435456000 4194304 4356188 140737073878144 18446744073709551615 4277935 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/10436/statm: 125424 124083 129 40 0 123968 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 2675264
[startup+12.7014 s]
/proc/loadavg: 20.24 29.21 31.05 5/418 10442
/proc/meminfo: memFree=252696748/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=1006860 CPUtime=12.68 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 234290 0 0 0 1206 62 0 0 25 0 1 0 625766371 1031024640 232037 268435456000 4194304 4587354 140733907853584 18446744073709551615 4365356 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 251715 232037 308 96 0 248277 0
[pid=10433] ppid=10431 vsize=364276 CPUtime=12.69 cores=1
/proc/10433/stat : 10433 (clasp) R 10431 10431 10405 0 -1 4202496 128162 0 0 0 1226 43 0 0 25 0 1 0 625766371 373018624 87054 268435456000 4194304 4785740 140733402576368 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10433/statm: 91069 87054 334 145 0 88114 0
[pid=10435] ppid=10431 vsize=1043868 CPUtime=12.68 cores=3
/proc/10435/stat : 10435 (march_hi) R 10431 10431 10405 0 -1 4194304 225784 0 0 0 1203 65 0 0 25 0 1 0 625766371 1068920832 172537 268435456000 4194304 4331988 140737321874928 18446744073709551615 258650350689 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10435/statm: 260967 172537 124 34 0 259409 0
[pid=10436] ppid=10431 vsize=1154060 CPUtime=12.68 cores=4-31
/proc/10436/stat : 10436 (plingeling) R 10431 10431 10405 0 -1 4202496 287481 1245 0 0 1208 60 0 0 25 0 1 0 625766371 1181757440 287174 268435456000 4194304 4356188 140737073878144 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/10436/statm: 288515 287174 129 40 0 287059 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 3587388
[startup+25.5008 s]
/proc/loadavg: 16.64 27.97 30.62 5/418 10442
/proc/meminfo: memFree=252344112/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=970660 CPUtime=25.48 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 241023 0 0 0 2484 64 0 0 25 0 1 0 625766371 993955840 223993 268435456000 4194304 4587354 140733907853584 18446744073709551615 4236877 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 242665 223993 322 96 0 239227 0
[pid=10433] ppid=10431 vsize=398704 CPUtime=25.48 cores=1
/proc/10433/stat : 10433 (clasp) R 10431 10431 10405 0 -1 4202496 136790 0 0 0 2503 45 0 0 25 0 1 0 625766371 408272896 95682 268435456000 4194304 4785740 140733402576368 18446744073709551615 4318987 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10433/statm: 99676 95682 334 145 0 96721 0
[pid=10435] ppid=10431 vsize=1064560 CPUtime=25.48 cores=3
/proc/10435/stat : 10435 (march_hi) R 10431 10431 10405 0 -1 4194304 501319 0 0 0 2425 123 0 0 25 0 1 0 625766371 1090109440 184300 268435456000 4194304 4331988 140737321874928 18446744073709551615 4256864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10435/statm: 266140 184300 127 34 0 264582 0
[pid=10436] ppid=10431 vsize=1820176 CPUtime=25.48 cores=4-31
/proc/10436/stat : 10436 (plingeling) R 10431 10431 10405 0 -1 4202496 452969 1245 0 0 2453 95 0 0 25 0 1 0 625766371 1863860224 452662 268435456000 4194304 4356188 140737073878144 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/10436/statm: 455044 452670 129 40 0 453588 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 4272424
[startup+51.1007 s]
/proc/loadavg: 12.33 26.05 29.91 5/418 10444
/proc/meminfo: memFree=249679328/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=1120664 CPUtime=51.07 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 250318 0 0 0 5041 66 0 0 25 0 1 0 625766371 1147559936 233287 268435456000 4194304 4587354 140733907853584 18446744073709551615 4236760 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 280166 233287 322 96 0 276728 0
[pid=10433] ppid=10431 vsize=421352 CPUtime=51.07 cores=1
/proc/10433/stat : 10433 (clasp) R 10431 10431 10405 0 -1 4202496 142476 0 0 0 5060 47 0 0 25 0 1 0 625766371 431464448 101368 268435456000 4194304 4785740 140733402576368 18446744073709551615 4416773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10433/statm: 105338 101368 334 145 0 102383 0
[pid=10435] ppid=10431 vsize=1063896 CPUtime=51.07 cores=3
/proc/10435/stat : 10435 (march_hi) R 10431 10431 10405 0 -1 4194304 925437 0 0 0 4895 212 0 0 25 0 1 0 625766371 1089429504 184134 268435456000 4194304 4331988 140737321874928 18446744073709551615 4256864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10435/statm: 265974 184134 127 34 0 264416 0
[pid=10436] ppid=10431 vsize=3850596 CPUtime=51.07 cores=4-31
/proc/10436/stat : 10436 (plingeling) R 10431 10431 10405 0 -1 4202496 961919 1245 0 0 4917 190 0 0 25 0 1 0 625766371 3943010304 961308 268435456000 4194304 4356188 140737073878144 18446744073709551615 4273538 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/10436/statm: 962649 961308 129 40 0 961193 0
Current children cumulated CPU time (s) 204.28
Current children cumulated vsize (KiB) 6474832
[startup+102.32 s]
/proc/loadavg: 7.61 22.65 28.55 5/418 10444
/proc/meminfo: memFree=245765624/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=0 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=1120664 CPUtime=102.28 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 265680 0 0 0 10158 70 0 0 25 0 1 0 625766371 1147559936 248643 268435456000 4194304 4587354 140733907853584 18446744073709551615 4236606 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 280166 248643 322 96 0 276728 0
[pid=10433] ppid=10431 vsize=451332 CPUtime=102.29 cores=1
################
# More data... #
################
[startup+5082.3 s]
/proc/loadavg: 30.17 30.22 30.12 31/445 10627
/proc/meminfo: memFree=240937564/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=329.79 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 3631292 0 0 14 72 31757 1136 15 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9157080968987672576 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=2827400 CPUtime=5081.32 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 162025520 0 0 0 472619 35513 0 0 25 0 1 0 625766371 2895257600 245908 268435456000 4194304 4587354 140733907853584 18446744073709551615 4503125 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 706850 245908 330 96 0 703412 0
[pid=10433] ppid=10431 vsize=1912832 CPUtime=5081.34 cores=1
/proc/10433/stat : 10433 (clasp) R 10431 10431 10405 0 -1 4202496 515005 0 0 0 507914 220 0 0 25 0 1 0 625766371 1958739968 473897 268435456000 4194304 4785740 140733402576368 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10433/statm: 478208 473897 334 145 0 475253 0
[pid=10436] ppid=10431 vsize=10548224 CPUtime=138747 cores=4-31
/proc/10436/stat : 10436 (plingeling) S 10431 10431 10405 0 -1 4202496 19235883 1245 0 0 13862369 12354 0 0 25 0 29 0 625766371 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/10436/statm: 2637056 2458106 159 40 0 2635600 0
[pid=10436/tid=10447] ppid=10431 vsize=10548224 CPUtime=4920.14 cores=4-31
/proc/10436/task/10447/stat : 10447 (plingeling) R 10431 10431 10405 0 -1 4202560 391460 1245 0 0 491775 239 0 0 25 0 29 0 625777953 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10436/tid=10448] ppid=10431 vsize=10548224 CPUtime=4961.53 cores=4-31
/proc/10436/task/10448/stat : 10448 (plingeling) R 10431 10431 10405 0 -1 4202560 457470 1245 0 0 495810 343 0 0 25 0 29 0 625777954 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10436/tid=10449] ppid=10431 vsize=10548224 CPUtime=4931.65 cores=4-31
/proc/10436/task/10449/stat : 10449 (plingeling) R 10431 10431 10405 0 -1 4202560 441358 1245 0 0 492903 262 0 0 25 0 29 0 625777954 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10436/tid=10450] ppid=10431 vsize=10548224 CPUtime=4956.02 cores=4-31
/proc/10436/task/10450/stat : 10450 (plingeling) R 10431 10431 10405 0 -1 4202560 1271160 1245 0 0 494653 949 0 0 25 0 29 0 625777954 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4242660 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10436/tid=10451] ppid=10431 vsize=10548224 CPUtime=4962.94 cores=4-31
/proc/10436/task/10451/stat : 10451 (plingeling) R 10431 10431 10405 0 -1 4202560 573671 1245 0 0 495865 429 0 0 25 0 29 0 625777954 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10436/tid=10452] ppid=10431 vsize=10548224 CPUtime=4961.49 cores=4-31
/proc/10436/task/10452/stat : 10452 (plingeling) R 10431 10431 10405 0 -1 4202560 413621 1245 0 0 495903 246 0 0 25 0 29 0 625777954 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4234278 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10436/tid=10453] ppid=10431 vsize=10548224 CPUtime=4962.9 cores=4-31
/proc/10436/task/10453/stat : 10453 (plingeling) R 10431 10431 10405 0 -1 4202560 584734 1245 0 0 495905 385 0 0 25 0 29 0 625777955 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10436/tid=10454] ppid=10431 vsize=10548224 CPUtime=4962.78 cores=4-31
/proc/10436/task/10454/stat : 10454 (plingeling) R 10431 10431 10405 0 -1 4202560 750368 1245 0 0 495805 473 0 0 25 0 29 0 625777955 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210562 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10436/tid=10455] ppid=10431 vsize=10548224 CPUtime=4950.15 cores=4-31
/proc/10436/task/10455/stat : 10455 (plingeling) R 10431 10431 10405 0 -1 4202560 354314 1245 0 0 494867 148 0 0 25 0 29 0 625777955 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10436/tid=10456] ppid=10431 vsize=10548224 CPUtime=4963.16 cores=4-31
/proc/10436/task/10456/stat : 10456 (plingeling) R 10431 10431 10405 0 -1 4202560 397899 1245 0 0 495994 322 0 0 25 0 29 0 625777956 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10436/tid=10457] ppid=10431 vsize=10548224 CPUtime=4959.57 cores=4-31
/proc/10436/task/10457/stat : 10457 (plingeling) R 10431 10431 10405 0 -1 4202560 703660 1245 0 0 495498 459 0 0 25 0 29 0 625777956 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10436/tid=10458] ppid=10431 vsize=10548224 CPUtime=4952.2 cores=4-31
/proc/10436/task/10458/stat : 10458 (plingeling) R 10431 10431 10405 0 -1 4202560 1374109 1245 0 0 494207 1013 0 0 25 0 29 0 625777956 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10436/tid=10459] ppid=10431 vsize=10548224 CPUtime=4955.68 cores=4-31
/proc/10436/task/10459/stat : 10459 (plingeling) R 10431 10431 10405 0 -1 4202560 604276 1245 0 0 495160 408 0 0 25 0 29 0 625777957 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4334538 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10436/tid=10460] ppid=10431 vsize=10548224 CPUtime=4949.22 cores=4-31
/proc/10436/task/10460/stat : 10460 (plingeling) R 10431 10431 10405 0 -1 4202560 367466 1245 0 0 494694 228 0 0 25 0 29 0 625777957 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210562 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10436/tid=10461] ppid=10431 vsize=10548224 CPUtime=4886.17 cores=4-31
/proc/10436/task/10461/stat : 10461 (plingeling) R 10431 10431 10405 0 -1 4202560 356932 1245 0 0 488361 256 0 0 25 0 29 0 625777957 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10436/tid=10462] ppid=10431 vsize=10548224 CPUtime=4934.98 cores=4-31
/proc/10436/task/10462/stat : 10462 (plingeling) R 10431 10431 10405 0 -1 4202560 503607 1245 0 0 493078 420 0 0 25 0 29 0 625777958 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10436/tid=10463] ppid=10431 vsize=10548224 CPUtime=4953.38 cores=4-31
/proc/10436/task/10463/stat : 10463 (plingeling) R 10431 10431 10405 0 -1 4202560 588518 1245 0 0 494907 431 0 0 25 0 29 0 625777958 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4282114 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10436/tid=10464] ppid=10431 vsize=10548224 CPUtime=4962.8 cores=4-31
/proc/10436/task/10464/stat : 10464 (plingeling) R 10431 10431 10405 0 -1 4202560 537339 1245 0 0 495964 316 0 0 25 0 29 0 625777958 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10436/tid=10465] ppid=10431 vsize=10548224 CPUtime=4962.19 cores=4-31
/proc/10436/task/10465/stat : 10465 (plingeling) R 10431 10431 10405 0 -1 4202560 582170 1245 0 0 495847 372 0 0 25 0 29 0 625777959 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10436/tid=10466] ppid=10431 vsize=10548224 CPUtime=4955.45 cores=4-31
/proc/10436/task/10466/stat : 10466 (plingeling) R 10431 10431 10405 0 -1 4202560 1468149 1245 0 0 494447 1098 0 0 25 0 29 0 625777959 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10436/tid=10467] ppid=10431 vsize=10548224 CPUtime=4962.25 cores=4-31
/proc/10436/task/10467/stat : 10467 (plingeling) R 10431 10431 10405 0 -1 4202560 624808 1245 0 0 495796 429 0 0 25 0 29 0 625777959 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10436/tid=10468] ppid=10431 vsize=10548224 CPUtime=4954.78 cores=4-31
/proc/10436/task/10468/stat : 10468 (plingeling) R 10431 10431 10405 0 -1 4202560 447488 1245 0 0 495116 362 0 0 25 0 29 0 625777960 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10436/tid=10469] ppid=10431 vsize=10548224 CPUtime=4962.81 cores=4-31
/proc/10436/task/10469/stat : 10469 (plingeling) R 10431 10431 10405 0 -1 4202560 670559 1245 0 0 495832 449 0 0 25 0 29 0 625777960 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4242634 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10436/tid=10470] ppid=10431 vsize=10548224 CPUtime=4953.46 cores=4-31
/proc/10436/task/10470/stat : 10470 (plingeling) R 10431 10431 10405 0 -1 4202560 371294 1245 0 0 495083 263 0 0 25 0 29 0 625777961 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4334602 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10436/tid=10471] ppid=10431 vsize=10548224 CPUtime=4962.07 cores=4-31
/proc/10436/task/10471/stat : 10471 (plingeling) R 10431 10431 10405 0 -1 4202560 389708 1245 0 0 495951 256 0 0 25 0 29 0 625777961 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4331232 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10436/tid=10472] ppid=10431 vsize=10548224 CPUtime=4907.56 cores=4-31
/proc/10436/task/10472/stat : 10472 (plingeling) R 10431 10431 10405 0 -1 4202560 380362 1245 0 0 490508 248 0 0 25 0 29 0 625777962 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4259312 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10436/tid=10473] ppid=10431 vsize=10548224 CPUtime=4961.48 cores=4-31
/proc/10436/task/10473/stat : 10473 (plingeling) R 10431 10431 10405 0 -1 4202560 408081 1245 0 0 495850 298 0 0 25 0 29 0 625777962 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10436/tid=10474] ppid=10431 vsize=10548224 CPUtime=4962.36 cores=4-31
/proc/10436/task/10474/stat : 10474 (plingeling) R 10431 10431 10405 0 -1 4202560 1305748 1245 0 0 495374 862 0 0 25 0 29 0 625777962 10801381376 2458106 268435456000 4194304 4356188 140737073878144 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 149240
Current children cumulated vsize (KiB) 15306780
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 30.19 30.22 30.13 31/445 10627
/proc/meminfo: memFree=240931860/264257624 swapFree=67111528/67111528
[pid=10431] ppid=10429 vsize=18324 CPUtime=329.79 cores=0-31
/proc/10431/stat : 10431 (ppfolio) S 10429 10431 10405 0 -1 4202496 515 3631292 0 0 14 72 31757 1136 15 0 1 0 625766371 18763776 387 268435456000 4194304 4287625 140734799120144 18446744073709551615 258650975999 0 0 4096 65536 9157080831548719104 0 0 17 20 0 0 0
/proc/10431/statm: 4581 387 338 23 0 91 0
[pid=10432] ppid=10431 vsize=2827400 CPUtime=5099.03 cores=0
/proc/10432/stat : 10432 (cryptominisat) R 10431 10431 10405 0 -1 4202496 162616520 0 0 0 474261 35642 0 0 25 0 1 0 625766371 2895257600 245908 268435456000 4194304 4587354 140733907853584 18446744073709551615 4294151 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10432/statm: 706850 245908 330 96 0 703412 0
[pid=10433] ppid=10431 vsize=1915948 CPUtime=5099.05 cores=1
/proc/10433/stat : 10433 (clasp) R 10431 10431 10405 0 -1 4202496 515817 0 0 0 509685 220 0 0 25 0 1 0 625766371 1961930752 474709 268435456000 4194304 4785740 140733402576368 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/10433/statm: 478987 474709 334 145 0 476032 0
[pid=10436] ppid=10431 vsize=10572800 CPUtime=139243 cores=4-31
/proc/10436/stat : 10436 (plingeling) S 10431 10431 10405 0 -1 4202496 19282271 1245 0 0 13911883 12394 0 0 25 0 29 0 625766371 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/10436/statm: 2643200 2458757 159 40 0 2641744 0
[pid=10436/tid=10447] ppid=10431 vsize=10572800 CPUtime=4937.85 cores=4-31
/proc/10436/task/10447/stat : 10447 (plingeling) R 10431 10431 10405 0 -1 4202560 391460 1245 0 0 493546 239 0 0 25 0 29 0 625777953 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10436/tid=10448] ppid=10431 vsize=10572800 CPUtime=4979.25 cores=4-31
/proc/10436/task/10448/stat : 10448 (plingeling) R 10431 10431 10405 0 -1 4202560 457470 1245 0 0 497582 343 0 0 25 0 29 0 625777954 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10436/tid=10449] ppid=10431 vsize=10572800 CPUtime=4948.86 cores=4-31
/proc/10436/task/10449/stat : 10449 (plingeling) R 10431 10431 10405 0 -1 4202560 441358 1245 0 0 494624 262 0 0 25 0 29 0 625777954 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10436/tid=10450] ppid=10431 vsize=10572800 CPUtime=4973.74 cores=4-31
/proc/10436/task/10450/stat : 10450 (plingeling) R 10431 10431 10405 0 -1 4202560 1271160 1245 0 0 496425 949 0 0 25 0 29 0 625777954 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10436/tid=10451] ppid=10431 vsize=10572800 CPUtime=4980.66 cores=4-31
/proc/10436/task/10451/stat : 10451 (plingeling) R 10431 10431 10405 0 -1 4202560 573671 1245 0 0 497637 429 0 0 25 0 29 0 625777954 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10436/tid=10452] ppid=10431 vsize=10572800 CPUtime=4979.21 cores=4-31
/proc/10436/task/10452/stat : 10452 (plingeling) R 10431 10431 10405 0 -1 4202560 413621 1245 0 0 497675 246 0 0 25 0 29 0 625777954 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4241631 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10436/tid=10453] ppid=10431 vsize=10572800 CPUtime=4980.62 cores=4-31
/proc/10436/task/10453/stat : 10453 (plingeling) R 10431 10431 10405 0 -1 4202560 584734 1245 0 0 497677 385 0 0 25 0 29 0 625777955 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10436/tid=10454] ppid=10431 vsize=10572800 CPUtime=4980.5 cores=4-31
/proc/10436/task/10454/stat : 10454 (plingeling) R 10431 10431 10405 0 -1 4202560 754464 1245 0 0 497566 484 0 0 25 0 29 0 625777955 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10436/tid=10455] ppid=10431 vsize=10572800 CPUtime=4967.87 cores=4-31
/proc/10436/task/10455/stat : 10455 (plingeling) R 10431 10431 10405 0 -1 4202560 354314 1245 0 0 496639 148 0 0 25 0 29 0 625777955 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4234244 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10436/tid=10456] ppid=10431 vsize=10572800 CPUtime=4980.88 cores=4-31
/proc/10436/task/10456/stat : 10456 (plingeling) R 10431 10431 10405 0 -1 4202560 397899 1245 0 0 497766 322 0 0 25 0 29 0 625777956 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10436/tid=10457] ppid=10431 vsize=10572800 CPUtime=4977.29 cores=4-31
/proc/10436/task/10457/stat : 10457 (plingeling) R 10431 10431 10405 0 -1 4202560 703660 1245 0 0 497270 459 0 0 25 0 29 0 625777956 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4242078 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10436/tid=10458] ppid=10431 vsize=10572800 CPUtime=4969.91 cores=4-31
/proc/10436/task/10458/stat : 10458 (plingeling) R 10431 10431 10405 0 -1 4202560 1374109 1245 0 0 495978 1013 0 0 25 0 29 0 625777956 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4242608 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10436/tid=10459] ppid=10431 vsize=10572800 CPUtime=4973.4 cores=4-31
/proc/10436/task/10459/stat : 10459 (plingeling) R 10431 10431 10405 0 -1 4202560 606324 1245 0 0 496932 408 0 0 25 0 29 0 625777957 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4334467 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10436/tid=10460] ppid=10431 vsize=10572800 CPUtime=4966.94 cores=4-31
/proc/10436/task/10460/stat : 10460 (plingeling) R 10431 10431 10405 0 -1 4202560 367466 1245 0 0 496466 228 0 0 25 0 29 0 625777957 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4331259 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10436/tid=10461] ppid=10431 vsize=10572800 CPUtime=4903.89 cores=4-31
/proc/10436/task/10461/stat : 10461 (plingeling) R 10431 10431 10405 0 -1 4202560 356932 1245 0 0 490133 256 0 0 25 0 29 0 625777957 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10436/tid=10462] ppid=10431 vsize=10572800 CPUtime=4952.68 cores=4-31
/proc/10436/task/10462/stat : 10462 (plingeling) R 10431 10431 10405 0 -1 4202560 503607 1245 0 0 494848 420 0 0 25 0 29 0 625777958 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4334488 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10436/tid=10463] ppid=10431 vsize=10572800 CPUtime=4971.1 cores=4-31
/proc/10436/task/10463/stat : 10463 (plingeling) R 10431 10431 10405 0 -1 4202560 626714 1245 0 0 496651 459 0 0 25 0 29 0 625777958 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10436/tid=10464] ppid=10431 vsize=10572800 CPUtime=4980.52 cores=4-31
/proc/10436/task/10464/stat : 10464 (plingeling) R 10431 10431 10405 0 -1 4202560 537339 1245 0 0 497736 316 0 0 25 0 29 0 625777958 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10436/tid=10465] ppid=10431 vsize=10572800 CPUtime=4979.91 cores=4-31
/proc/10436/task/10465/stat : 10465 (plingeling) R 10431 10431 10405 0 -1 4202560 584218 1245 0 0 497618 373 0 0 25 0 29 0 625777959 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4233969 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10436/tid=10466] ppid=10431 vsize=10572800 CPUtime=4973.16 cores=4-31
/proc/10436/task/10466/stat : 10466 (plingeling) R 10431 10431 10405 0 -1 4202560 1468149 1245 0 0 496218 1098 0 0 25 0 29 0 625777959 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10436/tid=10467] ppid=10431 vsize=10572800 CPUtime=4979.97 cores=4-31
/proc/10436/task/10467/stat : 10467 (plingeling) R 10431 10431 10405 0 -1 4202560 624808 1245 0 0 497568 429 0 0 25 0 29 0 625777959 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10436/tid=10468] ppid=10431 vsize=10572800 CPUtime=4972.5 cores=4-31
/proc/10436/task/10468/stat : 10468 (plingeling) R 10431 10431 10405 0 -1 4202560 447488 1245 0 0 496888 362 0 0 25 0 29 0 625777960 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10436/tid=10469] ppid=10431 vsize=10572800 CPUtime=4980.53 cores=4-31
/proc/10436/task/10469/stat : 10469 (plingeling) R 10431 10431 10405 0 -1 4202560 670559 1245 0 0 497604 449 0 0 25 0 29 0 625777960 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10436/tid=10470] ppid=10431 vsize=10572800 CPUtime=4971.17 cores=4-31
/proc/10436/task/10470/stat : 10470 (plingeling) R 10431 10431 10405 0 -1 4202560 371294 1245 0 0 496854 263 0 0 25 0 29 0 625777961 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10436/tid=10471] ppid=10431 vsize=10572800 CPUtime=4979.78 cores=4-31
/proc/10436/task/10471/stat : 10471 (plingeling) R 10431 10431 10405 0 -1 4202560 389708 1245 0 0 497722 256 0 0 25 0 29 0 625777961 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10436/tid=10472] ppid=10431 vsize=10572800 CPUtime=4925.28 cores=4-31
/proc/10436/task/10472/stat : 10472 (plingeling) R 10431 10431 10405 0 -1 4202560 380362 1245 0 0 492280 248 0 0 25 0 29 0 625777962 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10436/tid=10473] ppid=10431 vsize=10572800 CPUtime=4979.2 cores=4-31
/proc/10436/task/10473/stat : 10473 (plingeling) R 10431 10431 10405 0 -1 4202560 408081 1245 0 0 497622 298 0 0 25 0 29 0 625777962 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10436/tid=10474] ppid=10431 vsize=10572800 CPUtime=4980.08 cores=4-31
/proc/10436/task/10474/stat : 10474 (plingeling) R 10431 10431 10405 0 -1 4202560 1305748 1245 0 0 497146 862 0 0 25 0 29 0 625777962 10826547200 2458757 268435456000 4194304 4356188 140737073878144 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 149771
Current children cumulated vsize (KiB) 15334472
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 10431 and gives
# childrusage.ru_utime.tv_sec=317
# childrusage.ru_utime.tv_usec=716699
# childrusage.ru_stime.tv_sec=12
# childrusage.ru_stime.tv_usec=91161
# CPU time returned by wait4() is 329.808
# while last known CPU time is 149771
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5100.03
CPU time (s): 149771
CPU user time (s): 149276
CPU system time (s): 494.64
CPU usage (%): 2936.66
Max. virtual memory (cumulated for all children) (KiB): 15586980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 317.717
system time used= 12.0912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3631807
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= 45127
involuntary context switches= 367
runsolver used 26.8549 second user time and 112.21 second system time
The end
Begin job on node200 at 2011-05-11 21:40:00
IDJOB=3347393
IDBENCH=82404
IDSOLVER=1808
FILE ID=node200/3347393-1305142793
RUNJOBID= node200-1305142793-10419
PBS_JOBID= 13282066
Free space on /tmp= 61888 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347393-1305142793/watcher-3347393-1305142793 -o /tmp/evaluation-result-3347393-1305142793/solver-3347393-1305142793 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347393-1305142793.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 6c2d25eda70423643946d76935ceb950
RANDOM SEED=1456939399
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: 255811684 kB
Buffers: 415840 kB
Cached: 7632396 kB
SwapCached: 0 kB
Active: 7188292 kB
Inactive: 928796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255811684 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 175512 kB
Writeback: 0 kB
AnonPages: 68788 kB
Mapped: 14480 kB
Slab: 246496 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191724 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= 59832 MiB
End job on node200 at 2011-05-11 23:05:02