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
655.40/21.70 s UNSATISFIABLE
657.31/21.70 solver [5] plingeling 276-6264d55-100731 answered
657.31/21.70 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347657-1306114817/watcher-3347657-1306114817 -o /tmp/evaluation-result-3347657-1306114817/solver-3347657-1306114817 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347657-1306114817.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: 28.34 31.14 31.75 1/413 28945
/proc/meminfo: memFree=255397784/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
[startup+0.087969 s]
/proc/loadavg: 28.34 31.14 31.75 1/413 28945
/proc/meminfo: memFree=255397784/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100967 s]
/proc/loadavg: 28.34 31.14 31.75 1/413 28945
/proc/meminfo: memFree=255397784/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300964 s]
/proc/loadavg: 28.34 31.14 31.75 1/413 28945
/proc/meminfo: memFree=255397784/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700981 s]
/proc/loadavg: 28.34 31.14 31.75 1/413 28945
/proc/meminfo: memFree=255397784/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 19 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50096 s]
/proc/loadavg: 26.47 30.71 31.61 6/419 28956
/proc/meminfo: memFree=255266488/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
[pid=28946] ppid=28945 vsize=43584 CPUtime=1.49 cores=0
/proc/28946/stat : 28946 (cryptominisat) R 28945 28945 28790 0 -1 4202496 6355 0 0 0 147 2 0 0 20 0 1 0 722968094 44630016 5751 268435456000 4194304 4587354 140736629906832 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28946/statm: 10896 5751 328 96 0 7458 0
[pid=28947] ppid=28945 vsize=24340 CPUtime=1.48 cores=1
/proc/28947/stat : 28947 (clasp) R 28945 28945 28790 0 -1 4202496 4319 0 0 0 147 1 0 0 20 0 1 0 722968095 24924160 3362 268435456000 4194304 4785740 140736774448304 18446744073709551615 4552680 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28947/statm: 6085 3362 339 145 0 3130 0
[pid=28948] ppid=28945 vsize=460084 CPUtime=1.48 cores=2
/proc/28948/stat : 28948 (TNM) R 28945 28945 28790 0 -1 4202496 2495 0 0 0 147 1 0 0 20 0 1 0 722968095 471126016 2392 268435456000 134512640 134534564 4287330128 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28948/statm: 115021 2392 95 6 0 113686 0
[pid=28949] ppid=28945 vsize=50832 CPUtime=1.48 cores=3
/proc/28949/stat : 28949 (march_hi) R 28945 28945 28790 0 -1 4202496 22656 0 0 0 143 5 0 0 20 0 1 0 722968095 52051968 9094 268435456000 4194304 4331988 140736862535632 18446744073709551615 4297056 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28949/statm: 12708 9094 172 34 0 11150 0
[pid=28950] ppid=28945 vsize=652792 CPUtime=7.69 cores=4-31
/proc/28950/stat : 28950 (plingeling) S 28945 28945 28790 0 -1 4202496 29144 1240 0 0 760 8 0 1 18 0 29 0 722968095 668459008 24832 268435456000 4194304 4356188 140736109382272 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/28950/statm: 163198 24832 138 40 0 161742 0
Current children cumulated CPU time (s) 13.62
Current children cumulated vsize (KiB) 1249956
[startup+3.10201 s]
/proc/loadavg: 26.47 30.71 31.61 33/447 28984
/proc/meminfo: memFree=255199888/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
[pid=28946] ppid=28945 vsize=43584 CPUtime=3.09 cores=0
/proc/28946/stat : 28946 (cryptominisat) R 28945 28945 28790 0 -1 4202496 6568 0 0 0 307 2 0 0 25 0 1 0 722968094 44630016 5945 268435456000 4194304 4587354 140736629906832 18446744073709551615 4237543 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28946/statm: 10896 5945 328 96 0 7458 0
[pid=28947] ppid=28945 vsize=25848 CPUtime=3.08 cores=1
/proc/28947/stat : 28947 (clasp) R 28945 28945 28790 0 -1 4202496 4699 0 0 0 307 1 0 0 25 0 1 0 722968095 26468352 3742 268435456000 4194304 4785740 140736774448304 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28947/statm: 6462 3742 339 145 0 3507 0
[pid=28948] ppid=28945 vsize=460084 CPUtime=3.08 cores=2
/proc/28948/stat : 28948 (TNM) R 28945 28945 28790 0 -1 4202496 2495 0 0 0 307 1 0 0 25 0 1 0 722968095 471126016 2392 268435456000 134512640 134534564 4287330128 18446744073709551615 134529675 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28948/statm: 115021 2392 95 6 0 113686 0
[pid=28949] ppid=28945 vsize=51888 CPUtime=3.08 cores=3
/proc/28949/stat : 28949 (march_hi) R 28945 28945 28790 0 -1 4202496 23067 0 0 0 302 6 0 0 25 0 1 0 722968095 53133312 9505 268435456000 4194304 4331988 140736862535632 18446744073709551615 4226440 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28949/statm: 12972 9505 172 34 0 11414 0
[pid=28950] ppid=28945 vsize=748668 CPUtime=51.8 cores=4-31
/proc/28950/stat : 28950 (plingeling) S 28945 28945 28790 0 -1 4202496 78768 1240 0 0 5143 36 0 1 18 0 29 0 722968095 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/28950/statm: 187167 50721 159 40 0 185711 0
[pid=28950/tid=28957] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28957/stat : 28957 (plingeling) R 28945 28945 28790 0 -1 4202560 2232 1240 0 0 179 0 0 1 20 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28950/tid=28958] ppid=28945 vsize=748668 CPUtime=1.83 cores=4-31
/proc/28950/task/28958/stat : 28958 (plingeling) R 28945 28945 28790 0 -1 4202560 2149 1240 0 0 182 0 0 1 18 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4283885 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28950/tid=28959] ppid=28945 vsize=748668 CPUtime=1.81 cores=4-31
/proc/28950/task/28959/stat : 28959 (plingeling) R 28945 28945 28790 0 -1 4202560 2343 1240 0 0 179 1 0 1 18 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28950/tid=28960] ppid=28945 vsize=748668 CPUtime=1.78 cores=4-31
/proc/28950/task/28960/stat : 28960 (plingeling) R 28945 28945 28790 0 -1 4202560 720 1240 0 0 177 0 0 1 24 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28950/tid=28961] ppid=28945 vsize=748668 CPUtime=1.84 cores=4-31
/proc/28950/task/28961/stat : 28961 (plingeling) R 28945 28945 28790 0 -1 4202560 1909 1240 0 0 182 1 0 1 25 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4332327 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28950/tid=28962] ppid=28945 vsize=748668 CPUtime=1.82 cores=4-31
/proc/28950/task/28962/stat : 28962 (plingeling) R 28945 28945 28790 0 -1 4202560 1568 1240 0 0 181 0 0 1 18 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28950/tid=28963] ppid=28945 vsize=748668 CPUtime=1.82 cores=4-31
/proc/28950/task/28963/stat : 28963 (plingeling) R 28945 28945 28790 0 -1 4202560 1638 1240 0 0 181 0 0 1 25 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28950/tid=28964] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28964/stat : 28964 (plingeling) R 28945 28945 28790 0 -1 4202560 2048 1240 0 0 178 1 0 1 20 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28950/tid=28965] ppid=28945 vsize=748668 CPUtime=1.79 cores=4-31
/proc/28950/task/28965/stat : 28965 (plingeling) R 28945 28945 28790 0 -1 4202560 2396 1240 0 0 177 1 0 1 25 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28950/tid=28966] ppid=28945 vsize=748668 CPUtime=1.82 cores=4-31
/proc/28950/task/28966/stat : 28966 (plingeling) R 28945 28945 28790 0 -1 4202560 1941 1240 0 0 179 2 0 1 20 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28950/tid=28967] ppid=28945 vsize=748668 CPUtime=1.81 cores=4-31
/proc/28950/task/28967/stat : 28967 (plingeling) R 28945 28945 28790 0 -1 4202560 1540 1240 0 0 179 1 0 1 20 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28950/tid=28968] ppid=28945 vsize=748668 CPUtime=1.81 cores=4-31
/proc/28950/task/28968/stat : 28968 (plingeling) R 28945 28945 28790 0 -1 4202560 1036 1240 0 0 180 0 0 1 20 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210780 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28950/tid=28969] ppid=28945 vsize=748668 CPUtime=1.78 cores=4-31
/proc/28950/task/28969/stat : 28969 (plingeling) R 28945 28945 28790 0 -1 4202560 2431 1240 0 0 176 1 0 1 25 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4332327 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28950/tid=28970] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28970/stat : 28970 (plingeling) R 28945 28945 28790 0 -1 4202560 1191 1240 0 0 179 0 0 1 25 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4282041 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28950/tid=28971] ppid=28945 vsize=748668 CPUtime=1.82 cores=4-31
/proc/28950/task/28971/stat : 28971 (plingeling) R 28945 28945 28790 0 -1 4202560 1673 1240 0 0 181 0 0 1 20 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28950/tid=28972] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28972/stat : 28972 (plingeling) R 28945 28945 28790 0 -1 4202560 2091 1240 0 0 179 0 0 1 20 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4211007 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28950/tid=28973] ppid=28945 vsize=748668 CPUtime=1.79 cores=4-31
/proc/28950/task/28973/stat : 28973 (plingeling) R 28945 28945 28790 0 -1 4202560 1643 1240 0 0 178 0 0 1 25 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4233920 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28950/tid=28974] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28974/stat : 28974 (plingeling) R 28945 28945 28790 0 -1 4202560 1996 1240 0 0 178 1 0 1 20 0 29 0 722968219 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4234339 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28950/tid=28975] ppid=28945 vsize=748668 CPUtime=1.83 cores=4-31
/proc/28950/task/28975/stat : 28975 (plingeling) R 28945 28945 28790 0 -1 4202560 2006 1240 0 0 181 1 0 1 20 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28950/tid=28976] ppid=28945 vsize=748668 CPUtime=1.82 cores=4-31
/proc/28950/task/28976/stat : 28976 (plingeling) R 28945 28945 28790 0 -1 4202560 519 1240 0 0 181 0 0 1 25 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28950/tid=28977] ppid=28945 vsize=748668 CPUtime=1.79 cores=4-31
/proc/28950/task/28977/stat : 28977 (plingeling) R 28945 28945 28790 0 -1 4202560 2012 1240 0 0 178 0 0 1 20 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210765 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28950/tid=28978] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28978/stat : 28978 (plingeling) R 28945 28945 28790 0 -1 4202560 2555 1240 0 0 178 1 0 1 20 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4334575 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28950/tid=28979] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28979/stat : 28979 (plingeling) R 28945 28945 28790 0 -1 4202560 2295 1240 0 0 179 0 0 1 18 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4280070 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28950/tid=28980] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28980/stat : 28980 (plingeling) R 28945 28945 28790 0 -1 4202560 2339 1240 0 0 178 1 0 1 20 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28950/tid=28981] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28981/stat : 28981 (plingeling) R 28945 28945 28790 0 -1 4202560 1843 1240 0 0 179 0 0 1 20 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28950/tid=28982] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28982/stat : 28982 (plingeling) R 28945 28945 28790 0 -1 4202560 1833 1240 0 0 178 1 0 1 20 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28950/tid=28983] ppid=28945 vsize=748668 CPUtime=1.8 cores=4-31
/proc/28950/task/28983/stat : 28983 (plingeling) R 28945 28945 28790 0 -1 4202560 1540 1240 0 0 178 1 0 1 18 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4261312 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28950/tid=28984] ppid=28945 vsize=748668 CPUtime=1.81 cores=4-31
/proc/28950/task/28984/stat : 28984 (plingeling) R 28945 28945 28790 0 -1 4202560 613 1240 0 0 180 0 0 1 24 0 29 0 722968220 766636032 50721 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330945 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 64.13
Current children cumulated vsize (KiB) 1348396
[startup+6.30212 s]
/proc/loadavg: 26.47 30.71 31.61 33/447 28984
/proc/meminfo: memFree=255127856/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
[pid=28946] ppid=28945 vsize=1101072 CPUtime=6.28 cores=0
/proc/28946/stat : 28946 (cryptominisat) R 28945 28945 28790 0 -1 4202496 7639 0 0 0 626 2 0 0 25 0 1 0 722968094 1127497728 5998 268435456000 4194304 4587354 140736629906832 18446744073709551615 4450948 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28946/statm: 275268 5998 334 96 0 271830 0
[pid=28947] ppid=28945 vsize=27892 CPUtime=6.28 cores=1
/proc/28947/stat : 28947 (clasp) R 28945 28945 28790 0 -1 4202496 5200 0 0 0 627 1 0 0 25 0 1 0 722968095 28561408 4243 268435456000 4194304 4785740 140736774448304 18446744073709551615 4312576 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28947/statm: 6973 4243 339 145 0 4018 0
[pid=28948] ppid=28945 vsize=460084 CPUtime=6.28 cores=2
/proc/28948/stat : 28948 (TNM) R 28945 28945 28790 0 -1 4202496 2495 0 0 0 627 1 0 0 25 0 1 0 722968095 471126016 2392 268435456000 134512640 134534564 4287330128 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28948/statm: 115021 2392 95 6 0 113686 0
[pid=28949] ppid=28945 vsize=54884 CPUtime=6.28 cores=3
/proc/28949/stat : 28949 (march_hi) R 28945 28945 28790 0 -1 4202496 24597 0 0 0 622 6 0 0 25 0 1 0 722968095 56201216 11019 268435456000 4194304 4331988 140736862535632 18446744073709551615 4228901 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28949/statm: 13721 11019 172 34 0 12163 0
[pid=28950] ppid=28945 vsize=727796 CPUtime=141.28 cores=4-31
/proc/28950/stat : 28950 (plingeling) S 28945 28945 28790 0 -1 4202496 87968 1240 0 0 14088 39 0 1 18 0 29 0 722968095 745263104 46303 268435456000 4194304 4356188 140736109382272 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/28950/statm: 181949 46303 159 40 0 180493 0
[pid=28950/tid=28957] ppid=28945 vsize=727796 CPUtime=5.01 cores=4-31
/proc/28950/task/28957/stat : 28957 (plingeling) R 28945 28945 28790 0 -1 4202560 2607 1240 0 0 499 1 0 1 25 0 29 0 722968219 745263104 46303 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28950/tid=28958] ppid=28945 vsize=727796 CPUtime=5.04 cores=4-31
/proc/28950/task/28958/stat : 28958 (plingeling) R 28945 28945 28790 0 -1 4202560 2511 1240 0 0 502 1 0 1 25 0 29 0 722968219 745263104 46303 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28950/tid=28959] ppid=28945 vsize=727796 CPUtime=5.01 cores=4-31
/proc/28950/task/28959/stat : 28959 (plingeling) R 28945 28945 28790 0 -1 4202560 2681 1240 0 0 499 1 0 1 25 0 29 0 722968219 745263104 46303 268435456000 4194304 4356188 140736109382272 18446744073709551615 4313144 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28950/tid=28960] ppid=28945 vsize=727796 CPUtime=4.97 cores=4-31
/proc/28950/task/28960/stat : 28960 (plingeling) R 28945 28945 28790 0 -1 4202560 878 1240 0 0 496 0 0 1 25 0 29 0 722968219 745263104 46303 268435456000 4194304 4356188 140736109382272 18446744073709551615 4334582 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28950/tid=28961] ppid=28945 vsize=727796 CPUtime=5.04 cores=4-31
/proc/28950/task/28961/stat : 28961 (plingeling) R 28945 28945 28790 0 -1 4202560 2197 1240 0 0 502 1 0 1 25 0 29 0 722968219 745263104 46303 268435456000 4194304 4356188 140736109382272 18446744073709551615 4322064 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28950/tid=28962] ppid=28945 vsize=727796 CPUtime=5.02 cores=4-31
################
# More data... #
################
/proc/28947/stat : 28947 (clasp) R 28945 28945 28790 0 -1 4202496 6220 0 0 0 2066 2 0 0 25 0 1 0 722968095 32792576 5263 268435456000 4194304 4785740 140736774448304 18446744073709551615 4546305 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28947/statm: 8006 5263 339 145 0 5051 0
[pid=28948] ppid=28945 vsize=460084 CPUtime=20.68 cores=2
/proc/28948/stat : 28948 (TNM) R 28945 28945 28790 0 -1 4202496 2495 0 0 0 2067 1 0 0 25 0 1 0 722968095 471126016 2392 268435456000 134512640 134534564 4287330128 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28948/statm: 115021 2392 95 6 0 113686 0
[pid=28949] ppid=28945 vsize=59196 CPUtime=20.68 cores=3
/proc/28949/stat : 28949 (march_hi) R 28945 28945 28790 0 -1 4202496 25596 0 0 0 2061 7 0 0 25 0 1 0 722968095 60616704 12006 268435456000 4194304 4331988 140736862535632 18446744073709551615 4237136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28949/statm: 14799 12006 172 34 0 13241 0
[pid=28950] ppid=28945 vsize=833340 CPUtime=543.92 cores=4-31
/proc/28950/stat : 28950 (plingeling) S 28945 28945 28790 0 -1 4202496 123637 1240 0 0 54323 68 0 1 18 0 29 0 722968095 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/28950/statm: 208335 74317 159 40 0 206879 0
[pid=28950/tid=28957] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28957/stat : 28957 (plingeling) R 28945 28945 28790 0 -1 4202560 3484 1240 0 0 1937 2 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28950/tid=28958] ppid=28945 vsize=833340 CPUtime=19.41 cores=4-31
/proc/28950/task/28958/stat : 28958 (plingeling) R 28945 28945 28790 0 -1 4202560 3500 1240 0 0 1939 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28950/tid=28959] ppid=28945 vsize=833340 CPUtime=19.41 cores=4-31
/proc/28950/task/28959/stat : 28959 (plingeling) R 28945 28945 28790 0 -1 4202560 3492 1240 0 0 1939 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28950/tid=28960] ppid=28945 vsize=833340 CPUtime=19.37 cores=4-31
/proc/28950/task/28960/stat : 28960 (plingeling) R 28945 28945 28790 0 -1 4202560 2167 1240 0 0 1935 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28950/tid=28961] ppid=28945 vsize=833340 CPUtime=19.44 cores=4-31
/proc/28950/task/28961/stat : 28961 (plingeling) R 28945 28945 28790 0 -1 4202560 3221 1240 0 0 1942 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4335708 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28950/tid=28962] ppid=28945 vsize=833340 CPUtime=19.42 cores=4-31
/proc/28950/task/28962/stat : 28962 (plingeling) R 28945 28945 28790 0 -1 4202560 3265 1240 0 0 1938 3 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331456 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28950/tid=28963] ppid=28945 vsize=833340 CPUtime=19.41 cores=4-31
/proc/28950/task/28963/stat : 28963 (plingeling) R 28945 28945 28790 0 -1 4202560 3269 1240 0 0 1938 2 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28950/tid=28964] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28964/stat : 28964 (plingeling) R 28945 28945 28790 0 -1 4202560 4417 1240 0 0 1936 3 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28950/tid=28965] ppid=28945 vsize=833340 CPUtime=19.38 cores=4-31
/proc/28950/task/28965/stat : 28965 (plingeling) R 28945 28945 28790 0 -1 4202560 4219 1240 0 0 1934 3 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331946 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28950/tid=28966] ppid=28945 vsize=833340 CPUtime=19.41 cores=4-31
/proc/28950/task/28966/stat : 28966 (plingeling) R 28945 28945 28790 0 -1 4202560 3188 1240 0 0 1938 2 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28950/tid=28967] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28967/stat : 28967 (plingeling) R 28945 28945 28790 0 -1 4202560 3257 1240 0 0 1937 2 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28950/tid=28968] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28968/stat : 28968 (plingeling) R 28945 28945 28790 0 -1 4202560 2901 1240 0 0 1938 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4236992 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28950/tid=28969] ppid=28945 vsize=833340 CPUtime=19.36 cores=4-31
/proc/28950/task/28969/stat : 28969 (plingeling) R 28945 28945 28790 0 -1 4202560 3679 1240 0 0 1933 2 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28950/tid=28970] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28970/stat : 28970 (plingeling) R 28945 28945 28790 0 -1 4202560 2473 1240 0 0 1938 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28950/tid=28971] ppid=28945 vsize=833340 CPUtime=19.42 cores=4-31
/proc/28950/task/28971/stat : 28971 (plingeling) R 28945 28945 28790 0 -1 4202560 3049 1240 0 0 1940 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28950/tid=28972] ppid=28945 vsize=833340 CPUtime=19.39 cores=4-31
/proc/28950/task/28972/stat : 28972 (plingeling) R 28945 28945 28790 0 -1 4202560 5229 1240 0 0 1936 2 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28950/tid=28973] ppid=28945 vsize=833340 CPUtime=19.38 cores=4-31
/proc/28950/task/28973/stat : 28973 (plingeling) R 28945 28945 28790 0 -1 4202560 3029 1240 0 0 1936 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28950/tid=28974] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28974/stat : 28974 (plingeling) R 28945 28945 28790 0 -1 4202560 2796 1240 0 0 1938 1 0 1 25 0 29 0 722968219 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28950/tid=28975] ppid=28945 vsize=833340 CPUtime=19.42 cores=4-31
/proc/28950/task/28975/stat : 28975 (plingeling) R 28945 28945 28790 0 -1 4202560 3353 1240 0 0 1940 1 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210992 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28950/tid=28976] ppid=28945 vsize=833340 CPUtime=19.41 cores=4-31
/proc/28950/task/28976/stat : 28976 (plingeling) R 28945 28945 28790 0 -1 4202560 1860 1240 0 0 1939 1 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28950/tid=28977] ppid=28945 vsize=833340 CPUtime=18.89 cores=4-31
/proc/28950/task/28977/stat : 28977 (plingeling) R 28945 28945 28790 0 -1 4202560 3195 1240 0 0 1886 2 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28950/tid=28978] ppid=28945 vsize=833340 CPUtime=19.39 cores=4-31
/proc/28950/task/28978/stat : 28978 (plingeling) R 28945 28945 28790 0 -1 4202560 3871 1240 0 0 1936 2 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28950/tid=28979] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28979/stat : 28979 (plingeling) R 28945 28945 28790 0 -1 4202560 3478 1240 0 0 1939 0 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28950/tid=28980] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28980/stat : 28980 (plingeling) R 28945 28945 28790 0 -1 4202560 5740 1240 0 0 1936 3 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28950/tid=28981] ppid=28945 vsize=833340 CPUtime=19.39 cores=4-31
/proc/28950/task/28981/stat : 28981 (plingeling) R 28945 28945 28790 0 -1 4202560 3299 1240 0 0 1937 1 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28950/tid=28982] ppid=28945 vsize=833340 CPUtime=19.38 cores=4-31
/proc/28950/task/28982/stat : 28982 (plingeling) R 28945 28945 28790 0 -1 4202560 3463 1240 0 0 1933 4 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28950/tid=28983] ppid=28945 vsize=833340 CPUtime=19.39 cores=4-31
/proc/28950/task/28983/stat : 28983 (plingeling) R 28945 28945 28790 0 -1 4202560 3684 1240 0 0 1937 1 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28950/tid=28984] ppid=28945 vsize=833340 CPUtime=19.4 cores=4-31
/proc/28950/task/28984/stat : 28984 (plingeling) R 28945 28945 28790 0 -1 4202560 2391 1240 0 0 1939 0 0 1 25 0 29 0 722968220 853340160 74317 268435456000 4194304 4356188 140736109382272 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 626.64
Current children cumulated vsize (KiB) 2519752
[startup+21.5017 s]
/proc/loadavg: 28.04 30.79 31.62 33/447 28984
/proc/meminfo: memFree=255011488/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=0 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 722968094 18763776 385 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 4 0 0 0
/proc/28945/statm: 4581 385 337 23 0 91 0
[pid=28946] ppid=28945 vsize=1123504 CPUtime=21.48 cores=0
/proc/28946/stat : 28946 (cryptominisat) R 28945 28945 28790 0 -1 4202496 15877 0 0 0 2143 5 0 0 25 0 1 0 722968094 1150468096 10103 268435456000 4194304 4587354 140736629906832 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28946/statm: 280876 10103 334 96 0 277438 0
[pid=28947] ppid=28945 vsize=32552 CPUtime=21.48 cores=1
/proc/28947/stat : 28947 (clasp) R 28945 28945 28790 0 -1 4202496 6364 0 0 0 2146 2 0 0 25 0 1 0 722968095 33333248 5407 268435456000 4194304 4785740 140736774448304 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28947/statm: 8138 5407 339 145 0 5183 0
[pid=28948] ppid=28945 vsize=460084 CPUtime=21.48 cores=2
/proc/28948/stat : 28948 (TNM) R 28945 28945 28790 0 -1 4202496 2495 0 0 0 2147 1 0 0 25 0 1 0 722968095 471126016 2392 268435456000 134512640 134534564 4287330128 18446744073709551615 3900821 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28948/statm: 115021 2392 95 6 0 113686 0
[pid=28949] ppid=28945 vsize=59196 CPUtime=21.48 cores=3
/proc/28949/stat : 28949 (march_hi) R 28945 28945 28790 0 -1 4202496 25627 0 0 0 2141 7 0 0 25 0 1 0 722968095 60616704 12037 268435456000 4194304 4331988 140736862535632 18446744073709551615 4229363 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28949/statm: 14799 12037 172 34 0 13241 0
[pid=28950] ppid=28945 vsize=839804 CPUtime=566.28 cores=4-31
/proc/28950/stat : 28950 (plingeling) S 28945 28945 28790 0 -1 4202496 125302 1240 0 0 56558 69 0 1 18 0 29 0 722968095 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/28950/statm: 209951 75869 159 40 0 208495 0
[pid=28950/tid=28957] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28957/stat : 28957 (plingeling) R 28945 28945 28790 0 -1 4202560 3484 1240 0 0 2017 2 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28950/tid=28958] ppid=28945 vsize=839804 CPUtime=20.21 cores=4-31
/proc/28950/task/28958/stat : 28958 (plingeling) R 28945 28945 28790 0 -1 4202560 3500 1240 0 0 2019 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331144 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28950/tid=28959] ppid=28945 vsize=839804 CPUtime=20.21 cores=4-31
/proc/28950/task/28959/stat : 28959 (plingeling) R 28945 28945 28790 0 -1 4202560 3492 1240 0 0 2019 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28950/tid=28960] ppid=28945 vsize=839804 CPUtime=20.17 cores=4-31
/proc/28950/task/28960/stat : 28960 (plingeling) R 28945 28945 28790 0 -1 4202560 2167 1240 0 0 2015 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4238461 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28950/tid=28961] ppid=28945 vsize=839804 CPUtime=20.23 cores=4-31
/proc/28950/task/28961/stat : 28961 (plingeling) R 28945 28945 28790 0 -1 4202560 3221 1240 0 0 2021 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28950/tid=28962] ppid=28945 vsize=839804 CPUtime=20.22 cores=4-31
/proc/28950/task/28962/stat : 28962 (plingeling) R 28945 28945 28790 0 -1 4202560 3265 1240 0 0 2018 3 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4281715 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28950/tid=28963] ppid=28945 vsize=839804 CPUtime=20.21 cores=4-31
/proc/28950/task/28963/stat : 28963 (plingeling) R 28945 28945 28790 0 -1 4202560 3269 1240 0 0 2018 2 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28950/tid=28964] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28964/stat : 28964 (plingeling) R 28945 28945 28790 0 -1 4202560 5186 1240 0 0 2015 4 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28950/tid=28965] ppid=28945 vsize=839804 CPUtime=20.18 cores=4-31
/proc/28950/task/28965/stat : 28965 (plingeling) R 28945 28945 28790 0 -1 4202560 4219 1240 0 0 2014 3 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28950/tid=28966] ppid=28945 vsize=839804 CPUtime=20.21 cores=4-31
/proc/28950/task/28966/stat : 28966 (plingeling) R 28945 28945 28790 0 -1 4202560 3188 1240 0 0 2018 2 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331841 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28950/tid=28967] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28967/stat : 28967 (plingeling) R 28945 28945 28790 0 -1 4202560 3257 1240 0 0 2017 2 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4283902 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28950/tid=28968] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28968/stat : 28968 (plingeling) R 28945 28945 28790 0 -1 4202560 2901 1240 0 0 2018 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4238420 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28950/tid=28969] ppid=28945 vsize=839804 CPUtime=20.16 cores=4-31
/proc/28950/task/28969/stat : 28969 (plingeling) R 28945 28945 28790 0 -1 4202560 3679 1240 0 0 2013 2 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4334220 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28950/tid=28970] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28970/stat : 28970 (plingeling) R 28945 28945 28790 0 -1 4202560 2473 1240 0 0 2018 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4250504 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28950/tid=28971] ppid=28945 vsize=839804 CPUtime=20.22 cores=4-31
/proc/28950/task/28971/stat : 28971 (plingeling) R 28945 28945 28790 0 -1 4202560 3049 1240 0 0 2020 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28950/tid=28972] ppid=28945 vsize=839804 CPUtime=20.19 cores=4-31
/proc/28950/task/28972/stat : 28972 (plingeling) R 28945 28945 28790 0 -1 4202560 5357 1240 0 0 2016 2 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28950/tid=28973] ppid=28945 vsize=839804 CPUtime=20.18 cores=4-31
/proc/28950/task/28973/stat : 28973 (plingeling) R 28945 28945 28790 0 -1 4202560 3029 1240 0 0 2016 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4274244 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28950/tid=28974] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28974/stat : 28974 (plingeling) R 28945 28945 28790 0 -1 4202560 3308 1240 0 0 2018 1 0 1 25 0 29 0 722968219 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4330752 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28950/tid=28975] ppid=28945 vsize=839804 CPUtime=20.22 cores=4-31
/proc/28950/task/28975/stat : 28975 (plingeling) R 28945 28945 28790 0 -1 4202560 3353 1240 0 0 2020 1 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4281608 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28950/tid=28976] ppid=28945 vsize=839804 CPUtime=20.21 cores=4-31
/proc/28950/task/28976/stat : 28976 (plingeling) R 28945 28945 28790 0 -1 4202560 1860 1240 0 0 2019 1 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28950/tid=28977] ppid=28945 vsize=839804 CPUtime=19.66 cores=4-31
/proc/28950/task/28977/stat : 28977 (plingeling) R 28945 28945 28790 0 -1 4202560 3195 1240 0 0 1963 2 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28950/tid=28978] ppid=28945 vsize=839804 CPUtime=20.19 cores=4-31
/proc/28950/task/28978/stat : 28978 (plingeling) R 28945 28945 28790 0 -1 4202560 3871 1240 0 0 2016 2 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28950/tid=28979] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28979/stat : 28979 (plingeling) R 28945 28945 28790 0 -1 4202560 3478 1240 0 0 2019 0 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28950/tid=28980] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28980/stat : 28980 (plingeling) R 28945 28945 28790 0 -1 4202560 5996 1240 0 0 2016 3 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331144 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28950/tid=28981] ppid=28945 vsize=839804 CPUtime=20.19 cores=4-31
/proc/28950/task/28981/stat : 28981 (plingeling) R 28945 28945 28790 0 -1 4202560 3299 1240 0 0 2017 1 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4234112 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28950/tid=28982] ppid=28945 vsize=839804 CPUtime=20.18 cores=4-31
/proc/28950/task/28982/stat : 28982 (plingeling) R 28945 28945 28790 0 -1 4202560 3463 1240 0 0 2013 4 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331841 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28950/tid=28983] ppid=28945 vsize=839804 CPUtime=20.19 cores=4-31
/proc/28950/task/28983/stat : 28983 (plingeling) R 28945 28945 28790 0 -1 4202560 3684 1240 0 0 2017 1 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28950/tid=28984] ppid=28945 vsize=839804 CPUtime=20.2 cores=4-31
/proc/28950/task/28984/stat : 28984 (plingeling) R 28945 28945 28790 0 -1 4202560 2391 1240 0 0 2019 0 0 1 25 0 29 0 722968220 859959296 75869 268435456000 4194304 4356188 140736109382272 18446744073709551615 4237616 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 652.2
Current children cumulated vsize (KiB) 2533464
[startup+21.7017 s]
/proc/loadavg: 28.04 30.79 31.62 33/447 28984
/proc/meminfo: memFree=255011488/264257624 swapFree=67111528/67111528
[pid=28945] ppid=28943 vsize=18324 CPUtime=570.59 cores=0-31
/proc/28945/stat : 28945 (ppfolio) S 28943 28945 28790 0 -1 4202496 513 126642 0 0 0 0 56985 74 15 0 1 0 722968094 18763776 386 268435456000 4194304 4287625 140735116588000 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 4 0 0 0
/proc/28945/statm: 4581 386 338 23 0 91 0
[pid=28946] ppid=28945 vsize=0 CPUtime=21.68 cores=0
/proc/28946/stat : 28946 (cryptominisat) R 28945 28945 28790 0 -1 4203524 15879 0 0 0 2163 5 0 0 25 0 1 0 722968094 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28946/statm: 0 0 0 0 0 0 0
[pid=28947] ppid=28945 vsize=0 CPUtime=21.68 cores=1
/proc/28947/stat : 28947 (clasp) R 28945 28945 28790 0 -1 4203524 6364 0 0 0 2166 2 0 0 25 0 1 0 722968095 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/28947/statm: 0 0 0 0 0 0 0
[pid=28948] ppid=28945 vsize=0 CPUtime=21.68 cores=2
/proc/28948/stat : 28948 (TNM) R 28945 28945 28790 0 -1 4203524 2495 0 0 0 2167 1 0 0 25 0 1 0 722968095 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28948/statm: 0 0 0 0 0 0 0
[pid=28949] ppid=28945 vsize=0 CPUtime=21.68 cores=3
/proc/28949/stat : 28949 (march_hi) R 28945 28945 28790 0 -1 4203524 25635 0 0 0 2161 7 0 0 25 0 1 0 722968095 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28949/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 657.31
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 21.7056
CPU time (s): 657.366
CPU user time (s): 656.447
CPU system time (s): 0.91886
CPU usage (%): 3028.55
Max. virtual memory (cumulated for all children) (KiB): 2533464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 656.447
system time used= 0.91886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177548
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= 1935
involuntary context switches= 1590
runsolver used 0.133979 second user time and 0.488925 second system time
The end
Begin job on node200 at 2011-05-23 03:40:17
IDJOB=3347657
IDBENCH=84958
IDSOLVER=1808
FILE ID=node200/3347657-1306114817
RUNJOBID= node200-1306114802-28804
PBS_JOBID= 13387826
Free space on /tmp= 62044 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347657-1306114817/watcher-3347657-1306114817 -o /tmp/evaluation-result-3347657-1306114817/solver-3347657-1306114817 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347657-1306114817.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 51fef6c1c8ac21be9eb125cde1cdd08e
RANDOM SEED=1327781007
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: 255398064 kB
Buffers: 456388 kB
Cached: 7955848 kB
SwapCached: 0 kB
Active: 7509028 kB
Inactive: 972188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255398064 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11036 kB
Writeback: 0 kB
AnonPages: 68244 kB
Mapped: 14560 kB
Slab: 253632 kB
PageTables: 4948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 193840 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 03:40:39