0.00/0.00 c Outputting solution to console
0.08/0.03 c Using 8 threads
0.08/0.03 c This is CryptoMiniSat 3.0.0
0.08/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.08/0.03 c Reading file 'HOME/instance-3321231-1304332715.cnf'
0.08/0.03 c -- header says num vars: 17064
0.08/0.03 c -- header says num clauses: 545612
2.67/0.51 c -- clauses added: 0 learnts, 545612 normals, 0 xors
2.67/0.51 c -- vars added 17064
2.67/0.51 c Parsing time: 0.30 s
2.67/0.51 c N st 0 0 17064 68679 476913 0 1608381 0 no data no data
8.20/1.11 c asymm cl-useful: 1018/1064/68679 lits-rem:16742 time: 0.59
31.91/4.18 c Flit: 1266 Blit: 0 bXBeca: 0 bXProp: 28 Bins: 0 BRemL: 0 BRemN: 0 P: 51.5M T: 3.00
32.70/4.20 c Cleaning up after failed var search: 0.02 s
32.70/4.22 c Replacing 28 vars Replaced 1985 lits Time: 0.02 s
32.70/4.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
33.50/4.32 c bin-w-bin subsume rem 405 bins time: 0.05 s
40.69/5.20 c subs with bin: 110 lits-rem: 2616 v-fix: 0 time: 0.88 s
41.48/5.30 c Subs w/ non-existent bins: 0 l-rem: 74 v-fix: 0 done: 15643 time: 0.10 s
42.28/5.42 c Removed useless bin: 3015 fixed: 0 props: 7.06M time: 0.11 s
48.68/6.26 c lits-rem: 440 cl-subs: 882 v-elim: 3990 v-fix: 0 time: 0.83 s
49.47/6.36 c Finding binary XORs T: 0.10 s found: 15
49.47/6.38 c Replacing 15 vars Replaced 2926 lits Time: 0.02 s
50.27/6.45 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
50.27/6.45 c calculated reachability. Time: 0.02
50.27/6.46 c Calc default polars - time: 0.01 s pos: 5827 undec: 5487 neg: 5750
50.27/6.46 c =========================================================================================
50.27/6.46 c types(t): F = full restart, N = normal restart
50.27/6.46 c types(t): S = simplification begin/end, E = solution found
50.27/6.46 c restart types(rt): st = static, dy = dynamic
50.27/6.46 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
50.27/6.46 c B st 0 0 11638 72464 321912 0 1316963 0 no data no data
56.67/7.21 c N dy 15 4072 11638 72464 322051 3798 1316948 388941 25.12 76.87
63.06/8.05 c N dy 25 8473 11638 72464 323134 7967 1316938 739262 20.86 22.23
86.24/10.95 c N dy 51 20489 11638 72464 323303 9950 1316938 1044198 18.50 19.72
94.24/11.95 c N dy 76 24918 11634 72464 324833 14141 1316927 1365807 19.26 20.31
94.24/11.97 c F st 77 25000 11634 72464 324835 14220 1316927 1371015 19.32 no data
103.82/13.19 c N dy 83 30000 11616 72326 321079 19052 1301683 1814269 19.32 no data
103.82/13.19 c S st 83 30000 11616 72326 321079 19052 1301683 1814269 19.32 no data
106.28/13.49 c S st 83 30500 11614 72326 321224 19398 1301674 1821490 19.32 no data
107.02/13.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
142.99/18.02 c Flit: 60 Blit: 5 bXBeca: 0 bXProp: 7 Bins: 897682 BRemL: 114628 BRemN: 1 P: 63.6M T: 4.49
143.79/18.10 c Replacing 7 vars Replaced 3400 lits Time: 0.08 s
143.79/18.19 c blocked clauses removed: 2017 vars: 563 tried: 15379 T: 0.05 s
145.39/18.33 c bin-w-bin subsume rem 2689 bins time: 0.14 s
154.98/19.58 c subs with bin: 1281 lits-rem: 42023 v-fix: 0 time: 1.25 s
156.57/19.74 c Subs w/ non-existent bins: 46 l-rem: 1410 v-fix: 0 done: 10979 time: 0.16 s
157.37/19.80 c Removed useless bin: 3486 fixed: 0 props: 2.52M time: 0.05 s
159.02/20.02 c lits-rem: 6814 cl-subs: 105 v-elim: 103 v-fix: 0 time: 0.22 s
171.74/21.67 c subs with bin: 1 lits-rem: 11205 v-fix: 0 time: 1.56 s
230.63/29.07 c lits-rem: 13960 cl-subs: 2725 v-elim: 0 v-fix: 0 time: 7.38 s
233.82/29.48 c asymm cl-useful: 415/3414/67989 lits-rem:10325 time: 0.41
234.62/29.52 c calculated reachability. Time: 0.02
234.62/29.52 c N dy 83 30500 10876 67988 968922 14915 1119684 2611545 19.32 no data
235.38/29.62 c Finding binary XORs T: 0.10 s found: 14
251.75/31.84 c Finding binary XORs T: 0.08 s found: 15
251.75/31.90 c N dy 85 35951 10439 66827 1093549 18484 944733 3494039 17.77 18.88
256.85/32.68 c N dy 104 39991 10437 66827 1093579 22402 944732 3694029 17.59 18.68
265.55/33.76 c N dy 105 45752 10437 66827 1093633 14969 944732 2594616 16.44 7.14
265.55/33.76 c S st 105 45752 10437 66827 1093633 14969 944732 2594616 16.44 7.14
270.40/34.36 c S st 105 46252 10250 65752 987772 14074 891663 2343505 16.44 no data
270.40/34.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
294.33/37.37 c Flit: 58 Blit: 8 bXBeca: 0 bXProp: 11 Bins: 2523 BRemL: 104231 BRemN: 360 P: 52.3M T: 2.99
295.13/37.46 c Replacing 40 vars Replaced 32045 lits Time: 0.08 s
295.13/37.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
296.78/37.60 c bin-w-bin subsume rem 10424 bins time: 0.12 s
302.32/38.36 c subs with bin: 840 lits-rem: 12196 v-fix: 0 time: 0.76 s
303.92/38.51 c Subs w/ non-existent bins: 44 l-rem: 1604 v-fix: 0 done: 10144 time: 0.15 s
303.92/38.56 c Removed useless bin: 3691 fixed: 0 props: 2.08M time: 0.04 s
305.57/38.77 c lits-rem: 1119 cl-subs: 769 v-elim: 877 v-fix: 0 time: 0.21 s
314.00/40.23 c subs with bin: 28 lits-rem: 17328 v-fix: 0 time: 1.43 s
315.20/40.61 c lits-rem: 5183 cl-subs: 866 v-elim: 0 v-fix: 0 time: 0.37 s
315.20/40.65 c vivif2 -- cl tried 63823 cl shrink 2081 lits rem 12126 time: 0.03
315.20/40.68 c vivif2 -- cl tried 8297 cl shrink 3362 lits rem 20251 time: 0.04
316.40/41.08 c asymm cl-useful: 201/4030/63639 lits-rem:370 time: 0.40
316.70/41.12 c calculated reachability. Time: 0.02
316.70/41.12 c N dy 105 46252 9267 63633 653654 8295 780174 1317591 16.44 no data
323.03/44.29 c Following stats are for *FIRST FINISHED THREAD ONLY*
323.03/44.29 c num threads : 8
323.03/44.29 c restarts : 224
323.03/44.29 c dynamic restarts : 206
323.03/44.29 c static restarts : 18
323.03/44.29 c full restarts : 2
323.03/44.29 c total simplify time : 0.42
323.03/44.29 c learnts DL2 : 0
323.03/44.29 c learnts size 2 : 1655980
323.03/44.29 c learnts size 1 : 4342 (25.45 % of vars)
323.03/44.29 c filedLit time : 7.66 (17.78 % time)
323.03/44.29 c v-elim SatELite : 4818 (28.23 % vars)
323.03/44.29 c SatELite time : 4.03 (9.35 % time)
323.03/44.29 c v-elim xor : 0 (0.00 % vars)
323.03/44.29 c xor elim time : 0.02 (0.04 % time)
323.03/44.29 c num binary xor trees : 69
323.03/44.29 c binxor trees' crown : 84 (1.22 leafs/tree)
323.03/44.29 c bin xor find time : 0.37
323.03/44.29 c OTF clause improved : 2338 (0.02 clauses/conflict)
323.03/44.29 c OTF impr. size diff : 5543 (2.37 lits/clause)
323.03/44.29 c OTF cl watch-shrink : 68742 (0.71 clauses/conflict)
323.03/44.29 c OTF cl watch-sh-lit : 1434023 (20.86 lits/clause)
323.03/44.29 c tried to recurMin cls : 46072 (47.44 % of conflicts)
323.03/44.29 c updated cache : 0 (0.00 lits/tried recurMin)
323.03/44.29 c unit cls recevied : 198 (4.56 % of units)
323.03/44.29 c unit cls sent : 531 (12.23 % of units)
323.03/44.29 c bin cls recevied : 320312
323.03/44.29 c bin cls sent : 215027
323.03/44.29 c clauses over max glue : 0 (0.00 % of all clauses)
323.03/44.29 c conflicts : 97122 (2253.39 / sec)
323.03/44.29 c decisions : 698343 (1.04 % random)
323.03/44.29 c bogo-props : 658126610 (15269600.57 / sec)
323.03/44.29 c conflict literals : 5641535 (40.40 % deleted)
323.03/44.29 c Memory used : 1936.61 MB
323.03/44.29 c single-thread CPU time : 43.10 s
323.03/44.29 c all-threads sum CPU time : 321.50 s
323.03/44.29 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3321231-1304332715/watcher-3321231-1304332715 -o /tmp/evaluation-result-3321231-1304332715/solver-3321231-1304332715 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321231-1304332715.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: 0.00 0.12 2.09 1/203 23377
/proc/meminfo: memFree=24952844/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 23047 352 299 106 0 18018 0
[pid=23377/tid=23378] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.0232921 s]
/proc/loadavg: 0.00 0.12 2.09 1/203 23377
/proc/meminfo: memFree=24952844/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=92188 CPUtime=0.08 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 412 0 0 0 8 0 0 0 21 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 23047 352 299 106 0 18018 0
[pid=23377/tid=23378] ppid=23375 vsize=92188 CPUtime=0.02 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=92188 CPUtime=0.01 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=92188 CPUtime=0.01 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=92188 CPUtime=0.01 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=92188 CPUtime=0 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544870382 94400512 352 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743815090 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 92188
[startup+0.10131 s]
/proc/loadavg: 0.00 0.12 2.09 1/203 23377
/proc/meminfo: memFree=24952844/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=644948 CPUtime=0.61 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) S 23375 23377 23351 0 -1 4202496 18544 0 0 0 47 14 0 0 17 0 8 0 544870382 660426752 14771 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 161237 14771 339 106 0 156208 0
[pid=23377/tid=23378] ppid=23375 vsize=644948 CPUtime=0.08 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 2241 0 0 0 7 1 0 0 18 0 8 0 544870382 660426752 14771 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272349893 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=644948 CPUtime=0.04 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) D 23375 23377 23351 0 -1 4202560 2214 0 0 0 3 1 0 0 17 0 8 0 544870382 660426752 14771 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=644948 CPUtime=0.07 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 2242 0 0 0 6 1 0 0 18 0 8 0 544870382 660426752 14771 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=644948 CPUtime=0.06 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 2368 0 0 0 5 1 0 0 17 0 8 0 544870382 660426752 14771 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=644948 CPUtime=0.07 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 1950 0 0 0 5 2 0 0 17 0 8 0 544870382 660426752 14771 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=644948 CPUtime=0.08 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 2603 0 0 0 7 1 0 0 18 0 8 0 544870382 660426752 14771 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=644948 CPUtime=0.06 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 2260 0 0 0 5 1 0 0 18 0 8 0 544870382 660426752 14771 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 644948
[startup+0.302323 s]
/proc/loadavg: 0.00 0.12 2.09 1/203 23377
/proc/meminfo: memFree=24952844/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=653820 CPUtime=1.98 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) S 23375 23377 23351 0 -1 4202496 33107 0 0 0 153 45 0 0 17 0 8 0 544870382 669511680 29335 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 163455 29357 341 106 0 158426 0
[pid=23377/tid=23378] ppid=23375 vsize=653820 CPUtime=0.26 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 4596 0 0 0 22 4 0 0 18 0 8 0 544870382 669511680 29370 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272354223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=653820 CPUtime=0.21 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 3670 0 0 0 16 5 0 0 17 0 8 0 544870382 669511680 29384 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=653820 CPUtime=0.25 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 4449 0 0 0 20 5 0 0 18 0 8 0 544870382 669511680 29400 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=653820 CPUtime=0.22 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 3736 0 0 0 16 6 0 0 17 0 8 0 544870382 669511680 29413 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=653820 CPUtime=0.22 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 3359 0 0 0 17 5 0 0 17 0 8 0 544870382 669511680 29427 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272794094 0 0 4096 2 18446604471163498688 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=653820 CPUtime=0.26 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 5159 0 0 0 22 4 0 0 18 0 8 0 544870382 669511680 29434 33554432000 4194304 4627427 140735841102736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=653820 CPUtime=0.23 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 4308 0 0 0 18 5 0 0 17 0 8 0 544870382 669511680 29469 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272688955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 653820
[startup+0.826157 s]
/proc/loadavg: 0.00 0.12 2.09 1/203 23377
/proc/meminfo: memFree=24952844/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=662740 CPUtime=6.01 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 50655 0 0 0 540 61 0 0 18 0 8 0 544870382 678645760 46879 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 165685 46879 364 106 0 160656 0
[pid=23377/tid=23378] ppid=23375 vsize=662740 CPUtime=0.77 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 6450 0 0 0 72 5 0 0 18 0 8 0 544870382 678645760 46880 33554432000 4194304 4627427 140735841102736 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=662740 CPUtime=0.71 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 6080 0 0 0 64 7 0 0 18 0 8 0 544870382 678645760 46881 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=662740 CPUtime=0.76 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 6372 0 0 0 69 7 0 0 18 0 8 0 544870382 678645760 46881 33554432000 4194304 4627427 140735841102736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=662740 CPUtime=0.72 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 6284 0 0 0 64 8 0 0 18 0 8 0 544870382 678645760 46881 33554432000 4194304 4627427 140735841102736 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=662740 CPUtime=0.73 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 5747 0 0 0 65 8 0 0 18 0 8 0 544870382 678645760 46881 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=662740 CPUtime=0.77 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 6667 0 0 0 72 5 0 0 18 0 8 0 544870382 678645760 46881 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=662740 CPUtime=0.74 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 6303 0 0 0 67 7 0 0 18 0 8 0 544870382 678645760 46881 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 662740
[startup+1.50103 s]
/proc/loadavg: 0.00 0.12 2.09 9/211 23386
/proc/meminfo: memFree=24728464/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=680076 CPUtime=11.27 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 76324 0 0 0 1057 70 0 0 19 0 8 0 544870382 696397824 72547 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 170019 72550 367 106 0 164990 0
[pid=23377/tid=23378] ppid=23375 vsize=680076 CPUtime=1.43 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 10477 0 0 0 137 6 0 0 18 0 8 0 544870382 696397824 72552 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=680076 CPUtime=1.36 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 9345 0 0 0 128 8 0 0 18 0 8 0 544870382 696397824 72554 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=680076 CPUtime=1.42 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 10359 0 0 0 134 8 0 0 18 0 8 0 544870382 696397824 72554 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=680076 CPUtime=1.38 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 9595 0 0 0 128 10 0 0 18 0 8 0 544870382 696397824 72554 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=680076 CPUtime=1.38 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 9087 0 0 0 129 9 0 0 18 0 8 0 544870382 696397824 72554 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=680076 CPUtime=1.42 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 11105 0 0 0 135 7 0 0 19 0 8 0 544870382 696397824 72555 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=680076 CPUtime=1.4 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 6613 0 0 0 133 7 0 0 18 0 8 0 544870382 696397824 72555 33554432000 4194304 4627427 140735841102736 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.27
Current children cumulated vsize (KiB) 680076
[startup+3.10076 s]
/proc/loadavg: 0.00 0.12 2.09 9/211 23386
/proc/meminfo: memFree=24495096/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=976912 CPUtime=23.91 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 140370 0 0 0 2299 92 0 0 21 0 8 0 544870382 1000357888 136593 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 244228 136593 368 106 0 239199 0
[pid=23377/tid=23378] ppid=23375 vsize=976912 CPUtime=3.01 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 19007 0 0 0 292 9 0 0 20 0 8 0 544870382 1000357888 136593 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=976912 CPUtime=2.93 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 18697 0 0 0 282 11 0 0 18 0 8 0 544870382 1000357888 136593 33554432000 4194304 4627427 140735841102736 18446744073709551615 4238529 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=976912 CPUtime=3 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 19019 0 0 0 289 11 0 0 20 0 8 0 544870382 1000357888 136593 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=976912 CPUtime=2.96 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 18980 0 0 0 283 13 0 0 19 0 8 0 544870382 1000357888 136593 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=976912 CPUtime=2.96 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 18391 0 0 0 283 13 0 0 20 0 8 0 544870382 1000357888 136593 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=976912 CPUtime=3.01 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 19276 0 0 0 290 11 0 0 23 0 8 0 544870382 1000357888 136593 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=976912 CPUtime=2.99 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 7592 0 0 0 292 7 0 0 20 0 8 0 544870382 1000357888 136593 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.91
Current children cumulated vsize (KiB) 976912
[startup+6.30119 s]
/proc/loadavg: 0.64 0.25 2.12 9/211 23386
/proc/meminfo: memFree=24254536/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=1080252 CPUtime=49.47 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 192738 0 0 0 4840 107 0 0 18 0 8 0 544870382 1106178048 179579 33554432000 4194304 4627427 140735841102736 18446744073709551615 4515680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 270063 179579 387 106 0 265034 0
[pid=23377/tid=23378] ppid=23375 vsize=1080252 CPUtime=6.22 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 26581 0 0 0 611 11 0 0 25 0 8 0 544870382 1106178048 179579 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=1080252 CPUtime=6.12 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 26159 0 0 0 598 14 0 0 18 0 8 0 544870382 1106178048 179579 33554432000 4194304 4627427 140735841102736 18446744073709551615 4515596 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=1080252 CPUtime=6.2 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 27266 0 0 0 607 13 0 0 25 0 8 0 544870382 1106178048 179579 33554432000 4194304 4627427 140735841102736 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=1080252 CPUtime=6.15 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 25222 0 0 0 601 14 0 0 18 0 8 0 544870382 1106178048 179579 33554432000 4194304 4627427 140735841102736 18446744073709551615 4258985 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=1080252 CPUtime=6.16 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 24977 0 0 0 600 16 0 0 21 0 8 0 544870382 1106178048 179579 33554432000 4194304 4627427 140735841102736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=1080252 CPUtime=6.21 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 25826 0 0 0 609 12 0 0 25 0 8 0 544870382 1106178048 179579 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=1080252 CPUtime=6.2 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 10019 0 0 0 612 8 0 0 25 0 8 0 544870382 1106178048 179579 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=23377] ppid=23375 vsize=1630416 CPUtime=202.97 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 365170 0 0 0 20144 153 0 0 25 0 8 0 544870382 1669545984 294966 33554432000 4194304 4627427 140735841102736 18446744073709551615 4420196 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 407604 294966 391 106 0 402575 0
[pid=23377/tid=23378] ppid=23375 vsize=1630416 CPUtime=25.41 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 48049 0 0 0 2525 16 0 0 25 0 8 0 544870382 1669545984 294966 33554432000 4194304 4627427 140735841102736 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=1630416 CPUtime=25.19 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 49450 0 0 0 2500 19 0 0 25 0 8 0 544870382 1669545984 294966 33554432000 4194304 4627427 140735841102736 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=1630416 CPUtime=25.4 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 46517 0 0 0 2523 17 0 0 25 0 8 0 544870382 1669545984 294966 33554432000 4194304 4627427 140735841102736 18446744073709551615 4424307 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=1630416 CPUtime=25.36 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 43449 0 0 0 2516 20 0 0 25 0 8 0 544870382 1669545984 294966 33554432000 4194304 4627427 140735841102736 18446744073709551615 4424446 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=1630416 CPUtime=25.37 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 44743 0 0 0 2516 21 0 0 25 0 8 0 544870382 1669545984 294966 33554432000 4194304 4627427 140735841102736 18446744073709551615 4423738 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=1630416 CPUtime=25.42 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 45847 0 0 0 2522 20 0 0 25 0 8 0 544870382 1669545984 294966 33554432000 4194304 4627427 140735841102736 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=1630416 CPUtime=25.39 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 38171 0 0 0 2523 16 0 0 25 0 8 0 544870382 1669545984 294966 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.97
Current children cumulated vsize (KiB) 1630416
Solver just ended. Dumping a history of the last processes samples
[startup+25.7008 s]
/proc/loadavg: 2.79 0.77 2.25 9/211 23386
/proc/meminfo: memFree=23775708/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=1630688 CPUtime=204.52 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 365967 0 0 0 20298 154 0 0 25 0 8 0 544870382 1669824512 295764 33554432000 4194304 4627427 140735841102736 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 407672 295781 391 106 0 402643 0
[pid=23377/tid=23378] ppid=23375 vsize=1630688 CPUtime=25.6 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 48092 0 0 0 2544 16 0 0 25 0 8 0 544870382 1669824512 295781 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=1630688 CPUtime=25.38 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 49455 0 0 0 2519 19 0 0 25 0 8 0 544870382 1669824512 295781 33554432000 4194304 4627427 140735841102736 18446744073709551615 4428398 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=1630688 CPUtime=25.59 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 47081 0 0 0 2542 17 0 0 25 0 8 0 544870382 1669824512 295781 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272386159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=1630688 CPUtime=25.56 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 43449 0 0 0 2536 20 0 0 25 0 8 0 544870382 1669824512 295781 33554432000 4194304 4627427 140735841102736 18446744073709551615 4462854 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=1630688 CPUtime=25.56 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 44752 0 0 0 2535 21 0 0 25 0 8 0 544870382 1669824512 295782 33554432000 4194304 4627427 140735841102736 18446744073709551615 4424101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=1630688 CPUtime=25.61 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 45990 0 0 0 2541 20 0 0 25 0 8 0 544870382 1669824512 295782 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=1630688 CPUtime=25.58 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 38222 0 0 0 2542 16 0 0 25 0 8 0 544870382 1669824512 295783 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 1630688
[startup+32.1077 s]
/proc/loadavg: 3.21 0.89 2.28 8/211 23386
/proc/meminfo: memFree=23612016/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=1771324 CPUtime=253.89 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 416756 0 0 0 25224 165 0 0 25 0 8 0 544870382 1813835776 335661 33554432000 4194304 4627427 140735841102736 18446744073709551615 4324672 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 442831 335661 391 106 0 437802 0
[pid=23377/tid=23378] ppid=23375 vsize=1771324 CPUtime=32.01 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 52143 0 0 0 3183 18 0 0 25 0 8 0 544870382 1813835776 335662 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743813635 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=1771324 CPUtime=30.87 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 51520 0 0 0 3067 20 0 0 22 0 8 0 544870382 1813835776 335662 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=1771324 CPUtime=31.5 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 51166 0 0 0 3132 18 0 0 25 0 8 0 544870382 1813835776 335662 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743813662 0 0 4096 2 18446604471163498688 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=1771324 CPUtime=31.96 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 55227 0 0 0 3174 22 0 0 25 0 8 0 544870382 1813835776 335662 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=1771324 CPUtime=31.96 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 51645 0 0 0 3174 22 0 0 25 0 8 0 544870382 1813835776 335662 33554432000 4194304 4627427 140735841102736 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=1771324 CPUtime=32.01 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 49940 0 0 0 3180 21 0 0 25 0 8 0 544870382 1813835776 335662 33554432000 4194304 4627427 140735841102736 18446744073709551615 4428403 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=1771324 CPUtime=31.71 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 51577 0 0 0 3152 19 0 0 25 0 8 0 544870382 1813835776 335662 33554432000 4194304 4627427 140735841102736 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 253.89
Current children cumulated vsize (KiB) 1771324
[startup+38.5005 s]
/proc/loadavg: 3.59 1.01 2.31 9/211 23387
/proc/meminfo: memFree=23579584/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=1852008 CPUtime=303.92 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) R 23375 23377 23351 0 -1 4202496 440238 0 0 0 30222 170 0 0 25 0 8 0 544870382 1896456192 343934 33554432000 4194304 4627427 140735841102736 18446744073709551615 4534832 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23377/statm: 463002 343934 391 106 0 457973 0
[pid=23377/tid=23378] ppid=23375 vsize=1852008 CPUtime=37.98 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 54362 0 0 0 3780 18 0 0 25 0 8 0 544870382 1896456192 343934 33554432000 4194304 4627427 140735841102736 18446744073709551615 4424512 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=1852008 CPUtime=37.23 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 55643 0 0 0 3702 21 0 0 25 0 8 0 544870382 1896456192 343934 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=1852008 CPUtime=37.49 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 54320 0 0 0 3730 19 0 0 25 0 8 0 544870382 1896456192 343934 33554432000 4194304 4627427 140735841102736 18446744073709551615 4327595 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=1852008 CPUtime=38.35 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 57686 0 0 0 3812 23 0 0 25 0 8 0 544870382 1896456192 343935 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=1852008 CPUtime=38.1 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 54069 0 0 0 3788 22 0 0 25 0 8 0 544870382 1896456192 343935 33554432000 4194304 4627427 140735841102736 18446744073709551615 4308971 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=1852008 CPUtime=38.41 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 54705 0 0 0 3819 22 0 0 25 0 8 0 544870382 1896456192 343935 33554432000 4194304 4627427 140735841102736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=1852008 CPUtime=38.1 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 53736 0 0 0 3790 20 0 0 25 0 8 0 544870382 1896456192 343935 33554432000 4194304 4627427 140735841102736 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 303.92
Current children cumulated vsize (KiB) 1852008
[startup+41.701 s]
/proc/loadavg: 3.94 1.12 2.35 4/211 23387
/proc/meminfo: memFree=23575716/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=1917544 CPUtime=318.01 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) S 23375 23377 23351 0 -1 4202496 442587 0 0 0 31630 171 0 0 25 0 8 0 544870382 1963565056 344425 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23377/statm: 479386 344425 391 106 0 474357 0
[pid=23377/tid=23378] ppid=23375 vsize=1917544 CPUtime=39.27 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54474 0 0 0 3909 18 0 0 25 0 8 0 544870382 1963565056 344425 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=1917544 CPUtime=40.42 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 55992 0 0 0 4021 21 0 0 25 0 8 0 544870382 1963565056 344425 33554432000 4194304 4627427 140735841102736 18446744073709551615 268272349320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=1917544 CPUtime=40.69 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 54447 0 0 0 4050 19 0 0 25 0 8 0 544870382 1963565056 344425 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743790276 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=1917544 CPUtime=39.27 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 58849 0 0 0 3904 23 0 0 25 0 8 0 544870382 1963565056 344425 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=1917544 CPUtime=39.03 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54101 0 0 0 3881 22 0 0 25 0 8 0 544870382 1963565056 344425 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=1917544 CPUtime=39.33 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54896 0 0 0 3911 22 0 0 25 0 8 0 544870382 1963565056 344425 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=1917544 CPUtime=39.02 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 53743 0 0 0 3882 20 0 0 25 0 8 0 544870382 1963565056 344425 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 318.01
Current children cumulated vsize (KiB) 1917544
[startup+43.3007 s]
/proc/loadavg: 3.94 1.12 2.35 3/211 23387
/proc/meminfo: memFree=23574596/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=1983080 CPUtime=321.21 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) S 23375 23377 23351 0 -1 4202496 443563 0 0 0 31950 171 0 0 25 0 8 0 544870382 2030673920 344766 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23377/statm: 495770 344766 391 106 0 490741 0
[pid=23377/tid=23378] ppid=23375 vsize=1983080 CPUtime=39.27 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54474 0 0 0 3909 18 0 0 25 0 8 0 544870382 2030673920 344766 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=1983080 CPUtime=42.02 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 56968 0 0 0 4181 21 0 0 25 0 8 0 544870382 2030673920 344766 33554432000 4194304 4627427 140735841102736 18446744073709551615 4423698 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=1983080 CPUtime=42.29 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 54447 0 0 0 4210 19 0 0 25 0 8 0 544870382 2030673920 344766 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743790123 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=1983080 CPUtime=39.27 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 58849 0 0 0 3904 23 0 0 25 0 8 0 544870382 2030673920 344766 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=1983080 CPUtime=39.03 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54101 0 0 0 3881 22 0 0 25 0 8 0 544870382 2030673920 344766 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=1983080 CPUtime=39.33 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54896 0 0 0 3911 22 0 0 25 0 8 0 544870382 2030673920 344766 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=1983080 CPUtime=39.02 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 53743 0 0 0 3882 20 0 0 25 0 8 0 544870382 2030673920 344766 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 321.21
Current children cumulated vsize (KiB) 1983080
[startup+44.1005 s]
/proc/loadavg: 3.79 1.14 2.34 4/211 23387
/proc/meminfo: memFree=23573108/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=1983080 CPUtime=322.82 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) S 23375 23377 23351 0 -1 4202496 443923 0 0 0 32111 171 0 0 25 0 8 0 544870382 2030673920 345119 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23377/statm: 495770 345119 391 106 0 490741 0
[pid=23377/tid=23378] ppid=23375 vsize=1983080 CPUtime=39.27 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54474 0 0 0 3909 18 0 0 25 0 8 0 544870382 2030673920 345119 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 6 0 0 0
[pid=23377/tid=23379] ppid=23375 vsize=1983080 CPUtime=42.83 cores=0-7
/proc/23377/task/23379/stat : 23379 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 57328 0 0 0 4262 21 0 0 25 0 8 0 544870382 2030673920 345119 33554432000 4194304 4627427 140735841102736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23377/tid=23380] ppid=23375 vsize=1983080 CPUtime=43.1 cores=0-7
/proc/23377/task/23380/stat : 23380 (strangenight2-m) R 23375 23377 23351 0 -1 4202560 54447 0 0 0 4291 19 0 0 25 0 8 0 544870382 2030673920 345119 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743790123 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23377/tid=23381] ppid=23375 vsize=1983080 CPUtime=39.27 cores=0-7
/proc/23377/task/23381/stat : 23381 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 58849 0 0 0 3904 23 0 0 25 0 8 0 544870382 2030673920 345119 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 5 0 0 0
[pid=23377/tid=23382] ppid=23375 vsize=1983080 CPUtime=39.03 cores=0-7
/proc/23377/task/23382/stat : 23382 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54101 0 0 0 3881 22 0 0 25 0 8 0 544870382 2030673920 345119 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 1 0 0 0
[pid=23377/tid=23383] ppid=23375 vsize=1983080 CPUtime=39.33 cores=0-7
/proc/23377/task/23383/stat : 23383 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 54896 0 0 0 3911 22 0 0 25 0 8 0 544870382 2030673920 345119 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 0 0 0 0
[pid=23377/tid=23384] ppid=23375 vsize=1983080 CPUtime=39.02 cores=0-7
/proc/23377/task/23384/stat : 23384 (strangenight2-m) S 23375 23377 23351 0 -1 4202560 53743 0 0 0 3882 20 0 0 25 0 8 0 544870382 2030673920 345119 33554432000 4194304 4627427 140735841102736 18446744073709551615 47520743814708 0 0 4096 2 18446604471163498688 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 322.82
Current children cumulated vsize (KiB) 1983080
[startup+44.3005 s]
/proc/loadavg: 3.79 1.14 2.34 4/211 23387
/proc/meminfo: memFree=23573108/32950928 swapFree=67111464/67111528
[pid=23377] ppid=23375 vsize=0 CPUtime=323.2 cores=0-7
/proc/23377/stat : 23377 (strangenight2-m) Z 23375 23377 23351 0 -1 4203548 443927 0 0 0 32149 171 0 0 18 0 2 0 544870382 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23377/statm: 0 0 0 0 0 0 0
[pid=23377/tid=23378] ppid=23375 vsize=0 CPUtime=39.28 cores=0-7
/proc/23377/task/23378/stat : 23378 (strangenight2-m) R 23375 23377 23351 0 -1 4203588 54474 0 0 0 3909 19 0 0 18 0 2 0 544870382 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 323.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 44.3713
CPU time (s): 323.276
CPU user time (s): 321.498
CPU system time (s): 1.77773
CPU usage (%): 728.569
Max. virtual memory (cumulated for all children) (KiB): 1983080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.498
system time used= 1.77773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443927
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= 95799
involuntary context switches= 1378
runsolver used 0.078987 second user time and 0.211967 second system time
The end
Begin job on node122 at 2011-05-02 12:38:36
IDJOB=3321231
IDBENCH=84172
IDSOLVER=1709
FILE ID=node122/3321231-1304332715
RUNJOBID= node122-1304332712-23365
PBS_JOBID= 13177724
Free space on /tmp= 73640 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321231-1304332715/watcher-3321231-1304332715 -o /tmp/evaluation-result-3321231-1304332715/solver-3321231-1304332715 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321231-1304332715.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8bd122b0caab0988cbc54e4731b25623
RANDOM SEED=2025499642
node122.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.820
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.64
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.820
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.820
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.820
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 : 5332.97
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 24953380 kB
Buffers: 372288 kB
Cached: 1953148 kB
SwapCached: 64 kB
Active: 5766720 kB
Inactive: 1868148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24953380 kB
SwapTotal: 67111528 kB
SwapFree: 67111464 kB
Dirty: 15972 kB
Writeback: 0 kB
AnonPages: 5309256 kB
Mapped: 18260 kB
Slab: 284804 kB
PageTables: 15988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 5688504 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= 73636 MiB
End job on node122 at 2011-05-02 12:39:20