Trace number 3257359

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.18 1201.73

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
MD5SUM3b5e80540ef2fcb09cfe50ac7e3686c1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark135.155
Satisfiable
(Un)Satisfiability was proved
Number of variables8713
Number of clauses99699
Sum of the clauses size335345
Maximum clause length81
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 210866
Number of clauses of size 367270
Number of clauses of size 410556
Number of clauses of size 510773
Number of clauses of size over 5234

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3257359-1304028702.cnf'
0.00/0.00	c -- header says num vars:           8713
0.00/0.00	c -- header says num clauses:       99699
0.00/0.04	c -- clauses added:            0 learnts,        99699 normals,            0 xors
0.00/0.04	c -- vars added       8713
0.00/0.04	c Parsing time:  0.03 s
0.00/0.04	c  N st     0         0      8713     88833     10866         0    335345         0   no data   no data
2.12/0.62	c asymm  cl-useful: 0/22769/88833 lits-rem:0 time: 0.57
2.52/0.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   16 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.08
2.52/0.70	c Replacing       16 vars Replaced      376 lits Time:     0.00 s 
2.52/0.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.52/0.73	c bin-w-bin subsume rem            4 bins  time:  0.00 s
2.52/0.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2.52/0.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8697 time:  0.01 s
2.52/0.76	c Removed useless bin:       0  fixed:     0  props:   1.26M  time:  0.01 s
3.32/0.91	c lits-rem:         0  cl-subs:     5184  v-elim:      2  v-fix:    0  time:  0.15 s
3.32/0.91	c Finding binary XORs  T:     0.00 s  found:       4
3.32/0.91	c Replacing        4 vars Replaced      116 lits Time:     0.00 s 
3.32/0.94	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.32/0.94	c calculated reachability. Time: 0.00
3.32/0.94	c Calc default polars -  time:   0.00 s pos:     828 undec:      22 neg:    7863
3.32/0.94	c =========================================================================================
3.32/0.94	c types(t): F = full restart, N = normal restart
3.32/0.94	c types(t): S = simplification begin/end, E = solution found
3.32/0.94	c restart types(rt): st = static, dy = dynamic
3.32/0.94	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.32/0.94	c  B st     0         0      8691     83655     10840         0    319765         0   no data   no data
8.12/2.17	c  N dy    17      4047      8691     83655     11266      3615    319765    266277     14.42     15.19
12.51/3.25	c Finding binary XORs  T:     0.00 s  found:       0
14.50/3.72	c  N dy    44      8135      8691     83655     12192      6810    319765    529094     14.92     15.98
19.70/5.06	c  N dy    77     12153      8691     83655     13089      9914    319765    980814     17.23     19.17
22.11/5.61	c Finding binary XORs  T:     0.00 s  found:       0
24.89/6.39	c  N dy   116     16268      8691     83655     13779     13333    319765   1670050     20.16     21.39
30.50/7.77	c  N dy   152     20468      8691     83655     14344      8699    319765    493851     22.08     24.33
33.26/8.40	c Finding binary XORs  T:     0.00 s  found:       0
34.88/8.84	c  N dy   180     24558      8691     83655     14909     12202    319765   1157856     22.81     29.83
35.29/8.93	c  F st   185     25001      8691     83655     14934     12619    319765   1262888     23.02   no data
40.46/10.23	c  N dy   191     30001      8691     83655     15306     17202    319765   2391149     23.02   no data
40.46/10.23	c  S st   191     30001      8691     83655     15306     17202    319765   2391149     23.02   no data
40.86/10.34	c  S st   191     30501      8691     83655     15627     17459    319765   2392961     23.02   no data
40.86/10.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
42.46/10.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  64610 BRemL:    358 BRemN:      0 P:  7.9M T:  0.38
42.46/10.75	c blocked clauses removed:        0 vars:      0 tried:        8691 T: 0.01 s
42.46/10.76	c bin-w-bin subsume rem           18 bins  time:  0.01 s
42.86/10.82	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.06 s
42.86/10.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8691 time:  0.02 s
42.86/10.85	c Removed useless bin:       0  fixed:     0  props:   0.79M  time:  0.01 s
43.26/10.96	c lits-rem:         0  cl-subs:       11  v-elim:      4  v-fix:    0  time:  0.11 s
50.04/12.67	c subs with bin:      279  lits-rem:      1354  v-fix:    0  time:  1.59 s
59.63/15.07	c lits-rem:       460  cl-subs:      453  v-elim:      0  v-fix:    0  time:  2.39 s
61.25/15.43	c asymm  cl-useful: 0/11597/83647 lits-rem:0 time: 0.36
61.25/15.43	c calculated reachability. Time: 0.00
61.25/15.44	c  N dy   191     30501      8687     83647     79857     16726    319699   2489477     23.02   no data
61.25/15.44	c Finding binary XORs  T:     0.01 s  found:       0
65.64/16.59	c  N dy   231     34519      8687     83647     79865     20697    319699   3530915     25.14     28.93
70.81/17.85	c  N dy   271     38546      8687     83647     83114     24674    319699   4603294     26.91     36.75
76.00/19.12	c  N dy   305     42612      8687     83647     83200     14756    319699   1648080     27.89     30.89
79.23/19.91	c  S st   336     45751      8687     83647     83229     17839    319699   2460567     28.65   no data
79.60/20.04	c  S st   336     46251      8687     83647     83420     18148    319699   2462318     28.65   no data
79.60/20.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
80.80/20.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   5358 BRemL:   1656 BRemN:      0 P:  7.6M T:  0.33
81.20/20.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.20/20.42	c bin-w-bin subsume rem            9 bins  time:  0.01 s
81.20/20.49	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.07 s
81.60/20.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8687 time:  0.02 s
81.60/20.52	c Removed useless bin:       0  fixed:     0  props:   0.74M  time:  0.01 s
82.00/20.63	c lits-rem:         1  cl-subs:        4  v-elim:      2  v-fix:    0  time:  0.11 s
89.19/22.41	c subs with bin:       96  lits-rem:      1061  v-fix:    0  time:  1.72 s
94.79/23.86	c lits-rem:        76  cl-subs:      125  v-elim:      0  v-fix:    0  time:  1.44 s
94.79/23.88	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.01
95.58/24.02	c vivif2 --  cl tried    17927 cl shrink     8661 lits rem     159717 time: 0.14
96.81/24.34	c asymm  cl-useful: 0/12016/83643 lits-rem:0 time: 0.32
96.81/24.35	c calculated reachability. Time: 0.00
96.81/24.35	c  N dy   336     46251      8685     83643     87189     17857    319673   2295395     28.65   no data
96.81/24.35	c Finding binary XORs  T:     0.01 s  found:       0
101.57/25.54	c  N dy   376     50343      8685     83643     87208     21907    319673   3368066     29.49     35.63
106.37/26.78	c  N dy   412     54373      8685     83643     87222     25893    319673   4441237     30.05     36.13
112.77/28.32	c  N dy   452     58596      8685     83643     89193     30048    319673   5537496     30.56     32.26
118.37/29.79	c  N dy   485     62633      8685     83643     90120     34034    319673   6633983     31.03     35.26
123.95/31.14	c Finding binary XORs  T:     0.01 s  found:       0
123.95/31.18	c  N dy   523     66746      8685     83643     90267     20447    319673   2763556     31.46     33.21
127.17/31.98	c  S st   548     69377      8685     83643     90269     23054    319673   3504006     31.81   no data
127.95/32.11	c  S st   548     69877      8685     83643     90474     23346    319673   3506176     31.81   no data
127.95/32.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
129.14/32.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4305 BRemL:    901 BRemN:      0 P:  8.3M T:  0.31
129.14/32.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.14/32.45	c bin-w-bin subsume rem           78 bins  time:  0.01 s
129.54/32.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
129.54/32.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
129.54/32.54	c Removed useless bin:       0  fixed:     0  props:   0.80M  time:  0.01 s
129.94/32.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
136.74/34.36	c subs with bin:       62  lits-rem:       159  v-fix:    0  time:  1.63 s
149.92/37.67	c lits-rem:       210  cl-subs:      115  v-elim:      0  v-fix:    0  time:  3.30 s
149.92/37.69	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.01
150.71/37.85	c vivif2 --  cl tried    23169 cl shrink     6750 lits rem     180388 time: 0.15
151.91/38.16	c asymm  cl-useful: 0/11302/83643 lits-rem:0 time: 0.32
151.91/38.17	c calculated reachability. Time: 0.00
151.91/38.17	c  N dy   548     69877      8685     83643     93802     23167    319673   3314390     31.81   no data
157.92/39.69	c  N dy   581     74422      8685     83643     93875     27649    319673   4554135     32.09     39.51
166.30/41.75	c Finding binary XORs  T:     0.01 s  found:       0
166.72/41.86	c  N dy   625     79264      8685     83643    100139     32426    319673   5838036     32.54     35.29
175.91/44.17	c  N dy   664     84406      8685     83643    100145     37526    319673   7274009     32.84     34.67
181.08/45.44	c  F st   685     87501      8685     83643    100154     20469    319673   2427821     33.00   no data
182.29/45.77	c  N st   690     90798      8685     83643    100154     23666    319673   3137175     33.00   no data
186.28/46.73	c  N dy   694     96717      8685     83643    100154     29416    319673   4432938     32.86     34.62
192.27/48.28	c  N dy   742    103307      8685     83643    100154     35867    319673   5694781     33.23     35.11
193.86/48.60	c  S st   743    104816      8685     83643    100154     37333    319673   5988613     33.15     29.20
194.66/48.86	c  S st   743    105316      8685     83643    102926     37619    319673   5995333     33.15   no data
194.66/48.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
197.06/49.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3059 BRemL:    851 BRemN:      0 P: 17.4M T:  0.61
197.06/49.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
197.47/49.51	c bin-w-bin subsume rem            2 bins  time:  0.02 s
197.47/49.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
197.47/49.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
197.87/49.61	c Removed useless bin:       0  fixed:     0  props:   0.91M  time:  0.01 s
198.26/49.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
205.45/51.59	c subs with bin:       29  lits-rem:       329  v-fix:    0  time:  1.66 s
241.42/60.54	c lits-rem:       785  cl-subs:      519  v-elim:      0  v-fix:    0  time:  8.94 s
241.42/60.56	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
242.60/60.80	c vivif2 --  cl tried    37071 cl shrink    11337 lits rem     159884 time: 0.24
243.80/61.19	c asymm  cl-useful: 0/10227/83643 lits-rem:0 time: 0.39
244.20/61.20	c calculated reachability. Time: 0.00
244.20/61.20	c  N dy   743    105316      8685     83643    105134     37069    319673   5705031     33.15   no data
244.20/61.21	c Finding binary XORs  T:     0.01 s  found:       0
254.18/63.73	c  N dy   773    112117      8685     83643    105134     22090    319673   2152031     33.26     37.68
260.58/65.35	c  N dy   788    120120      8685     83643    105134     29892    319673   3848066     33.09     34.92
278.96/69.93	c  N dy   791    135436      8685     83643    105134     44828    319673   7092705     32.34     34.08
289.35/72.52	c  N dy   820    145696      8685     83643    105135     31832    319673   3981025     32.34     34.05
293.34/73.56	c Finding binary XORs  T:     0.01 s  found:       0
303.35/76.03	c  N dy   840    157976      8685     83643    107271     43790    319673   6522433     32.13     29.71
303.35/76.03	c  S st   840    157976      8685     83643    107271     43790    319673   6522433     32.13     29.71
304.53/76.39	c  S st   840    158477      8685     83643    107447     44114    319673   6524912     32.13   no data
304.93/76.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
308.52/77.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1033 BRemL:    180 BRemN:      0 P: 25.5M T:  0.92
308.52/77.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
308.52/77.36	c bin-w-bin subsume rem            2 bins  time:  0.01 s
308.92/77.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
308.92/77.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
308.92/77.46	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
309.32/77.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
317.31/79.53	c subs with bin:      299  lits-rem:       199  v-fix:    0  time:  1.77 s
396.01/99.26	c lits-rem:       325  cl-subs:      819  v-elim:      0  v-fix:    0  time: 19.72 s
396.01/99.28	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
397.20/99.58	c vivif2 --  cl tried    42996 cl shrink    17769 lits rem     258375 time: 0.30
398.81/99.91	c asymm  cl-useful: 0/8443/83643 lits-rem:0 time: 0.33
398.81/99.92	c calculated reachability. Time: 0.00
398.81/99.92	c  N dy   840    158477      8685     83643    108298     42996    319673   6091699     32.13   no data
410.79/102.91	c Finding binary XORs  T:     0.01 s  found:       0
413.21/103.52	c  N dy   852    168969      8685     83643    116613     29167    319673   3239983     31.96     33.66
489.90/122.77	c  N dy   874    229080      8685     83643    116613     36503    319673   4055429     30.38     32.35
489.90/122.78	c Finding binary XORs  T:     0.01 s  found:       0
499.09/125.01	c  S st   956    237715      8685     83643    119358     44966    319673   7513924     30.82     31.27
500.29/125.35	c  S st   956    238215      8685     83643    119562     45262    319673   7515958     30.82   no data
500.29/125.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
504.29/126.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1499 BRemL:    524 BRemN:      0 P: 23.8M T:  0.93
504.29/126.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
504.29/126.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
504.69/126.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
504.69/126.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
504.69/126.45	c Removed useless bin:       0  fixed:     0  props:   0.98M  time:  0.01 s
505.10/126.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
511.87/128.27	c subs with bin:       13  lits-rem:       233  v-fix:    0  time:  1.51 s
552.62/138.47	c lits-rem:       114  cl-subs:      514  v-elim:      0  v-fix:    0  time: 10.19 s
552.62/138.48	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
554.22/138.82	c vivif2 --  cl tried    44735 cl shrink    15691 lits rem     287667 time: 0.33
555.42/139.13	c asymm  cl-useful: 0/7289/83643 lits-rem:0 time: 0.31
555.42/139.14	c calculated reachability. Time: 0.00
555.42/139.14	c  N dy   956    238215      8685     83643    120545     44727    319673   7088240     30.82   no data
579.80/145.25	c  N dy  1100    253478      8685     83643    120565     32364    319673   4174695     31.39     39.13
606.95/152.03	c Finding binary XORs  T:     0.01 s  found:       0
608.15/152.33	c  N dy  1260    269747      8685     83643    120575     48400    319673  10711775     32.03     39.87
637.72/159.73	c  N dy  1422    286992      8685     83643    120598     36959    319673   5464453     32.62     37.11
663.71/166.21	c  N dy  1565    305383      8685     83643    120609     55064    319673  11823041     33.02     34.98
664.48/166.48	c  F st  1573    306250      8685     83643    120609     55912    319673  11996173     33.04   no data
692.05/173.38	c  N dy  1595    332676      8685     83643    120609     52231    319673   7107379     32.79     34.56
729.23/182.61	c  N dy  1643    357326      8685     83643    120609     46056    319673   5424173     32.67     29.44
729.23/182.61	c  S st  1643    357326      8685     83643    120609     46056    319673   5424173     32.67     29.44
730.41/182.98	c  S st  1643    357827      8685     83643    120804     46361    319673   5426035     32.67   no data
730.81/183.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
735.20/184.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1988 BRemL:     42 BRemN:      0 P: 26.2M T:  1.12
735.20/184.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
735.20/184.15	c bin-w-bin subsume rem            8 bins  time:  0.02 s
735.60/184.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
735.60/184.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
735.60/184.27	c Removed useless bin:       0  fixed:     0  props:   0.98M  time:  0.01 s
736.00/184.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
744.38/186.40	c subs with bin:       83  lits-rem:        87  v-fix:    0  time:  1.88 s
780.75/195.55	c lits-rem:        37  cl-subs:      425  v-elim:      0  v-fix:    0  time:  9.14 s
780.75/195.57	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
781.55/195.77	c vivif2 --  cl tried    45853 cl shrink    10958 lits rem     171463 time: 0.20
783.14/196.15	c asymm  cl-useful: 0/3963/83643 lits-rem:0 time: 0.38
783.14/196.16	c calculated reachability. Time: 0.00
783.14/196.16	c  N dy  1643    357827      8685     83643    122742     45853    319673   5180511     32.67   no data
783.14/196.17	c Finding binary XORs  T:     0.01 s  found:       0
803.12/201.14	c Finding binary XORs  T:     0.01 s  found:       0
841.48/210.71	c  N dy  1671    400614      8685     83643    126104     55761    319673   6352567     32.16     33.89
841.48/210.72	c Finding binary XORs  T:     0.01 s  found:       0
865.46/216.76	c  N dy  1707    421740      8685     83643    128205     44560    319673   5212003     32.02     33.87
896.22/224.45	c  N dy  1738    441804      8685     83643    128206     64238    319673   9070682     31.89     33.60
917.78/229.82	c  N dy  1777    462960      8685     83643    128206     51734    319673   6180592     31.83     33.62
947.74/237.36	c  N dy  1816    484099      8685     83643    128206     38240    319673   3374208     31.73     33.49
976.10/244.46	c  N dy  1854    506707      8685     83643    128206     60315    319673   7318801     31.61     33.55
996.49/249.51	c Finding binary XORs  T:     0.01 s  found:       0
1005.67/251.86	c  N dy  1885    527767      8685     83643    133529     45811    319673   4830622     31.52     33.22
1017.25/254.79	c  S st  1903    536743      8685     83643    133543     54643    319673   6607002     31.50   no data
1019.27/255.21	c  S st  1903    537243      8685     83643    133721     54965    319673   6611150     31.50   no data
1019.27/255.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1024.06/256.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1239 BRemL:    289 BRemN:      0 P: 29.6M T:  1.17
1024.06/256.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1024.06/256.44	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1024.44/256.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
1024.44/256.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
1024.44/256.56	c Removed useless bin:       0  fixed:     0  props:   1.00M  time:  0.01 s
1024.84/256.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1032.85/258.66	c subs with bin:       18  lits-rem:       286  v-fix:    0  time:  1.81 s
1084.37/271.59	c lits-rem:        78  cl-subs:      587  v-elim:      0  v-fix:    0  time: 12.93 s
1084.76/271.61	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
1085.58/271.89	c vivif2 --  cl tried    54360 cl shrink    14799 lits rem     206097 time: 0.27
1087.17/272.26	c asymm  cl-useful: 0/3553/83643 lits-rem:0 time: 0.37
1087.17/272.28	c calculated reachability. Time: 0.00
1087.17/272.28	c  N dy  1903    537243      8685     83643    134673     54358    319673   6289295     31.50   no data
1125.14/281.78	c  N dy  1937    561278      8685     83643    134691     41853    319673   3941198     31.31     33.00
1125.14/281.79	c Finding binary XORs  T:     0.01 s  found:       0
1160.29/290.59	c  N dy  1956    591285      8685     83643    134702     71164    319673   9427428     31.09     32.73
1197.43/299.83	c  N dy  1961    623520      8685     83643    134708     65821    319673   8041666     30.85     32.58
1223.39/306.35	c  N dy  2025    644204      8685     83643    134725     47754    319673   4706016     30.85     32.69
1295.71/324.45	c  N dy  2032    696697      8685     83643    134727     60226    319673   6637141     30.37     32.47
1332.86/333.70	c  N dy  2103    718567      8685     83643    134736     41367    319673   3358841     30.39     32.13
1370.83/343.27	c  N dy  2149    746398      8685     83643    134736     68800    319673   8610557     30.28     32.08
1401.98/351.09	c Finding binary XORs  T:     0.01 s  found:       0
1407.56/352.46	c  N dy  2238    766490      8685     83643    137960     47239    319673   4389132     30.32     45.26
1433.53/358.91	c  N dy  2284    786667      8685     83643    137960     66957    319673   7657289     30.29     32.29
1468.28/367.63	c  S st  2359    805865      8685     83643    137960     43636    319673   3558885     30.31     24.44
1469.88/368.00	c  S st  2359    806365      8685     83643    138139     43957    319673   3562619     30.31   no data
1469.88/368.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1473.48/368.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    987 BRemL:     84 BRemN:      0 P: 24.6M T:  0.95
1473.48/368.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1473.88/369.01	c bin-w-bin subsume rem            2 bins  time:  0.02 s
1474.28/369.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
1474.28/369.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
1474.28/369.13	c Removed useless bin:       0  fixed:     0  props:   1.00M  time:  0.01 s
1474.68/369.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1482.27/371.14	c subs with bin:      212  lits-rem:       333  v-fix:    0  time:  1.81 s
1499.85/375.50	c lits-rem:        45  cl-subs:      287  v-elim:      0  v-fix:    0  time:  4.35 s
1499.85/375.52	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
1500.25/375.62	c vivif2 --  cl tried    43458 cl shrink     3993 lits rem      39850 time: 0.10
1501.85/376.02	c asymm  cl-useful: 0/5629/83643 lits-rem:0 time: 0.40
1501.85/376.03	c calculated reachability. Time: 0.00
1501.85/376.03	c  N dy  2359    806365      8685     83643    139040     43458    319673   3493327     30.31   no data
1501.85/376.04	c Finding binary XORs  T:     0.01 s  found:       0
1531.02/383.30	c  N dy  2405    826773      8685     83643    139040     63377    319673   6890745     30.28     31.91
1570.57/393.28	c  N dy  2480    849931      8685     83643    139040     86122    319673  10938175     30.25     31.97
1570.57/393.29	c Finding binary XORs  T:     0.01 s  found:       0
1609.72/403.04	c  N dy  2584    874478      8685     83643    142267     67265    319673   7915264     30.30     32.00
1653.27/413.99	c  N dy  2631    895667      8685     83643    142267     87945    319673  11676055     30.29     31.99
1682.85/421.31	c  N dy  2681    915905      8685     83643    142268     63820    319673   6938453     30.26     31.91
1792.30/448.76	c  N dy  2719    979609      8685     83643    142268     81404    319673   9671254     30.00     31.59
1815.09/454.49	c Finding binary XORs  T:     0.01 s  found:       0
1826.66/457.37	c  N dy  2737    999891      8685     83643    147479     55151    319673   5308265     29.96     31.79
1858.63/465.36	c  N dy  2807   1019967      8685     83643    147485     74800    319673   8774703     29.97     43.68
1901.76/476.10	c  N dy  2851   1040304      8685     83643    147491     47634    319673   3776395     29.97     31.70
1953.71/489.17	c  F st  2891   1071876      8685     83643    147493     78757    319673   9517763     29.87     23.85
1953.71/489.19	c  N st  2891   1071876      8685     83643    147493     78757    319673   9517763     29.87     23.85
2014.42/504.35	c  N dy  2959   1104012      8685     83643    147507     62173    319673   6492737     29.87     31.49
2048.38/512.85	c  N dy  2968   1126574      8685     83643    147518     84225    319673  10482879     29.81     31.54
2088.33/522.89	c  N dy  3049   1146762      8685     83643    147523     54886    319673   4883105     29.83     31.41
2131.09/533.57	c  N dy  3128   1172835      8685     83643    147524     80529    319673   9301908     29.83     31.86
2175.04/544.57	c  N dy  3182   1195968      8685     83643    147524     52982    319673   4424628     29.82     31.41
2199.40/550.69	c  S st  3278   1209547      8685     83643    147524     66342    319673   6775700     29.88   no data
2201.81/551.22	c  S st  3278   1210047      8685     83643    147666     66700    319673   6785775     29.88   no data
2201.81/551.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2207.78/552.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    987 BRemL:    184 BRemN:      0 P: 36.6M T:  1.50
2207.78/552.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2207.78/552.78	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2208.18/552.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
2208.58/552.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
2208.58/552.91	c Removed useless bin:       0  fixed:     0  props:   1.00M  time:  0.01 s
2208.98/553.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2216.97/555.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.88 s
2272.90/569.09	c lits-rem:        93  cl-subs:      432  v-elim:      0  v-fix:    0  time: 13.98 s
2273.30/569.10	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
2274.10/569.34	c vivif2 --  cl tried    66268 cl shrink    11747 lits rem     136743 time: 0.23
2275.70/569.72	c asymm  cl-useful: 0/9613/83643 lits-rem:0 time: 0.37
2275.70/569.73	c calculated reachability. Time: 0.00
2275.70/569.73	c  N dy  3278   1210047      8685     83643    148476     66261    319673   6585834     29.88   no data
2275.70/569.74	c Finding binary XORs  T:     0.01 s  found:       0
2312.85/579.09	c  N dy  3323   1231461      8685     83643    148486     87340    319673  10231783     29.85     31.64
2336.03/584.82	c  N dy  3410   1251482      8685     83643    148497     55907    319673   5992306     29.87     45.45
2377.97/595.31	c  N dy  3603   1271579      8685     83643    148520     75729    319673  14066782     30.02     40.09
2445.10/612.17	c  N dy  3799   1291596      8685     83643    148543     95458    319673  22484963     30.20     34.68
2469.88/618.36	c Finding binary XORs  T:     0.01 s  found:       0
2495.44/624.79	c  N dy  3985   1311597      8685     83643    151267     63126    319673   8415425     30.36     47.79
2523.81/631.81	c  N dy  4103   1331635      8685     83643    151284     82859    319673  13427117     30.41     40.39
2572.92/644.14	c  N dy  4301   1351647      8685     83643    151296    102615    319673  21315337     30.55     36.73
2607.28/652.73	c  N dy  4457   1371648      8685     83643    151510     69031    319673  11223438     30.65     43.98
2652.82/664.16	c Finding binary XORs  T:     0.01 s  found:       0
2670.00/668.43	c  N dy  4634   1391669      8685     83643    156031     88669    319673  20206794     30.77     36.32
2762.28/691.53	c Finding binary XORs  T:     0.01 s  found:       0
2762.28/691.58	c  N dy  4823   1411750      8685     83643    161214     54403    319673   4564491     30.92     32.58
2794.24/699.52	c  N dy  5002   1431819      8685     83643    161228     74167    319673  13159101     31.04     41.50
2856.95/715.20	c  N dy  5180   1451858      8685     83643    161239     93874    319673  21987614     31.16     32.82
2935.26/734.88	c  N dy  5367   1471909      8685     83643    161278     58577    319673   6012279     31.29     40.75
2964.82/742.27	c  N dy  5522   1492006      8685     83643    161286     78391    319673  13771244     31.38     33.23
3001.96/751.51	c  N dy  5543   1519243      8685     83643    161286    105045    319673  18277169     31.30     32.95
3034.73/759.70	c  N dy  5598   1539289      8685     83643    161300     68629    319673   6581219     31.29     38.12
3063.50/766.93	c  N dy  5621   1559547      8685     83643    161300     88525    319673  10034408     31.25     33.11
3114.63/779.73	c  N dy  5640   1586065      8685     83643    161305     57682    319673   4704877     31.18     34.09
3143.39/786.96	c  N dy  5804   1606218      8685     83643    161322     77438    319673  13061339     31.27     32.97
3202.52/801.77	c  N dy  5995   1626264      8685     83643    161343     97193    319673  21644631     31.38     44.17
3285.61/822.58	c  N dy  6177   1646292      8685     83643    161351     58934    319673   5046483     31.49     34.44
3309.99/828.65	c  N dy  6355   1666386      8685     83643    161366     78794    319673  12779202     31.57     41.73
3355.92/840.19	c  N dy  6542   1686481      8685     83643    161378     98674    319673  20599693     31.65     43.83
3422.65/856.82	c  N dy  6734   1706485      8685     83643    161391     59293    319673   4924288     31.74     35.80
3425.44/857.53	c  S st  6765   1710050      8685     83643    161393     62814    319673   6257409     31.76   no data
3427.46/858.02	c  S st  6765   1710550      8685     83643    161553     63152    319673   6260253     31.76   no data
3427.46/858.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3433.03/859.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1658 BRemL:    147 BRemN:      0 P: 34.2M T:  1.40
3433.03/859.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3433.03/859.48	c bin-w-bin subsume rem            7 bins  time:  0.02 s
3433.43/859.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
3433.83/859.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
3433.83/859.62	c Removed useless bin:       0  fixed:     0  props:   1.00M  time:  0.01 s
3434.23/859.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3441.42/861.59	c subs with bin:       31  lits-rem:       641  v-fix:    0  time:  1.68 s
3458.99/865.91	c lits-rem:        47  cl-subs:      159  v-elim:      0  v-fix:    0  time:  4.32 s
3458.99/865.93	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
3459.80/866.11	c vivif2 --  cl tried    62962 cl shrink     4256 lits rem     120865 time: 0.18
3461.00/866.47	c asymm  cl-useful: 0/8311/83643 lits-rem:0 time: 0.35
3461.00/866.48	c calculated reachability. Time: 0.00
3461.00/866.48	c  N dy  6765   1710550      8685     83643    163063     62957    319673   6113313     31.76   no data
3461.00/866.49	c Finding binary XORs  T:     0.01 s  found:       0
3493.37/874.52	c  N dy  6826   1738587      8685     83643    163079     90406    319673  12523481     31.72     33.43
3528.53/883.37	c  N dy  6856   1758846      8685     83643    163086    110402    319673  16234543     31.70     33.38
3567.26/893.09	c  N dy  6911   1780214      8685     83643    163096     71466    319673   6829842     31.69     33.38
3608.81/903.40	c  N dy  6925   1800857      8685     83643    163100     91889    319673  10785125     31.66     33.47
3822.53/956.91	c  N dy  6949   1900705      8685     83643    163110     67015    319673   5808896     31.33     33.11
3822.53/956.92	c Finding binary XORs  T:     0.01 s  found:       0
3860.09/966.37	c  N dy  7005   1920770      8685     83643    169399     86710    319673   9284994     31.32     36.14
3925.60/982.72	c  N dy  7065   1946576      8685     83643    169399    111972    319673  13685206     31.30     33.00
3989.94/998.90	c  N dy  7102   1972783      8685     83643    169399     75000    319673   7096819     31.26     32.97
3990.34/998.91	c Finding binary XORs  T:     0.01 s  found:       0
4031.06/1009.14	c  N dy  7111   1995765      8685     83643    173663     97689    319673  11068478     31.21     32.86
4091.01/1024.13	c  N dy  7170   2021186      8685     83643    173685    122689    319673  15561140     31.20     32.89
4132.94/1034.66	c  N dy  7214   2042297      8685     83643    173698     79525    319673   7935845     31.18     32.85
4179.30/1046.21	c  N dy  7249   2068849      8685     83643    173703    105494    319673  12313778     31.15     32.86
4225.61/1057.85	c  N dy  7268   2088868      8685     83643    173714    125188    319673  15858176     31.11     32.81
4373.00/1094.73	c  N dy  7302   2155123      8685     83643    173723    125577    319673  15622053     30.97     33.33
4396.56/1100.60	c  N dy  7420   2175181      8685     83643    173771     79188    319673  11048369     31.00     38.30
4429.34/1108.85	c  N dy  7521   2195318      8685     83643    173780     98948    319673  16970607     31.00     32.70
4454.10/1115.04	c  S st  7555   2210553      8685     83643    173782    113859    319673  19546269     30.99     32.72
4457.70/1115.94	c  S st  7555   2211054      8685     83643    173913    114228    319673  19556900     30.99   no data
4457.70/1115.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4468.09/1118.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1030 BRemL:     87 BRemN:      0 P: 54.1M T:  2.52
4468.09/1118.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4468.09/1118.55	c bin-w-bin subsume rem            6 bins  time:  0.02 s
4468.49/1118.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
4468.49/1118.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.03 s
4468.49/1118.70	c Removed useless bin:       0  fixed:     0  props:   0.99M  time:  0.01 s
4469.68/1118.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
4478.47/1121.11	c subs with bin:        4  lits-rem:        62  v-fix:    0  time:  1.60 s
4569.95/1144.04	c lits-rem:        42  cl-subs:     1122  v-elim:      0  v-fix:    0  time: 22.92 s
4569.95/1144.06	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
4573.53/1144.95	c vivif2 --  cl tried   113102 cl shrink    33067 lits rem     488138 time: 0.87
4575.12/1145.31	c asymm  cl-useful: 0/5045/83643 lits-rem:0 time: 0.37
4575.12/1145.33	c calculated reachability. Time: 0.00
4575.12/1145.33	c  N dy  7555   2211054      8685     83643    174854    113098    319673  18693967     30.99   no data
4575.12/1145.34	c Finding binary XORs  T:     0.01 s  found:       0
4626.26/1158.11	c  N dy  7604   2231107      8685     83643    174878    132831    319673  22262618     30.99     32.67
4668.59/1168.75	c  N dy  7640   2258058      8685     83643    174882     92776    319673   9908405     30.97     32.68
4707.74/1178.52	c  N dy  7688   2278075      8685     83643    174886    112481    319673  13658493     30.95     37.69
4742.89/1187.30	c  N dy  7870   2298159      8685     83643    175267    132220    319673  22598758     31.04     35.08
4775.25/1195.44	c  N dy  8018   2318206      8685     83643    175280     84029    319673  12144283     31.09     32.88

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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-3257359-1304028702/watcher-3257359-1304028702 -o /tmp/evaluation-result-3257359-1304028702/solver-3257359-1304028702 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3257359-1304028702.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 27827
/proc/meminfo: memFree=15193436/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 514469864 52441088 353 33554432000 4194304 4627427 140737013330928 18446744073709551615 46976705640449 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 12803 353 303 106 0 7774 0
[pid=27827/tid=27828] ppid=27825 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 514469865 52441088 353 33554432000 4194304 4627427 140737013330928 18446744073709551615 46976705640364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514469865 52441088 353 33554432000 4194304 4627427 140737013330928 18446744073709551615 46976705640370 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 4 0 514469865 52441088 353 33554432000 4194304 4627427 140737013330928 18446744073709551615 274473967547 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.131381 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 27827
/proc/meminfo: memFree=15193436/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=295076 CPUtime=0.35 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 10605 0 0 0 33 2 0 0 18 0 4 0 514469864 302157824 9794 33554432000 4194304 4627427 140737013330928 18446744073709551615 274473628705 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 73769 9794 364 106 0 68740 0
[pid=27827/tid=27828] ppid=27825 vsize=295076 CPUtime=0.02 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 1683 0 0 0 2 0 0 0 24 0 4 0 514469865 302157824 9794 33554432000 4194304 4627427 140737013330928 18446744073709551615 4360211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=295076 CPUtime=0.11 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 2829 0 0 0 11 0 0 0 18 0 4 0 514469865 302157824 9794 33554432000 4194304 4627427 140737013330928 18446744073709551615 274473628357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=295076 CPUtime=0.09 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 2858 0 0 0 8 1 0 0 18 0 4 0 514469865 302157824 9794 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 295076

[startup+0.21613 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 27827
/proc/meminfo: memFree=15193436/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=295208 CPUtime=0.61 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 10823 0 0 0 59 2 0 0 18 0 4 0 514469864 302292992 10012 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 73802 10012 364 106 0 68773 0
[pid=27827/tid=27828] ppid=27825 vsize=295208 CPUtime=0.02 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 1683 0 0 0 2 0 0 0 24 0 4 0 514469865 302292992 10012 33554432000 4194304 4627427 140737013330928 18446744073709551615 4360211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=295208 CPUtime=0.19 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 2846 0 0 0 19 0 0 0 18 0 4 0 514469865 302292992 10012 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=295208 CPUtime=0.18 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 3040 0 0 0 17 1 0 0 18 0 4 0 514469865 302292992 10012 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308127 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 295208

[startup+0.301099 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 27827
/proc/meminfo: memFree=15193436/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=295928 CPUtime=0.92 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 11752 0 0 0 89 3 0 0 18 0 4 0 514469864 303030272 10941 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 73982 10941 365 106 0 68953 0
[pid=27827/tid=27828] ppid=27825 vsize=295928 CPUtime=0.08 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 2471 0 0 0 7 1 0 0 24 0 4 0 514469865 303030272 10941 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=295928 CPUtime=0.28 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 2859 0 0 0 28 0 0 0 18 0 4 0 514469865 303030272 10941 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=295928 CPUtime=0.26 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 3158 0 0 0 25 1 0 0 18 0 4 0 514469865 303030272 10941 33554432000 4194304 4627427 140737013330928 18446744073709551615 4322559 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 295928

[startup+0.701025 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 27827
/proc/meminfo: memFree=15193436/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=307720 CPUtime=2.52 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 15780 0 0 0 247 5 0 0 18 0 4 0 514469864 315105280 14969 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309043 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 76930 14969 380 106 0 71901 0
[pid=27827/tid=27828] ppid=27825 vsize=307720 CPUtime=0.47 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 2532 0 0 0 46 1 0 0 25 0 4 0 514469865 315105280 14969 33554432000 4194304 4627427 140737013330928 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=307720 CPUtime=0.67 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 5703 0 0 0 67 0 0 0 18 0 4 0 514469865 315105280 14969 33554432000 4194304 4627427 140737013330928 18446744073709551615 4509856 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=307720 CPUtime=0.66 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 3988 0 0 0 64 2 0 0 18 0 4 0 514469865 315105280 14969 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 307720

[startup+1.50083 s]
/proc/loadavg: 0.32 0.07 0.02 5/176 27831
/proc/meminfo: memFree=15104372/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=349896 CPUtime=5.71 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 31011 0 0 0 562 9 0 0 20 0 4 0 514469864 358293504 25117 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308317 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 87474 25117 386 106 0 82445 0
[pid=27827/tid=27828] ppid=27825 vsize=349896 CPUtime=1.28 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 8484 0 0 0 125 3 0 0 25 0 4 0 514469865 358293504 25117 33554432000 4194304 4627427 140737013330928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=349896 CPUtime=1.47 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 9152 0 0 0 146 1 0 0 19 0 4 0 514469865 358293504 25117 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=349896 CPUtime=1.46 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 5105 0 0 0 143 3 0 0 20 0 4 0 514469865 358293504 25117 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 349896

[startup+3.10061 s]
/proc/loadavg: 0.32 0.07 0.02 5/176 27831
/proc/meminfo: memFree=15081184/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=390384 CPUtime=12.11 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 39069 0 0 0 1200 11 0 0 25 0 4 0 514469864 399753216 29847 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 97596 29847 387 106 0 92567 0
[pid=27827/tid=27828] ppid=27825 vsize=390384 CPUtime=2.87 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 10658 0 0 0 284 3 0 0 25 0 4 0 514469865 399753216 29847 33554432000 4194304 4627427 140737013330928 18446744073709551615 4321445 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=390384 CPUtime=3.06 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 11398 0 0 0 305 1 0 0 25 0 4 0 514469865 399753216 29847 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=390384 CPUtime=3.05 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 8414 0 0 0 302 3 0 0 25 0 4 0 514469865 399753216 29847 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 390384

[startup+6.30104 s]
/proc/loadavg: 0.32 0.07 0.02 6/176 27831
/proc/meminfo: memFree=15050932/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=405444 CPUtime=24.89 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 54211 0 0 0 2474 15 0 0 25 0 4 0 514469864 415174656 35678 33554432000 4194304 4627427 140737013330928 18446744073709551615 4327424 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 101361 35678 388 106 0 96332 0
[pid=27827/tid=27828] ppid=27825 vsize=405444 CPUtime=6.07 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 16230 0 0 0 602 5 0 0 25 0 4 0 514469865 415174656 35678 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=405444 CPUtime=6.25 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 14177 0 0 0 623 2 0 0 25 0 4 0 514469865 415174656 35678 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=405444 CPUtime=6.25 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 13789 0 0 0 621 4 0 0 25 0 4 0 514469865 415174656 35678 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 405444

[startup+12.7009 s]
/proc/loadavg: 1.03 0.23 0.07 5/176 27831
/proc/meminfo: memFree=14828020/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=711520 CPUtime=50.44 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 123218 0 0 0 5006 38 0 0 25 0 4 0 514469864 728596480 92874 33554432000 4194304 4627427 140737013330928 18446744073709551615 4467886 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 177880 92874 391 106 0 172851 0
[pid=27827/tid=27828] ppid=27825 vsize=711520 CPUtime=12.47 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 42822 0 0 0 1233 14 0 0 25 0 4 0 514469865 728596480 92874 33554432000 4194304 4627427 140737013330928 18446744073709551615 4468063 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=711520 CPUtime=12.61 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 22108 0 0 0 1257 4 0 0 25 0 4 0 514469865 728596480 92874 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=711520 CPUtime=12.66 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 30187 0 0 0 1253 13 0 0 25 0 4 0 514469865 728596480 92874 33554432000 4194304 4627427 140737013330928 18446744073709551615 4427693 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 711520

[startup+25.5006 s]
/proc/loadavg: 1.49 0.35 0.12 5/176 27831
/proc/meminfo: memFree=14708716/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=821836 CPUtime=101.57 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 170497 0 0 0 10108 49 0 0 25 0 4 0 514469864 841560064 121663 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 205459 121663 391 106 0 200430 0
[pid=27827/tid=27828] ppid=27825 vsize=821836 CPUtime=25.27 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 42850 0 0 0 2513 14 0 0 25 0 4 0 514469865 841560064 121663 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=821836 CPUtime=25.35 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 47774 0 0 0 2526 9 0 0 25 0 4 0 514469865 841560064 121663 33554432000 4194304 4627427 140737013330928 18446744073709551615 4321453 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=821836 CPUtime=25.45 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 42987 0 0 0 2529 16 0 0 25 0 4 0 514469865 841560064 121663 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 821836

[startup+51.1011 s]
/proc/loadavg: 3.61 0.96 0.32 9/184 27845
/proc/meminfo: memFree=14387456/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=1234636 CPUtime=203.85 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 262438 0 0 0 20315 70 0 0 25 0 4 0 514469864 1264267264 168947 33554432000 4194304 4627427 140737013330928 18446744073709551615 4424704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 308659 168947 392 106 0 303630 0
[pid=27827/tid=27828] ppid=27825 vsize=1234636 CPUtime=50.86 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 64548 0 0 0 5067 19 0 0 25 0 4 0 514469865 1264267264 168947 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=1234636 CPUtime=50.83 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 69969 0 0 0 5070 13 0 0 25 0 4 0 514469865 1264267264 168947 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=1234636 CPUtime=51.05 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 58215 0 0 0 5084 21 0 0 25 0 4 0 514469865 1264267264 168947 33554432000 4194304 4627427 140737013330928 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 1234636

[startup+102.301 s]
/proc/loadavg: 6.13 2.06 0.73 9/184 27846
/proc/meminfo: memFree=14084560/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=1194252 CPUtime=408.41 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 372315 0 0 0 40746 95 0 0 25 0 4 0 514469864 1222914048 224461 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 298563 224461 391 106 0 293534 0
[pid=27827/tid=27828] ppid=27825 vsize=1194252 CPUtime=102.05 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 100658 0 0 0 10176 29 0 0 25 0 4 0 514469865 1222914048 224461 33554432000 4194304 4627427 140737013330928 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=1194252 CPUtime=101.78 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 86349 0 0 0 10161 17 0 0 25 0 4 0 514469865 1222914048 224461 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=1194252 CPUtime=102.25 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 80782 0 0 0 10199 26 0 0 25 0 4 0 514469865 1222914048 224461 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 1194252

[startup+162.301 s]

################
# More data... #
################


[startup+702.3 s]
/proc/loadavg: 8.09 7.28 4.22 9/184 27862
/proc/meminfo: memFree=13124412/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=2091076 CPUtime=2805.42 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 1685826 0 0 0 280099 443 0 0 25 0 4 0 514469864 2141261824 396863 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 522769 396863 394 106 0 517740 0
[pid=27827/tid=27828] ppid=27825 vsize=2091076 CPUtime=700.89 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 388419 0 0 0 69982 107 0 0 25 0 4 0 514469865 2141261824 396863 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=2091076 CPUtime=700.03 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 457166 0 0 0 69895 108 0 0 25 0 4 0 514469865 2141261824 396863 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=2091076 CPUtime=702.22 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 412372 0 0 0 70107 115 0 0 25 0 4 0 514469865 2141261824 396863 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 2091076

[startup+762.301 s]
/proc/loadavg: 8.03 7.41 4.45 9/184 27864
/proc/meminfo: memFree=13195072/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=2130360 CPUtime=3045.14 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 1824578 0 0 0 304034 480 0 0 25 0 4 0 514469864 2181488640 385604 33554432000 4194304 4627427 140737013330928 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 532590 385604 394 106 0 527561 0
[pid=27827/tid=27828] ppid=27825 vsize=2130360 CPUtime=760.6 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 426862 0 0 0 75943 117 0 0 25 0 4 0 514469865 2181488640 385604 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=2130360 CPUtime=760.02 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 486942 0 0 0 75886 116 0 0 25 0 4 0 514469865 2181488640 385604 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=2130360 CPUtime=762.22 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 441233 0 0 0 76099 123 0 0 25 0 4 0 514469865 2181488640 385604 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 2130360

[startup+822.3 s]
/proc/loadavg: 8.01 7.51 4.67 9/184 27866
/proc/meminfo: memFree=13038952/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=2232304 CPUtime=3284.82 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 1954551 0 0 0 327967 515 0 0 25 0 4 0 514469864 2285879296 421670 33554432000 4194304 4627427 140737013330928 18446744073709551615 4349233 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 558076 421670 394 106 0 553047 0
[pid=27827/tid=27828] ppid=27825 vsize=2232304 CPUtime=820.31 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 457851 0 0 0 81905 126 0 0 25 0 4 0 514469865 2285879296 421670 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=2232304 CPUtime=820 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 524920 0 0 0 81874 126 0 0 25 0 4 0 514469865 2285879296 421670 33554432000 4194304 4627427 140737013330928 18446744073709551615 4328754 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=2232304 CPUtime=822.21 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 473456 0 0 0 82091 130 0 0 25 0 4 0 514469865 2285879296 421671 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.82
Current children cumulated vsize (KiB) 2232304

[startup+882.307 s]
/proc/loadavg: 8.12 7.63 4.89 9/184 27867
/proc/meminfo: memFree=12977568/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=2249912 CPUtime=3524.55 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 2099851 0 0 0 351902 553 0 0 25 0 4 0 514469864 2303909888 437557 33554432000 4194304 4627427 140737013330928 18446744073709551615 4324648 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 562478 437557 391 106 0 557449 0
[pid=27827/tid=27828] ppid=27825 vsize=2249912 CPUtime=880.05 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 475461 0 0 0 87874 131 0 0 25 0 4 0 514469865 2303909888 437557 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=2249912 CPUtime=880 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 568914 0 0 0 87863 137 0 0 25 0 4 0 514469865 2303909888 437557 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=2249912 CPUtime=882.21 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 511154 0 0 0 88080 141 0 0 25 0 4 0 514469865 2303909888 437557 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.55
Current children cumulated vsize (KiB) 2249912

[startup+942.301 s]
/proc/loadavg: 8.11 7.71 5.08 9/184 27869
/proc/meminfo: memFree=13032736/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=2365708 CPUtime=3764.21 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 2245798 0 0 0 375831 590 0 0 25 0 4 0 514469864 2422484992 412028 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 591427 412028 391 106 0 586398 0
[pid=27827/tid=27828] ppid=27825 vsize=2365708 CPUtime=939.75 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 497232 0 0 0 93839 136 0 0 25 0 4 0 514469865 2422484992 412028 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=2365708 CPUtime=939.99 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 610473 0 0 0 93853 146 0 0 25 0 4 0 514469865 2422484992 412028 33554432000 4194304 4627427 140737013330928 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=2365708 CPUtime=942.19 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 561425 0 0 0 94064 155 0 0 25 0 4 0 514469865 2422484992 412028 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.21
Current children cumulated vsize (KiB) 2365708

[startup+1002.3 s]
/proc/loadavg: 8.14 7.79 5.27 9/184 27870
/proc/meminfo: memFree=12611872/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=3023536 CPUtime=4003.9 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 2456342 0 0 0 399756 634 0 0 25 0 4 0 514469864 3096100864 516074 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 755884 516074 391 106 0 750855 0
[pid=27827/tid=27828] ppid=27825 vsize=3023536 CPUtime=999.45 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 533868 0 0 0 99798 147 0 0 25 0 4 0 514469865 3096100864 516074 33554432000 4194304 4627427 140737013330928 18446744073709551615 4332081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=3023536 CPUtime=999.98 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 639788 0 0 0 99843 155 0 0 25 0 4 0 514469865 3096100864 516074 33554432000 4194304 4627427 140737013330928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=3023536 CPUtime=1002.2 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 678120 0 0 0 100051 169 0 0 25 0 4 0 514469865 3096100864 516074 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.9
Current children cumulated vsize (KiB) 3023536

[startup+1062.3 s]
/proc/loadavg: 8.14 7.86 5.45 9/184 27872
/proc/meminfo: memFree=12513144/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=2807520 CPUtime=4243.59 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 2623272 0 0 0 423682 677 0 0 25 0 4 0 514469864 2874900480 542424 33554432000 4194304 4627427 140737013330928 18446744073709551615 4324217 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 701880 542424 391 106 0 696851 0
[pid=27827/tid=27828] ppid=27825 vsize=2807520 CPUtime=1059.17 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 580269 0 0 0 105757 160 0 0 25 0 4 0 514469865 2874900480 542424 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=2807520 CPUtime=1059.97 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 686076 0 0 0 105831 166 0 0 25 0 4 0 514469865 2874900480 542424 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=2807520 CPUtime=1062.19 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 727645 0 0 0 106038 181 0 0 25 0 4 0 514469865 2874900480 542424 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.59
Current children cumulated vsize (KiB) 2807520

[startup+1122.3 s]
/proc/loadavg: 8.14 7.91 5.62 9/184 27874
/proc/meminfo: memFree=12348960/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=3025660 CPUtime=4483.25 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 2861100 0 0 0 447598 727 0 0 25 0 4 0 514469864 3098275840 580016 33554432000 4194304 4627427 140737013330928 18446744073709551615 4468043 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 756415 580016 391 106 0 751386 0
[pid=27827/tid=27828] ppid=27825 vsize=3025660 CPUtime=1118.88 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 638993 0 0 0 111716 172 0 0 25 0 4 0 514469865 3098275840 580016 33554432000 4194304 4627427 140737013330928 18446744073709551615 4321723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=3025660 CPUtime=1119.95 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 748617 0 0 0 111814 181 0 0 25 0 4 0 514469865 3098275840 580016 33554432000 4194304 4627427 140737013330928 18446744073709551615 4333365 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=3025660 CPUtime=1122.18 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 765613 0 0 0 112028 190 0 0 25 0 4 0 514469865 3098275840 580016 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.25
Current children cumulated vsize (KiB) 3025660

[startup+1182.3 s]
/proc/loadavg: 8.16 7.95 5.78 9/184 27875
/proc/meminfo: memFree=12435376/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=2892516 CPUtime=4722.91 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 3053390 0 0 0 471511 780 0 0 25 0 4 0 514469864 2961936384 558628 33554432000 4194304 4627427 140737013330928 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 723129 558628 391 106 0 718100 0
[pid=27827/tid=27828] ppid=27825 vsize=2892516 CPUtime=1178.58 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 689946 0 0 0 117671 187 0 0 25 0 4 0 514469865 2961936384 558628 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=2892516 CPUtime=1179.93 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 813110 0 0 0 117796 197 0 0 25 0 4 0 514469865 2961936384 558628 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=2892516 CPUtime=1182.17 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 809892 0 0 0 118014 203 0 0 25 0 4 0 514469865 2961936384 558628 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.91
Current children cumulated vsize (KiB) 2892516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.11 7.96 5.82 9/184 27876
/proc/meminfo: memFree=11852204/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=3485624 CPUtime=4800.03 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) R 27825 27827 27798 0 -1 4202496 3222643 0 0 0 479195 808 0 0 25 0 4 0 514469864 3569278976 703354 33554432000 4194304 4627427 140737013330928 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 871406 703354 391 106 0 866377 0
[pid=27827/tid=27828] ppid=27825 vsize=3485624 CPUtime=1197.84 cores=0,2,4,6
/proc/27827/task/27828/stat : 27828 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 823204 0 0 0 119580 204 0 0 25 0 4 0 514469865 3569278976 703354 33554432000 4194304 4627427 140737013330928 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27827/tid=27829] ppid=27825 vsize=3485624 CPUtime=1199.24 cores=0,2,4,6
/proc/27827/task/27829/stat : 27829 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 815472 0 0 0 119726 198 0 0 25 0 4 0 514469865 3569278976 703354 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=3485624 CPUtime=1201.41 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4202560 821109 0 0 0 119935 206 0 0 25 0 4 0 514469865 3569278976 703354 33554432000 4194304 4627427 140737013330928 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 3485624

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1201.71 s]
/proc/loadavg: 8.11 7.96 5.82 9/184 27876
/proc/meminfo: memFree=11852204/32950928 swapFree=67111528/67111528
[pid=27827] ppid=27825 vsize=0 CPUtime=4800.15 cores=0,2,4,6
/proc/27827/stat : 27827 (strangenight2-m) Z 27825 27827 27798 0 -1 4203548 3222650 0 0 0 479197 818 0 0 25 0 2 0 514469864 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27827/statm: 0 0 0 0 0 0 0
[pid=27827/tid=27830] ppid=27825 vsize=0 CPUtime=1201.51 cores=0,2,4,6
/proc/27827/task/27830/stat : 27830 (strangenight2-m) R 27825 27827 27798 0 -1 4203588 821111 0 0 0 119935 216 0 0 25 0 2 0 514469865 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.18
CPU user time (s): 4791.98
CPU system time (s): 8.20175
CPU usage (%): 399.439
Max. virtual memory (cumulated for all children) (KiB): 3485624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.98
system time used= 8.20175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3222650
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= 1753
involuntary context switches= 33546

runsolver used 1.68974 second user time and 4.02039 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 00:11:42
IDJOB=3257359
IDBENCH=70910
IDSOLVER=1586
FILE ID=node125/3257359-1304028702
RUNJOBID= node125-1304028687-27816
PBS_JOBID= 13170327
Free space on /tmp= 72764 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_11_3_4_cmp.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257359-1304028702/watcher-3257359-1304028702 -o /tmp/evaluation-result-3257359-1304028702/solver-3257359-1304028702 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3257359-1304028702.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3b5e80540ef2fcb09cfe50ac7e3686c1
RANDOM SEED=766403027

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.74
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15193724 kB
Buffers:       2214456 kB
Cached:       14949876 kB
SwapCached:          0 kB
Active:        8873508 kB
Inactive:      8354400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15193724 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8008 kB
Writeback:           0 kB
AnonPages:       62980 kB
Mapped:          14424 kB
Slab:           467952 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185428 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= 72748 MiB
End job on node125 at 2011-04-29 00:31:46