0.00/0.03 This is pico-portfolio, a naive parallel portfolio
0.00/0.03 Copyright (C) 2011 Olivier Roussel
0.00/0.03 Using 32 processing units
0.00/0.03 This portfolio uses the following solvers:
0.00/0.03 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.03 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.03 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.03 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.03 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.03 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.03 Starting clasp 1.3.6 on core(s) 1
0.00/0.03 Starting TNM 2009 on core(s) 2
0.00/0.03 Starting march_hi 2009 on core(s) 3
0.00/0.03 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347641-1306080504/watcher-3347641-1306080504 -o /tmp/evaluation-result-3347641-1306080504/solver-3347641-1306080504 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347641-1306080504.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.56 31.53 31.89 2/413 26689
/proc/meminfo: memFree=255487764/264257624 swapFree=67111528/67111528
[pid=26689] ppid=26687 vsize=18324 CPUtime=0 cores=0-31
/proc/26689/stat : 26689 (ppfolio) S 26687 26689 26663 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 719536826 18763776 385 268435456000 4194304 4287625 140735387381696 18446744073709551615 258650975999 0 0 4096 65536 2826088480828 0 0 17 16 0 0 0
/proc/26689/statm: 4581 385 337 23 0 91 0
[startup+0.114161 s]
/proc/loadavg: 29.56 31.53 31.89 2/413 26689
/proc/meminfo: memFree=255487764/264257624 swapFree=67111528/67111528
[pid=26689] ppid=26687 vsize=18324 CPUtime=0 cores=0-31
/proc/26689/stat : 26689 (ppfolio) S 26687 26689 26663 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 719536826 18763776 385 268435456000 4194304 4287625 140735387381696 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 16 0 0 0
/proc/26689/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.201183 s]
/proc/loadavg: 29.56 31.53 31.89 2/413 26689
/proc/meminfo: memFree=255487764/264257624 swapFree=67111528/67111528
[pid=26689] ppid=26687 vsize=18324 CPUtime=0 cores=0-31
/proc/26689/stat : 26689 (ppfolio) S 26687 26689 26663 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 719536826 18763776 385 268435456000 4194304 4287625 140735387381696 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 16 0 0 0
/proc/26689/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301221 s]
/proc/loadavg: 29.56 31.53 31.89 2/413 26689
/proc/meminfo: memFree=255487764/264257624 swapFree=67111528/67111528
[pid=26689] ppid=26687 vsize=18324 CPUtime=0 cores=0-31
/proc/26689/stat : 26689 (ppfolio) S 26687 26689 26663 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 719536826 18763776 385 268435456000 4194304 4287625 140735387381696 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 16 0 0 0
/proc/26689/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.70112 s]
/proc/loadavg: 29.56 31.53 31.89 2/413 26689
/proc/meminfo: memFree=255487764/264257624 swapFree=67111528/67111528
[pid=26689] ppid=26687 vsize=18324 CPUtime=0 cores=0-31
/proc/26689/stat : 26689 (ppfolio) S 26687 26689 26663 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 719536826 18763776 385 268435456000 4194304 4287625 140735387381696 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 16 0 0 0
/proc/26689/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50214 s]
/proc/loadavg: 29.56 31.53 31.89 32/447 26728
/proc/meminfo: memFree=255418132/264257624 swapFree=67111528/67111528
[pid=26689] ppid=26687 vsize=18324 CPUtime=0 cores=0-31
/proc/26689/stat : 26689 (ppfolio) S 26687 26689 26663 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 719536826 18763776 385 268435456000 4194304 4287625 140735387381696 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 16 0 0 0
/proc/26689/statm: 4581 385 337 23 0 91 0
[pid=26690] ppid=26689 vsize=1639464 CPUtime=1.45 cores=0
/proc/26690/stat : 26690 (cryptominisat) R 26689 26689 26663 0 -1 4202496 1695 0 0 0 145 0 0 0 20 0 1 0 719536830 1678811136 1260 268435456000 4194304 4587354 140734443992384 18446744073709551615 4248785 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26690/statm: 409866 1260 330 96 0 406428 0
[pid=26691] ppid=26689 vsize=15692 CPUtime=1.45 cores=1
/proc/26691/stat : 26691 (clasp) R 26689 26689 26663 0 -1 4202496 1482 0 0 0 145 0 0 0 20 0 1 0 719536830 16068608 1263 268435456000 4194304 4785740 140736128548448 18446744073709551615 4309545 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26691/statm: 3923 1263 338 145 0 968 0
[pid=26692] ppid=26689 vsize=456752 CPUtime=1.45 cores=2
/proc/26692/stat : 26692 (TNM) R 26689 26689 26663 0 -1 4202496 772 0 0 0 145 0 0 0 20 0 1 0 719536830 467714048 670 268435456000 134512640 134534564 4292058368 18446744073709551615 134530260 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26692/statm: 114188 670 95 6 0 112853 0
[pid=26693] ppid=26689 vsize=15100 CPUtime=1.46 cores=3
/proc/26693/stat : 26693 (march_hi) R 26689 26689 26663 0 -1 4202496 3604 0 0 0 145 1 0 0 20 0 1 0 719536830 15462400 1353 268435456000 4194304 4331988 140735687140976 18446744073709551615 4263264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26693/statm: 3775 1353 171 34 0 2217 0
[pid=26694] ppid=26689 vsize=590996 CPUtime=28.65 cores=4-31
/proc/26694/stat : 26694 (plingeling) S 26689 26689 26663 0 -1 4202496 21127 1237 0 0 2856 8 0 1 19 0 29 0 719536830 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/26694/statm: 147749 12347 159 40 0 146293 0
[pid=26694/tid=26701] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26701/stat : 26701 (plingeling) R 26689 26689 26663 0 -1 4202560 454 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4334543 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26694/tid=26702] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26702/stat : 26702 (plingeling) R 26689 26689 26663 0 -1 4202560 219 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26694/tid=26703] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26703/stat : 26703 (plingeling) R 26689 26689 26663 0 -1 4202560 229 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4284224 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26694/tid=26704] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26704/stat : 26704 (plingeling) R 26689 26689 26663 0 -1 4202560 487 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4279630 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26694/tid=26705] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26705/stat : 26705 (plingeling) R 26689 26689 26663 0 -1 4202560 312 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26694/tid=26706] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26706/stat : 26706 (plingeling) R 26689 26689 26663 0 -1 4202560 192 1237 0 0 100 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26694/tid=26707] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26707/stat : 26707 (plingeling) R 26689 26689 26663 0 -1 4202560 221 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26694/tid=26708] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26708/stat : 26708 (plingeling) R 26689 26689 26663 0 -1 4202560 401 1237 0 0 100 0 0 1 21 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26694/tid=26709] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26709/stat : 26709 (plingeling) R 26689 26689 26663 0 -1 4202560 371 1237 0 0 101 0 0 1 21 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4280687 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26694/tid=26710] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26710/stat : 26710 (plingeling) R 26689 26689 26663 0 -1 4202560 326 1237 0 0 100 0 0 1 21 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 258650649791 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26694/tid=26711] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26711/stat : 26711 (plingeling) R 26689 26689 26663 0 -1 4202560 397 1237 0 0 100 0 0 1 21 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26694/tid=26712] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26712/stat : 26712 (plingeling) R 26689 26689 26663 0 -1 4202560 390 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330839 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26694/tid=26713] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26713/stat : 26713 (plingeling) R 26689 26689 26663 0 -1 4202560 272 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4280645 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26694/tid=26714] ppid=26689 vsize=590996 CPUtime=1.02 cores=4-31
/proc/26694/task/26714/stat : 26714 (plingeling) R 26689 26689 26663 0 -1 4202560 359 1237 0 0 101 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26694/tid=26715] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26715/stat : 26715 (plingeling) R 26689 26689 26663 0 -1 4202560 393 1237 0 0 100 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26694/tid=26716] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26716/stat : 26716 (plingeling) R 26689 26689 26663 0 -1 4202560 409 1237 0 0 100 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26694/tid=26717] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26717/stat : 26717 (plingeling) R 26689 26689 26663 0 -1 4202560 441 1237 0 0 100 0 0 1 21 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330845 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26694/tid=26718] ppid=26689 vsize=590996 CPUtime=1 cores=4-31
/proc/26694/task/26718/stat : 26718 (plingeling) R 26689 26689 26663 0 -1 4202560 235 1237 0 0 99 0 0 1 21 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26694/tid=26719] ppid=26689 vsize=590996 CPUtime=1 cores=4-31
/proc/26694/task/26719/stat : 26719 (plingeling) R 26689 26689 26663 0 -1 4202560 558 1237 0 0 99 0 0 1 22 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26694/tid=26720] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26720/stat : 26720 (plingeling) R 26689 26689 26663 0 -1 4202560 541 1237 0 0 100 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4281798 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26694/tid=26721] ppid=26689 vsize=590996 CPUtime=0.96 cores=4-31
/proc/26694/task/26721/stat : 26721 (plingeling) R 26689 26689 26663 0 -1 4202560 310 1237 0 0 95 0 0 1 19 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26694/tid=26722] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26722/stat : 26722 (plingeling) R 26689 26689 26663 0 -1 4202560 231 1237 0 0 100 0 0 1 23 0 29 0 719536875 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26694/tid=26723] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26723/stat : 26723 (plingeling) R 26689 26689 26663 0 -1 4202560 326 1237 0 0 100 0 0 1 19 0 29 0 719536876 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4281608 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26694/tid=26724] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26724/stat : 26724 (plingeling) R 26689 26689 26663 0 -1 4202560 242 1237 0 0 100 0 0 1 21 0 29 0 719536876 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4279494 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26694/tid=26725] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26725/stat : 26725 (plingeling) R 26689 26689 26663 0 -1 4202560 353 1237 0 0 100 0 0 1 19 0 29 0 719536876 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4234169 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26694/tid=26726] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26726/stat : 26726 (plingeling) R 26689 26689 26663 0 -1 4202560 308 1237 0 0 100 0 0 1 21 0 29 0 719536876 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26694/tid=26727] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26727/stat : 26727 (plingeling) R 26689 26689 26663 0 -1 4202560 431 1237 0 0 100 0 0 1 19 0 29 0 719536876 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26694/tid=26728] ppid=26689 vsize=590996 CPUtime=1.01 cores=4-31
/proc/26694/task/26728/stat : 26728 (plingeling) R 26689 26689 26663 0 -1 4202560 309 1237 0 0 100 0 0 1 23 0 29 0 719536876 605179904 12347 268435456000 4194304 4356188 140733629586288 18446744073709551615 4281557 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 34.46
Current children cumulated vsize (KiB) 2736328
[startup+3.1022 s]
/proc/loadavg: 29.75 31.54 31.89 33/447 26728
/proc/meminfo: memFree=255376344/264257624 swapFree=67111528/67111528
[pid=26689] ppid=26687 vsize=18324 CPUtime=0 cores=0-31
/proc/26689/stat : 26689 (ppfolio) S 26687 26689 26663 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 719536826 18763776 385 268435456000 4194304 4287625 140735387381696 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 16 0 0 0
/proc/26689/statm: 4581 385 337 23 0 91 0
[pid=26690] ppid=26689 vsize=1644828 CPUtime=3.05 cores=0
/proc/26690/stat : 26690 (cryptominisat) R 26689 26689 26663 0 -1 4202496 3170 0 0 0 305 0 0 0 25 0 1 0 719536830 1684303872 1488 268435456000 4194304 4587354 140734443992384 18446744073709551615 4236870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26690/statm: 411207 1488 333 96 0 407769 0
[pid=26691] ppid=26689 vsize=17436 CPUtime=3.05 cores=1
/proc/26691/stat : 26691 (clasp) R 26689 26689 26663 0 -1 4202496 1911 0 0 0 305 0 0 0 25 0 1 0 719536830 17854464 1692 268435456000 4194304 4785740 140736128548448 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26691/statm: 4359 1692 338 145 0 1404 0
[pid=26692] ppid=26689 vsize=456752 CPUtime=3.05 cores=2
/proc/26692/stat : 26692 (TNM) R 26689 26689 26663 0 -1 4202496 772 0 0 0 305 0 0 0 25 0 1 0 719536830 467714048 670 268435456000 134512640 134534564 4292058368 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26692/statm: 114188 670 95 6 0 112853 0
[pid=26693] ppid=26689 vsize=15404 CPUtime=3.06 cores=3
/proc/26693/stat : 26693 (march_hi) R 26689 26689 26663 0 -1 4202496 3681 0 0 0 305 1 0 0 25 0 1 0 719536830 15773696 1430 268435456000 4194304 4331988 140735687140976 18446744073709551615 4228459 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26693/statm: 3851 1430 172 34 0 2293 0
[pid=26694] ppid=26689 vsize=627900 CPUtime=73.41 cores=4-31
/proc/26694/stat : 26694 (plingeling) S 26689 26689 26663 0 -1 4202496 34289 1237 0 0 7329 11 0 1 19 0 29 0 719536830 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/26694/statm: 156975 24101 159 40 0 155519 0
[pid=26694/tid=26701] ppid=26689 vsize=627900 CPUtime=2.62 cores=4-31
/proc/26694/task/26701/stat : 26701 (plingeling) R 26689 26689 26663 0 -1 4202560 774 1237 0 0 261 0 0 1 23 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26694/tid=26702] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26702/stat : 26702 (plingeling) R 26689 26689 26663 0 -1 4202560 859 1237 0 0 260 0 0 1 23 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4280029 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26694/tid=26703] ppid=26689 vsize=627900 CPUtime=2.62 cores=4-31
/proc/26694/task/26703/stat : 26703 (plingeling) R 26689 26689 26663 0 -1 4202560 613 1237 0 0 261 0 0 1 23 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26694/tid=26704] ppid=26689 vsize=627900 CPUtime=2.62 cores=4-31
/proc/26694/task/26704/stat : 26704 (plingeling) R 26689 26689 26663 0 -1 4202560 712 1237 0 0 261 0 0 1 22 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331170 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26694/tid=26705] ppid=26689 vsize=627900 CPUtime=2.62 cores=4-31
/proc/26694/task/26705/stat : 26705 (plingeling) R 26689 26689 26663 0 -1 4202560 728 1237 0 0 261 0 0 1 23 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26694/tid=26706] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26706/stat : 26706 (plingeling) R 26689 26689 26663 0 -1 4202560 769 1237 0 0 260 0 0 1 22 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331373 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26694/tid=26707] ppid=26689 vsize=627900 CPUtime=2.62 cores=4-31
/proc/26694/task/26707/stat : 26707 (plingeling) R 26689 26689 26663 0 -1 4202560 733 1237 0 0 261 0 0 1 22 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26694/tid=26708] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26708/stat : 26708 (plingeling) R 26689 26689 26663 0 -1 4202560 1266 1237 0 0 259 1 0 1 25 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4281652 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26694/tid=26709] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26709/stat : 26709 (plingeling) R 26689 26689 26663 0 -1 4202560 755 1237 0 0 260 0 0 1 25 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332026 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26694/tid=26710] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26710/stat : 26710 (plingeling) R 26689 26689 26663 0 -1 4202560 678 1237 0 0 260 0 0 1 25 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26694/tid=26711] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26711/stat : 26711 (plingeling) R 26689 26689 26663 0 -1 4202560 909 1237 0 0 260 0 0 1 25 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26694/tid=26712] ppid=26689 vsize=627900 CPUtime=2.62 cores=4-31
/proc/26694/task/26712/stat : 26712 (plingeling) R 26689 26689 26663 0 -1 4202560 774 1237 0 0 261 0 0 1 23 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26694/tid=26713] ppid=26689 vsize=627900 CPUtime=2.62 cores=4-31
/proc/26694/task/26713/stat : 26713 (plingeling) R 26689 26689 26663 0 -1 4202560 464 1237 0 0 261 0 0 1 22 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4279435 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26694/tid=26714] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26714/stat : 26714 (plingeling) R 26689 26689 26663 0 -1 4202560 679 1237 0 0 260 0 0 1 22 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26694/tid=26715] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26715/stat : 26715 (plingeling) R 26689 26689 26663 0 -1 4202560 937 1237 0 0 260 0 0 1 22 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26694/tid=26716] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26716/stat : 26716 (plingeling) R 26689 26689 26663 0 -1 4202560 1276 1237 0 0 260 0 0 1 22 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26694/tid=26717] ppid=26689 vsize=627900 CPUtime=2.61 cores=4-31
/proc/26694/task/26717/stat : 26717 (plingeling) R 26689 26689 26663 0 -1 4202560 857 1237 0 0 260 0 0 1 25 0 29 0 719536875 642969600 24101 268435456000 4194304 4356188 140733629586288 18446744073709551615 4211068 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26694/tid=26718] ppid=26689 vsize=627900 CPUtime=2.6 cores=4-31
################
# More data... #
################
[pid=26692] ppid=26689 vsize=456756 CPUtime=4961.32 cores=2
/proc/26692/stat : 26692 (TNM) R 26689 26689 26663 0 -1 4202496 781 0 0 0 496132 0 0 0 25 0 1 0 719536830 467718144 679 268435456000 134512640 134534564 4292058368 18446744073709551615 134530124 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26692/statm: 114189 679 103 6 0 112854 0
[pid=26693] ppid=26689 vsize=17544 CPUtime=4961.3 cores=3
/proc/26693/stat : 26693 (march_hi) R 26689 26689 26663 0 -1 4202496 4151 0 0 0 496129 1 0 0 25 0 1 0 719536830 17965056 1900 268435456000 4194304 4331988 140735687140976 18446744073709551615 4211945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26693/statm: 4386 1900 172 34 0 2828 0
[pid=26694] ppid=26689 vsize=2087380 CPUtime=138755 cores=4-31
/proc/26694/stat : 26694 (plingeling) S 26689 26689 26663 0 -1 4202496 7082551 1237 0 0 13870596 4927 0 1 19 0 29 0 719536830 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/26694/statm: 521845 390611 159 40 0 520389 0
[pid=26694/tid=26701] ppid=26689 vsize=2087380 CPUtime=4960.54 cores=4-31
/proc/26694/task/26701/stat : 26701 (plingeling) R 26689 26689 26663 0 -1 4202560 267921 1237 0 0 495871 182 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26694/tid=26702] ppid=26689 vsize=2087380 CPUtime=4960.8 cores=4-31
/proc/26694/task/26702/stat : 26702 (plingeling) R 26689 26689 26663 0 -1 4202560 245381 1237 0 0 495917 162 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26694/tid=26703] ppid=26689 vsize=2087380 CPUtime=4957.31 cores=4-31
/proc/26694/task/26703/stat : 26703 (plingeling) R 26689 26689 26663 0 -1 4202560 278927 1237 0 0 495556 174 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26694/tid=26704] ppid=26689 vsize=2087380 CPUtime=4960.83 cores=4-31
/proc/26694/task/26704/stat : 26704 (plingeling) R 26689 26689 26663 0 -1 4202560 292498 1237 0 0 495904 178 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331352 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26694/tid=26705] ppid=26689 vsize=2087380 CPUtime=4960.75 cores=4-31
/proc/26694/task/26705/stat : 26705 (plingeling) R 26689 26689 26663 0 -1 4202560 262466 1237 0 0 495909 165 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26694/tid=26706] ppid=26689 vsize=2087380 CPUtime=4960.84 cores=4-31
/proc/26694/task/26706/stat : 26706 (plingeling) R 26689 26689 26663 0 -1 4202560 252619 1237 0 0 495914 169 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331281 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26694/tid=26707] ppid=26689 vsize=2087380 CPUtime=4960.38 cores=4-31
/proc/26694/task/26707/stat : 26707 (plingeling) R 26689 26689 26663 0 -1 4202560 267751 1237 0 0 495862 175 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4279456 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26694/tid=26708] ppid=26689 vsize=2087380 CPUtime=4958.41 cores=4-31
/proc/26694/task/26708/stat : 26708 (plingeling) R 26689 26689 26663 0 -1 4202560 181310 1237 0 0 495596 244 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26694/tid=26709] ppid=26689 vsize=2087380 CPUtime=4960.1 cores=4-31
/proc/26694/task/26709/stat : 26709 (plingeling) R 26689 26689 26663 0 -1 4202560 256317 1237 0 0 495828 181 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26694/tid=26710] ppid=26689 vsize=2087380 CPUtime=4959.11 cores=4-31
/proc/26694/task/26710/stat : 26710 (plingeling) R 26689 26689 26663 0 -1 4202560 269457 1237 0 0 495755 155 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26694/tid=26711] ppid=26689 vsize=2087380 CPUtime=4960.57 cores=4-31
/proc/26694/task/26711/stat : 26711 (plingeling) R 26689 26689 26663 0 -1 4202560 238137 1237 0 0 495894 162 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26694/tid=26712] ppid=26689 vsize=2087380 CPUtime=4960.5 cores=4-31
/proc/26694/task/26712/stat : 26712 (plingeling) R 26689 26689 26663 0 -1 4202560 276720 1237 0 0 495886 163 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26694/tid=26713] ppid=26689 vsize=2087380 CPUtime=4960.67 cores=4-31
/proc/26694/task/26713/stat : 26713 (plingeling) R 26689 26689 26663 0 -1 4202560 250491 1237 0 0 495882 184 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26694/tid=26714] ppid=26689 vsize=2087380 CPUtime=4960.59 cores=4-31
/proc/26694/task/26714/stat : 26714 (plingeling) R 26689 26689 26663 0 -1 4202560 245874 1237 0 0 495898 160 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26694/tid=26715] ppid=26689 vsize=2087380 CPUtime=4960.48 cores=4-31
/proc/26694/task/26715/stat : 26715 (plingeling) R 26689 26689 26663 0 -1 4202560 255700 1237 0 0 495880 167 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26694/tid=26716] ppid=26689 vsize=2087380 CPUtime=4960.78 cores=4-31
/proc/26694/task/26716/stat : 26716 (plingeling) R 26689 26689 26663 0 -1 4202560 192453 1237 0 0 495878 199 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26694/tid=26717] ppid=26689 vsize=2087380 CPUtime=4960.74 cores=4-31
/proc/26694/task/26717/stat : 26717 (plingeling) R 26689 26689 26663 0 -1 4202560 265635 1237 0 0 495859 214 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26694/tid=26718] ppid=26689 vsize=2087380 CPUtime=4959.29 cores=4-31
/proc/26694/task/26718/stat : 26718 (plingeling) R 26689 26689 26663 0 -1 4202560 254998 1237 0 0 495755 173 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26694/tid=26719] ppid=26689 vsize=2087380 CPUtime=4960.7 cores=4-31
/proc/26694/task/26719/stat : 26719 (plingeling) R 26689 26689 26663 0 -1 4202560 265785 1237 0 0 495874 195 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26694/tid=26720] ppid=26689 vsize=2087380 CPUtime=4899.74 cores=4-31
/proc/26694/task/26720/stat : 26720 (plingeling) R 26689 26689 26663 0 -1 4202560 285385 1237 0 0 489763 210 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26694/tid=26721] ppid=26689 vsize=2087380 CPUtime=4948.7 cores=4-31
/proc/26694/task/26721/stat : 26721 (plingeling) R 26689 26689 26663 0 -1 4202560 245473 1237 0 0 494706 163 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26694/tid=26722] ppid=26689 vsize=2087380 CPUtime=4960.78 cores=4-31
/proc/26694/task/26722/stat : 26722 (plingeling) R 26689 26689 26663 0 -1 4202560 258258 1237 0 0 495905 172 0 1 25 0 29 0 719536875 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26694/tid=26723] ppid=26689 vsize=2087380 CPUtime=4898.35 cores=4-31
/proc/26694/task/26723/stat : 26723 (plingeling) R 26689 26689 26663 0 -1 4202560 240528 1237 0 0 489677 157 0 1 25 0 29 0 719536876 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26694/tid=26724] ppid=26689 vsize=2087380 CPUtime=4960.86 cores=4-31
/proc/26694/task/26724/stat : 26724 (plingeling) R 26689 26689 26663 0 -1 4202560 181758 1237 0 0 495889 196 0 1 25 0 29 0 719536876 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26694/tid=26725] ppid=26689 vsize=2087380 CPUtime=4960.78 cores=4-31
/proc/26694/task/26725/stat : 26725 (plingeling) R 26689 26689 26663 0 -1 4202560 250348 1237 0 0 495909 168 0 1 25 0 29 0 719536876 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26694/tid=26726] ppid=26689 vsize=2087380 CPUtime=4960.72 cores=4-31
/proc/26694/task/26726/stat : 26726 (plingeling) R 26689 26689 26663 0 -1 4202560 266239 1237 0 0 495912 159 0 1 25 0 29 0 719536876 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26694/tid=26727] ppid=26689 vsize=2087380 CPUtime=4960.8 cores=4-31
/proc/26694/task/26727/stat : 26727 (plingeling) R 26689 26689 26663 0 -1 4202560 260089 1237 0 0 495914 165 0 1 25 0 29 0 719536876 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26694/tid=26728] ppid=26689 vsize=2087380 CPUtime=4960.68 cores=4-31
/proc/26694/task/26728/stat : 26728 (plingeling) R 26689 26689 26663 0 -1 4202560 262623 1237 0 0 495948 119 0 1 25 0 29 0 719536876 2137477120 390611 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 158600
Current children cumulated vsize (KiB) 4480512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5006.1 s]
/proc/loadavg: 32.19 32.22 32.15 34/447 26877
/proc/meminfo: memFree=253634292/264257624 swapFree=67111528/67111528
[pid=26689] ppid=26687 vsize=18324 CPUtime=0 cores=0-31
/proc/26689/stat : 26689 (ppfolio) S 26687 26689 26663 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 719536826 18763776 385 268435456000 4194304 4287625 140735387381696 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 16 0 0 0
/proc/26689/statm: 4581 385 337 23 0 91 0
[pid=26690] ppid=26689 vsize=1795380 CPUtime=5005.15 cores=0
/proc/26690/stat : 26690 (cryptominisat) R 26689 26689 26663 0 -1 4202496 549385 0 0 0 500188 327 0 0 25 0 1 0 719536830 1838469120 39941 268435456000 4194304 4587354 140734443992384 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26690/statm: 448845 39941 336 96 0 445407 0
[pid=26691] ppid=26689 vsize=125064 CPUtime=5004.91 cores=1
/proc/26691/stat : 26691 (clasp) R 26689 26689 26663 0 -1 4202496 27826 0 0 0 500478 13 0 0 25 0 1 0 719536830 128065536 27016 268435456000 4194304 4785740 140736128548448 18446744073709551615 4549596 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26691/statm: 31266 27016 339 145 0 28311 0
[pid=26692] ppid=26689 vsize=456756 CPUtime=5005.15 cores=2
/proc/26692/stat : 26692 (TNM) R 26689 26689 26663 0 -1 4202496 781 0 0 0 500515 0 0 0 25 0 1 0 719536830 467718144 679 268435456000 134512640 134534564 4292058368 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26692/statm: 114189 679 103 6 0 112854 0
[pid=26693] ppid=26689 vsize=17544 CPUtime=5005.13 cores=3
/proc/26693/stat : 26693 (march_hi) R 26689 26689 26663 0 -1 4202496 4151 0 0 0 500512 1 0 0 25 0 1 0 719536830 17965056 1900 268435456000 4194304 4331988 140735687140976 18446744073709551615 4237147 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26693/statm: 4386 1900 172 34 0 2828 0
[pid=26694] ppid=26689 vsize=2104916 CPUtime=139981 cores=4-31
/proc/26694/stat : 26694 (plingeling) S 26689 26689 26663 0 -1 4202496 7131991 1237 0 0 13993164 4962 0 1 19 0 29 0 719536830 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/26694/statm: 526229 394995 159 40 0 524773 0
[pid=26694/tid=26701] ppid=26689 vsize=2104916 CPUtime=5004.37 cores=4-31
/proc/26694/task/26701/stat : 26701 (plingeling) R 26689 26689 26663 0 -1 4202560 269713 1237 0 0 500252 184 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26694/tid=26702] ppid=26689 vsize=2104916 CPUtime=5004.64 cores=4-31
/proc/26694/task/26702/stat : 26702 (plingeling) R 26689 26689 26663 0 -1 4202560 252581 1237 0 0 500289 174 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26694/tid=26703] ppid=26689 vsize=2104916 CPUtime=4999.88 cores=4-31
/proc/26694/task/26703/stat : 26703 (plingeling) R 26689 26689 26663 0 -1 4202560 279951 1237 0 0 499813 174 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26694/tid=26704] ppid=26689 vsize=2104916 CPUtime=5004.66 cores=4-31
/proc/26694/task/26704/stat : 26704 (plingeling) R 26689 26689 26663 0 -1 4202560 294546 1237 0 0 500287 178 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26694/tid=26705] ppid=26689 vsize=2104916 CPUtime=5004.58 cores=4-31
/proc/26694/task/26705/stat : 26705 (plingeling) R 26689 26689 26663 0 -1 4202560 264002 1237 0 0 500292 165 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26694/tid=26706] ppid=26689 vsize=2104916 CPUtime=5004.67 cores=4-31
/proc/26694/task/26706/stat : 26706 (plingeling) R 26689 26689 26663 0 -1 4202560 252619 1237 0 0 500297 169 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26694/tid=26707] ppid=26689 vsize=2104916 CPUtime=5004.22 cores=4-31
/proc/26694/task/26707/stat : 26707 (plingeling) R 26689 26689 26663 0 -1 4202560 271079 1237 0 0 500243 178 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332162 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26694/tid=26708] ppid=26689 vsize=2104916 CPUtime=5002.23 cores=4-31
/proc/26694/task/26708/stat : 26708 (plingeling) R 26689 26689 26663 0 -1 4202560 181310 1237 0 0 499977 245 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26694/tid=26709] ppid=26689 vsize=2104916 CPUtime=5003.94 cores=4-31
/proc/26694/task/26709/stat : 26709 (plingeling) R 26689 26689 26663 0 -1 4202560 256317 1237 0 0 500212 181 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26694/tid=26710] ppid=26689 vsize=2104916 CPUtime=5002.93 cores=4-31
/proc/26694/task/26710/stat : 26710 (plingeling) R 26689 26689 26663 0 -1 4202560 269841 1237 0 0 500137 155 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26694/tid=26711] ppid=26689 vsize=2104916 CPUtime=5004.4 cores=4-31
/proc/26694/task/26711/stat : 26711 (plingeling) R 26689 26689 26663 0 -1 4202560 239673 1237 0 0 500277 162 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26694/tid=26712] ppid=26689 vsize=2104916 CPUtime=5004.33 cores=4-31
/proc/26694/task/26712/stat : 26712 (plingeling) R 26689 26689 26663 0 -1 4202560 278256 1237 0 0 500269 163 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26694/tid=26713] ppid=26689 vsize=2104916 CPUtime=5004.5 cores=4-31
/proc/26694/task/26713/stat : 26713 (plingeling) R 26689 26689 26663 0 -1 4202560 251515 1237 0 0 500264 185 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26694/tid=26714] ppid=26689 vsize=2104916 CPUtime=5004.43 cores=4-31
/proc/26694/task/26714/stat : 26714 (plingeling) R 26689 26689 26663 0 -1 4202560 246386 1237 0 0 500281 161 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26694/tid=26715] ppid=26689 vsize=2104916 CPUtime=5004.31 cores=4-31
/proc/26694/task/26715/stat : 26715 (plingeling) R 26689 26689 26663 0 -1 4202560 256468 1237 0 0 500263 167 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26694/tid=26716] ppid=26689 vsize=2104916 CPUtime=5004.61 cores=4-31
/proc/26694/task/26716/stat : 26716 (plingeling) R 26689 26689 26663 0 -1 4202560 193477 1237 0 0 500261 199 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26694/tid=26717] ppid=26689 vsize=2104916 CPUtime=5004.57 cores=4-31
/proc/26694/task/26717/stat : 26717 (plingeling) R 26689 26689 26663 0 -1 4202560 265635 1237 0 0 500242 214 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331188 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26694/tid=26718] ppid=26689 vsize=2104916 CPUtime=5003.12 cores=4-31
/proc/26694/task/26718/stat : 26718 (plingeling) R 26689 26689 26663 0 -1 4202560 257046 1237 0 0 500138 173 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26694/tid=26719] ppid=26689 vsize=2104916 CPUtime=5004.52 cores=4-31
/proc/26694/task/26719/stat : 26719 (plingeling) R 26689 26689 26663 0 -1 4202560 267577 1237 0 0 500256 195 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26694/tid=26720] ppid=26689 vsize=2104916 CPUtime=4943.57 cores=4-31
/proc/26694/task/26720/stat : 26720 (plingeling) R 26689 26689 26663 0 -1 4202560 286985 1237 0 0 494146 210 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26694/tid=26721] ppid=26689 vsize=2104916 CPUtime=4992.53 cores=4-31
/proc/26694/task/26721/stat : 26721 (plingeling) R 26689 26689 26663 0 -1 4202560 247009 1237 0 0 499089 163 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26694/tid=26722] ppid=26689 vsize=2104916 CPUtime=5004.61 cores=4-31
/proc/26694/task/26722/stat : 26722 (plingeling) R 26689 26689 26663 0 -1 4202560 263698 1237 0 0 500286 174 0 1 25 0 29 0 719536875 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26694/tid=26723] ppid=26689 vsize=2104916 CPUtime=4942.19 cores=4-31
/proc/26694/task/26723/stat : 26723 (plingeling) R 26689 26689 26663 0 -1 4202560 242832 1237 0 0 494059 159 0 1 25 0 29 0 719536876 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26694/tid=26724] ppid=26689 vsize=2104916 CPUtime=5004.69 cores=4-31
/proc/26694/task/26724/stat : 26724 (plingeling) R 26689 26689 26663 0 -1 4202560 183294 1237 0 0 500271 197 0 1 25 0 29 0 719536876 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26694/tid=26725] ppid=26689 vsize=2104916 CPUtime=5004.61 cores=4-31
/proc/26694/task/26725/stat : 26725 (plingeling) R 26689 26689 26663 0 -1 4202560 252140 1237 0 0 500289 171 0 1 25 0 29 0 719536876 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26694/tid=26726] ppid=26689 vsize=2104916 CPUtime=5004.56 cores=4-31
/proc/26694/task/26726/stat : 26726 (plingeling) R 26689 26689 26663 0 -1 4202560 267263 1237 0 0 500295 160 0 1 25 0 29 0 719536876 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26694/tid=26727] ppid=26689 vsize=2104916 CPUtime=5004.63 cores=4-31
/proc/26694/task/26727/stat : 26727 (plingeling) R 26689 26689 26663 0 -1 4202560 260729 1237 0 0 500297 165 0 1 25 0 29 0 719536876 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26694/tid=26728] ppid=26689 vsize=2104916 CPUtime=5004.52 cores=4-31
/proc/26694/task/26728/stat : 26728 (plingeling) R 26689 26689 26663 0 -1 4202560 268639 1237 0 0 500328 123 0 1 25 0 29 0 719536876 2155433984 394995 268435456000 4194304 4356188 140733629586288 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 4517984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26689 and gives
# childrusage.ru_utime.tv_sec=15015
# childrusage.ru_utime.tv_usec=77361
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=178972
# CPU time returned by wait4() is 15015.3
# while last known CPU time is 160002
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5006.16
CPU time (s): 160002
CPU user time (s): 159949
CPU system time (s): 53.04
CPU usage (%): 3196.1
Max. virtual memory (cumulated for all children) (KiB): 9532356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15015.1
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33287
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= 633
involuntary context switches= 27188
runsolver used 26.627 second user time and 114.894 second system time
The end
Begin job on node200 at 2011-05-22 18:08:24
IDJOB=3347641
IDBENCH=84237
IDSOLVER=1808
FILE ID=node200/3347641-1306080504
RUNJOBID= node200-1306080504-26677
PBS_JOBID= 13387816
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347641-1306080504/watcher-3347641-1306080504 -o /tmp/evaluation-result-3347641-1306080504/solver-3347641-1306080504 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347641-1306080504.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=1676741359
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: 255488300 kB
Buffers: 455428 kB
Cached: 7909248 kB
SwapCached: 0 kB
Active: 7461880 kB
Inactive: 971812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255488300 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10160 kB
Writeback: 0 kB
AnonPages: 71072 kB
Mapped: 13752 kB
Slab: 252964 kB
PageTables: 4320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190216 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= 62036 MiB
End job on node200 at 2011-05-22 19:31:52