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
229.68/8.03 s UNSATISFIABLE
229.68/8.04 solver [5] plingeling 276-6264d55-100731 answered
229.68/8.04 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-3347613-1305390664/watcher-3347613-1305390664 -o /tmp/evaluation-result-3347613-1305390664/solver-3347613-1305390664 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347613-1305390664.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: 29.46 31.09 31.10 1/413 31606
/proc/meminfo: memFree=255597080/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
[startup+0.11956 s]
/proc/loadavg: 29.46 31.09 31.10 1/413 31606
/proc/meminfo: memFree=255597080/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200584 s]
/proc/loadavg: 29.46 31.09 31.10 1/413 31606
/proc/meminfo: memFree=255597080/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300556 s]
/proc/loadavg: 29.46 31.09 31.10 1/413 31606
/proc/meminfo: memFree=255597080/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700618 s]
/proc/loadavg: 29.46 31.09 31.10 1/413 31606
/proc/meminfo: memFree=255597080/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50154 s]
/proc/loadavg: 29.46 31.09 31.10 33/447 31645
/proc/meminfo: memFree=255437684/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 16 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
[pid=31607] ppid=31606 vsize=34400 CPUtime=1.48 cores=0
/proc/31607/stat : 31607 (cryptominisat) R 31606 31606 31580 0 -1 4202496 3921 0 0 0 148 0 0 0 25 0 1 0 650552848 35225600 3226 268435456000 4194304 4587354 140735802038144 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31607/statm: 8600 3226 325 96 0 5162 0
[pid=31608] ppid=31606 vsize=20708 CPUtime=1.48 cores=1
/proc/31608/stat : 31608 (clasp) R 31606 31606 31580 0 -1 4202496 2918 0 0 0 147 1 0 0 20 0 1 0 650552848 21204992 2512 268435456000 4194304 4785740 140735279858288 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31608/statm: 5177 2512 338 145 0 2222 0
[pid=31609] ppid=31606 vsize=455432 CPUtime=1.48 cores=2
/proc/31609/stat : 31609 (TNM) R 31606 31606 31580 0 -1 4202496 1330 0 0 0 148 0 0 0 20 0 1 0 650552848 466362368 1227 268435456000 134512640 134534564 4293153008 18446744073709551615 134524469 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31609/statm: 113858 1227 91 6 0 112523 0
[pid=31610] ppid=31606 vsize=87340 CPUtime=1.48 cores=3
/proc/31610/stat : 31610 (march_hi) R 31606 31606 31580 0 -1 4202496 22689 0 0 0 144 4 0 0 20 0 1 0 650552848 89436160 17404 268435456000 4194304 4331988 140733642276496 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31610/statm: 21868 17405 149 34 0 20310 0
[pid=31611] ppid=31606 vsize=660748 CPUtime=17.2 cores=4-31
/proc/31611/stat : 31611 (plingeling) S 31606 31606 31580 0 -1 4202496 37683 1248 0 0 1702 17 0 1 18 0 29 0 650552848 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/31611/statm: 165187 27828 158 40 0 163731 0
[pid=31611/tid=31618] ppid=31606 vsize=660748 CPUtime=0.6 cores=4-31
/proc/31611/task/31618/stat : 31618 (plingeling) R 31606 31606 31580 0 -1 4202560 403 1248 0 0 59 0 0 1 18 0 29 0 650552936 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31611/tid=31619] ppid=31606 vsize=660748 CPUtime=0.56 cores=4-31
/proc/31611/task/31619/stat : 31619 (plingeling) R 31606 31606 31580 0 -1 4202560 408 1248 0 0 55 0 0 1 21 0 29 0 650552936 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31611/tid=31620] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31620/stat : 31620 (plingeling) R 31606 31606 31580 0 -1 4202560 443 1248 0 0 58 0 0 1 18 0 29 0 650552936 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31611/tid=31621] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31621/stat : 31621 (plingeling) R 31606 31606 31580 0 -1 4202560 600 1248 0 0 58 0 0 1 23 0 29 0 650552936 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4284224 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31611/tid=31622] ppid=31606 vsize=660748 CPUtime=0.6 cores=4-31
/proc/31611/task/31622/stat : 31622 (plingeling) R 31606 31606 31580 0 -1 4202560 208 1248 0 0 59 0 0 1 18 0 29 0 650552936 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31611/tid=31623] ppid=31606 vsize=660748 CPUtime=0.6 cores=4-31
/proc/31611/task/31623/stat : 31623 (plingeling) R 31606 31606 31580 0 -1 4202560 332 1248 0 0 59 0 0 1 20 0 29 0 650552936 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4310868 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31611/tid=31624] ppid=31606 vsize=660748 CPUtime=0.6 cores=4-31
/proc/31611/task/31624/stat : 31624 (plingeling) R 31606 31606 31580 0 -1 4202560 196 1248 0 0 59 0 0 1 20 0 29 0 650552936 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31611/tid=31625] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31625/stat : 31625 (plingeling) R 31606 31606 31580 0 -1 4202560 390 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4211874 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31611/tid=31626] ppid=31606 vsize=660748 CPUtime=0.47 cores=4-31
/proc/31611/task/31626/stat : 31626 (plingeling) R 31606 31606 31580 0 -1 4202560 621 1248 0 0 46 0 0 1 20 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31611/tid=31627] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31627/stat : 31627 (plingeling) R 31606 31606 31580 0 -1 4202560 517 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270728 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31611/tid=31628] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31628/stat : 31628 (plingeling) R 31606 31606 31580 0 -1 4202560 412 1248 0 0 58 0 0 1 20 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31611/tid=31629] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31629/stat : 31629 (plingeling) R 31606 31606 31580 0 -1 4202560 813 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31611/tid=31630] ppid=31606 vsize=660748 CPUtime=0.58 cores=4-31
/proc/31611/task/31630/stat : 31630 (plingeling) R 31606 31606 31580 0 -1 4202560 316 1248 0 0 57 0 0 1 20 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31611/tid=31631] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31631/stat : 31631 (plingeling) R 31606 31606 31580 0 -1 4202560 351 1248 0 0 58 0 0 1 20 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31611/tid=31632] ppid=31606 vsize=660748 CPUtime=0.58 cores=4-31
/proc/31611/task/31632/stat : 31632 (plingeling) R 31606 31606 31580 0 -1 4202560 409 1248 0 0 57 0 0 1 22 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31611/tid=31633] ppid=31606 vsize=660748 CPUtime=0.57 cores=4-31
/proc/31611/task/31633/stat : 31633 (plingeling) R 31606 31606 31580 0 -1 4202560 540 1248 0 0 56 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270512 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31611/tid=31634] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31634/stat : 31634 (plingeling) R 31606 31606 31580 0 -1 4202560 347 1248 0 0 58 0 0 1 20 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270728 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31611/tid=31635] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31635/stat : 31635 (plingeling) R 31606 31606 31580 0 -1 4202560 475 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31611/tid=31636] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31636/stat : 31636 (plingeling) R 31606 31606 31580 0 -1 4202560 341 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31611/tid=31637] ppid=31606 vsize=660748 CPUtime=0.58 cores=4-31
/proc/31611/task/31637/stat : 31637 (plingeling) R 31606 31606 31580 0 -1 4202560 641 1248 0 0 57 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31611/tid=31638] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31638/stat : 31638 (plingeling) R 31606 31606 31580 0 -1 4202560 295 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31611/tid=31639] ppid=31606 vsize=660748 CPUtime=0.6 cores=4-31
/proc/31611/task/31639/stat : 31639 (plingeling) R 31606 31606 31580 0 -1 4202560 331 1248 0 0 59 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31611/tid=31640] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31640/stat : 31640 (plingeling) R 31606 31606 31580 0 -1 4202560 447 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4312467 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31611/tid=31641] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31641/stat : 31641 (plingeling) R 31606 31606 31580 0 -1 4202560 333 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4271350 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31611/tid=31642] ppid=31606 vsize=660748 CPUtime=0.58 cores=4-31
/proc/31611/task/31642/stat : 31642 (plingeling) R 31606 31606 31580 0 -1 4202560 330 1248 0 0 57 0 0 1 20 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270905 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31611/tid=31643] ppid=31606 vsize=660748 CPUtime=0.6 cores=4-31
/proc/31611/task/31643/stat : 31643 (plingeling) R 31606 31606 31580 0 -1 4202560 388 1248 0 0 59 0 0 1 20 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31611/tid=31644] ppid=31606 vsize=660748 CPUtime=0.59 cores=4-31
/proc/31611/task/31644/stat : 31644 (plingeling) R 31606 31606 31580 0 -1 4202560 333 1248 0 0 58 0 0 1 18 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31611/tid=31645] ppid=31606 vsize=660748 CPUtime=0.58 cores=4-31
/proc/31611/task/31645/stat : 31645 (plingeling) R 31606 31606 31580 0 -1 4202560 470 1248 0 0 57 0 0 1 20 0 29 0 650552937 676605952 27828 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210780 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 23.12
Current children cumulated vsize (KiB) 1276952
[startup+3.1016 s]
/proc/loadavg: 29.46 31.09 31.10 33/447 31645
/proc/meminfo: memFree=255311656/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
[pid=31607] ppid=31606 vsize=1861416 CPUtime=3.08 cores=0
/proc/31607/stat : 31607 (cryptominisat) R 31606 31606 31580 0 -1 4202496 5746 0 0 0 307 1 0 0 25 0 1 0 650552848 1906089984 3184 268435456000 4194304 4587354 140735802038144 18446744073709551615 4238499 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31607/statm: 465354 3184 325 96 0 461916 0
[pid=31608] ppid=31606 vsize=22756 CPUtime=3.08 cores=1
/proc/31608/stat : 31608 (clasp) R 31606 31606 31580 0 -1 4202496 3420 0 0 0 307 1 0 0 25 0 1 0 650552848 23302144 3014 268435456000 4194304 4785740 140735279858288 18446744073709551615 4552525 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31608/statm: 5689 3014 338 145 0 2734 0
[pid=31609] ppid=31606 vsize=455432 CPUtime=3.08 cores=2
/proc/31609/stat : 31609 (TNM) R 31606 31606 31580 0 -1 4202496 1330 0 0 0 308 0 0 0 25 0 1 0 650552848 466362368 1227 268435456000 134512640 134534564 4293153008 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31609/statm: 113858 1227 91 6 0 112523 0
[pid=31610] ppid=31606 vsize=141148 CPUtime=3.08 cores=3
/proc/31610/stat : 31610 (march_hi) R 31606 31606 31580 0 -1 4202496 57946 0 0 0 296 12 0 0 25 0 1 0 650552848 144535552 29624 268435456000 4194304 4331988 140733642276496 18446744073709551615 258650351170 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31610/statm: 35287 29624 149 34 0 33729 0
[pid=31611] ppid=31606 vsize=728228 CPUtime=61.43 cores=4-31
/proc/31611/stat : 31611 (plingeling) S 31606 31606 31580 0 -1 4202496 59313 1248 0 0 6107 35 0 1 18 0 29 0 650552848 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/31611/statm: 182057 46022 158 40 0 180601 0
[pid=31611/tid=31618] ppid=31606 vsize=728228 CPUtime=2.15 cores=4-31
/proc/31611/task/31618/stat : 31618 (plingeling) R 31606 31606 31580 0 -1 4202560 1379 1248 0 0 214 0 0 1 20 0 29 0 650552936 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331826 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31611/tid=31619] ppid=31606 vsize=728228 CPUtime=2.14 cores=4-31
/proc/31611/task/31619/stat : 31619 (plingeling) R 31606 31606 31580 0 -1 4202560 1354 1248 0 0 212 1 0 1 18 0 29 0 650552936 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210842 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31611/tid=31620] ppid=31606 vsize=728228 CPUtime=2.17 cores=4-31
/proc/31611/task/31620/stat : 31620 (plingeling) R 31606 31606 31580 0 -1 4202560 1547 1248 0 0 216 0 0 1 21 0 29 0 650552936 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31611/tid=31621] ppid=31606 vsize=728228 CPUtime=2.16 cores=4-31
/proc/31611/task/31621/stat : 31621 (plingeling) R 31606 31606 31580 0 -1 4202560 1344 1248 0 0 215 0 0 1 18 0 29 0 650552936 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31611/tid=31622] ppid=31606 vsize=728228 CPUtime=2.19 cores=4-31
/proc/31611/task/31622/stat : 31622 (plingeling) R 31606 31606 31580 0 -1 4202560 663 1248 0 0 218 0 0 1 21 0 29 0 650552936 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4279420 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31611/tid=31623] ppid=31606 vsize=728228 CPUtime=2.18 cores=4-31
/proc/31611/task/31623/stat : 31623 (plingeling) D 31606 31606 31580 0 -1 4202560 1485 1248 0 0 216 1 0 1 25 0 29 0 650552936 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31611/tid=31624] ppid=31606 vsize=728228 CPUtime=2.16 cores=4-31
/proc/31611/task/31624/stat : 31624 (plingeling) R 31606 31606 31580 0 -1 4202560 1140 1248 0 0 214 1 0 1 25 0 29 0 650552936 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31611/tid=31625] ppid=31606 vsize=728228 CPUtime=2.16 cores=4-31
/proc/31611/task/31625/stat : 31625 (plingeling) R 31606 31606 31580 0 -1 4202560 1336 1248 0 0 214 1 0 1 18 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31611/tid=31626] ppid=31606 vsize=728228 CPUtime=2.07 cores=4-31
/proc/31611/task/31626/stat : 31626 (plingeling) R 31606 31606 31580 0 -1 4202560 845 1248 0 0 206 0 0 1 25 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31611/tid=31627] ppid=31606 vsize=728228 CPUtime=2.16 cores=4-31
/proc/31611/task/31627/stat : 31627 (plingeling) D 31606 31606 31580 0 -1 4202560 1815 1248 0 0 213 2 0 1 20 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31611/tid=31628] ppid=31606 vsize=728228 CPUtime=2.17 cores=4-31
/proc/31611/task/31628/stat : 31628 (plingeling) D 31606 31606 31580 0 -1 4202560 893 1248 0 0 215 1 0 1 25 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31611/tid=31629] ppid=31606 vsize=728228 CPUtime=2.18 cores=4-31
/proc/31611/task/31629/stat : 31629 (plingeling) R 31606 31606 31580 0 -1 4202560 1271 1248 0 0 217 0 0 1 21 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31611/tid=31630] ppid=31606 vsize=728228 CPUtime=2.16 cores=4-31
/proc/31611/task/31630/stat : 31630 (plingeling) R 31606 31606 31580 0 -1 4202560 814 1248 0 0 214 1 0 1 25 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332136 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31611/tid=31631] ppid=31606 vsize=728228 CPUtime=2.16 cores=4-31
/proc/31611/task/31631/stat : 31631 (plingeling) D 31606 31606 31580 0 -1 4202560 575 1248 0 0 215 0 0 1 25 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31611/tid=31632] ppid=31606 vsize=728228 CPUtime=2.13 cores=4-31
/proc/31611/task/31632/stat : 31632 (plingeling) R 31606 31606 31580 0 -1 4202560 698 1248 0 0 212 0 0 1 25 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4279481 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31611/tid=31633] ppid=31606 vsize=728228 CPUtime=2.16 cores=4-31
/proc/31611/task/31633/stat : 31633 (plingeling) R 31606 31606 31580 0 -1 4202560 1708 1248 0 0 214 1 0 1 21 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31611/tid=31634] ppid=31606 vsize=728228 CPUtime=2.17 cores=4-31
/proc/31611/task/31634/stat : 31634 (plingeling) R 31606 31606 31580 0 -1 4202560 1403 1248 0 0 215 1 0 1 25 0 29 0 650552937 745705472 46022 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31611/tid=31635] ppid=31606 vsize=728228 CPUtime=2.16 cores=4-31
################
# More data... #
################
/proc/31610/statm: 70633 53531 158 34 0 69075 0
[pid=31611] ppid=31606 vsize=776192 CPUtime=176 cores=4-31
/proc/31611/stat : 31611 (plingeling) S 31606 31606 31580 0 -1 4202496 81704 1248 0 0 17545 54 0 1 18 0 29 0 650552848 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/31611/statm: 194048 58992 158 40 0 192592 0
[pid=31611/tid=31618] ppid=31606 vsize=776192 CPUtime=6.12 cores=4-31
/proc/31611/task/31618/stat : 31618 (plingeling) R 31606 31606 31580 0 -1 4202560 2227 1248 0 0 610 1 0 1 25 0 29 0 650552936 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31611/tid=31619] ppid=31606 vsize=776192 CPUtime=6.24 cores=4-31
/proc/31611/task/31619/stat : 31619 (plingeling) R 31606 31606 31580 0 -1 4202560 1578 1248 0 0 622 1 0 1 25 0 29 0 650552936 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31611/tid=31620] ppid=31606 vsize=776192 CPUtime=6.27 cores=4-31
/proc/31611/task/31620/stat : 31620 (plingeling) R 31606 31606 31580 0 -1 4202560 2444 1248 0 0 626 0 0 1 25 0 29 0 650552936 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31611/tid=31621] ppid=31606 vsize=776192 CPUtime=6.27 cores=4-31
/proc/31611/task/31621/stat : 31621 (plingeling) R 31606 31606 31580 0 -1 4202560 2318 1248 0 0 624 2 0 1 25 0 29 0 650552936 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31611/tid=31622] ppid=31606 vsize=776192 CPUtime=6.28 cores=4-31
/proc/31611/task/31622/stat : 31622 (plingeling) R 31606 31606 31580 0 -1 4202560 1513 1248 0 0 627 0 0 1 25 0 29 0 650552936 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31611/tid=31623] ppid=31606 vsize=776192 CPUtime=6.27 cores=4-31
/proc/31611/task/31623/stat : 31623 (plingeling) R 31606 31606 31580 0 -1 4202560 1614 1248 0 0 625 1 0 1 25 0 29 0 650552936 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31611/tid=31624] ppid=31606 vsize=776192 CPUtime=6.26 cores=4-31
/proc/31611/task/31624/stat : 31624 (plingeling) R 31606 31606 31580 0 -1 4202560 1298 1248 0 0 624 1 0 1 25 0 29 0 650552936 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31611/tid=31625] ppid=31606 vsize=776192 CPUtime=6.25 cores=4-31
/proc/31611/task/31625/stat : 31625 (plingeling) R 31606 31606 31580 0 -1 4202560 2975 1248 0 0 622 2 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31611/tid=31626] ppid=31606 vsize=776192 CPUtime=6.17 cores=4-31
/proc/31611/task/31626/stat : 31626 (plingeling) R 31606 31606 31580 0 -1 4202560 1678 1248 0 0 616 0 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31611/tid=31627] ppid=31606 vsize=776192 CPUtime=6.25 cores=4-31
/proc/31611/task/31627/stat : 31627 (plingeling) R 31606 31606 31580 0 -1 4202560 2088 1248 0 0 622 2 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4279772 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31611/tid=31628] ppid=31606 vsize=776192 CPUtime=6.25 cores=4-31
/proc/31611/task/31628/stat : 31628 (plingeling) R 31606 31606 31580 0 -1 4202560 1758 1248 0 0 623 1 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31611/tid=31629] ppid=31606 vsize=776192 CPUtime=6.27 cores=4-31
/proc/31611/task/31629/stat : 31629 (plingeling) R 31606 31606 31580 0 -1 4202560 2438 1248 0 0 626 0 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31611/tid=31630] ppid=31606 vsize=776192 CPUtime=6.26 cores=4-31
/proc/31611/task/31630/stat : 31630 (plingeling) R 31606 31606 31580 0 -1 4202560 1775 1248 0 0 623 2 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31611/tid=31631] ppid=31606 vsize=776192 CPUtime=6.25 cores=4-31
/proc/31611/task/31631/stat : 31631 (plingeling) R 31606 31606 31580 0 -1 4202560 1151 1248 0 0 623 1 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31611/tid=31632] ppid=31606 vsize=776192 CPUtime=6.22 cores=4-31
/proc/31611/task/31632/stat : 31632 (plingeling) R 31606 31606 31580 0 -1 4202560 1676 1248 0 0 620 1 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330889 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31611/tid=31633] ppid=31606 vsize=776192 CPUtime=6.25 cores=4-31
/proc/31611/task/31633/stat : 31633 (plingeling) R 31606 31606 31580 0 -1 4202560 2978 1248 0 0 621 3 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31611/tid=31634] ppid=31606 vsize=776192 CPUtime=6.26 cores=4-31
/proc/31611/task/31634/stat : 31634 (plingeling) R 31606 31606 31580 0 -1 4202560 2109 1248 0 0 624 1 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31611/tid=31635] ppid=31606 vsize=776192 CPUtime=6.26 cores=4-31
/proc/31611/task/31635/stat : 31635 (plingeling) R 31606 31606 31580 0 -1 4202560 1754 1248 0 0 625 0 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31611/tid=31636] ppid=31606 vsize=776192 CPUtime=6.28 cores=4-31
/proc/31611/task/31636/stat : 31636 (plingeling) R 31606 31606 31580 0 -1 4202560 1991 1248 0 0 627 0 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331951 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31611/tid=31637] ppid=31606 vsize=776192 CPUtime=6.24 cores=4-31
/proc/31611/task/31637/stat : 31637 (plingeling) R 31606 31606 31580 0 -1 4202560 2177 1248 0 0 622 1 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31611/tid=31638] ppid=31606 vsize=776192 CPUtime=6.28 cores=4-31
/proc/31611/task/31638/stat : 31638 (plingeling) R 31606 31606 31580 0 -1 4202560 1367 1248 0 0 626 1 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210823 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31611/tid=31639] ppid=31606 vsize=776192 CPUtime=6.27 cores=4-31
/proc/31611/task/31639/stat : 31639 (plingeling) R 31606 31606 31580 0 -1 4202560 1436 1248 0 0 625 1 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31611/tid=31640] ppid=31606 vsize=776192 CPUtime=6.26 cores=4-31
/proc/31611/task/31640/stat : 31640 (plingeling) R 31606 31606 31580 0 -1 4202560 2175 1248 0 0 625 0 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4284127 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31611/tid=31641] ppid=31606 vsize=776192 CPUtime=6.26 cores=4-31
/proc/31611/task/31641/stat : 31641 (plingeling) R 31606 31606 31580 0 -1 4202560 2596 1248 0 0 623 2 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31611/tid=31642] ppid=31606 vsize=776192 CPUtime=6.28 cores=4-31
/proc/31611/task/31642/stat : 31642 (plingeling) R 31606 31606 31580 0 -1 4202560 2284 1248 0 0 624 3 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4283983 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31611/tid=31643] ppid=31606 vsize=776192 CPUtime=6.27 cores=4-31
/proc/31611/task/31643/stat : 31643 (plingeling) R 31606 31606 31580 0 -1 4202560 2341 1248 0 0 626 0 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4234192 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31611/tid=31644] ppid=31606 vsize=776192 CPUtime=6.26 cores=4-31
/proc/31611/task/31644/stat : 31644 (plingeling) R 31606 31606 31580 0 -1 4202560 1824 1248 0 0 625 0 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31611/tid=31645] ppid=31606 vsize=776192 CPUtime=6.28 cores=4-31
/proc/31611/task/31645/stat : 31645 (plingeling) R 31606 31606 31580 0 -1 4202560 2148 1248 0 0 626 1 0 1 25 0 29 0 650552937 794820608 58992 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210715 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 204.72
Current children cumulated vsize (KiB) 3423208
[startup+7.60176 s]
/proc/loadavg: 29.66 31.11 31.10 33/447 31645
/proc/meminfo: memFree=255163868/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
[pid=31607] ppid=31606 vsize=1865732 CPUtime=7.58 cores=0
/proc/31607/stat : 31607 (cryptominisat) R 31606 31606 31580 0 -1 4202496 8238 0 0 0 756 2 0 0 25 0 1 0 650552848 1910509568 4879 268435456000 4194304 4587354 140735802038144 18446744073709551615 4230176 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31607/statm: 466433 4879 335 96 0 462995 0
[pid=31608] ppid=31606 vsize=25016 CPUtime=7.58 cores=1
/proc/31608/stat : 31608 (clasp) R 31606 31606 31580 0 -1 4202496 3951 0 0 0 757 1 0 0 25 0 1 0 650552848 25616384 3545 268435456000 4194304 4785740 140735279858288 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31608/statm: 6254 3545 338 145 0 3299 0
[pid=31609] ppid=31606 vsize=455984 CPUtime=7.58 cores=2
/proc/31609/stat : 31609 (TNM) R 31606 31606 31580 0 -1 4202496 1781 0 0 0 757 1 0 0 25 0 1 0 650552848 466927616 1678 268435456000 134512640 134534564 4293153008 18446744073709551615 134528730 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31609/statm: 113996 1678 95 6 0 112661 0
[pid=31610] ppid=31606 vsize=282532 CPUtime=7.58 cores=3
/proc/31610/stat : 31610 (march_hi) R 31606 31606 31580 0 -1 4202496 109369 0 0 0 735 23 0 0 25 0 1 0 650552848 289312768 55271 268435456000 4194304 4331988 140733642276496 18446744073709551615 4257036 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31610/statm: 70633 55271 158 34 0 69075 0
[pid=31611] ppid=31606 vsize=778632 CPUtime=187.19 cores=4-31
/proc/31611/stat : 31611 (plingeling) S 31606 31606 31580 0 -1 4202496 82346 1248 0 0 18664 54 0 1 18 0 29 0 650552848 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/31611/statm: 194658 59602 158 40 0 193202 0
[pid=31611/tid=31618] ppid=31606 vsize=778632 CPUtime=6.52 cores=4-31
/proc/31611/task/31618/stat : 31618 (plingeling) R 31606 31606 31580 0 -1 4202560 2227 1248 0 0 650 1 0 1 25 0 29 0 650552936 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31611/tid=31619] ppid=31606 vsize=778632 CPUtime=6.64 cores=4-31
/proc/31611/task/31619/stat : 31619 (plingeling) R 31606 31606 31580 0 -1 4202560 1578 1248 0 0 662 1 0 1 25 0 29 0 650552936 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4234244 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31611/tid=31620] ppid=31606 vsize=778632 CPUtime=6.67 cores=4-31
/proc/31611/task/31620/stat : 31620 (plingeling) R 31606 31606 31580 0 -1 4202560 2444 1248 0 0 666 0 0 1 25 0 29 0 650552936 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4283885 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31611/tid=31621] ppid=31606 vsize=778632 CPUtime=6.67 cores=4-31
/proc/31611/task/31621/stat : 31621 (plingeling) R 31606 31606 31580 0 -1 4202560 2350 1248 0 0 664 2 0 1 25 0 29 0 650552936 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4274851 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31611/tid=31622] ppid=31606 vsize=778632 CPUtime=6.68 cores=4-31
/proc/31611/task/31622/stat : 31622 (plingeling) R 31606 31606 31580 0 -1 4202560 1513 1248 0 0 667 0 0 1 25 0 29 0 650552936 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31611/tid=31623] ppid=31606 vsize=778632 CPUtime=6.67 cores=4-31
/proc/31611/task/31623/stat : 31623 (plingeling) R 31606 31606 31580 0 -1 4202560 1646 1248 0 0 665 1 0 1 25 0 29 0 650552936 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31611/tid=31624] ppid=31606 vsize=778632 CPUtime=6.66 cores=4-31
/proc/31611/task/31624/stat : 31624 (plingeling) R 31606 31606 31580 0 -1 4202560 1298 1248 0 0 664 1 0 1 25 0 29 0 650552936 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31611/tid=31625] ppid=31606 vsize=778632 CPUtime=6.65 cores=4-31
/proc/31611/task/31625/stat : 31625 (plingeling) R 31606 31606 31580 0 -1 4202560 2975 1248 0 0 662 2 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31611/tid=31626] ppid=31606 vsize=778632 CPUtime=6.57 cores=4-31
/proc/31611/task/31626/stat : 31626 (plingeling) R 31606 31606 31580 0 -1 4202560 1678 1248 0 0 656 0 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31611/tid=31627] ppid=31606 vsize=778632 CPUtime=6.64 cores=4-31
/proc/31611/task/31627/stat : 31627 (plingeling) R 31606 31606 31580 0 -1 4202560 2120 1248 0 0 661 2 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31611/tid=31628] ppid=31606 vsize=778632 CPUtime=6.65 cores=4-31
/proc/31611/task/31628/stat : 31628 (plingeling) R 31606 31606 31580 0 -1 4202560 1758 1248 0 0 663 1 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31611/tid=31629] ppid=31606 vsize=778632 CPUtime=6.67 cores=4-31
/proc/31611/task/31629/stat : 31629 (plingeling) R 31606 31606 31580 0 -1 4202560 2438 1248 0 0 666 0 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31611/tid=31630] ppid=31606 vsize=778632 CPUtime=6.66 cores=4-31
/proc/31611/task/31630/stat : 31630 (plingeling) R 31606 31606 31580 0 -1 4202560 1775 1248 0 0 663 2 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332162 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31611/tid=31631] ppid=31606 vsize=778632 CPUtime=6.65 cores=4-31
/proc/31611/task/31631/stat : 31631 (plingeling) R 31606 31606 31580 0 -1 4202560 1151 1248 0 0 663 1 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31611/tid=31632] ppid=31606 vsize=778632 CPUtime=6.62 cores=4-31
/proc/31611/task/31632/stat : 31632 (plingeling) R 31606 31606 31580 0 -1 4202560 1676 1248 0 0 660 1 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31611/tid=31633] ppid=31606 vsize=778632 CPUtime=6.65 cores=4-31
/proc/31611/task/31633/stat : 31633 (plingeling) R 31606 31606 31580 0 -1 4202560 3235 1248 0 0 661 3 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31611/tid=31634] ppid=31606 vsize=778632 CPUtime=6.66 cores=4-31
/proc/31611/task/31634/stat : 31634 (plingeling) R 31606 31606 31580 0 -1 4202560 2141 1248 0 0 664 1 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31611/tid=31635] ppid=31606 vsize=778632 CPUtime=6.66 cores=4-31
/proc/31611/task/31635/stat : 31635 (plingeling) R 31606 31606 31580 0 -1 4202560 1754 1248 0 0 665 0 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31611/tid=31636] ppid=31606 vsize=778632 CPUtime=6.68 cores=4-31
/proc/31611/task/31636/stat : 31636 (plingeling) R 31606 31606 31580 0 -1 4202560 1991 1248 0 0 667 0 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31611/tid=31637] ppid=31606 vsize=778632 CPUtime=6.64 cores=4-31
/proc/31611/task/31637/stat : 31637 (plingeling) R 31606 31606 31580 0 -1 4202560 2177 1248 0 0 662 1 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31611/tid=31638] ppid=31606 vsize=778632 CPUtime=6.68 cores=4-31
/proc/31611/task/31638/stat : 31638 (plingeling) R 31606 31606 31580 0 -1 4202560 1367 1248 0 0 666 1 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31611/tid=31639] ppid=31606 vsize=778632 CPUtime=6.67 cores=4-31
/proc/31611/task/31639/stat : 31639 (plingeling) R 31606 31606 31580 0 -1 4202560 1436 1248 0 0 665 1 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332149 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31611/tid=31640] ppid=31606 vsize=778632 CPUtime=6.66 cores=4-31
/proc/31611/task/31640/stat : 31640 (plingeling) R 31606 31606 31580 0 -1 4202560 2175 1248 0 0 665 0 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31611/tid=31641] ppid=31606 vsize=778632 CPUtime=6.66 cores=4-31
/proc/31611/task/31641/stat : 31641 (plingeling) R 31606 31606 31580 0 -1 4202560 2853 1248 0 0 663 2 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31611/tid=31642] ppid=31606 vsize=778632 CPUtime=6.68 cores=4-31
/proc/31611/task/31642/stat : 31642 (plingeling) R 31606 31606 31580 0 -1 4202560 2284 1248 0 0 664 3 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4279459 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31611/tid=31643] ppid=31606 vsize=778632 CPUtime=6.67 cores=4-31
/proc/31611/task/31643/stat : 31643 (plingeling) R 31606 31606 31580 0 -1 4202560 2341 1248 0 0 666 0 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330876 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31611/tid=31644] ppid=31606 vsize=778632 CPUtime=6.66 cores=4-31
/proc/31611/task/31644/stat : 31644 (plingeling) R 31606 31606 31580 0 -1 4202560 1824 1248 0 0 665 0 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31611/tid=31645] ppid=31606 vsize=778632 CPUtime=6.68 cores=4-31
/proc/31611/task/31645/stat : 31645 (plingeling) R 31606 31606 31580 0 -1 4202560 2148 1248 0 0 666 1 0 1 25 0 29 0 650552937 797319168 59602 268435456000 4194304 4356188 140734850230352 18446744073709551615 4331178 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 217.51
Current children cumulated vsize (KiB) 3426220
[startup+8.00184 s]
/proc/loadavg: 29.66 31.11 31.10 33/447 31645
/proc/meminfo: memFree=255088848/264257624 swapFree=67111528/67111528
[pid=31606] ppid=31604 vsize=18324 CPUtime=0 cores=0-31
/proc/31606/stat : 31606 (ppfolio) S 31604 31606 31580 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 650552847 18763776 386 268435456000 4194304 4287625 140735826224416 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/31606/statm: 4581 386 337 23 0 91 0
[pid=31607] ppid=31606 vsize=1865732 CPUtime=7.98 cores=0
/proc/31607/stat : 31607 (cryptominisat) R 31606 31606 31580 0 -1 4202496 8339 0 0 0 796 2 0 0 25 0 1 0 650552848 1910509568 4976 268435456000 4194304 4587354 140735802038144 18446744073709551615 4238668 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31607/statm: 466433 4977 335 96 0 462995 0
[pid=31608] ppid=31606 vsize=25216 CPUtime=7.98 cores=1
/proc/31608/stat : 31608 (clasp) R 31606 31606 31580 0 -1 4202496 4000 0 0 0 797 1 0 0 25 0 1 0 650552848 25821184 3594 268435456000 4194304 4785740 140735279858288 18446744073709551615 4552673 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31608/statm: 6304 3594 338 145 0 3349 0
[pid=31609] ppid=31606 vsize=455984 CPUtime=7.98 cores=2
/proc/31609/stat : 31609 (TNM) R 31606 31606 31580 0 -1 4202496 1781 0 0 0 797 1 0 0 25 0 1 0 650552848 466927616 1678 268435456000 134512640 134534564 4293153008 18446744073709551615 134528427 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31609/statm: 113996 1678 95 6 0 112661 0
[pid=31610] ppid=31606 vsize=282532 CPUtime=7.98 cores=3
/proc/31610/stat : 31610 (march_hi) R 31606 31606 31580 0 -1 4202496 109369 0 0 0 775 23 0 0 25 0 1 0 650552848 289312768 55271 268435456000 4194304 4331988 140733642276496 18446744073709551615 258650604658 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31610/statm: 70633 55271 158 34 0 69075 0
[pid=31611] ppid=31606 vsize=639468 CPUtime=197.76 cores=4-31
/proc/31611/stat : 31611 (plingeling) S 31606 31606 31580 0 -1 4202496 83570 1248 0 0 19720 55 0 1 17 0 3 0 650552848 654815232 60638 268435456000 4194304 4356188 140734850230352 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/31611/statm: 159867 60638 159 40 0 158411 0
[pid=31611/tid=31635] ppid=31606 vsize=639468 CPUtime=7.05 cores=4-31
/proc/31611/task/31635/stat : 31635 (plingeling) R 31606 31606 31580 0 -1 4202560 1754 1248 0 0 704 0 0 1 25 0 3 0 650552937 654815232 60638 268435456000 4194304 4356188 140734850230352 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31611/tid=31641] ppid=31606 vsize=639468 CPUtime=7.06 cores=4-31
/proc/31611/task/31641/stat : 31641 (plingeling) R 31606 31606 31580 0 -1 4202560 2917 1248 0 0 703 2 0 1 25 0 3 0 650552937 654815232 60638 268435456000 4194304 4356188 140734850230352 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 229.68
Current children cumulated vsize (KiB) 3287256
Child status: 0
Real time (s): 8.04922
CPU time (s): 229.912
CPU user time (s): 229.008
CPU system time (s): 0.903862
CPU usage (%): 2856.33
Max. virtual memory (cumulated for all children) (KiB): 3428996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.008
system time used= 0.903862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208857
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= 2247
involuntary context switches= 575
runsolver used 0.048992 second user time and 0.203968 second system time
The end
Begin job on node200 at 2011-05-14 18:31:04
IDJOB=3347613
IDBENCH=83454
IDSOLVER=1808
FILE ID=node200/3347613-1305390664
RUNJOBID= node200-1305390664-31594
PBS_JOBID= 13285492
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347613-1305390664/watcher-3347613-1305390664 -o /tmp/evaluation-result-3347613-1305390664/solver-3347613-1305390664 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347613-1305390664.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e53b8f4e61e6411a209ad63833d35585
RANDOM SEED=258398980
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: 255597360 kB
Buffers: 437164 kB
Cached: 7818648 kB
SwapCached: 0 kB
Active: 7384056 kB
Inactive: 940696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255597360 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10892 kB
Writeback: 0 kB
AnonPages: 70756 kB
Mapped: 14484 kB
Slab: 249996 kB
PageTables: 4900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-14 18:31:12