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
4384.30/137.92 s UNSATISFIABLE
4384.30/137.93 solver [5] plingeling 276-6264d55-100731 answered
4384.30/137.93 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-3347701-1306144795/watcher-3347701-1306144795 -o /tmp/evaluation-result-3347701-1306144795/solver-3347701-1306144795 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347701-1306144795.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: 24.16 30.15 31.43 1/413 853
/proc/meminfo: memFree=255306720/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 21 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 2826088480828 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
[startup+0.120986 s]
/proc/loadavg: 24.16 30.15 31.43 1/413 853
/proc/meminfo: memFree=255306720/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 21 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.20103 s]
/proc/loadavg: 24.16 30.15 31.43 1/413 853
/proc/meminfo: memFree=255306720/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 21 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300995 s]
/proc/loadavg: 24.16 30.15 31.43 1/413 853
/proc/meminfo: memFree=255306720/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 19 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701005 s]
/proc/loadavg: 24.16 30.15 31.43 1/413 853
/proc/meminfo: memFree=255306720/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 19 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50197 s]
/proc/loadavg: 24.16 30.15 31.43 22/447 892
/proc/meminfo: memFree=255231312/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 16 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
[pid=854] ppid=853 vsize=30936 CPUtime=1.48 cores=0
/proc/854/stat : 854 (cryptominisat) R 853 853 726 0 -1 4202496 2805 0 0 0 148 0 0 0 20 0 1 0 725965888 31678464 2234 268435456000 4194304 4587354 140735807076992 18446744073709551615 4238568 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/854/statm: 7734 2234 330 96 0 4296 0
[pid=855] ppid=853 vsize=18944 CPUtime=1.48 cores=1
/proc/855/stat : 855 (clasp) R 853 853 726 0 -1 4202496 2428 0 0 0 148 0 0 0 20 0 1 0 725965888 19398656 2065 268435456000 4194304 4785740 140736336006592 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/855/statm: 4736 2065 339 145 0 1781 0
[pid=856] ppid=853 vsize=457416 CPUtime=1.48 cores=2
/proc/856/stat : 856 (TNM) R 853 853 726 0 -1 4202496 1123 0 0 0 148 0 0 0 20 0 1 0 725965888 468393984 1020 268435456000 134512640 134534564 4291913152 18446744073709551615 134525970 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/856/statm: 114354 1020 95 6 0 113019 0
[pid=857] ppid=853 vsize=24564 CPUtime=1.48 cores=3
/proc/857/stat : 857 (march_hi) R 853 853 726 0 -1 4202496 7683 0 0 0 146 2 0 0 20 0 1 0 725965888 25153536 2642 268435456000 4194304 4331988 140734835327808 18446744073709551615 4226184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/857/statm: 6141 2642 174 34 0 4583 0
[pid=858] ppid=853 vsize=577332 CPUtime=19.98 cores=4-31
/proc/858/stat : 858 (plingeling) S 853 853 726 0 -1 4202496 24943 1240 0 0 1965 32 0 1 18 0 29 0 725965888 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/858/statm: 144333 22319 139 40 0 142877 0
[pid=858/tid=865] ppid=853 vsize=577332 CPUtime=0.71 cores=4-31
/proc/858/task/865/stat : 865 (plingeling) R 853 853 726 0 -1 4202560 507 1240 0 0 70 0 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238242 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=858/tid=866] ppid=853 vsize=577332 CPUtime=0.69 cores=4-31
/proc/858/task/866/stat : 866 (plingeling) R 853 853 726 0 -1 4202560 489 1240 0 0 67 1 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237616 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=858/tid=867] ppid=853 vsize=577332 CPUtime=0.7 cores=4-31
/proc/858/task/867/stat : 867 (plingeling) R 853 853 726 0 -1 4202560 490 1240 0 0 68 1 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=858/tid=868] ppid=853 vsize=577332 CPUtime=0.66 cores=4-31
/proc/858/task/868/stat : 868 (plingeling) R 853 853 726 0 -1 4202560 496 1240 0 0 64 1 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237352 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=858/tid=869] ppid=853 vsize=577332 CPUtime=0.69 cores=4-31
/proc/858/task/869/stat : 869 (plingeling) R 853 853 726 0 -1 4202560 491 1240 0 0 68 0 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=858/tid=870] ppid=853 vsize=577332 CPUtime=0.69 cores=4-31
/proc/858/task/870/stat : 870 (plingeling) R 853 853 726 0 -1 4202560 487 1240 0 0 67 1 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4239181 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=858/tid=871] ppid=853 vsize=577332 CPUtime=0.71 cores=4-31
/proc/858/task/871/stat : 871 (plingeling) R 853 853 726 0 -1 4202560 394 1240 0 0 70 0 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237364 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=858/tid=872] ppid=853 vsize=577332 CPUtime=0.69 cores=4-31
/proc/858/task/872/stat : 872 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 67 1 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=858/tid=873] ppid=853 vsize=577332 CPUtime=0.68 cores=4-31
/proc/858/task/873/stat : 873 (plingeling) R 853 853 726 0 -1 4202560 511 1240 0 0 66 1 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238246 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=858/tid=874] ppid=853 vsize=577332 CPUtime=0.68 cores=4-31
/proc/858/task/874/stat : 874 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 67 0 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=858/tid=875] ppid=853 vsize=577332 CPUtime=0.65 cores=4-31
/proc/858/task/875/stat : 875 (plingeling) R 853 853 726 0 -1 4202560 487 1240 0 0 63 1 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238461 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=858/tid=876] ppid=853 vsize=577332 CPUtime=0.65 cores=4-31
/proc/858/task/876/stat : 876 (plingeling) R 853 853 726 0 -1 4202560 508 1240 0 0 64 0 0 1 21 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4210615 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=858/tid=877] ppid=853 vsize=577332 CPUtime=0.71 cores=4-31
/proc/858/task/877/stat : 877 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 69 1 0 1 18 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237457 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=858/tid=878] ppid=853 vsize=577332 CPUtime=0.69 cores=4-31
/proc/858/task/878/stat : 878 (plingeling) R 853 853 726 0 -1 4202560 493 1240 0 0 68 0 0 1 21 0 29 0 725965962 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238274 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=858/tid=879] ppid=853 vsize=577332 CPUtime=0.67 cores=4-31
/proc/858/task/879/stat : 879 (plingeling) R 853 853 726 0 -1 4202560 504 1240 0 0 65 1 0 1 21 0 29 0 725965963 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237246 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=858/tid=880] ppid=853 vsize=577332 CPUtime=0.66 cores=4-31
/proc/858/task/880/stat : 880 (plingeling) R 853 853 726 0 -1 4202560 502 1240 0 0 65 0 0 1 21 0 29 0 725965964 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=858/tid=881] ppid=853 vsize=577332 CPUtime=0.71 cores=4-31
/proc/858/task/881/stat : 881 (plingeling) R 853 853 726 0 -1 4202560 617 1240 0 0 70 0 0 1 18 0 29 0 725965964 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=858/tid=882] ppid=853 vsize=577332 CPUtime=0.69 cores=4-31
/proc/858/task/882/stat : 882 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 67 1 0 1 20 0 29 0 725965964 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238246 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=858/tid=883] ppid=853 vsize=577332 CPUtime=0.67 cores=4-31
/proc/858/task/883/stat : 883 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 65 1 0 1 18 0 29 0 725965964 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237394 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=858/tid=884] ppid=853 vsize=577332 CPUtime=0.67 cores=4-31
/proc/858/task/884/stat : 884 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 65 1 0 1 20 0 29 0 725965965 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237364 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=858/tid=885] ppid=853 vsize=577332 CPUtime=0.7 cores=4-31
/proc/858/task/885/stat : 885 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 69 0 0 1 20 0 29 0 725965965 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=858/tid=886] ppid=853 vsize=577332 CPUtime=0.66 cores=4-31
/proc/858/task/886/stat : 886 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 65 0 0 1 20 0 29 0 725965965 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238402 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=858/tid=887] ppid=853 vsize=577332 CPUtime=0.69 cores=4-31
/proc/858/task/887/stat : 887 (plingeling) R 853 853 726 0 -1 4202560 487 1240 0 0 68 0 0 1 20 0 29 0 725965965 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=858/tid=888] ppid=853 vsize=577332 CPUtime=0.69 cores=4-31
/proc/858/task/888/stat : 888 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 68 0 0 1 18 0 29 0 725965965 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238240 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=858/tid=889] ppid=853 vsize=577332 CPUtime=0.71 cores=4-31
/proc/858/task/889/stat : 889 (plingeling) R 853 853 726 0 -1 4202560 401 1240 0 0 70 0 0 1 21 0 29 0 725965965 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=858/tid=890] ppid=853 vsize=577332 CPUtime=0.7 cores=4-31
/proc/858/task/890/stat : 890 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 69 0 0 1 21 0 29 0 725965966 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237239 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=858/tid=891] ppid=853 vsize=577332 CPUtime=0.7 cores=4-31
/proc/858/task/891/stat : 891 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 69 0 0 1 21 0 29 0 725965966 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238461 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=858/tid=892] ppid=853 vsize=577332 CPUtime=0.68 cores=4-31
/proc/858/task/892/stat : 892 (plingeling) R 853 853 726 0 -1 4202560 495 1240 0 0 66 1 0 1 18 0 29 0 725965966 591187968 22319 268435456000 4194304 4356188 140735170422208 18446744073709551615 4237217 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 25.9
Current children cumulated vsize (KiB) 1127516
[startup+3.10202 s]
/proc/loadavg: 24.16 30.15 31.43 33/447 892
/proc/meminfo: memFree=255173652/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
[pid=854] ppid=853 vsize=31960 CPUtime=3.09 cores=0
/proc/854/stat : 854 (cryptominisat) R 853 853 726 0 -1 4202496 3552 0 0 0 308 1 0 0 25 0 1 0 725965888 32727040 2266 268435456000 4194304 4587354 140735807076992 18446744073709551615 4237649 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/854/statm: 7990 2266 330 96 0 4552 0
[pid=855] ppid=853 vsize=20264 CPUtime=3.08 cores=1
/proc/855/stat : 855 (clasp) R 853 853 726 0 -1 4202496 2769 0 0 0 308 0 0 0 25 0 1 0 725965888 20750336 2406 268435456000 4194304 4785740 140736336006592 18446744073709551615 4278587 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/855/statm: 5066 2406 339 145 0 2111 0
[pid=856] ppid=853 vsize=457416 CPUtime=3.08 cores=2
/proc/856/stat : 856 (TNM) R 853 853 726 0 -1 4202496 1123 0 0 0 308 0 0 0 25 0 1 0 725965888 468393984 1020 268435456000 134512640 134534564 4291913152 18446744073709551615 134530002 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/856/statm: 114354 1020 95 6 0 113019 0
[pid=857] ppid=853 vsize=25324 CPUtime=3.08 cores=3
/proc/857/stat : 857 (march_hi) R 853 853 726 0 -1 4202496 7822 0 0 0 306 2 0 0 25 0 1 0 725965888 25931776 2781 268435456000 4194304 4331988 140734835327808 18446744073709551615 4237171 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/857/statm: 6331 2781 174 34 0 4773 0
[pid=858] ppid=853 vsize=655908 CPUtime=64.6 cores=4-31
/proc/858/stat : 858 (plingeling) S 853 853 726 0 -1 4202496 41502 1240 0 0 6420 39 0 1 18 0 29 0 725965888 671649792 27992 268435456000 4194304 4356188 140735170422208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/858/statm: 163977 28001 159 40 0 162521 0
[pid=858/tid=865] ppid=853 vsize=655908 CPUtime=2.31 cores=4-31
/proc/858/task/865/stat : 865 (plingeling) R 853 853 726 0 -1 4202560 1180 1240 0 0 229 1 0 1 21 0 29 0 725965962 671649792 28005 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=858/tid=866] ppid=853 vsize=655908 CPUtime=2.29 cores=4-31
/proc/858/task/866/stat : 866 (plingeling) R 853 853 726 0 -1 4202560 748 1240 0 0 227 1 0 1 20 0 29 0 725965962 671649792 28011 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=858/tid=867] ppid=853 vsize=655908 CPUtime=2.3 cores=4-31
/proc/858/task/867/stat : 867 (plingeling) R 853 853 726 0 -1 4202560 1493 1240 0 0 228 1 0 1 21 0 29 0 725965962 671649792 28026 268435456000 4194304 4356188 140735170422208 18446744073709551615 4211068 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=858/tid=868] ppid=853 vsize=655908 CPUtime=2.26 cores=4-31
/proc/858/task/868/stat : 868 (plingeling) R 853 853 726 0 -1 4202560 856 1240 0 0 224 1 0 1 21 0 29 0 725965962 671649792 28038 268435456000 4194304 4356188 140735170422208 18446744073709551615 4210812 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=858/tid=869] ppid=853 vsize=655908 CPUtime=2.28 cores=4-31
/proc/858/task/869/stat : 869 (plingeling) R 853 853 726 0 -1 4202560 1337 1240 0 0 227 0 0 1 19 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=858/tid=870] ppid=853 vsize=655908 CPUtime=2.28 cores=4-31
/proc/858/task/870/stat : 870 (plingeling) R 853 853 726 0 -1 4202560 1090 1240 0 0 226 1 0 1 20 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=858/tid=871] ppid=853 vsize=655908 CPUtime=2.3 cores=4-31
/proc/858/task/871/stat : 871 (plingeling) R 853 853 726 0 -1 4202560 1107 1240 0 0 228 1 0 1 19 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=858/tid=872] ppid=853 vsize=655908 CPUtime=2.28 cores=4-31
/proc/858/task/872/stat : 872 (plingeling) R 853 853 726 0 -1 4202560 1285 1240 0 0 226 1 0 1 19 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4273746 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=858/tid=873] ppid=853 vsize=655908 CPUtime=2.28 cores=4-31
/proc/858/task/873/stat : 873 (plingeling) R 853 853 726 0 -1 4202560 950 1240 0 0 226 1 0 1 19 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=858/tid=874] ppid=853 vsize=655908 CPUtime=2.28 cores=4-31
/proc/858/task/874/stat : 874 (plingeling) R 853 853 726 0 -1 4202560 1145 1240 0 0 226 1 0 1 19 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=858/tid=875] ppid=853 vsize=655908 CPUtime=2.25 cores=4-31
/proc/858/task/875/stat : 875 (plingeling) R 853 853 726 0 -1 4202560 963 1240 0 0 223 1 0 1 21 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=858/tid=876] ppid=853 vsize=655908 CPUtime=2.21 cores=4-31
/proc/858/task/876/stat : 876 (plingeling) R 853 853 726 0 -1 4202560 540 1240 0 0 220 0 0 1 25 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4236841 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=858/tid=877] ppid=853 vsize=655908 CPUtime=2.29 cores=4-31
/proc/858/task/877/stat : 877 (plingeling) R 853 853 726 0 -1 4202560 1557 1240 0 0 227 1 0 1 20 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4284134 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=858/tid=878] ppid=853 vsize=655908 CPUtime=2.29 cores=4-31
/proc/858/task/878/stat : 878 (plingeling) R 853 853 726 0 -1 4202560 1369 1240 0 0 227 1 0 1 19 0 29 0 725965962 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=858/tid=879] ppid=853 vsize=655908 CPUtime=2.27 cores=4-31
/proc/858/task/879/stat : 879 (plingeling) R 853 853 726 0 -1 4202560 890 1240 0 0 225 1 0 1 25 0 29 0 725965963 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330849 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=858/tid=880] ppid=853 vsize=655908 CPUtime=2.26 cores=4-31
/proc/858/task/880/stat : 880 (plingeling) R 853 853 726 0 -1 4202560 1264 1240 0 0 225 0 0 1 25 0 29 0 725965964 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=858/tid=881] ppid=853 vsize=655908 CPUtime=2.3 cores=4-31
/proc/858/task/881/stat : 881 (plingeling) R 853 853 726 0 -1 4202560 1282 1240 0 0 229 0 0 1 19 0 29 0 725965964 671649792 28043 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330796 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=858/tid=882] ppid=853 vsize=655908 CPUtime=2.28 cores=4-31
################
# More data... #
################
/proc/856/stat : 856 (TNM) R 853 853 726 0 -1 4202496 1123 0 0 0 13757 0 0 0 25 0 1 0 725965888 468393984 1020 268435456000 134512640 134534564 4291913152 18446744073709551615 134530476 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/856/statm: 114354 1020 95 6 0 113019 0
[pid=857] ppid=853 vsize=41604 CPUtime=137.58 cores=3
/proc/857/stat : 857 (march_hi) R 853 853 726 0 -1 4202496 11809 0 0 0 13752 6 0 0 25 0 1 0 725965888 42602496 6765 268435456000 4194304 4331988 140734835327808 18446744073709551615 4226263 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/857/statm: 10401 6765 174 34 0 8843 0
[pid=858] ppid=853 vsize=1000752 CPUtime=3826.5 cores=4-31
/proc/858/stat : 858 (plingeling) S 853 853 726 0 -1 4202496 179958 1240 0 0 382507 142 0 1 18 0 29 0 725965888 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/858/statm: 250188 112559 159 40 0 248732 0
[pid=858/tid=865] ppid=853 vsize=1000752 CPUtime=136.8 cores=4-31
/proc/858/task/865/stat : 865 (plingeling) R 853 853 726 0 -1 4202560 5244 1240 0 0 13678 1 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331222 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=858/tid=866] ppid=853 vsize=1000752 CPUtime=136.78 cores=4-31
/proc/858/task/866/stat : 866 (plingeling) R 853 853 726 0 -1 4202560 6541 1240 0 0 13673 4 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=858/tid=867] ppid=853 vsize=1000752 CPUtime=136.78 cores=4-31
/proc/858/task/867/stat : 867 (plingeling) R 853 853 726 0 -1 4202560 6293 1240 0 0 13674 3 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=858/tid=868] ppid=853 vsize=1000752 CPUtime=136.76 cores=4-31
/proc/858/task/868/stat : 868 (plingeling) R 853 853 726 0 -1 4202560 4503 1240 0 0 13669 6 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=858/tid=869] ppid=853 vsize=1000752 CPUtime=136.78 cores=4-31
/proc/858/task/869/stat : 869 (plingeling) R 853 853 726 0 -1 4202560 5561 1240 0 0 13673 4 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=858/tid=870] ppid=853 vsize=1000752 CPUtime=136.78 cores=4-31
/proc/858/task/870/stat : 870 (plingeling) R 853 853 726 0 -1 4202560 5378 1240 0 0 13669 8 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=858/tid=871] ppid=853 vsize=1000752 CPUtime=136.8 cores=4-31
/proc/858/task/871/stat : 871 (plingeling) R 853 853 726 0 -1 4202560 5524 1240 0 0 13673 6 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=858/tid=872] ppid=853 vsize=1000752 CPUtime=136.72 cores=4-31
/proc/858/task/872/stat : 872 (plingeling) R 853 853 726 0 -1 4202560 12933 1240 0 0 13664 7 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=858/tid=873] ppid=853 vsize=1000752 CPUtime=136.77 cores=4-31
/proc/858/task/873/stat : 873 (plingeling) R 853 853 726 0 -1 4202560 5718 1240 0 0 13672 4 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=858/tid=874] ppid=853 vsize=1000752 CPUtime=136.77 cores=4-31
/proc/858/task/874/stat : 874 (plingeling) R 853 853 726 0 -1 4202560 5241 1240 0 0 13673 3 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=858/tid=875] ppid=853 vsize=1000752 CPUtime=136.74 cores=4-31
/proc/858/task/875/stat : 875 (plingeling) R 853 853 726 0 -1 4202560 3779 1240 0 0 13671 2 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=858/tid=876] ppid=853 vsize=1000752 CPUtime=132.89 cores=4-31
/proc/858/task/876/stat : 876 (plingeling) R 853 853 726 0 -1 4202560 1883 1240 0 0 13286 2 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=858/tid=877] ppid=853 vsize=1000752 CPUtime=136.79 cores=4-31
/proc/858/task/877/stat : 877 (plingeling) R 853 853 726 0 -1 4202560 6357 1240 0 0 13673 5 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4250782 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=858/tid=878] ppid=853 vsize=1000752 CPUtime=136.79 cores=4-31
/proc/858/task/878/stat : 878 (plingeling) R 853 853 726 0 -1 4202560 6393 1240 0 0 13673 5 0 1 25 0 29 0 725965962 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4258719 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=858/tid=879] ppid=853 vsize=1000752 CPUtime=136.76 cores=4-31
/proc/858/task/879/stat : 879 (plingeling) R 853 853 726 0 -1 4202560 6458 1240 0 0 13667 8 0 1 25 0 29 0 725965963 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=858/tid=880] ppid=853 vsize=1000752 CPUtime=136.76 cores=4-31
/proc/858/task/880/stat : 880 (plingeling) R 853 853 726 0 -1 4202560 11696 1240 0 0 13671 4 0 1 25 0 29 0 725965964 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=858/tid=881] ppid=853 vsize=1000752 CPUtime=136.78 cores=4-31
/proc/858/task/881/stat : 881 (plingeling) R 853 853 726 0 -1 4202560 6722 1240 0 0 13673 4 0 1 25 0 29 0 725965964 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=858/tid=882] ppid=853 vsize=1000752 CPUtime=136.73 cores=4-31
/proc/858/task/882/stat : 882 (plingeling) R 853 853 726 0 -1 4202560 5639 1240 0 0 13667 5 0 1 25 0 29 0 725965964 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4210776 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=858/tid=883] ppid=853 vsize=1000752 CPUtime=136.77 cores=4-31
/proc/858/task/883/stat : 883 (plingeling) R 853 853 726 0 -1 4202560 5564 1240 0 0 13671 5 0 1 25 0 29 0 725965964 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4273724 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=858/tid=884] ppid=853 vsize=1000752 CPUtime=136.77 cores=4-31
/proc/858/task/884/stat : 884 (plingeling) R 853 853 726 0 -1 4202560 3973 1240 0 0 13671 5 0 1 25 0 29 0 725965965 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=858/tid=885] ppid=853 vsize=1000752 CPUtime=136.79 cores=4-31
/proc/858/task/885/stat : 885 (plingeling) R 853 853 726 0 -1 4202560 7441 1240 0 0 13673 5 0 1 25 0 29 0 725965965 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=858/tid=886] ppid=853 vsize=1000752 CPUtime=136.76 cores=4-31
/proc/858/task/886/stat : 886 (plingeling) R 853 853 726 0 -1 4202560 6215 1240 0 0 13670 5 0 1 25 0 29 0 725965965 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330780 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=858/tid=887] ppid=853 vsize=1000752 CPUtime=136.79 cores=4-31
/proc/858/task/887/stat : 887 (plingeling) R 853 853 726 0 -1 4202560 4030 1240 0 0 13675 3 0 1 25 0 29 0 725965965 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=858/tid=888] ppid=853 vsize=1000752 CPUtime=136.77 cores=4-31
/proc/858/task/888/stat : 888 (plingeling) R 853 853 726 0 -1 4202560 10186 1240 0 0 13669 7 0 1 25 0 29 0 725965965 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=858/tid=889] ppid=853 vsize=1000752 CPUtime=136.8 cores=4-31
/proc/858/task/889/stat : 889 (plingeling) R 853 853 726 0 -1 4202560 3567 1240 0 0 13677 2 0 1 25 0 29 0 725965965 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=858/tid=890] ppid=853 vsize=1000752 CPUtime=136.79 cores=4-31
/proc/858/task/890/stat : 890 (plingeling) R 853 853 726 0 -1 4202560 5872 1240 0 0 13675 3 0 1 25 0 29 0 725965966 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=858/tid=891] ppid=853 vsize=1000752 CPUtime=136.78 cores=4-31
/proc/858/task/891/stat : 891 (plingeling) R 853 853 726 0 -1 4202560 5991 1240 0 0 13676 1 0 1 25 0 29 0 725965966 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=858/tid=892] ppid=853 vsize=1000752 CPUtime=136.77 cores=4-31
/proc/858/task/892/stat : 892 (plingeling) R 853 853 726 0 -1 4202560 4117 1240 0 0 13671 5 0 1 25 0 29 0 725965966 1024770048 112559 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238420 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 4376.77
Current children cumulated vsize (KiB) 2220912
[startup+137.802 s]
/proc/loadavg: 31.27 30.86 31.52 33/447 905
/proc/meminfo: memFree=254767652/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
[pid=854] ppid=853 vsize=652168 CPUtime=137.73 cores=0
/proc/854/stat : 854 (cryptominisat) R 853 853 726 0 -1 4202496 29913 0 0 0 13762 11 0 0 25 0 1 0 725965888 667820032 8988 268435456000 4194304 4587354 140735807076992 18446744073709551615 4238268 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/854/statm: 163042 8988 336 96 0 159604 0
[pid=855] ppid=853 vsize=50648 CPUtime=137.75 cores=1
/proc/855/stat : 855 (clasp) R 853 853 726 0 -1 4202496 10349 0 0 0 13772 3 0 0 25 0 1 0 725965888 51863552 9986 268435456000 4194304 4785740 140736336006592 18446744073709551615 4552618 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/855/statm: 12662 9986 339 145 0 9707 0
[pid=856] ppid=853 vsize=457416 CPUtime=137.75 cores=2
/proc/856/stat : 856 (TNM) R 853 853 726 0 -1 4202496 1123 0 0 0 13775 0 0 0 25 0 1 0 725965888 468393984 1020 268435456000 134512640 134534564 4291913152 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/856/statm: 114354 1020 95 6 0 113019 0
[pid=857] ppid=853 vsize=41604 CPUtime=137.76 cores=3
/proc/857/stat : 857 (march_hi) R 853 853 726 0 -1 4202496 11811 0 0 0 13770 6 0 0 25 0 1 0 725965888 42602496 6767 268435456000 4194304 4331988 140734835327808 18446744073709551615 4265706 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/857/statm: 10401 6767 174 34 0 8843 0
[pid=858] ppid=853 vsize=996656 CPUtime=3831.54 cores=4-31
/proc/858/stat : 858 (plingeling) S 853 853 726 0 -1 4202496 179958 1240 0 0 383011 142 0 1 18 0 29 0 725965888 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/858/statm: 249164 111535 159 40 0 247708 0
[pid=858/tid=865] ppid=853 vsize=996656 CPUtime=136.98 cores=4-31
/proc/858/task/865/stat : 865 (plingeling) R 853 853 726 0 -1 4202560 5244 1240 0 0 13696 1 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238731 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=858/tid=866] ppid=853 vsize=996656 CPUtime=136.96 cores=4-31
/proc/858/task/866/stat : 866 (plingeling) R 853 853 726 0 -1 4202560 6541 1240 0 0 13691 4 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=858/tid=867] ppid=853 vsize=996656 CPUtime=136.96 cores=4-31
/proc/858/task/867/stat : 867 (plingeling) R 853 853 726 0 -1 4202560 6293 1240 0 0 13692 3 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=858/tid=868] ppid=853 vsize=996656 CPUtime=136.94 cores=4-31
/proc/858/task/868/stat : 868 (plingeling) R 853 853 726 0 -1 4202560 4503 1240 0 0 13687 6 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4244269 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=858/tid=869] ppid=853 vsize=996656 CPUtime=136.96 cores=4-31
/proc/858/task/869/stat : 869 (plingeling) R 853 853 726 0 -1 4202560 5561 1240 0 0 13691 4 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4238870 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=858/tid=870] ppid=853 vsize=996656 CPUtime=136.96 cores=4-31
/proc/858/task/870/stat : 870 (plingeling) R 853 853 726 0 -1 4202560 5378 1240 0 0 13687 8 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330843 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=858/tid=871] ppid=853 vsize=996656 CPUtime=136.98 cores=4-31
/proc/858/task/871/stat : 871 (plingeling) R 853 853 726 0 -1 4202560 5524 1240 0 0 13691 6 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=858/tid=872] ppid=853 vsize=996656 CPUtime=136.9 cores=4-31
/proc/858/task/872/stat : 872 (plingeling) R 853 853 726 0 -1 4202560 12933 1240 0 0 13682 7 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331738 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=858/tid=873] ppid=853 vsize=996656 CPUtime=136.95 cores=4-31
/proc/858/task/873/stat : 873 (plingeling) R 853 853 726 0 -1 4202560 5718 1240 0 0 13690 4 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=858/tid=874] ppid=853 vsize=996656 CPUtime=136.95 cores=4-31
/proc/858/task/874/stat : 874 (plingeling) R 853 853 726 0 -1 4202560 5241 1240 0 0 13691 3 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330896 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=858/tid=875] ppid=853 vsize=996656 CPUtime=136.92 cores=4-31
/proc/858/task/875/stat : 875 (plingeling) R 853 853 726 0 -1 4202560 3779 1240 0 0 13689 2 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=858/tid=876] ppid=853 vsize=996656 CPUtime=133.07 cores=4-31
/proc/858/task/876/stat : 876 (plingeling) R 853 853 726 0 -1 4202560 1883 1240 0 0 13304 2 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=858/tid=877] ppid=853 vsize=996656 CPUtime=136.97 cores=4-31
/proc/858/task/877/stat : 877 (plingeling) R 853 853 726 0 -1 4202560 6357 1240 0 0 13691 5 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=858/tid=878] ppid=853 vsize=996656 CPUtime=136.97 cores=4-31
/proc/858/task/878/stat : 878 (plingeling) R 853 853 726 0 -1 4202560 6393 1240 0 0 13691 5 0 1 25 0 29 0 725965962 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=858/tid=879] ppid=853 vsize=996656 CPUtime=136.94 cores=4-31
/proc/858/task/879/stat : 879 (plingeling) R 853 853 726 0 -1 4202560 6458 1240 0 0 13685 8 0 1 25 0 29 0 725965963 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331168 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=858/tid=880] ppid=853 vsize=996656 CPUtime=136.94 cores=4-31
/proc/858/task/880/stat : 880 (plingeling) R 853 853 726 0 -1 4202560 11696 1240 0 0 13689 4 0 1 25 0 29 0 725965964 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=858/tid=881] ppid=853 vsize=996656 CPUtime=136.96 cores=4-31
/proc/858/task/881/stat : 881 (plingeling) R 853 853 726 0 -1 4202560 6722 1240 0 0 13691 4 0 1 25 0 29 0 725965964 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=858/tid=882] ppid=853 vsize=996656 CPUtime=136.91 cores=4-31
/proc/858/task/882/stat : 882 (plingeling) R 853 853 726 0 -1 4202560 5639 1240 0 0 13685 5 0 1 25 0 29 0 725965964 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=858/tid=883] ppid=853 vsize=996656 CPUtime=136.95 cores=4-31
/proc/858/task/883/stat : 883 (plingeling) R 853 853 726 0 -1 4202560 5564 1240 0 0 13689 5 0 1 25 0 29 0 725965964 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4242248 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=858/tid=884] ppid=853 vsize=996656 CPUtime=136.95 cores=4-31
/proc/858/task/884/stat : 884 (plingeling) R 853 853 726 0 -1 4202560 3973 1240 0 0 13689 5 0 1 25 0 29 0 725965965 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=858/tid=885] ppid=853 vsize=996656 CPUtime=136.97 cores=4-31
/proc/858/task/885/stat : 885 (plingeling) R 853 853 726 0 -1 4202560 7441 1240 0 0 13691 5 0 1 25 0 29 0 725965965 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=858/tid=886] ppid=853 vsize=996656 CPUtime=136.94 cores=4-31
/proc/858/task/886/stat : 886 (plingeling) R 853 853 726 0 -1 4202560 6215 1240 0 0 13688 5 0 1 25 0 29 0 725965965 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=858/tid=887] ppid=853 vsize=996656 CPUtime=136.97 cores=4-31
/proc/858/task/887/stat : 887 (plingeling) R 853 853 726 0 -1 4202560 4030 1240 0 0 13693 3 0 1 25 0 29 0 725965965 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=858/tid=888] ppid=853 vsize=996656 CPUtime=136.95 cores=4-31
/proc/858/task/888/stat : 888 (plingeling) R 853 853 726 0 -1 4202560 10186 1240 0 0 13687 7 0 1 25 0 29 0 725965965 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=858/tid=889] ppid=853 vsize=996656 CPUtime=136.98 cores=4-31
/proc/858/task/889/stat : 889 (plingeling) R 853 853 726 0 -1 4202560 3567 1240 0 0 13695 2 0 1 25 0 29 0 725965965 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4332125 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=858/tid=890] ppid=853 vsize=996656 CPUtime=136.97 cores=4-31
/proc/858/task/890/stat : 890 (plingeling) R 853 853 726 0 -1 4202560 5872 1240 0 0 13693 3 0 1 25 0 29 0 725965966 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=858/tid=891] ppid=853 vsize=996656 CPUtime=136.96 cores=4-31
/proc/858/task/891/stat : 891 (plingeling) R 853 853 726 0 -1 4202560 5991 1240 0 0 13694 1 0 1 25 0 29 0 725965966 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=858/tid=892] ppid=853 vsize=996656 CPUtime=136.95 cores=4-31
/proc/858/task/892/stat : 892 (plingeling) R 853 853 726 0 -1 4202560 4117 1240 0 0 13689 5 0 1 25 0 29 0 725965966 1020575744 111535 268435456000 4194304 4356188 140735170422208 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 4382.53
Current children cumulated vsize (KiB) 2216816
[startup+137.902 s]
/proc/loadavg: 31.27 30.86 31.52 33/447 905
/proc/meminfo: memFree=254767652/264257624 swapFree=67111528/67111528
[pid=853] ppid=851 vsize=18324 CPUtime=0 cores=0-31
/proc/853/stat : 853 (ppfolio) S 851 853 726 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 725965887 18763776 386 268435456000 4194304 4287625 140737163347248 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/853/statm: 4581 386 337 23 0 91 0
[pid=854] ppid=853 vsize=652168 CPUtime=137.83 cores=0
/proc/854/stat : 854 (cryptominisat) R 853 853 726 0 -1 4202496 29926 0 0 0 13772 11 0 0 25 0 1 0 725965888 667820032 9001 268435456000 4194304 4587354 140735807076992 18446744073709551615 4243634 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/854/statm: 163042 9001 336 96 0 159604 0
[pid=855] ppid=853 vsize=50648 CPUtime=137.85 cores=1
/proc/855/stat : 855 (clasp) R 853 853 726 0 -1 4202496 10349 0 0 0 13782 3 0 0 25 0 1 0 725965888 51863552 9986 268435456000 4194304 4785740 140736336006592 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/855/statm: 12662 9986 339 145 0 9707 0
[pid=856] ppid=853 vsize=457416 CPUtime=137.85 cores=2
/proc/856/stat : 856 (TNM) R 853 853 726 0 -1 4202496 1123 0 0 0 13785 0 0 0 25 0 1 0 725965888 468393984 1020 268435456000 134512640 134534564 4291913152 18446744073709551615 134530484 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/856/statm: 114354 1020 95 6 0 113019 0
[pid=857] ppid=853 vsize=41604 CPUtime=137.86 cores=3
/proc/857/stat : 857 (march_hi) R 853 853 726 0 -1 4202496 11812 0 0 0 13780 6 0 0 25 0 1 0 725965888 42602496 6768 268435456000 4194304 4331988 140734835327808 18446744073709551615 4263244 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/857/statm: 10401 6768 174 34 0 8843 0
[pid=858] ppid=853 vsize=543832 CPUtime=3832.91 cores=4-31
/proc/858/stat : 858 (plingeling) R 853 853 726 0 -1 4202496 179959 1240 0 0 383147 143 0 1 18 0 1 0 725965888 556883968 68595 268435456000 4194304 4356188 140735170422208 18446744073709551615 258650999383 0 0 4096 0 0 0 0 17 8 0 0 0
/proc/858/statm: 135958 68595 160 40 0 134502 0
Current children cumulated CPU time (s) 4384.3
Current children cumulated vsize (KiB) 1763992
Child status: 0
Real time (s): 137.932
CPU time (s): 4384.51
CPU user time (s): 4382.79
CPU system time (s): 1.71874
CPU usage (%): 3178.76
Max. virtual memory (cumulated for all children) (KiB): 2249584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4382.79
system time used= 1.71874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234951
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= 2840
involuntary context switches= 10866
runsolver used 0.812876 second user time and 3.11153 second system time
The end
Begin job on node200 at 2011-05-23 11:59:55
IDJOB=3347701
IDBENCH=87988
IDSOLVER=1808
FILE ID=node200/3347701-1306144795
RUNJOBID= node200-1306144788-740
PBS_JOBID= 13387844
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347701-1306144795/watcher-3347701-1306144795 -o /tmp/evaluation-result-3347701-1306144795/solver-3347701-1306144795 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347701-1306144795.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 6ebe2de27b5534e626cb88c01abcf6c6
RANDOM SEED=681123042
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: 255307248 kB
Buffers: 459508 kB
Cached: 8070472 kB
SwapCached: 0 kB
Active: 7620304 kB
Inactive: 978568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255307248 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11012 kB
Writeback: 0 kB
AnonPages: 68428 kB
Mapped: 14568 kB
Slab: 254720 kB
PageTables: 4900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 167420 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-23 12:02:13