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
5141.49/161.65 s UNSATISFIABLE
5141.49/161.70 solver [1] cryptominisat 2.7.1 answered
5141.49/161.70 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-3347249-1304943339/watcher-3347249-1304943339 -o /tmp/evaluation-result-3347249-1304943339/solver-3347249-1304943339 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347249-1304943339.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: 31.03 31.31 31.66 1/413 25539
/proc/meminfo: memFree=256746752/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
[startup+0.049372 s]
/proc/loadavg: 31.03 31.31 31.66 1/413 25539
/proc/meminfo: memFree=256746752/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100359 s]
/proc/loadavg: 31.03 31.31 31.66 1/413 25539
/proc/meminfo: memFree=256746752/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300363 s]
/proc/loadavg: 31.03 31.31 31.66 1/413 25539
/proc/meminfo: memFree=256746752/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700363 s]
/proc/loadavg: 31.03 31.31 31.66 1/413 25539
/proc/meminfo: memFree=256746752/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50233 s]
/proc/loadavg: 31.03 31.31 31.66 33/447 25578
/proc/meminfo: memFree=256639552/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
[pid=25540] ppid=25539 vsize=35804 CPUtime=1.48 cores=0
/proc/25540/stat : 25540 (cryptominisat) R 25539 25539 25447 0 -1 4202496 4588 0 0 0 147 1 0 0 23 0 1 0 605820371 36663296 3881 268435456000 4194304 4587354 140733573552768 18446744073709551615 4236832 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25540/statm: 8951 3881 328 96 0 5513 0
[pid=25541] ppid=25539 vsize=20960 CPUtime=1.48 cores=1
/proc/25541/stat : 25541 (clasp) R 25539 25539 25447 0 -1 4202496 3117 0 0 0 147 1 0 0 20 0 1 0 605820371 21463040 2581 268435456000 4194304 4785740 140735275061568 18446744073709551615 4550444 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25541/statm: 5240 2581 338 145 0 2285 0
[pid=25542] ppid=25539 vsize=454516 CPUtime=1.48 cores=2
/proc/25542/stat : 25542 (TNM) R 25539 25539 25447 0 -1 4202496 1603 0 0 0 147 1 0 0 20 0 1 0 605820371 465424384 1501 268435456000 134512640 134534564 4288108176 18446744073709551615 134525873 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25542/statm: 113629 1501 95 6 0 112294 0
[pid=25543] ppid=25539 vsize=34080 CPUtime=1.48 cores=3
/proc/25543/stat : 25543 (march_hi) R 25539 25539 25447 0 -1 4202496 14098 0 0 0 145 3 0 0 20 0 1 0 605820371 34897920 6145 268435456000 4194304 4331988 140734186497280 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25543/statm: 8520 6145 172 34 0 6962 0
[pid=25544] ppid=25539 vsize=549556 CPUtime=18.84 cores=4-31
/proc/25544/stat : 25544 (plingeling) S 25539 25539 25447 0 -1 4202496 30553 1238 0 0 1876 8 0 0 18 0 29 0 605820371 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/25544/statm: 137389 16483 154 40 0 135933 0
[pid=25544/tid=25551] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25551/stat : 25551 (plingeling) R 25539 25539 25447 0 -1 4202560 665 1238 0 0 66 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25544/tid=25552] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25552/stat : 25552 (plingeling) R 25539 25539 25447 0 -1 4202560 278 1238 0 0 66 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25544/tid=25553] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25553/stat : 25553 (plingeling) R 25539 25539 25447 0 -1 4202560 548 1238 0 0 66 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25544/tid=25554] ppid=25539 vsize=549556 CPUtime=0.65 cores=4-31
/proc/25544/task/25554/stat : 25554 (plingeling) R 25539 25539 25447 0 -1 4202560 337 1238 0 0 65 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25544/tid=25555] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25555/stat : 25555 (plingeling) R 25539 25539 25447 0 -1 4202560 616 1238 0 0 66 0 0 0 20 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25544/tid=25556] ppid=25539 vsize=549556 CPUtime=0.63 cores=4-31
/proc/25544/task/25556/stat : 25556 (plingeling) R 25539 25539 25447 0 -1 4202560 507 1238 0 0 63 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25544/tid=25557] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25557/stat : 25557 (plingeling) R 25539 25539 25447 0 -1 4202560 848 1238 0 0 66 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4286475 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25544/tid=25558] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25558/stat : 25558 (plingeling) R 25539 25539 25447 0 -1 4202560 751 1238 0 0 66 0 0 0 21 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4269484 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25544/tid=25559] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25559/stat : 25559 (plingeling) R 25539 25539 25447 0 -1 4202560 858 1238 0 0 66 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4287203 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25544/tid=25560] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25560/stat : 25560 (plingeling) R 25539 25539 25447 0 -1 4202560 824 1238 0 0 66 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322180 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25544/tid=25561] ppid=25539 vsize=549556 CPUtime=0.65 cores=4-31
/proc/25544/task/25561/stat : 25561 (plingeling) R 25539 25539 25447 0 -1 4202560 516 1238 0 0 65 0 0 0 18 0 29 0 605820453 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4289359 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25544/tid=25562] ppid=25539 vsize=549556 CPUtime=0.65 cores=4-31
/proc/25544/task/25562/stat : 25562 (plingeling) R 25539 25539 25447 0 -1 4202560 862 1238 0 0 65 0 0 0 21 0 29 0 605820454 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331052 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25544/tid=25563] ppid=25539 vsize=549556 CPUtime=0.65 cores=4-31
/proc/25544/task/25563/stat : 25563 (plingeling) R 25539 25539 25447 0 -1 4202560 594 1238 0 0 65 0 0 0 18 0 29 0 605820454 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4290607 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25544/tid=25564] ppid=25539 vsize=549556 CPUtime=0.66 cores=4-31
/proc/25544/task/25564/stat : 25564 (plingeling) R 25539 25539 25447 0 -1 4202560 656 1238 0 0 66 0 0 0 18 0 29 0 605820454 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322248 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25544/tid=25565] ppid=25539 vsize=549556 CPUtime=0.65 cores=4-31
/proc/25544/task/25565/stat : 25565 (plingeling) R 25539 25539 25447 0 -1 4202560 509 1238 0 0 65 0 0 0 22 0 29 0 605820454 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25544/tid=25566] ppid=25539 vsize=549556 CPUtime=0.63 cores=4-31
/proc/25544/task/25566/stat : 25566 (plingeling) R 25539 25539 25447 0 -1 4202560 503 1238 0 0 63 0 0 0 18 0 29 0 605820456 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25544/tid=25567] ppid=25539 vsize=549556 CPUtime=0.63 cores=4-31
/proc/25544/task/25567/stat : 25567 (plingeling) R 25539 25539 25447 0 -1 4202560 498 1238 0 0 63 0 0 0 18 0 29 0 605820456 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322091 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25544/tid=25568] ppid=25539 vsize=549556 CPUtime=0.62 cores=4-31
/proc/25544/task/25568/stat : 25568 (plingeling) R 25539 25539 25447 0 -1 4202560 747 1238 0 0 62 0 0 0 18 0 29 0 605820456 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322053 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25544/tid=25569] ppid=25539 vsize=549556 CPUtime=0.62 cores=4-31
/proc/25544/task/25569/stat : 25569 (plingeling) R 25539 25539 25447 0 -1 4202560 486 1238 0 0 62 0 0 0 18 0 29 0 605820456 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25544/tid=25570] ppid=25539 vsize=549556 CPUtime=0.6 cores=4-31
/proc/25544/task/25570/stat : 25570 (plingeling) R 25539 25539 25447 0 -1 4202560 178 1238 0 0 60 0 0 0 23 0 29 0 605820456 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4334477 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25544/tid=25571] ppid=25539 vsize=549556 CPUtime=0.63 cores=4-31
/proc/25544/task/25571/stat : 25571 (plingeling) R 25539 25539 25447 0 -1 4202560 863 1238 0 0 63 0 0 0 18 0 29 0 605820457 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322190 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25544/tid=25572] ppid=25539 vsize=549556 CPUtime=0.63 cores=4-31
/proc/25544/task/25572/stat : 25572 (plingeling) R 25539 25539 25447 0 -1 4202560 460 1238 0 0 63 0 0 0 18 0 29 0 605820457 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322098 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25544/tid=25573] ppid=25539 vsize=549556 CPUtime=0.62 cores=4-31
/proc/25544/task/25573/stat : 25573 (plingeling) R 25539 25539 25447 0 -1 4202560 625 1238 0 0 62 0 0 0 25 0 29 0 605820457 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322024 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25544/tid=25574] ppid=25539 vsize=549556 CPUtime=0.57 cores=4-31
/proc/25544/task/25574/stat : 25574 (plingeling) R 25539 25539 25447 0 -1 4202560 536 1238 0 0 57 0 0 0 18 0 29 0 605820457 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4321959 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25544/tid=25575] ppid=25539 vsize=549556 CPUtime=0.62 cores=4-31
/proc/25544/task/25575/stat : 25575 (plingeling) R 25539 25539 25447 0 -1 4202560 576 1238 0 0 62 0 0 0 18 0 29 0 605820457 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322013 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25544/tid=25576] ppid=25539 vsize=549556 CPUtime=0.63 cores=4-31
/proc/25544/task/25576/stat : 25576 (plingeling) R 25539 25539 25447 0 -1 4202560 683 1238 0 0 63 0 0 0 18 0 29 0 605820457 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4322024 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25544/tid=25577] ppid=25539 vsize=549556 CPUtime=0.63 cores=4-31
/proc/25544/task/25577/stat : 25577 (plingeling) R 25539 25539 25447 0 -1 4202560 191 1238 0 0 63 0 0 0 20 0 29 0 605820457 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4321963 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25544/tid=25578] ppid=25539 vsize=549556 CPUtime=0.59 cores=4-31
/proc/25544/task/25578/stat : 25578 (plingeling) R 25539 25539 25447 0 -1 4202560 178 1238 0 0 59 0 0 0 20 0 29 0 605820457 562745344 16483 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331026 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (KiB) 1113240
[startup+3.10239 s]
/proc/loadavg: 31.10 31.32 31.66 33/447 25578
/proc/meminfo: memFree=256576788/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
[pid=25540] ppid=25539 vsize=328088 CPUtime=3.09 cores=0
/proc/25540/stat : 25540 (cryptominisat) R 25539 25539 25447 0 -1 4202496 5942 0 0 0 307 2 0 0 25 0 1 0 605820371 335962112 3929 268435456000 4194304 4587354 140733573552768 18446744073709551615 4237951 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25540/statm: 82022 3929 328 96 0 78584 0
[pid=25541] ppid=25539 vsize=22560 CPUtime=3.08 cores=1
/proc/25541/stat : 25541 (clasp) R 25539 25539 25447 0 -1 4202496 3503 0 0 0 307 1 0 0 25 0 1 0 605820371 23101440 2967 268435456000 4194304 4785740 140735275061568 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25541/statm: 5640 2967 338 145 0 2685 0
[pid=25542] ppid=25539 vsize=454516 CPUtime=3.08 cores=2
/proc/25542/stat : 25542 (TNM) R 25539 25539 25447 0 -1 4202496 1603 0 0 0 307 1 0 0 25 0 1 0 605820371 465424384 1501 268435456000 134512640 134534564 4288108176 18446744073709551615 134529632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25542/statm: 113629 1501 95 6 0 112294 0
[pid=25543] ppid=25539 vsize=36092 CPUtime=3.08 cores=3
/proc/25543/stat : 25543 (march_hi) R 25539 25539 25447 0 -1 4202496 14603 0 0 0 305 3 0 0 25 0 1 0 605820371 36958208 6639 268435456000 4194304 4331988 140734186497280 18446744073709551615 4226496 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25543/statm: 9023 6639 172 34 0 7465 0
[pid=25544] ppid=25539 vsize=592440 CPUtime=62.94 cores=4-31
/proc/25544/stat : 25544 (plingeling) S 25539 25539 25447 0 -1 4202496 41817 1238 0 0 6274 20 0 0 18 0 29 0 605820371 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/25544/statm: 148110 27542 159 40 0 146654 0
[pid=25544/tid=25551] ppid=25539 vsize=592440 CPUtime=2.23 cores=4-31
/proc/25544/task/25551/stat : 25551 (plingeling) R 25539 25539 25447 0 -1 4202560 959 1238 0 0 222 1 0 0 21 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25544/tid=25552] ppid=25539 vsize=592440 CPUtime=2.23 cores=4-31
/proc/25544/task/25552/stat : 25552 (plingeling) R 25539 25539 25447 0 -1 4202560 676 1238 0 0 223 0 0 0 21 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25544/tid=25553] ppid=25539 vsize=592440 CPUtime=2.21 cores=4-31
/proc/25544/task/25553/stat : 25553 (plingeling) R 25539 25539 25447 0 -1 4202560 938 1238 0 0 221 0 0 0 20 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25544/tid=25554] ppid=25539 vsize=592440 CPUtime=2.24 cores=4-31
/proc/25544/task/25554/stat : 25554 (plingeling) R 25539 25539 25447 0 -1 4202560 676 1238 0 0 224 0 0 0 21 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25544/tid=25555] ppid=25539 vsize=592440 CPUtime=2.22 cores=4-31
/proc/25544/task/25555/stat : 25555 (plingeling) R 25539 25539 25447 0 -1 4202560 1102 1238 0 0 222 0 0 0 25 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25544/tid=25556] ppid=25539 vsize=592440 CPUtime=2.17 cores=4-31
/proc/25544/task/25556/stat : 25556 (plingeling) R 25539 25539 25447 0 -1 4202560 1057 1238 0 0 216 1 0 0 20 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330856 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25544/tid=25557] ppid=25539 vsize=592440 CPUtime=2.24 cores=4-31
/proc/25544/task/25557/stat : 25557 (plingeling) R 25539 25539 25447 0 -1 4202560 1206 1238 0 0 224 0 0 0 20 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4244424 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25544/tid=25558] ppid=25539 vsize=592440 CPUtime=2.25 cores=4-31
/proc/25544/task/25558/stat : 25558 (plingeling) R 25539 25539 25447 0 -1 4202560 1261 1238 0 0 225 0 0 0 25 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25544/tid=25559] ppid=25539 vsize=592440 CPUtime=2.24 cores=4-31
/proc/25544/task/25559/stat : 25559 (plingeling) R 25539 25539 25447 0 -1 4202560 1389 1238 0 0 224 0 0 0 20 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4212994 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25544/tid=25560] ppid=25539 vsize=592440 CPUtime=2.23 cores=4-31
/proc/25544/task/25560/stat : 25560 (plingeling) R 25539 25539 25447 0 -1 4202560 1342 1238 0 0 223 0 0 0 21 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4244300 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25544/tid=25561] ppid=25539 vsize=592440 CPUtime=2.23 cores=4-31
/proc/25544/task/25561/stat : 25561 (plingeling) R 25539 25539 25447 0 -1 4202560 970 1238 0 0 223 0 0 0 19 0 29 0 605820453 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4211032 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25544/tid=25562] ppid=25539 vsize=592440 CPUtime=2.24 cores=4-31
/proc/25544/task/25562/stat : 25562 (plingeling) R 25539 25539 25447 0 -1 4202560 1269 1238 0 0 224 0 0 0 25 0 29 0 605820454 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4284109 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25544/tid=25563] ppid=25539 vsize=592440 CPUtime=2.22 cores=4-31
/proc/25544/task/25563/stat : 25563 (plingeling) R 25539 25539 25447 0 -1 4202560 1048 1238 0 0 222 0 0 0 21 0 29 0 605820454 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4298380 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25544/tid=25564] ppid=25539 vsize=592440 CPUtime=2.22 cores=4-31
/proc/25544/task/25564/stat : 25564 (plingeling) R 25539 25539 25447 0 -1 4202560 1094 1238 0 0 222 0 0 0 21 0 29 0 605820454 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25544/tid=25565] ppid=25539 vsize=592440 CPUtime=2.23 cores=4-31
/proc/25544/task/25565/stat : 25565 (plingeling) R 25539 25539 25447 0 -1 4202560 771 1238 0 0 223 0 0 0 25 0 29 0 605820454 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25544/tid=25566] ppid=25539 vsize=592440 CPUtime=2.19 cores=4-31
/proc/25544/task/25566/stat : 25566 (plingeling) R 25539 25539 25447 0 -1 4202560 1038 1238 0 0 219 0 0 0 19 0 29 0 605820456 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4241938 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25544/tid=25567] ppid=25539 vsize=592440 CPUtime=2.22 cores=4-31
/proc/25544/task/25567/stat : 25567 (plingeling) R 25539 25539 25447 0 -1 4202560 872 1238 0 0 222 0 0 0 20 0 29 0 605820456 606658560 27542 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25544/tid=25568] ppid=25539 vsize=592440 CPUtime=2.18 cores=4-31
################
# More data... #
################
[pid=25544/tid=25575] ppid=25539 vsize=1006356 CPUtime=160.13 cores=4-31
/proc/25544/task/25575/stat : 25575 (plingeling) R 25539 25539 25447 0 -1 4202560 16576 1238 0 0 16003 10 0 0 25 0 29 0 605820457 1030508544 134612 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25544/tid=25576] ppid=25539 vsize=1006356 CPUtime=160.07 cores=4-31
/proc/25544/task/25576/stat : 25576 (plingeling) R 25539 25539 25447 0 -1 4202560 15246 1238 0 0 15998 9 0 0 25 0 29 0 605820457 1030508544 134612 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25544/tid=25577] ppid=25539 vsize=1006356 CPUtime=160.15 cores=4-31
/proc/25544/task/25577/stat : 25577 (plingeling) R 25539 25539 25447 0 -1 4202560 17417 1238 0 0 16008 7 0 0 25 0 29 0 605820457 1030508544 134612 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25544/tid=25578] ppid=25539 vsize=1006356 CPUtime=160.04 cores=4-31
/proc/25544/task/25578/stat : 25578 (plingeling) R 25539 25539 25447 0 -1 4202560 6875 1238 0 0 16000 4 0 0 25 0 29 0 605820457 1030508544 134612 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 5124.88
Current children cumulated vsize (KiB) 1960780
[startup+161.502 s]
/proc/loadavg: 31.95 31.61 31.71 33/447 25582
/proc/meminfo: memFree=256062256/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
[pid=25540] ppid=25539 vsize=354440 CPUtime=161.45 cores=0
/proc/25540/stat : 25540 (cryptominisat) R 25539 25539 25447 0 -1 4202496 59931 0 0 0 16122 23 0 0 25 0 1 0 605820371 362946560 9973 268435456000 4194304 4587354 140733573552768 18446744073709551615 258650652587 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25540/statm: 88610 9974 334 96 0 85172 0
[pid=25541] ppid=25539 vsize=61164 CPUtime=161.45 cores=1
/proc/25541/stat : 25541 (clasp) R 25539 25539 25447 0 -1 4202496 13100 0 0 0 16140 5 0 0 25 0 1 0 605820371 62631936 12564 268435456000 4194304 4785740 140735275061568 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25541/statm: 15291 12564 338 145 0 12336 0
[pid=25542] ppid=25539 vsize=454516 CPUtime=161.45 cores=2
/proc/25542/stat : 25542 (TNM) R 25539 25539 25447 0 -1 4202496 1603 0 0 0 16144 1 0 0 25 0 1 0 605820371 465424384 1501 268435456000 134512640 134534564 4288108176 18446744073709551615 134529388 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25542/statm: 113629 1501 95 6 0 112294 0
[pid=25543] ppid=25539 vsize=65980 CPUtime=161.45 cores=3
/proc/25543/stat : 25543 (march_hi) R 25539 25539 25447 0 -1 4202496 21979 0 0 0 16136 9 0 0 25 0 1 0 605820371 67563520 14005 268435456000 4194304 4331988 140734186497280 18446744073709551615 4226530 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25543/statm: 16495 14005 172 34 0 14937 0
[pid=25544] ppid=25539 vsize=1009432 CPUtime=4491.87 cores=4-31
/proc/25544/stat : 25544 (plingeling) S 25539 25539 25447 0 -1 4202496 442565 1238 0 0 448816 371 0 0 18 0 29 0 605820371 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/25544/statm: 252358 135381 159 40 0 250902 0
[pid=25544/tid=25551] ppid=25539 vsize=1009432 CPUtime=160.57 cores=4-31
/proc/25544/task/25551/stat : 25551 (plingeling) R 25539 25539 25447 0 -1 4202560 16477 1238 0 0 16042 15 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25544/tid=25552] ppid=25539 vsize=1009432 CPUtime=160.6 cores=4-31
/proc/25544/task/25552/stat : 25552 (plingeling) R 25539 25539 25447 0 -1 4202560 15333 1238 0 0 16048 12 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25544/tid=25553] ppid=25539 vsize=1009432 CPUtime=160.54 cores=4-31
/proc/25544/task/25553/stat : 25553 (plingeling) R 25539 25539 25447 0 -1 4202560 18953 1238 0 0 16041 13 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25544/tid=25554] ppid=25539 vsize=1009432 CPUtime=160.61 cores=4-31
/proc/25544/task/25554/stat : 25554 (plingeling) R 25539 25539 25447 0 -1 4202560 6562 1238 0 0 16057 4 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330931 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25544/tid=25555] ppid=25539 vsize=1009432 CPUtime=160.55 cores=4-31
/proc/25544/task/25555/stat : 25555 (plingeling) R 25539 25539 25447 0 -1 4202560 15934 1238 0 0 16044 11 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4242113 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25544/tid=25556] ppid=25539 vsize=1009432 CPUtime=158.45 cores=4-31
/proc/25544/task/25556/stat : 25556 (plingeling) R 25539 25539 25447 0 -1 4202560 11912 1238 0 0 15836 9 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25544/tid=25557] ppid=25539 vsize=1009432 CPUtime=160.57 cores=4-31
/proc/25544/task/25557/stat : 25557 (plingeling) R 25539 25539 25447 0 -1 4202560 18950 1238 0 0 16044 13 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4210856 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25544/tid=25558] ppid=25539 vsize=1009432 CPUtime=160.61 cores=4-31
/proc/25544/task/25558/stat : 25558 (plingeling) R 25539 25539 25447 0 -1 4202560 19979 1238 0 0 16036 25 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25544/tid=25559] ppid=25539 vsize=1009432 CPUtime=160.59 cores=4-31
/proc/25544/task/25559/stat : 25559 (plingeling) R 25539 25539 25447 0 -1 4202560 18330 1238 0 0 16045 14 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25544/tid=25560] ppid=25539 vsize=1009432 CPUtime=160.57 cores=4-31
/proc/25544/task/25560/stat : 25560 (plingeling) R 25539 25539 25447 0 -1 4202560 14138 1238 0 0 16046 11 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25544/tid=25561] ppid=25539 vsize=1009432 CPUtime=160.55 cores=4-31
/proc/25544/task/25561/stat : 25561 (plingeling) R 25539 25539 25447 0 -1 4202560 13703 1238 0 0 16038 17 0 0 25 0 29 0 605820453 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25544/tid=25562] ppid=25539 vsize=1009432 CPUtime=160.58 cores=4-31
/proc/25544/task/25562/stat : 25562 (plingeling) R 25539 25539 25447 0 -1 4202560 6510 1238 0 0 16054 4 0 0 25 0 29 0 605820454 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25544/tid=25563] ppid=25539 vsize=1009432 CPUtime=160.53 cores=4-31
/proc/25544/task/25563/stat : 25563 (plingeling) R 25539 25539 25447 0 -1 4202560 17238 1238 0 0 16040 13 0 0 25 0 29 0 605820454 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25544/tid=25564] ppid=25539 vsize=1009432 CPUtime=159.64 cores=4-31
/proc/25544/task/25564/stat : 25564 (plingeling) R 25539 25539 25447 0 -1 4202560 16090 1238 0 0 15951 13 0 0 25 0 29 0 605820454 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4211007 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25544/tid=25565] ppid=25539 vsize=1009432 CPUtime=160.56 cores=4-31
/proc/25544/task/25565/stat : 25565 (plingeling) R 25539 25539 25447 0 -1 4202560 17289 1238 0 0 16045 11 0 0 25 0 29 0 605820454 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25544/tid=25566] ppid=25539 vsize=1009432 CPUtime=159.62 cores=4-31
/proc/25544/task/25566/stat : 25566 (plingeling) R 25539 25539 25447 0 -1 4202560 21405 1238 0 0 15932 30 0 0 25 0 29 0 605820456 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25544/tid=25567] ppid=25539 vsize=1009432 CPUtime=160.58 cores=4-31
/proc/25544/task/25567/stat : 25567 (plingeling) R 25539 25539 25447 0 -1 4202560 15484 1238 0 0 16047 11 0 0 25 0 29 0 605820456 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25544/tid=25568] ppid=25539 vsize=1009432 CPUtime=160.55 cores=4-31
/proc/25544/task/25568/stat : 25568 (plingeling) R 25539 25539 25447 0 -1 4202560 16222 1238 0 0 16040 15 0 0 25 0 29 0 605820456 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25544/tid=25569] ppid=25539 vsize=1009432 CPUtime=160.56 cores=4-31
/proc/25544/task/25569/stat : 25569 (plingeling) R 25539 25539 25447 0 -1 4202560 15800 1238 0 0 16040 16 0 0 25 0 29 0 605820456 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25544/tid=25570] ppid=25539 vsize=1009432 CPUtime=160.08 cores=4-31
/proc/25544/task/25570/stat : 25570 (plingeling) R 25539 25539 25447 0 -1 4202560 3843 1238 0 0 16006 2 0 0 25 0 29 0 605820456 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25544/tid=25571] ppid=25539 vsize=1009432 CPUtime=160.56 cores=4-31
/proc/25544/task/25571/stat : 25571 (plingeling) R 25539 25539 25447 0 -1 4202560 14816 1238 0 0 16046 10 0 0 25 0 29 0 605820457 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25544/tid=25572] ppid=25539 vsize=1009432 CPUtime=160.46 cores=4-31
/proc/25544/task/25572/stat : 25572 (plingeling) R 25539 25539 25447 0 -1 4202560 18786 1238 0 0 16035 11 0 0 25 0 29 0 605820457 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4283959 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25544/tid=25573] ppid=25539 vsize=1009432 CPUtime=160.34 cores=4-31
/proc/25544/task/25573/stat : 25573 (plingeling) R 25539 25539 25447 0 -1 4202560 16500 1238 0 0 16021 13 0 0 25 0 29 0 605820457 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25544/tid=25574] ppid=25539 vsize=1009432 CPUtime=160.51 cores=4-31
/proc/25544/task/25574/stat : 25574 (plingeling) R 25539 25539 25447 0 -1 4202560 21537 1238 0 0 16022 29 0 0 25 0 29 0 605820457 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4332162 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25544/tid=25575] ppid=25539 vsize=1009432 CPUtime=160.53 cores=4-31
/proc/25544/task/25575/stat : 25575 (plingeling) R 25539 25539 25447 0 -1 4202560 16576 1238 0 0 16043 10 0 0 25 0 29 0 605820457 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25544/tid=25576] ppid=25539 vsize=1009432 CPUtime=160.47 cores=4-31
/proc/25544/task/25576/stat : 25576 (plingeling) R 25539 25539 25447 0 -1 4202560 15246 1238 0 0 16038 9 0 0 25 0 29 0 605820457 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25544/tid=25577] ppid=25539 vsize=1009432 CPUtime=160.55 cores=4-31
/proc/25544/task/25577/stat : 25577 (plingeling) R 25539 25539 25447 0 -1 4202560 17417 1238 0 0 16048 7 0 0 25 0 29 0 605820457 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25544/tid=25578] ppid=25539 vsize=1009432 CPUtime=160.44 cores=4-31
/proc/25544/task/25578/stat : 25578 (plingeling) R 25539 25539 25447 0 -1 4202560 6875 1238 0 0 16040 4 0 0 25 0 29 0 605820457 1033658368 135381 268435456000 4194304 4356188 140735315805024 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 5137.67
Current children cumulated vsize (KiB) 1963856
[startup+161.602 s]
/proc/loadavg: 31.95 31.61 31.71 33/447 25582
/proc/meminfo: memFree=256057776/264257624 swapFree=67111528/67111528
[pid=25539] ppid=25537 vsize=18324 CPUtime=0 cores=0-31
/proc/25539/stat : 25539 (ppfolio) S 25537 25539 25447 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 605820370 18763776 385 268435456000 4194304 4287625 140733929818896 18446744073709551615 258650975999 0 0 4096 65536 9197450367330156543 0 0 17 12 0 0 0
/proc/25539/statm: 4581 385 337 23 0 91 0
[pid=25540] ppid=25539 vsize=354440 CPUtime=161.57 cores=0
/proc/25540/stat : 25540 (cryptominisat) R 25539 25539 25447 0 -1 4202496 59946 0 0 0 16134 23 0 0 25 0 1 0 605820371 362946560 9988 268435456000 4194304 4587354 140733573552768 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25540/statm: 88610 9988 334 96 0 85172 0
[pid=25541] ppid=25539 vsize=61164 CPUtime=161.57 cores=1
/proc/25541/stat : 25541 (clasp) R 25539 25539 25447 0 -1 4202496 13102 0 0 0 16152 5 0 0 25 0 1 0 605820371 62631936 12566 268435456000 4194304 4785740 140735275061568 18446744073709551615 4552547 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25541/statm: 15291 12566 338 145 0 12336 0
[pid=25542] ppid=25539 vsize=454516 CPUtime=161.57 cores=2
/proc/25542/stat : 25542 (TNM) R 25539 25539 25447 0 -1 4202496 1603 0 0 0 16156 1 0 0 25 0 1 0 605820371 465424384 1501 268435456000 134512640 134534564 4288108176 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25542/statm: 113629 1501 95 6 0 112294 0
[pid=25543] ppid=25539 vsize=65980 CPUtime=161.57 cores=3
/proc/25543/stat : 25543 (march_hi) R 25539 25539 25447 0 -1 4202496 21982 0 0 0 16148 9 0 0 25 0 1 0 605820371 67563520 14008 268435456000 4194304 4331988 140734186497280 18446744073709551615 4229471 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25543/statm: 16495 14008 172 34 0 14937 0
[pid=25544] ppid=25539 vsize=1009944 CPUtime=4495.21 cores=4-31
/proc/25544/stat : 25544 (plingeling) S 25539 25539 25447 0 -1 4202496 442693 1238 0 0 449150 371 0 0 18 0 29 0 605820371 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/25544/statm: 252486 135509 159 40 0 251030 0
[pid=25544/tid=25551] ppid=25539 vsize=1009944 CPUtime=160.69 cores=4-31
/proc/25544/task/25551/stat : 25551 (plingeling) R 25539 25539 25447 0 -1 4202560 16477 1238 0 0 16054 15 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331371 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25544/tid=25552] ppid=25539 vsize=1009944 CPUtime=160.72 cores=4-31
/proc/25544/task/25552/stat : 25552 (plingeling) R 25539 25539 25447 0 -1 4202560 15333 1238 0 0 16060 12 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25544/tid=25553] ppid=25539 vsize=1009944 CPUtime=160.66 cores=4-31
/proc/25544/task/25553/stat : 25553 (plingeling) R 25539 25539 25447 0 -1 4202560 18953 1238 0 0 16053 13 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25544/tid=25554] ppid=25539 vsize=1009944 CPUtime=160.73 cores=4-31
/proc/25544/task/25554/stat : 25554 (plingeling) R 25539 25539 25447 0 -1 4202560 6562 1238 0 0 16069 4 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4234377 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25544/tid=25555] ppid=25539 vsize=1009944 CPUtime=160.67 cores=4-31
/proc/25544/task/25555/stat : 25555 (plingeling) R 25539 25539 25447 0 -1 4202560 15934 1238 0 0 16056 11 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4279375 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25544/tid=25556] ppid=25539 vsize=1009944 CPUtime=158.57 cores=4-31
/proc/25544/task/25556/stat : 25556 (plingeling) R 25539 25539 25447 0 -1 4202560 11912 1238 0 0 15848 9 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25544/tid=25557] ppid=25539 vsize=1009944 CPUtime=160.69 cores=4-31
/proc/25544/task/25557/stat : 25557 (plingeling) R 25539 25539 25447 0 -1 4202560 18950 1238 0 0 16056 13 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4274258 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25544/tid=25558] ppid=25539 vsize=1009944 CPUtime=160.73 cores=4-31
/proc/25544/task/25558/stat : 25558 (plingeling) R 25539 25539 25447 0 -1 4202560 19979 1238 0 0 16048 25 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25544/tid=25559] ppid=25539 vsize=1009944 CPUtime=160.72 cores=4-31
/proc/25544/task/25559/stat : 25559 (plingeling) R 25539 25539 25447 0 -1 4202560 18330 1238 0 0 16058 14 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25544/tid=25560] ppid=25539 vsize=1009944 CPUtime=160.69 cores=4-31
/proc/25544/task/25560/stat : 25560 (plingeling) R 25539 25539 25447 0 -1 4202560 14138 1238 0 0 16058 11 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25544/tid=25561] ppid=25539 vsize=1009944 CPUtime=160.67 cores=4-31
/proc/25544/task/25561/stat : 25561 (plingeling) R 25539 25539 25447 0 -1 4202560 13703 1238 0 0 16050 17 0 0 25 0 29 0 605820453 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4332239 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25544/tid=25562] ppid=25539 vsize=1009944 CPUtime=160.7 cores=4-31
/proc/25544/task/25562/stat : 25562 (plingeling) R 25539 25539 25447 0 -1 4202560 6510 1238 0 0 16066 4 0 0 25 0 29 0 605820454 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4281793 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25544/tid=25563] ppid=25539 vsize=1009944 CPUtime=160.65 cores=4-31
/proc/25544/task/25563/stat : 25563 (plingeling) R 25539 25539 25447 0 -1 4202560 17238 1238 0 0 16052 13 0 0 25 0 29 0 605820454 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25544/tid=25564] ppid=25539 vsize=1009944 CPUtime=159.76 cores=4-31
/proc/25544/task/25564/stat : 25564 (plingeling) R 25539 25539 25447 0 -1 4202560 16090 1238 0 0 15963 13 0 0 25 0 29 0 605820454 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331776 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25544/tid=25565] ppid=25539 vsize=1009944 CPUtime=160.68 cores=4-31
/proc/25544/task/25565/stat : 25565 (plingeling) R 25539 25539 25447 0 -1 4202560 17289 1238 0 0 16057 11 0 0 25 0 29 0 605820454 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25544/tid=25566] ppid=25539 vsize=1009944 CPUtime=159.74 cores=4-31
/proc/25544/task/25566/stat : 25566 (plingeling) R 25539 25539 25447 0 -1 4202560 21405 1238 0 0 15944 30 0 0 25 0 29 0 605820456 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25544/tid=25567] ppid=25539 vsize=1009944 CPUtime=160.7 cores=4-31
/proc/25544/task/25567/stat : 25567 (plingeling) R 25539 25539 25447 0 -1 4202560 15484 1238 0 0 16059 11 0 0 25 0 29 0 605820456 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4238032 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25544/tid=25568] ppid=25539 vsize=1009944 CPUtime=160.67 cores=4-31
/proc/25544/task/25568/stat : 25568 (plingeling) R 25539 25539 25447 0 -1 4202560 16222 1238 0 0 16052 15 0 0 25 0 29 0 605820456 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4234341 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25544/tid=25569] ppid=25539 vsize=1009944 CPUtime=160.68 cores=4-31
/proc/25544/task/25569/stat : 25569 (plingeling) R 25539 25539 25447 0 -1 4202560 15800 1238 0 0 16052 16 0 0 25 0 29 0 605820456 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25544/tid=25570] ppid=25539 vsize=1009944 CPUtime=160.2 cores=4-31
/proc/25544/task/25570/stat : 25570 (plingeling) R 25539 25539 25447 0 -1 4202560 3843 1238 0 0 16018 2 0 0 25 0 29 0 605820456 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4237012 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25544/tid=25571] ppid=25539 vsize=1009944 CPUtime=160.68 cores=4-31
/proc/25544/task/25571/stat : 25571 (plingeling) R 25539 25539 25447 0 -1 4202560 14944 1238 0 0 16058 10 0 0 25 0 29 0 605820457 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25544/tid=25572] ppid=25539 vsize=1009944 CPUtime=160.56 cores=4-31
/proc/25544/task/25572/stat : 25572 (plingeling) R 25539 25539 25447 0 -1 4202560 18786 1238 0 0 16045 11 0 0 25 0 29 0 605820457 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25544/tid=25573] ppid=25539 vsize=1009944 CPUtime=160.46 cores=4-31
/proc/25544/task/25573/stat : 25573 (plingeling) R 25539 25539 25447 0 -1 4202560 16500 1238 0 0 16033 13 0 0 25 0 29 0 605820457 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25544/tid=25574] ppid=25539 vsize=1009944 CPUtime=160.63 cores=4-31
/proc/25544/task/25574/stat : 25574 (plingeling) R 25539 25539 25447 0 -1 4202560 21537 1238 0 0 16034 29 0 0 25 0 29 0 605820457 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25544/tid=25575] ppid=25539 vsize=1009944 CPUtime=160.65 cores=4-31
/proc/25544/task/25575/stat : 25575 (plingeling) R 25539 25539 25447 0 -1 4202560 16576 1238 0 0 16055 10 0 0 25 0 29 0 605820457 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25544/tid=25576] ppid=25539 vsize=1009944 CPUtime=160.59 cores=4-31
/proc/25544/task/25576/stat : 25576 (plingeling) R 25539 25539 25447 0 -1 4202560 15246 1238 0 0 16050 9 0 0 25 0 29 0 605820457 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25544/tid=25577] ppid=25539 vsize=1009944 CPUtime=160.67 cores=4-31
/proc/25544/task/25577/stat : 25577 (plingeling) R 25539 25539 25447 0 -1 4202560 17417 1238 0 0 16060 7 0 0 25 0 29 0 605820457 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4281736 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25544/tid=25578] ppid=25539 vsize=1009944 CPUtime=160.56 cores=4-31
/proc/25544/task/25578/stat : 25578 (plingeling) R 25539 25539 25447 0 -1 4202560 6875 1238 0 0 16052 4 0 0 25 0 29 0 605820457 1034182656 135509 268435456000 4194304 4356188 140735315805024 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 5141.49
Current children cumulated vsize (KiB) 1964368
Child status: 0
Real time (s): 161.708
CPU time (s): 5142.56
CPU user time (s): 5138.33
CPU system time (s): 4.23336
CPU usage (%): 3180.16
Max. virtual memory (cumulated for all children) (KiB): 2281880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5138.33
system time used= 4.23336
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541500
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= 2410
involuntary context switches= 12120
runsolver used 0.855869 second user time and 3.75543 second system time
The end
Begin job on node200 at 2011-05-09 14:15:39
IDJOB=3347249
IDBENCH=70818
IDSOLVER=1808
FILE ID=node200/3347249-1304943339
RUNJOBID= node200-1304943241-25461
PBS_JOBID= 13282008
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347249-1304943339/watcher-3347249-1304943339 -o /tmp/evaluation-result-3347249-1304943339/solver-3347249-1304943339 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347249-1304943339.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e1a6f3a7c69cc7fbec84aac478eb151a
RANDOM SEED=513560806
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: 256746916 kB
Buffers: 365068 kB
Cached: 6797884 kB
SwapCached: 0 kB
Active: 6341224 kB
Inactive: 890960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256746916 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10136 kB
Writeback: 44 kB
AnonPages: 70716 kB
Mapped: 14544 kB
Slab: 191340 kB
PageTables: 3852 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187348 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-09 14:18:21