0.00/0.01 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3394210-1306093234.cnf'
0.00/0.05 c -- header says num vars: 559571
0.00/0.05 c -- header says num clauses: 10223027
43.25/9.35 c -- clauses added: 0 learnts, 10223027 normals, 0 xors
43.25/9.39 c -- vars added 559571
43.25/9.39 c Parsing time: 2.88 s
43.25/9.39 c N st 0 0 559571 351283 8886087 0 20126913 0 no data no data
53.30/10.61 c asymm cl-useful: 491/667/276845 lits-rem:2206 time: 1.14
194.57/28.31 c Flit: 233 Blit: 93807 bXBeca: 0 bXProp: 806 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 17.70
196.08/28.51 c Cleaning up after failed var search: 0.19 s
197.64/28.75 c Replacing 809 vars Replaced 26604 lits Time: 0.24 s
199.88/29.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
203.89/29.55 c bin-w-bin subsume rem 884 bins time: 0.51 s
241.50/34.27 c subs with bin: 0 lits-rem: 5054 v-fix: 0 time: 4.72 s
266.88/37.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 21770 time: 3.24 s
269.26/37.77 c Removed useless bin: 6590 fixed: 0 props: 20.02M time: 0.26 s
278.01/38.81 c lits-rem: 0 cl-subs: 0 v-elim: 7 v-fix: 0 time: 1.02 s
278.82/38.97 c Finding binary XORs T: 0.16 s found: 2248
281.21/39.23 c Replacing 2248 vars Replaced 277404 lits Time: 0.26 s
282.81/39.43 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
282.81/39.43 c calculated reachability. Time: 0.01
283.61/39.54 c Calc default polars - time: 0.10 s pos: 3339 undec: 253131 neg: 303101
283.61/39.54 c =========================================================================================
283.61/39.54 c types(t): F = full restart, N = normal restart
283.61/39.54 c types(t): S = simplification begin/end, E = solution found
283.61/39.54 c restart types(rt): st = static, dy = dynamic
283.61/39.54 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
283.61/39.54 c B st 0 0 306440 212135 5098935 0 11610538 0 no data no data
428.06/57.64 c N dy 17 4197 259185 178586 4058914 3749 9302132 2222187 13.44 14.19
611.00/80.54 c N dy 37 8436 258338 178586 4060176 7816 9302132 5692709 12.69 14.37
790.43/103.09 c N dy 50 12463 258220 178586 4061239 11703 9302132 8649982 11.59 12.28
932.51/120.83 c N dy 61 17017 257315 178586 4061314 16134 9302132 10996311 10.74 11.36
1087.33/140.22 c N dy 83 21048 257204 178586 4062162 10552 9302132 1683921 10.79 11.51
1218.23/156.63 c F st 102 25000 257193 178586 4062829 14430 9302132 4213357 11.05 9.99
1232.62/158.41 c N st 103 25250 257193 176940 4016176 14598 9198036 4247198 11.05 no data
2005.21/255.30 c N dy 108 30000 256557 176940 4016221 19279 9198036 11974335 11.05 no data
2005.21/255.30 c S st 108 30000 256557 176940 4016221 19279 9198036 11974335 11.05 no data
2026.73/257.98 c S st 108 30500 256557 176940 4016249 19735 9198036 12208924 11.05 no data
2028.34/258.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
2329.44/295.97 c Flit: 367 Blit: 5211 bXBeca: 0 bXProp: 131 Bins: 475172 BRemL: 0 BRemN: 224 P: 200.0M T: 37.80
2331.18/296.13 c Cleaning up after failed var search: 0.16 s
2335.02/296.63 c Replacing 132 vars Replaced 20761 lits Time: 0.48 s
2337.42/296.96 c blocked clauses removed: 0 vars: 0 tried: 250329 T: 0.17 s
2339.96/297.26 c bin-w-bin subsume rem 1296 bins time: 0.30 s
2368.60/300.98 c subs with bin: 0 lits-rem: 47 v-fix: 0 time: 3.72 s
2395.54/304.36 c Subs w/ non-existent bins: 0 l-rem: 44 v-fix: 281 done: 23895 time: 3.36 s
2399.66/304.82 c Removed useless bin: 4463 fixed: 283 props: 20.01M time: 0.46 s
2406.70/305.78 c lits-rem: 0 cl-subs: 4 v-elim: 2 v-fix: 0 time: 0.96 s
2429.84/308.63 c subs with bin: 56 lits-rem: 1428 v-fix: 0 time: 1.61 s
2450.59/311.21 c lits-rem: 2030 cl-subs: 1011 v-elim: 0 v-fix: 0 time: 2.47 s
2458.57/312.20 c asymm cl-useful: 2/682/172270 lits-rem:3 time: 0.99
2459.37/312.32 c calculated reachability. Time: 0.01
2459.37/312.32 c N dy 108 30500 250044 172270 4275853 18418 8835175 12227050 11.05 no data
2475.34/314.35 c Finding binary XORs T: 0.16 s found: 2333
2617.42/332.15 c N dy 115 34708 245283 168909 4303631 22034 8616426 14421388 10.74 11.50
2741.11/347.62 c N dy 135 38798 245199 168909 4307439 26066 8616426 16706505 10.96 11.69
2884.73/365.65 c N dy 148 43291 245192 168909 4307475 15876 8616426 3158228 10.75 11.36
2948.60/373.68 c S st 158 45755 245080 168909 4307825 18307 8616426 4039291 10.62 7.65
2970.30/376.40 c S st 158 46256 245080 168909 4307846 18777 8616426 4195917 10.62 no data
2971.74/376.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
3170.48/401.46 c Flit: 175 Blit: 1156 bXBeca: 0 bXProp: 73 Bins: 203421 BRemL: 335 BRemN: 107 P: 200.0M T: 24.88
3170.48/401.46 c Cleaning up after failed var search: 0.00 s
3174.46/401.95 c Replacing 2406 vars Replaced 277036 lits Time: 0.47 s
3176.06/402.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
3178.46/402.48 c bin-w-bin subsume rem 19617 bins time: 0.35 s
3209.58/406.35 c subs with bin: 2 lits-rem: 31 v-fix: 0 time: 3.87 s
3239.91/410.19 c Subs w/ non-existent bins: 1 l-rem: 22 v-fix: 38 done: 24904 time: 3.82 s
3243.26/410.58 c Removed useless bin: 4449 fixed: 0 props: 20.02M time: 0.39 s
3251.23/411.53 c lits-rem: 0 cl-subs: 48 v-elim: 3 v-fix: 0 time: 0.94 s
3265.45/413.35 c subs with bin: 24 lits-rem: 563 v-fix: 0 time: 1.53 s
3274.22/414.45 c lits-rem: 404 cl-subs: 429 v-elim: 0 v-fix: 0 time: 1.02 s
3283.01/415.55 c asymm cl-useful: 93/763/167600 lits-rem:308 time: 1.11
3283.82/415.67 c calculated reachability. Time: 0.01
3283.82/415.68 c N dy 158 46256 241507 167600 4438988 18265 8515472 4491195 10.62 no data
3285.41/415.84 c Finding binary XORs T: 0.16 s found: 412
3415.46/432.13 c N dy 175 50350 226696 156903 4053643 18217 7786117 5728116 10.55 11.21
3442.60/435.53 c Following stats are for *FIRST FINISHED THREAD ONLY*
3442.60/435.53 c num threads : 8
3442.60/435.53 c restarts : 318
3442.60/435.53 c dynamic restarts : 300
3442.60/435.53 c static restarts : 18
3442.60/435.53 c full restarts : 2
3442.60/435.53 c total simplify time : 6.81
3442.60/435.53 c learnts DL2 : 0
3442.60/435.53 c learnts size 2 : 9655967
3442.60/435.53 c learnts size 1 : 349982 (62.54 % of vars)
3442.60/435.53 c filedLit time : 24.32 (5.69 % time)
3442.60/435.53 c v-elim SatELite : 9 (0.00 % vars)
3442.60/435.53 c SatELite time : 6.58 (1.54 % time)
3442.60/435.53 c v-elim xor : 0 (0.00 % vars)
3442.60/435.53 c xor elim time : 0.18 (0.04 % time)
3442.60/435.53 c num binary xor trees : 8213
3442.60/435.53 c binxor trees' crown : 8920 (1.09 leafs/tree)
3442.60/435.53 c bin xor find time : 4.06
3442.60/435.53 c OTF clause improved : 597 (0.01 clauses/conflict)
3442.60/435.53 c OTF impr. size diff : 3121 (5.23 lits/clause)
3442.60/435.53 c OTF cl watch-shrink : 62494 (0.64 clauses/conflict)
3442.60/435.53 c OTF cl watch-sh-lit : 2528465 (40.46 lits/clause)
3442.60/435.53 c tried to recurMin cls : 61967 (63.72 % of conflicts)
3442.60/435.53 c updated cache : 137627 (2.22 lits/tried recurMin)
3442.60/435.53 c unit cls recevied : 4937 (1.41 % of units)
3442.60/435.53 c unit cls sent : 314731 (89.93 % of units)
3442.60/435.53 c bin cls recevied : 619988
3442.60/435.53 c bin cls sent : 148127
3442.60/435.53 c clauses over max glue : 0 (0.00 % of all clauses)
3442.60/435.53 c conflicts : 97254 (227.47 / sec)
3442.60/435.53 c decisions : 531656 (3.32 % random)
3442.60/435.53 c bogo-props : 4213112019 (9854172.39 / sec)
3442.60/435.53 c conflict literals : 49166190 (40.27 % deleted)
3442.60/435.53 c Memory used : 6744.61 MB
3442.60/435.53 c single-thread CPU time : 427.55 s
3442.60/435.53 c all-threads sum CPU time : 3418.71 s
3442.60/435.53 s UNSATISFIABLE
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-3394210-1306093234/watcher-3394210-1306093234 -o /tmp/evaluation-result-3394210-1306093234/solver-3394210-1306093234 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394210-1306093234.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 10.13 7.10 4.21 1/551 31883
/proc/meminfo: memFree=25394168/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 410 0 3 0 1 0 0 0 21 0 8 0 799554648 94355456 353 33554432000 4194304 4580107 140735751504144 18446744073709551615 47373288523696 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31883/statm: 23036 353 299 95 0 18018 0
[pid=31883/tid=31884] ppid=31881 vsize=92144 CPUtime=0 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 799554649 94355456 353 33554432000 4194304 4580107 140735751504144 18446744073709551615 47373288523698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=92144 CPUtime=0 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799554649 94355456 353 33554432000 4194304 4580107 140735751504144 18446744073709551615 47373288523698 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=92144 CPUtime=0 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799554649 94355456 353 33554432000 4194304 4580107 140735751504144 18446744073709551615 47373288523698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=92144 CPUtime=0 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799554649 94355456 353 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=92144 CPUtime=0 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799554649 94355456 353 33554432000 4194304 4580107 140735751504144 18446744073709551615 47373288523698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=92144 CPUtime=0 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799554649 94355456 353 33554432000 4194304 4580107 140735751504144 18446744073709551615 47373288523698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=92144 CPUtime=0 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799554649 94355456 353 33554432000 4194304 4580107 140735751504144 18446744073709551615 47373288523698 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.0875619 s]
/proc/loadavg: 10.13 7.10 4.21 1/551 31883
/proc/meminfo: memFree=25394168/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=451932 CPUtime=0.48 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) D 31881 31883 31798 0 -1 4202496 15161 0 3 0 43 5 0 0 18 0 8 0 799554648 462778368 12554 33554432000 4194304 4580107 140735751504144 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31883/statm: 113239 12698 338 95 0 108221 0
[pid=31883/tid=31884] ppid=31881 vsize=457272 CPUtime=0.05 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 2092 0 0 0 5 0 0 0 18 0 8 0 799554649 468246528 13896 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 6 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=457260 CPUtime=0.06 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 1981 0 0 0 6 0 0 0 18 0 8 0 799554649 468234240 14659 33554432000 4194304 4580107 140735751504144 18446744073709551615 4511212 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=457260 CPUtime=0.06 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2448 0 0 0 6 0 0 0 17 0 8 0 799554649 468234240 14659 33554432000 4194304 4580107 140735751504144 18446744073709551615 4512165 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=457260 CPUtime=0.06 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2263 0 0 0 6 0 0 0 18 0 8 0 799554649 468234240 14659 33554432000 4194304 4580107 140735751504144 18446744073709551615 4353340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=457260 CPUtime=0.06 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) D 31881 31883 31798 0 -1 4202560 2519 0 0 0 6 0 0 0 18 0 8 0 799554649 468234240 14659 33554432000 4194304 4580107 140735751504144 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=457260 CPUtime=0.06 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2120 0 0 0 6 0 0 0 18 0 8 0 799554649 468234240 14659 33554432000 4194304 4580107 140735751504144 18446744073709551615 4512101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=457260 CPUtime=0.03 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2454 0 0 0 3 0 0 0 18 0 8 0 799554649 468234240 14659 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284983722 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 451932
[startup+0.114639 s]
/proc/loadavg: 10.13 7.10 4.21 1/551 31883
/proc/meminfo: memFree=25394168/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=462380 CPUtime=0.71 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 21543 0 3 0 63 8 0 0 18 0 8 0 799554648 473477120 17571 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030943 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31883/statm: 115595 17812 338 95 0 110577 0
[pid=31883/tid=31884] ppid=31881 vsize=465100 CPUtime=0.09 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2533 0 0 0 8 1 0 0 18 0 8 0 799554649 476262400 18774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=465100 CPUtime=0.09 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2477 0 0 0 9 0 0 0 18 0 8 0 799554649 476262400 18774 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=465100 CPUtime=0.09 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2852 0 0 0 8 1 0 0 17 0 8 0 799554649 476262400 18774 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=465100 CPUtime=0.09 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2775 0 0 0 8 1 0 0 18 0 8 0 799554649 476262400 18786 33554432000 4194304 4580107 140735751504144 18446744073709551615 4353565 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=465100 CPUtime=0.09 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 3300 0 0 0 9 0 0 0 18 0 8 0 799554649 476262400 18799 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 7 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=465100 CPUtime=0.09 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 2534 0 0 0 8 1 0 0 18 0 8 0 799554649 476262400 18816 33554432000 4194304 4580107 140735751504144 18446744073709551615 4353567 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=465100 CPUtime=0.06 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 3303 0 0 0 5 1 0 0 18 0 8 0 799554649 476262400 18829 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 462380
[startup+0.301657 s]
/proc/loadavg: 10.13 7.10 4.21 1/551 31883
/proc/meminfo: memFree=25394168/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=575080 CPUtime=1.81 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 46926 0 3 0 145 36 0 0 17 0 8 0 799554648 588881920 38618 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31883/statm: 143770 38629 338 95 0 138752 0
[pid=31883/tid=31884] ppid=31881 vsize=575080 CPUtime=0.22 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 5783 0 0 0 17 5 0 0 17 0 8 0 799554649 588881920 38633 33554432000 4194304 4580107 140735751504144 18446744073709551615 4354880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=575080 CPUtime=0.22 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 5375 0 0 0 18 4 0 0 17 0 8 0 799554649 588881920 38657 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 0 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=575080 CPUtime=0.23 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 5865 0 0 0 18 5 0 0 17 0 8 0 799554649 588881920 38667 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 5 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=575080 CPUtime=0.21 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 6017 0 0 0 18 3 0 0 17 0 8 0 799554649 588881920 38670 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=575080 CPUtime=0.22 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 6196 0 0 0 18 4 0 0 17 0 8 0 799554649 588881920 38674 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 7 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=575080 CPUtime=0.22 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 5436 0 0 0 18 4 0 0 17 0 8 0 799554649 588881920 38676 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 4 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=575080 CPUtime=0.2 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 6060 0 0 0 16 4 0 0 17 0 8 0 799554649 588881920 38685 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284584303 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 575080
[startup+5.09188 s]
/proc/loadavg: 10.13 7.10 4.21 1/551 31883
/proc/meminfo: memFree=25394168/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=1847496 CPUtime=22.28 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) S 31881 31883 31798 0 -1 4202496 398084 0 3 0 1087 1141 0 0 16 0 8 0 799554648 1891835904 330222 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31883/statm: 461874 330227 338 95 0 456856 0
[pid=31883/tid=31884] ppid=31881 vsize=1847496 CPUtime=2.73 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 48076 0 0 0 131 142 0 0 16 0 8 0 799554649 1891835904 330236 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=1847496 CPUtime=2.79 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 47618 0 0 0 142 137 0 0 16 0 8 0 799554649 1891835904 330237 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 0 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=1847496 CPUtime=2.76 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 51112 0 0 0 134 142 0 0 16 0 8 0 799554649 1891835904 330245 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=1847496 CPUtime=2.81 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) D 31881 31883 31798 0 -1 4202560 51863 0 0 0 141 140 0 0 15 0 8 0 799554649 1891835904 330249 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284586693 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=1847496 CPUtime=2.82 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 51394 0 0 0 136 146 0 0 16 0 8 0 799554649 1891835904 330251 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 7 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=1847496 CPUtime=2.74 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 48166 0 0 0 129 145 0 0 16 0 8 0 799554649 1891835904 330254 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=1847496 CPUtime=2.69 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 52565 0 0 0 128 141 0 0 15 0 8 0 799554649 1891835904 330260 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 1847496
[startup+5.10187 s]
/proc/loadavg: 10.13 7.10 4.21 1/551 31883
/proc/meminfo: memFree=25394168/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=1847628 CPUtime=22.32 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) D 31881 31883 31798 0 -1 4202496 398665 0 3 0 1089 1143 0 0 16 0 8 0 799554648 1891971072 330796 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284587041 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31883/statm: 461907 330802 338 95 0 456889 0
[pid=31883/tid=31884] ppid=31881 vsize=1847628 CPUtime=2.74 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 48106 0 0 0 132 142 0 0 15 0 8 0 799554649 1891971072 330803 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=1847628 CPUtime=2.79 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 47655 0 0 0 142 137 0 0 15 0 8 0 799554649 1891971072 330804 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=1847628 CPUtime=2.77 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 51149 0 0 0 135 142 0 0 16 0 8 0 799554649 1891971072 330804 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=1847628 CPUtime=2.82 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 51918 0 0 0 142 140 0 0 15 0 8 0 799554649 1891971072 330806 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=1847628 CPUtime=2.82 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 51446 0 0 0 136 146 0 0 16 0 8 0 799554649 1891971072 330807 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=1847628 CPUtime=2.75 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 48220 0 0 0 129 146 0 0 16 0 8 0 799554649 1891971072 330808 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=1847628 CPUtime=2.7 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 52786 0 0 0 128 142 0 0 15 0 8 0 799554649 1891971072 330808 33554432000 4194304 4580107 140735751504144 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.32
Current children cumulated vsize (KiB) 1847628
[startup+5.20084 s]
/proc/loadavg: 10.13 7.10 4.21 1/551 31883
/proc/meminfo: memFree=25394168/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=1849740 CPUtime=22.67 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) S 31881 31883 31798 0 -1 4202496 403897 0 3 0 1104 1163 0 0 15 0 8 0 799554648 1894133760 335979 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 462435 335982 338 95 0 457417 0
[pid=31883/tid=31884] ppid=31881 vsize=1849740 CPUtime=2.78 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 48726 0 0 0 133 145 0 0 15 0 8 0 799554649 1894133760 335988 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=1849740 CPUtime=2.85 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 48295 0 0 0 145 140 0 0 15 0 8 0 799554649 1894133760 335988 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 0 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=1849740 CPUtime=2.82 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) D 31881 31883 31798 0 -1 4202560 51772 0 0 0 137 145 0 0 15 0 8 0 799554649 1894133760 335989 33554432000 4194304 4580107 140735751504144 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=1849740 CPUtime=2.85 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 52762 0 0 0 144 141 0 0 16 0 8 0 799554649 1894133760 335991 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 1 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=1849872 CPUtime=2.87 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 52121 0 0 0 139 148 0 0 15 0 8 0 799554649 1894268928 335993 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=1849872 CPUtime=2.8 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 48834 0 0 0 131 149 0 0 15 0 8 0 799554649 1894268928 335994 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=1849872 CPUtime=2.74 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 53404 0 0 0 130 144 0 0 15 0 8 0 799554649 1894268928 335995 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.67
Current children cumulated vsize (KiB) 1849740
[startup+6.30064 s]
/proc/loadavg: 9.88 7.10 4.22 9/559 31891
/proc/meminfo: memFree=23962028/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=2210484 CPUtime=27.93 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) S 31881 31883 31798 0 -1 4202496 495507 0 3 0 1397 1396 0 0 16 0 8 0 799554648 2263535616 426889 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 552621 426909 338 95 0 547603 0
[pid=31883/tid=31884] ppid=31881 vsize=2210484 CPUtime=3.42 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 59424 0 0 0 169 173 0 0 15 0 8 0 799554649 2263535616 426920 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=2210484 CPUtime=3.51 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 59850 0 0 0 181 170 0 0 16 0 8 0 799554649 2263535616 426933 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=2210484 CPUtime=3.48 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 64907 0 0 0 172 176 0 0 16 0 8 0 799554649 2263535616 426945 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284623297 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=2210484 CPUtime=3.51 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 64597 0 0 0 181 170 0 0 15 0 8 0 799554649 2263535616 426958 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 1 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=2210484 CPUtime=3.52 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 65068 0 0 0 176 176 0 0 16 0 8 0 799554649 2263535616 426969 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 7 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=2210484 CPUtime=3.45 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 58568 0 0 0 169 176 0 0 15 0 8 0 799554649 2263535616 426983 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 0 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=2210484 CPUtime=3.37 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) S 31881 31883 31798 0 -1 4202560 64847 0 0 0 163 174 0 0 15 0 8 0 799554649 2263535616 426994 33554432000 4194304 4580107 140735751504144 18446744073709551615 224285030894 0 0 4096 2 18446604451285951616 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=31883/tid=31888] ppid=31881 vsize=6579200 CPUtime=397.77 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 208623 0 0 0 39482 295 0 0 25 0 8 0 799554649 6737100800 1315807 33554432000 4194304 4580107 140735751504144 18446744073709551615 224284594543 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=6579200 CPUtime=398.22 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 204649 0 0 0 39535 287 0 0 25 0 8 0 799554649 6737100800 1315807 33554432000 4194304 4580107 140735751504144 18446744073709551615 4321020 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=6579200 CPUtime=397.65 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 319191 0 0 0 39457 308 0 0 25 0 8 0 799554649 6737100800 1315807 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3177.66
Current children cumulated vsize (KiB) 6579200
Solver just ended. Dumping a history of the last processes samples
[startup+414.1 s]
/proc/loadavg: 8.09 7.83 5.59 9/559 31901
/proc/meminfo: memFree=20121056/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=6572444 CPUtime=3271.82 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 2089847 0 3 0 324796 2386 0 0 25 0 8 0 799554648 6730182656 1317774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4415304 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 1643111 1317774 380 95 0 1638093 0
[pid=31883/tid=31884] ppid=31881 vsize=6572444 CPUtime=409.15 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 268915 0 0 0 40617 298 0 0 25 0 8 0 799554649 6730182656 1317774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=6572444 CPUtime=410.01 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 281382 0 0 0 40707 294 0 0 25 0 8 0 799554649 6730182656 1317774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4320983 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=6572444 CPUtime=410.02 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 341264 0 0 0 40692 310 0 0 25 0 8 0 799554649 6730182656 1317774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=6572444 CPUtime=403.32 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 207610 0 0 0 40049 283 0 0 25 0 8 0 799554649 6730182656 1317774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4413647 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=6572444 CPUtime=409.57 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 211190 0 0 0 40661 296 0 0 25 0 8 0 799554649 6730182656 1317774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=6572444 CPUtime=410.03 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 206257 0 0 0 40715 288 0 0 25 0 8 0 799554649 6730182656 1317774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=6572444 CPUtime=409.45 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 321272 0 0 0 40636 309 0 0 25 0 8 0 799554649 6730182656 1317774 33554432000 4194304 4580107 140735751504144 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3271.82
Current children cumulated vsize (KiB) 6572444
[startup+426.9 s]
/proc/loadavg: 8.07 7.84 5.63 9/559 31901
/proc/meminfo: memFree=19886816/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=6690752 CPUtime=3374.1 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 2158562 0 3 0 335000 2410 0 0 25 0 8 0 799554648 6851330048 1376123 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316439 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 1672688 1376123 380 95 0 1667670 0
[pid=31883/tid=31884] ppid=31881 vsize=6690752 CPUtime=421.97 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 269289 0 0 0 41899 298 0 0 25 0 8 0 799554649 6851330048 1376123 33554432000 4194304 4580107 140735751504144 18446744073709551615 4515212 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=6690752 CPUtime=422.79 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 285796 0 0 0 41984 295 0 0 25 0 8 0 799554649 6851330048 1376123 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=6690752 CPUtime=422.84 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 343036 0 0 0 41972 312 0 0 25 0 8 0 799554649 6851330048 1376123 33554432000 4194304 4580107 140735751504144 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=6690752 CPUtime=415.99 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 261367 0 0 0 41299 300 0 0 25 0 8 0 799554649 6851330048 1376123 33554432000 4194304 4580107 140735751504144 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=6690752 CPUtime=422.39 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 213591 0 0 0 41942 297 0 0 25 0 8 0 799554649 6851330048 1376123 33554432000 4194304 4580107 140735751504144 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=6690752 CPUtime=422.85 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 208018 0 0 0 41996 289 0 0 25 0 8 0 799554649 6851330048 1376123 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316411 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=6690752 CPUtime=422.17 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 323699 0 0 0 41907 310 0 0 25 0 8 0 799554649 6851330048 1376123 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3374.1
Current children cumulated vsize (KiB) 6690752
[startup+430.101 s]
/proc/loadavg: 8.07 7.84 5.63 9/559 31901
/proc/meminfo: memFree=19879376/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=6906480 CPUtime=3399.5 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 2161347 0 3 0 337538 2412 0 0 25 0 8 0 799554648 7072235520 1378908 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 1726620 1378908 380 95 0 1721602 0
[pid=31883/tid=31884] ppid=31881 vsize=6906480 CPUtime=425.15 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 269294 0 0 0 42217 298 0 0 25 0 8 0 799554649 7072235520 1378908 33554432000 4194304 4580107 140735751504144 18446744073709551615 4400115 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=6906480 CPUtime=425.97 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 286413 0 0 0 42302 295 0 0 25 0 8 0 799554649 7072235520 1378908 33554432000 4194304 4580107 140735751504144 18446744073709551615 4317485 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=6906480 CPUtime=426.01 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 343547 0 0 0 42289 312 0 0 25 0 8 0 799554649 7072235520 1378908 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316654 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=6906480 CPUtime=419.17 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 261370 0 0 0 41617 300 0 0 25 0 8 0 799554649 7072235520 1378908 33554432000 4194304 4580107 140735751504144 18446744073709551615 4473268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=6906480 CPUtime=425.56 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 214096 0 0 0 42259 297 0 0 25 0 8 0 799554649 7072235520 1378908 33554432000 4194304 4580107 140735751504144 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=6906480 CPUtime=426.03 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 208335 0 0 0 42314 289 0 0 25 0 8 0 799554649 7072235520 1378908 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=6906480 CPUtime=425.31 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 323884 0 0 0 42221 310 0 0 25 0 8 0 799554649 7072235520 1378908 33554432000 4194304 4580107 140735751504144 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3399.5
Current children cumulated vsize (KiB) 6906480
[startup+433.301 s]
/proc/loadavg: 8.06 7.84 5.64 9/559 31901
/proc/meminfo: memFree=19867468/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=6906480 CPUtime=3425.04 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 2164389 0 3 0 340091 2413 0 0 25 0 8 0 799554648 7072235520 1381950 33554432000 4194304 4580107 140735751504144 18446744073709551615 4320971 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 1726620 1381950 380 95 0 1721602 0
[pid=31883/tid=31884] ppid=31881 vsize=6906480 CPUtime=428.35 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 269294 0 0 0 42537 298 0 0 25 0 8 0 799554649 7072235520 1381950 33554432000 4194304 4580107 140735751504144 18446744073709551615 4416737 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=6906480 CPUtime=429.18 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 286823 0 0 0 42622 296 0 0 25 0 8 0 799554649 7072235520 1381950 33554432000 4194304 4580107 140735751504144 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=6906480 CPUtime=429.21 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 343946 0 0 0 42609 312 0 0 25 0 8 0 799554649 7072235520 1381950 33554432000 4194304 4580107 140735751504144 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=6906480 CPUtime=422.37 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 262087 0 0 0 41936 301 0 0 25 0 8 0 799554649 7072235520 1381950 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316849 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=6906480 CPUtime=428.77 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 214491 0 0 0 42580 297 0 0 25 0 8 0 799554649 7072235520 1381950 33554432000 4194304 4580107 140735751504144 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=6906480 CPUtime=429.22 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 208893 0 0 0 42633 289 0 0 25 0 8 0 799554649 7072235520 1381950 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=6906480 CPUtime=428.45 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 323977 0 0 0 42535 310 0 0 25 0 8 0 799554649 7072235520 1381950 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3425.04
Current children cumulated vsize (KiB) 6906480
[startup+434.901 s]
/proc/loadavg: 8.06 7.84 5.64 9/559 31901
/proc/meminfo: memFree=19859036/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=6906480 CPUtime=3437.8 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 2165793 0 3 0 341366 2414 0 0 25 0 8 0 799554648 7072235520 1383354 33554432000 4194304 4580107 140735751504144 18446744073709551615 4317489 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 1726620 1383354 380 95 0 1721602 0
[pid=31883/tid=31884] ppid=31881 vsize=6906480 CPUtime=429.95 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 269300 0 0 0 42697 298 0 0 25 0 8 0 799554649 7072235520 1383354 33554432000 4194304 4580107 140735751504144 18446744073709551615 4479086 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=6906480 CPUtime=430.77 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 287006 0 0 0 42781 296 0 0 25 0 8 0 799554649 7072235520 1383354 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=6906480 CPUtime=430.81 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 344138 0 0 0 42769 312 0 0 25 0 8 0 799554649 7072235520 1383354 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=6906480 CPUtime=423.97 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 262321 0 0 0 42096 301 0 0 25 0 8 0 799554649 7072235520 1383354 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=6906480 CPUtime=430.37 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 214727 0 0 0 42740 297 0 0 25 0 8 0 799554649 7072235520 1383354 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=6906480 CPUtime=430.82 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 209112 0 0 0 42793 289 0 0 25 0 8 0 799554649 7072235520 1383354 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=6906480 CPUtime=430.01 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 324072 0 0 0 42691 310 0 0 25 0 8 0 799554649 7072235520 1383354 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3437.8
Current children cumulated vsize (KiB) 6906480
[startup+435.301 s]
/proc/loadavg: 8.06 7.84 5.64 9/559 31901
/proc/meminfo: memFree=19859036/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=6906480 CPUtime=3441 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) R 31881 31883 31798 0 -1 4202496 2166190 0 3 0 341686 2414 0 0 25 0 8 0 799554648 7072235520 1383751 33554432000 4194304 4580107 140735751504144 18446744073709551615 4324233 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 1726620 1383751 380 95 0 1721602 0
[pid=31883/tid=31884] ppid=31881 vsize=6906480 CPUtime=430.35 cores=0-7
/proc/31883/task/31884/stat : 31884 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 269303 0 0 0 42737 298 0 0 25 0 8 0 799554649 7072235520 1383751 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=6906480 CPUtime=431.17 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 287058 0 0 0 42821 296 0 0 25 0 8 0 799554649 7072235520 1383751 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31883/tid=31886] ppid=31881 vsize=6906480 CPUtime=431.21 cores=0-7
/proc/31883/task/31886/stat : 31886 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 344178 0 0 0 42809 312 0 0 25 0 8 0 799554649 7072235520 1383751 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31883/tid=31887] ppid=31881 vsize=6906480 CPUtime=424.37 cores=0-7
/proc/31883/task/31887/stat : 31887 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 262401 0 0 0 42136 301 0 0 25 0 8 0 799554649 7072235520 1383751 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31883/tid=31888] ppid=31881 vsize=6906480 CPUtime=430.76 cores=0-7
/proc/31883/task/31888/stat : 31888 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 214814 0 0 0 42779 297 0 0 25 0 8 0 799554649 7072235520 1383751 33554432000 4194304 4580107 140735751504144 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31883/tid=31889] ppid=31881 vsize=6906480 CPUtime=431.22 cores=0-7
/proc/31883/task/31889/stat : 31889 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 209177 0 0 0 42833 289 0 0 25 0 8 0 799554649 7072235520 1383751 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31883/tid=31890] ppid=31881 vsize=6906480 CPUtime=430.41 cores=0-7
/proc/31883/task/31890/stat : 31890 (strangenight2-m) R 31881 31883 31798 0 -1 4202560 324081 0 0 0 42731 310 0 0 25 0 8 0 799554649 7072235520 1383751 33554432000 4194304 4580107 140735751504144 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3441
Current children cumulated vsize (KiB) 6906480
[startup+435.701 s]
/proc/loadavg: 8.06 7.84 5.64 2/553 31901
/proc/meminfo: memFree=22748876/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=0 CPUtime=3443.06 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) Z 31881 31883 31798 0 -1 4203548 2166383 0 4 0 341873 2433 0 0 25 0 2 0 799554648 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 0 0 0 0 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=0 CPUtime=431.6 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4203588 287081 0 0 0 42845 315 0 0 25 0 2 0 799554649 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3443.06
Current children cumulated vsize (KiB) 0
[startup+435.821 s]
/proc/loadavg: 8.06 7.84 5.64 2/553 31901
/proc/meminfo: memFree=22748876/32951124 swapFree=39849776/67111528
[pid=31883] ppid=31881 vsize=0 CPUtime=3443.16 cores=0-7
/proc/31883/stat : 31883 (strangenight2-m) Z 31881 31883 31798 0 -1 4203548 2166383 0 4 0 341873 2443 0 0 25 0 2 0 799554648 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31883/statm: 0 0 0 0 0 0 0
[pid=31883/tid=31885] ppid=31881 vsize=0 CPUtime=431.7 cores=0-7
/proc/31883/task/31885/stat : 31885 (strangenight2-m) R 31881 31883 31798 0 -1 4203588 287081 0 0 0 42845 325 0 0 25 0 2 0 799554649 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3443.16
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 435.822
CPU time (s): 3443.17
CPU user time (s): 3418.73
CPU system time (s): 24.4353
CPU usage (%): 790.04
Max. virtual memory (cumulated for all children) (KiB): 6906480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3418.73
system time used= 24.4353
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2166383
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2152049
involuntary context switches= 15662
runsolver used 2.29765 second user time and 5.65114 second system time
The end
Begin job on node118 at 2011-05-22 21:40:40
IDJOB=3394210
IDBENCH=82399
IDSOLVER=1878
FILE ID=node118/3394210-1306093234
RUNJOBID= node118-1306092896-31812
PBS_JOBID= 13387946
Free space on /tmp= 72764 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394210-1306093234/watcher-3394210-1306093234 -o /tmp/evaluation-result-3394210-1306093234/solver-3394210-1306093234 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394210-1306093234.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=1752915352
node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5374.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25394812 kB
Buffers: 2100 kB
Cached: 301380 kB
SwapCached: 50464 kB
Active: 626244 kB
Inactive: 6656288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25394812 kB
SwapTotal: 67111528 kB
SwapFree: 39849776 kB
Dirty: 192972 kB
Writeback: 0 kB
AnonPages: 6941308 kB
Mapped: 24872 kB
Slab: 84488 kB
PageTables: 115052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 183773580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72756 MiB
End job on node118 at 2011-05-22 21:47:56