Trace number 3394328

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 (fixed)UNSAT 3103.34 410.108

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_f_unknown.cnf
MD5SUMf03ed12a281977a642336980ec847847
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark108.831
Satisfiable
(Un)Satisfiability was proved
Number of variables33320
Number of clauses763101
Sum of the clauses size2854525
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252598
Number of clauses of size 392683
Number of clauses of size 4617820
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3394328-1306094302.cnf'
0.00/0.01	c -- header says num vars:          33320
0.00/0.01	c -- header says num clauses:      763101
2.83/0.56	c -- clauses added:            0 learnts,       763101 normals,            0 xors
2.83/0.56	c -- vars added      33320
2.83/0.56	c Parsing time:  0.31 s
2.83/0.56	c  N st     0         0     33320    710503     52598         0   2854525         0   no data   no data
4.33/0.70	c asymm  cl-useful: 39/721/710503 lits-rem:39 time: 0.13
18.40/2.54	c Flit:   266 Blit:     32 bXBeca:    0 bXProp:  286 Bins:      0 BRemL:      0 BRemN:      0 P: 187.0M T:  1.72
18.40/2.57	c Cleaning up after failed var search:     0.03 s 
19.20/2.61	c Replacing      286 vars Replaced    12679 lits Time:     0.04 s 
22.83/3.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22.83/3.48	c bin-w-bin subsume rem         6755 bins  time:  0.01 s
23.57/3.56	c subs with bin:     4780  lits-rem:      2872  v-fix:    0  time:  0.07 s
24.36/3.62	c Subs w/ non-existent bins:   2247 l-rem:   1025 v-fix:     0 done:   2517 time:  0.05 s
25.14/3.73	c Removed useless bin:    9488  fixed:     0  props:  18.50M  time:  0.10 s
36.23/5.18	c lits-rem:       779  cl-subs:    56923  v-elim:   2442  v-fix:    0  time:  1.40 s
37.04/5.22	c Finding binary XORs  T:     0.05 s  found:      44
37.04/5.26	c Replacing       44 vars Replaced     2621 lits Time:     0.04 s 
40.21/5.69	c Finding non-binary XORs:     0.38 s (found:       0, avg size: nan)
40.21/5.69	c calculated reachability. Time: 0.02
41.01/5.72	c Calc default polars -  time:   0.03 s pos:    9841 undec:   13641 neg:    9838
41.01/5.72	c =========================================================================================
41.01/5.72	c types(t): F = full restart, N = normal restart
41.01/5.72	c types(t): S = simplification begin/end, E = solution found
41.01/5.72	c restart types(rt): st = static, dy = dynamic
41.01/5.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
41.01/5.72	c  B st     0         0     30075    627098     36068         0   2503874         0   no data   no data
49.78/6.82	c  N dy    15      4062     30075    627098     36076      4005   2503873     46946      6.98      7.37
54.58/7.43	c Finding binary XORs  T:     0.04 s  found:       0
59.38/8.06	c  N dy    36      8357     30074    627003     40150      7272   2503538     95870      6.91      7.28
69.75/9.35	c  N dy    53     12397     30060    627003     40956     11254   2503538    144442      6.82      7.72
80.13/10.67	c  N dy    70     16756     30060    627003     40958     15576   2503538    198443      6.85      7.35
80.93/10.75	c Finding binary XORs  T:     0.04 s  found:      20
90.50/11.95	c  N dy    93     20851     30059    626807     40982     10014   2502832    104648      6.91      7.30
100.19/13.16	c  F st   113     25000     30059    626807     41038     14107   2502832    153888      6.88      6.38
101.03/13.23	c Replacing       20 vars Replaced      688 lits Time:     0.04 s 
101.66/13.36	c Found part      840 vars:        952 clauses:      6776 lits size:     23749
101.66/13.36	c Found part      874 vars:        810 clauses:     11035 lits size:     40572
101.66/13.36	c Found part     1056 vars:       5434 clauses:     34518 lits size:    127657
101.66/13.36	c Found part     1226 vars:       4876 clauses:    194573 lits size:    743380
101.66/13.36	c Found part     1281 vars:       1069 clauses:      8829 lits size:     31178
101.66/13.36	c Found part     1299 vars:        191 clauses:       476 lits size:      1318
101.66/13.36	c Found part     1301 vars:      15569 clauses:    400101 lits size:   1512211
101.66/13.36	c Found part     1309 vars:        833 clauses:      5234 lits size:     18300
101.66/13.36	c Found part     1310 vars:        305 clauses:       965 lits size:      2994
101.66/13.36	c Found parts:          9 time: 0.20 s
101.66/13.36	c Solving part 1299
101.66/13.38	c  N st     0         0       191       221       280         0      1318        50   no data   no data
101.66/13.39	c asymm  cl-useful: 27/221/221 lits-rem:27 time: 0.00
101.66/13.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
101.66/13.39	c Finding binary XORs  T:     0.00 s  found:       0
101.66/13.39	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
101.66/13.39	c calculated reachability. Time: 0.00
101.66/13.39	c Calc default polars -  time:   0.00 s pos:      69 undec:   33163 neg:      88
101.66/13.39	c =========================================================================================
101.66/13.39	c types(t): F = full restart, N = normal restart
101.66/13.39	c types(t): S = simplification begin/end, E = solution found
101.66/13.39	c restart types(rt): st = static, dy = dynamic
101.66/13.39	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
101.66/13.39	c  B st     0         0       191       221       280         0      1291        50   no data   no data
101.66/13.39	c  E st     1         0         0       221       280         0      1291        50   no data   no data
101.66/13.39	c Verified 221 clauses.
101.66/13.39	c Verified 221 clauses.
101.66/13.39	c Solved part
101.66/13.39	c =========================================================================================
101.66/13.39	c Solving part 1310
102.46/13.42	c  N st     0         0       305       606       405         0      2994        92   no data   no data
102.46/13.43	c asymm  cl-useful: 85/606/606 lits-rem:123 time: 0.01
102.46/13.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
102.46/13.44	c Finding binary XORs  T:     0.00 s  found:       0
102.46/13.44	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
102.46/13.44	c calculated reachability. Time: 0.00
102.46/13.44	c Calc default polars -  time:   0.00 s pos:     137 undec:   33048 neg:     135
102.46/13.44	c =========================================================================================
102.46/13.44	c types(t): F = full restart, N = normal restart
102.46/13.44	c types(t): S = simplification begin/end, E = solution found
102.46/13.44	c restart types(rt): st = static, dy = dynamic
102.46/13.44	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
102.46/13.44	c  B st     0         0       305       606       405         0      2871        92   no data   no data
102.46/13.44	c  E st     1         0         0       606       405         0      2871        92   no data   no data
102.46/13.44	c Verified 606 clauses.
102.46/13.44	c Verified 606 clauses.
102.46/13.44	c Solved part
102.46/13.44	c =========================================================================================
102.46/13.44	c Solving part 874
102.46/13.47	c  N st     0         0       810     10011      1619         0     40572      1190   no data   no data
104.87/13.73	c asymm  cl-useful: 699/3908/10011 lits-rem:744 time: 0.26
104.87/13.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   31 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.05
104.87/13.78	c Finding binary XORs  T:     0.00 s  found:       2
104.87/13.78	c Replacing       33 vars Replaced     2489 lits Time:     0.00 s 
104.87/13.79	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
104.87/13.79	c calculated reachability. Time: 0.00
104.87/13.79	c Calc default polars -  time:   0.00 s pos:     296 undec:   32755 neg:     269
104.87/13.79	c =========================================================================================
104.87/13.79	c types(t): F = full restart, N = normal restart
104.87/13.79	c types(t): S = simplification begin/end, E = solution found
104.87/13.79	c restart types(rt): st = static, dy = dynamic
104.87/13.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
104.87/13.79	c  B st     0         0       777      9496      1603         0     37832      1190   no data   no data
104.87/13.79	c  E st     1         0         0      9496      1603         0     37832      1190   no data   no data
104.87/13.79	c Verified 9496 clauses.
104.87/13.79	c Verified 9496 clauses.
104.87/13.79	c Solved part
104.87/13.79	c =========================================================================================
104.87/13.79	c Solving part 1309
105.67/13.82	c  N st     0         0       833      4250      1022         0     18300        76   no data   no data
105.67/13.89	c asymm  cl-useful: 59/4250/4250 lits-rem:59 time: 0.07
106.47/13.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.02
106.47/13.92	c Finding binary XORs  T:     0.00 s  found:       0
106.47/13.92	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
106.47/13.92	c calculated reachability. Time: 0.00
106.47/13.92	c Calc default polars -  time:   0.00 s pos:     277 undec:   32784 neg:     259
106.47/13.92	c =========================================================================================
106.47/13.92	c types(t): F = full restart, N = normal restart
106.47/13.92	c types(t): S = simplification begin/end, E = solution found
106.47/13.92	c restart types(rt): st = static, dy = dynamic
106.47/13.92	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
106.47/13.92	c  B st     0         0       833      4250      1022         0     18241        76   no data   no data
106.47/13.92	c  E st     1         0         0      4250      1022         0     18241        76   no data   no data
106.47/13.92	c Verified 4250 clauses.
106.47/13.92	c Verified 4250 clauses.
106.47/13.92	c Solved part
106.47/13.92	c =========================================================================================
106.47/13.92	c Solving part 840
106.47/13.95	c  N st     0         0       952      5549      1268         0     23749        82   no data   no data
107.27/14.06	c asymm  cl-useful: 131/5549/5549 lits-rem:131 time: 0.11
107.27/14.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.03
107.27/14.09	c Finding binary XORs  T:     0.00 s  found:       0
107.27/14.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
107.27/14.09	c calculated reachability. Time: 0.00
107.27/14.09	c Calc default polars -  time:   0.00 s pos:     355 undec:   32599 neg:     366
107.27/14.09	c =========================================================================================
107.27/14.09	c types(t): F = full restart, N = normal restart
107.27/14.09	c types(t): S = simplification begin/end, E = solution found
107.27/14.09	c restart types(rt): st = static, dy = dynamic
107.27/14.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
107.27/14.09	c  B st     0         0       952      5549      1268         0     23618        82   no data   no data
107.27/14.09	c  E st     1         0         0      5549      1268         0     23618        82   no data   no data
107.27/14.09	c Verified 5549 clauses.
107.27/14.09	c Verified 5549 clauses.
107.27/14.09	c Solved part
107.27/14.09	c =========================================================================================
107.27/14.09	c Solving part 1281
108.06/14.12	c  N st     0         0      1069      7373      1531         0     31178       150   no data   no data
108.96/14.28	c asymm  cl-useful: 115/7373/7373 lits-rem:115 time: 0.16
108.96/14.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.03
109.81/14.32	c Finding binary XORs  T:     0.00 s  found:       0
109.81/14.32	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
109.81/14.32	c calculated reachability. Time: 0.00
109.81/14.32	c Calc default polars -  time:   0.00 s pos:     439 undec:   32423 neg:     458
109.81/14.32	c =========================================================================================
109.81/14.32	c types(t): F = full restart, N = normal restart
109.81/14.32	c types(t): S = simplification begin/end, E = solution found
109.81/14.32	c restart types(rt): st = static, dy = dynamic
109.81/14.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
109.81/14.32	c  B st     0         0      1069      7373      1531         0     31063       150   no data   no data
109.81/14.32	c  E st     1         0         0      7373      1531         0     31063       150   no data   no data
109.81/14.32	c Verified 7373 clauses.
109.81/14.32	c Verified 7373 clauses.
109.81/14.32	c Solved part
109.81/14.32	c =========================================================================================
109.81/14.32	c Solving part 1226
110.44/14.47	c  N st     0         0      4876    188403      7354     14093    743380    146264   no data   no data
111.24/14.54	c asymm  cl-useful: 4/344/188403 lits-rem:4 time: 0.07
115.24/15.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P: 71.8M T:  0.47
115.24/15.02	c Finding binary XORs  T:     0.01 s  found:       0
115.24/15.03	c Replacing        1 vars Replaced      213 lits Time:     0.01 s 
116.04/15.12	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
116.04/15.12	c calculated reachability. Time: 0.00
116.04/15.12	c Calc default polars -  time:   0.01 s pos:    1554 undec:   30207 neg:    1559
116.04/15.12	c =========================================================================================
116.04/15.12	c types(t): F = full restart, N = normal restart
116.04/15.12	c types(t): S = simplification begin/end, E = solution found
116.04/15.12	c restart types(rt): st = static, dy = dynamic
116.04/15.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
116.04/15.12	c  B st     0         0      4875    188403      7352     14093    743374    146262   no data   no data
124.82/16.29	c  N dy    16      4077      4875    188403      7352     18140    743374    197665      7.44      8.88
134.39/17.51	c  N dy    29      8438      4874    188403      7364     22439    743374    250416      7.05      7.47
148.75/19.22	c  N dy    45     14199      4873    188403      7372     28144    743374    321743      6.79      7.16
160.72/20.71	c  N dy    72     19086      4873    188403      7381     32961    743374    379032      6.89      7.30
171.23/22.06	c  N dy    89     23192      4873    188403      7383     20109    743374    185097      6.86      7.28
175.87/22.65	c  F st   100     25002      4873    188403      7387     21892    743374    206762      6.88      6.00
183.05/23.51	c  N st   105     28301      4872    188403      7393     25152    743374    246364      6.88   no data
195.03/25.00	c  N dy   117     32516      4872    188403      7394     29343    743374    303914      6.87      7.25
205.51/26.34	c  N dy   130     36681      4872    188403      7396     33481    743374    357375      6.84      7.21
216.57/27.79	c  N dy   147     40750      4872    188403      7401     37491    743374    405743      6.83      7.45
226.94/29.05	c  N dy   170     44758      4872    188403      7406     22597    743374    190718      6.85      7.23
235.72/30.13	c  N dy   186     48850      4872    188403      7412     26653    743374    244499      6.85      7.32
246.10/31.49	c  N dy   209     52927      4872    188403      7413     30705    743374    300635      6.87      8.25
257.28/32.80	c  N dy   228     56932      4871    188403      7429     34655    743374    351505      6.87      7.56
259.66/33.16	c Finding binary XORs  T:     0.01 s  found:       0
266.06/34.00	c  N dy   246     60950      4869    187594      7250     31367    740128    334688      6.87      7.38
278.02/35.45	c  N dy   269     65356      4869    187594      7255     19039    740128    151004      6.87      7.26
289.20/36.81	c  N dy   291     70178      4868    187594      7263     23816    740127    213597      6.89      7.26
300.38/38.25	c  N dy   320     74799      4868    187594      7273     28397    740127    278992      6.91      7.31
312.33/39.76	c  N dy   345     79657      4868    187594      7279     33207    740127    341506      6.92      7.30
325.10/41.38	c  N dy   369     84755      4867    187594      7290     38264    740126    411071      6.93      7.30
333.09/42.35	c  F st   388     87500      4867    187594      7290     21241    740126    154272      6.95      5.79
341.87/43.41	c  N st   393     90801      4866    187594      7297     24523    740126    200101      6.95   no data
356.22/45.26	c  N dy   419     96592      4866    187594      7301     30274    740126    282298      6.98      8.89
371.40/47.19	c  N dy   445    103095      4866    187594      7310     36737    740126    370248      6.96      7.36
373.79/47.43	c Finding binary XORs  T:     0.01 s  found:       0
390.71/49.52	c  N dy   485    109834      4864    186608      7174     37009    736276    396084      6.98      7.35
411.30/52.10	c  N dy   537    117083      4864    186608      7179     25615    736276    215523      7.02      7.40
430.46/54.53	c  N dy   586    124602      4864    186608      7182     33088    736275    320297      7.05      7.52
452.16/57.28	c  N dy   635    132643      4863    186608      7198     41052    736275    431380      7.08      8.52
474.36/60.10	c  N dy   692    141186      4861    186608      7210     27848    736275    223562      7.12      7.51
500.69/63.35	c  N dy   740    150233      4861    186608      7216     36826    736274    350613      7.14      7.52
529.41/67.02	c  N dy   806    159825      4861    186608      7219     46367    736274    493604      7.19      8.26
560.54/70.80	c  N dy   866    170195      4861    186608      7224     32923    736274    278397      7.21      7.75
594.04/75.00	c  N dy   924    181129      4860    186608      7232     43774    736274    439254      7.23      7.64
629.96/79.50	c  N dy   975    192738      4860    186608      7244     30019    736274    225305      7.23      7.78
631.56/79.77	c Finding binary XORs  T:     0.01 s  found:       0
665.08/83.96	c  N dy  1042    205053      4856    185834      7188     39001    733232    368196      7.24      7.97
704.20/88.88	c  N dy  1122    218153      4855    185834      7196     27093    733232    181148      7.26      7.71
745.70/94.00	c  N dy  1191    232134      4854    185834      7210     40950    733232    384707      7.27      7.68
790.39/99.69	c  N dy  1297    247049      4854    185834      7213     28922    733231    190065      7.32      7.99
837.59/105.56	c  N dy  1387    262833      4853    185834      7224     44604    733231    427346      7.35      7.90
883.75/111.32	c Finding binary XORs  T:     0.01 s  found:       2
891.10/112.29	c  N dy  1485    279874      4852    184655      7130     30513    728589    221254      7.37      7.81
941.22/118.59	c  N dy  1609    297824      4851    184655      7145     48355    728589    496639      7.41      7.81
967.57/121.88	c  F st  1675    306250      4851    184655      7151     28506    728589    168574      7.44   no data
1001.88/126.10	c  N dy  1714    317545      4851    184655      7152     39728    728589    347626      7.44      7.86
1061.74/133.67	c  N dy  1849    337577      4851    184655      7153     59672    728589    657850      7.49     11.47
1120.78/141.01	c  N dy  1941    357657      4851    184655      7158     49608    728589    466476      7.49     10.78
1183.84/148.97	c  N dy  2065    377724      4851    184655      7163     38143    728589    282885      7.52      8.81
1248.48/157.00	c  N dy  2179    397824      4850    184655      7173     58141    728589    591714      7.54      7.94
1307.44/164.45	c  N dy  2298    418352      4849    184655      7178     45935    728589    392639      7.56      8.08
1373.01/172.67	c  N dy  2433    438380      4848    184655      7186     65844    728589    700693      7.59      8.09
1438.34/180.87	c  N dy  2552    458641      4847    184655      7191     52276    728589    464052      7.60      8.05
1506.17/189.38	c  N dy  2662    478691      4845    184655      7203     37445    728589    235528      7.61      9.70
1532.51/192.60	c Finding binary XORs  T:     0.01 s  found:       3
1566.99/196.99	c  N dy  2770    498709      4842    183259      7069     55767    722861    534855      7.63      8.03
1634.66/205.47	c  N dy  2877    518782      4842    183259      7080     40735    722861    274710      7.63      8.05
1693.72/212.86	c  N dy  2977    538817      4841    183259      7110     60619    722861    586981      7.64      8.06
1765.56/221.89	c  N dy  3056    560296      4837    183259      7137     45593    722861    345113      7.64      8.06
1790.29/224.91	c Finding binary XORs  T:     0.01 s  found:       4
1830.99/230.01	c  N dy  3166    580301      4837    181979      7024     63040    717495    636406      7.64      8.10
1894.03/237.92	c  N dy  3284    600373      4837    181979      7030     46665    717495    363760      7.65      8.06
1957.88/245.99	c  N dy  3389    620446      4833    181979      7037     66582    717495    679828      7.66      8.15
2023.47/254.13	c  N dy  3507    640883      4828    181979      7054     48943    717495    382367      7.67      8.09
2091.97/262.80	c  N dy  3620    661607      4826    181979      7068     69552    717495    717079      7.68      8.18
2159.00/271.14	c  N dy  3705    681642      4820    181979      7086     50756    717494    398432      7.68      8.13
2181.50/273.92	c Finding binary XORs  T:     0.01 s  found:       4
2222.06/279.04	c  N dy  3806    701846      4815    178810      6911     69344    704509    711831      7.68      8.22
2290.68/287.66	c  N dy  3922    722149      4815    178810      6920     50063    704509    375050      7.69      8.15
2356.23/295.82	c  N dy  4029    742315      4815    178810      6929     70116    704509    714044      7.70      8.13
2422.36/304.18	c  N dy  4144    762406      4815    178810      6932     49449    704509    338798      7.70      9.90
2487.02/312.27	c  N dy  4251    782581      4802    178810      6948     69492    704509    671344      7.71      8.24
2556.45/320.97	c  N dy  4354    802918      4802    178810      6961     48046    704509    296147      7.71      8.21
2593.27/325.58	c Finding binary XORs  T:     0.01 s  found:      18
2614.71/328.28	c  N dy  4450    823003      4775    171890      6806     62894    677006    590221      7.71      8.18
2678.54/336.24	c  N dy  4559    843240      4775    171890      6832     83005    677006    951117      7.71      8.17
2735.99/343.43	c  N dy  4648    863262      4757    171890      6870     62452    677006    562980      7.71      8.18
2737.59/343.64	c Finding binary XORs  T:     0.01 s  found:      14
2796.65/351.04	c  N dy  4741    883984      4730    166387      6768     78578    654776    895025      7.71      8.14
2811.83/352.98	c Finding binary XORs  T:     0.01 s  found:      41
2812.73/353.04	c Replacing       86 vars Replaced    77549 lits Time:     0.06 s 
2822.98/354.40	c  E dy  4754    893028      4522    144235      6651     35834    567538    212706      7.69      3.32
3103.20/410.02	c Following stats are for *FIRST FINISHED THREAD ONLY*
3103.20/410.02	c num threads              : 8          
3103.20/410.02	c restarts                 : 113        
3103.20/410.02	c dynamic restarts         : 107        
3103.20/410.02	c static restarts          : 6          
3103.20/410.02	c full restarts            : 0          
3103.20/410.02	c total simplify time      : 0.16       
3103.20/410.02	c learnts DL2              : 0          
3103.20/410.02	c learnts size 2           : 63947      
3103.20/410.02	c learnts size 1           : 489         (1.47      % of vars)
3103.20/410.02	c filedLit time            : 1.75        (0.43      % time)
3103.20/410.02	c v-elim SatELite          : 2442        (7.33      % vars)
3103.20/410.02	c SatELite time            : 1.13        (0.28      % time)
3103.20/410.02	c v-elim xor               : 0           (0.00      % vars)
3103.20/410.02	c xor elim time            : 0.00        (0.00      % time)
3103.20/410.02	c num binary xor trees     : 22         
3103.20/410.02	c binxor trees' crown      : 350         (15.91     leafs/tree)
3103.20/410.02	c bin xor find time        : 0.13       
3103.20/410.02	c OTF clause improved      : 256         (0.01      clauses/conflict)
3103.20/410.02	c OTF impr. size diff      : 349         (1.36       lits/clause)
3103.20/410.02	c OTF cl watch-shrink      : 16756       (0.67      clauses/conflict)
3103.20/410.02	c OTF cl watch-sh-lit      : 39696       (2.37       lits/clause)
3103.20/410.02	c tried to recurMin cls    : 4676        (18.70      % of conflicts)
3103.20/410.02	c updated cache            : 0           (0.00       lits/tried recurMin)
3103.20/410.02	c unit cls recevied        : 16          (3.27      % of units)
3103.20/410.02	c unit cls sent            : 0           (0.00      % of units)
3103.20/410.02	c bin cls recevied         : 5659       
3103.20/410.02	c bin cls sent             : 405        
3103.20/410.02	c clauses over max glue    : 0           (0.00      % of all clauses)
3103.20/410.02	c conflicts                : 25000       (61.15     / sec)
3103.20/410.02	c decisions                : 30770       (0.00      % random)
3103.20/410.02	c bogo-props               : 1435236132  (3510354.89 / sec)
3103.20/410.02	c conflict literals        : 301784      (55.17     % deleted)
3103.20/410.02	c Memory used              : 2189.95     MB
3103.20/410.02	c single-thread CPU time   : 408.86      s
3103.20/410.02	c all-threads sum CPU time : 3099.69     s
3103.20/410.02	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394328-1306094302/watcher-3394328-1306094302 -o /tmp/evaluation-result-3394328-1306094302/solver-3394328-1306094302 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394328-1306094302.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: 7.96 7.95 7.32 2/565 16953
/proc/meminfo: memFree=26702484/32950928 swapFree=49807316/67111528
[pid=16953] ppid=16951 vsize=289740 CPUtime=0.05 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 599 0 0 0 5 0 0 0 23 0 8 0 721029118 296693760 523 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272688955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16953/statm: 72435 560 324 95 0 67417 0
[pid=16953/tid=16954] ppid=16951 vsize=488764 CPUtime=0.01 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 486 0 0 0 1 0 0 0 23 0 8 0 721029118 500494336 4033 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=488764 CPUtime=0.01 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 592 0 0 0 1 0 0 0 23 0 8 0 721029118 500494336 4042 33554432000 4194304 4580107 140733612025504 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=488764 CPUtime=0 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 550 0 0 0 0 0 0 0 18 0 8 0 721029118 500494336 4067 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272732250 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=488764 CPUtime=0 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 348 0 0 0 0 0 0 0 24 0 8 0 721029118 500494336 4067 33554432000 4194304 4580107 140733612025504 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=488764 CPUtime=0 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 592 0 0 0 0 0 0 0 24 0 8 0 721029118 500494336 4067 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=488764 CPUtime=0 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 344 0 0 0 0 0 0 0 18 0 8 0 721029118 500494336 4067 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272386233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=488764 CPUtime=0 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 543 0 0 0 0 0 0 0 24 0 8 0 721029118 500494336 4067 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272386167 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0907059 s]
/proc/loadavg: 7.96 7.95 7.32 2/565 16953
/proc/meminfo: memFree=26702484/32950928 swapFree=49807316/67111528
[pid=16953] ppid=16951 vsize=670804 CPUtime=0.42 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 34388 0 0 0 29 13 0 0 18 0 8 0 721029118 686903296 27111 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16953/statm: 167701 27113 337 95 0 162683 0
[pid=16953/tid=16954] ppid=16951 vsize=670804 CPUtime=0.01 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 1209 0 0 0 1 0 0 0 22 0 8 0 721029118 686903296 27113 33554432000 4194304 4580107 140733612025504 18446744073709551615 4307838 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=670804 CPUtime=0.05 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4666 0 0 0 4 1 0 0 17 0 8 0 721029118 686903296 27118 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=670804 CPUtime=0.05 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4727 0 0 0 4 1 0 0 17 0 8 0 721029118 686903296 27121 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=670804 CPUtime=0.05 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4461 0 0 0 3 2 0 0 17 0 8 0 721029118 686903296 27122 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=670804 CPUtime=0.05 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4748 0 0 0 3 2 0 0 17 0 8 0 721029118 686903296 27124 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=670804 CPUtime=0.05 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4736 0 0 0 4 1 0 0 17 0 8 0 721029118 686903296 27127 33554432000 4194304 4580107 140733612025504 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=670804 CPUtime=0.05 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 4725 0 0 0 3 2 0 0 18 0 8 0 721029118 686903296 27130 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 18446604456471072960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 670804

[startup+0.100693 s]
/proc/loadavg: 7.96 7.95 7.32 2/565 16953
/proc/meminfo: memFree=26702484/32950928 swapFree=49807316/67111528
[pid=16953] ppid=16951 vsize=671764 CPUtime=0.47 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 36144 0 0 0 32 15 0 0 17 0 8 0 721029118 687886336 28867 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16953/statm: 167941 28869 337 95 0 162923 0
[pid=16953/tid=16954] ppid=16951 vsize=671764 CPUtime=0.01 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 1443 0 0 0 1 0 0 0 22 0 8 0 721029118 687886336 28871 33554432000 4194304 4580107 140733612025504 18446744073709551615 4309658 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=671764 CPUtime=0.07 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4828 0 0 0 5 2 0 0 17 0 8 0 721029118 687886336 28873 33554432000 4194304 4580107 140733612025504 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=671764 CPUtime=0.05 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4924 0 0 0 4 1 0 0 17 0 8 0 721029118 687886336 28879 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=671764 CPUtime=0.06 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4658 0 0 0 4 2 0 0 17 0 8 0 721029118 687886336 28883 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=671764 CPUtime=0.06 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4871 0 0 0 4 2 0 0 17 0 8 0 721029118 687886336 28887 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=671764 CPUtime=0.05 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 5037 0 0 0 4 1 0 0 17 0 8 0 721029118 687886336 28891 33554432000 4194304 4580107 140733612025504 18446744073709551615 4489207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=671764 CPUtime=0.05 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 5086 0 0 0 3 2 0 0 17 0 8 0 721029118 687886336 28895 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 671764

[startup+0.30066 s]
/proc/loadavg: 7.96 7.95 7.32 2/565 16953
/proc/meminfo: memFree=26702484/32950928 swapFree=49807316/67111528
[pid=16953] ppid=16951 vsize=947708 CPUtime=1.63 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 70942 0 0 0 115 48 0 0 17 0 8 0 721029118 970452992 62755 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16953/statm: 236927 62760 337 95 0 231909 0
[pid=16953/tid=16954] ppid=16951 vsize=947708 CPUtime=0.04 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 4349 0 0 0 3 1 0 0 17 0 8 0 721029118 970452992 62764 33554432000 4194304 4580107 140733612025504 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=947708 CPUtime=0.21 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 9963 0 0 0 15 6 0 0 17 0 8 0 721029118 970452992 62766 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 18446604456471072960 0 0 -1 4 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=947708 CPUtime=0.21 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 8950 0 0 0 16 5 0 0 17 0 8 0 721029118 970452992 62768 33554432000 4194304 4580107 140733612025504 18446744073709551615 4299042 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=947708 CPUtime=0.22 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 8668 0 0 0 15 7 0 0 17 0 8 0 721029118 970452992 62774 33554432000 4194304 4580107 140733612025504 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=947708 CPUtime=0.21 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 8654 0 0 0 14 7 0 0 17 0 8 0 721029118 970452992 62777 33554432000 4194304 4580107 140733612025504 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=947708 CPUtime=0.21 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 10092 0 0 0 15 6 0 0 17 0 8 0 721029118 970452992 62782 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 18446604456471072960 0 0 -1 2 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=947708 CPUtime=0.23 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 11043 0 0 0 17 6 0 0 17 0 8 0 721029118 970452992 62788 33554432000 4194304 4580107 140733612025504 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 947708

[startup+0.700616 s]
/proc/loadavg: 7.96 7.95 7.32 2/565 16953
/proc/meminfo: memFree=26702484/32950928 swapFree=49807316/67111528
[pid=16953] ppid=16951 vsize=1024216 CPUtime=4.33 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 120710 0 0 0 347 86 0 0 18 0 8 0 721029118 1048797184 112520 33554432000 4194304 4580107 140733612025504 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16953/statm: 256054 112522 360 95 0 251036 0
[pid=16953/tid=16954] ppid=16951 vsize=1024216 CPUtime=0.36 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 14387 0 0 0 28 8 0 0 17 0 8 0 721029118 1048797184 112523 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=1024216 CPUtime=0.56 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 15136 0 0 0 45 11 0 0 17 0 8 0 721029118 1048797184 112525 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=1024216 CPUtime=0.55 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 15280 0 0 0 46 9 0 0 17 0 8 0 721029118 1048797184 112528 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=1024216 CPUtime=0.58 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 14539 0 0 0 46 12 0 0 18 0 8 0 721029118 1048797184 112530 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272732343 0 0 4096 2 16443281600 0 0 -1 3 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=1024216 CPUtime=0.57 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 14423 0 0 0 44 13 0 0 17 0 8 0 721029118 1048797184 112532 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=1024216 CPUtime=0.56 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 15925 0 0 0 45 11 0 0 17 0 8 0 721029118 1048797184 112533 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=1024216 CPUtime=0.54 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 15434 0 0 0 46 8 0 0 18 0 8 0 721029118 1048797184 112534 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 1024216

[startup+1.50045 s]
/proc/loadavg: 7.96 7.95 7.32 8/573 16961
/proc/meminfo: memFree=26194160/32950928 swapFree=49807316/67111528
[pid=16953] ppid=16951 vsize=1048640 CPUtime=10.51 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 160729 0 0 0 939 112 0 0 18 0 8 0 721029118 1073807360 152539 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16953/statm: 262160 152542 360 95 0 257142 0
[pid=16953/tid=16954] ppid=16951 vsize=1048640 CPUtime=1.14 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 20016 0 0 0 102 12 0 0 18 0 8 0 721029118 1073807360 152542 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294001 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=1048640 CPUtime=1.32 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 20702 0 0 0 119 13 0 0 18 0 8 0 721029118 1073807360 152544 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=1048640 CPUtime=1.33 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 20880 0 0 0 121 12 0 0 18 0 8 0 721029118 1073807360 152545 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=1048640 CPUtime=1.35 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 20261 0 0 0 120 15 0 0 18 0 8 0 721029118 1073807360 152546 33554432000 4194304 4580107 140733612025504 18446744073709551615 4292924 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=1048640 CPUtime=1.32 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 19950 0 0 0 115 17 0 0 18 0 8 0 721029118 1073807360 152548 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=1048640 CPUtime=1.32 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 21533 0 0 0 118 14 0 0 18 0 8 0 721029118 1073807360 152550 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=1048640 CPUtime=1.34 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 16218 0 0 0 125 9 0 0 19 0 8 0 721029118 1073807360 152550 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (KiB) 1048640

[startup+3.10116 s]
/proc/loadavg: 7.96 7.95 7.32 10/573 16961
/proc/meminfo: memFree=26018452/32950928 swapFree=49807316/67111528
[pid=16953] ppid=16951 vsize=1644732 CPUtime=21.26 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 256361 0 0 0 1955 171 0 0 17 0 8 0 721029118 1684205568 248165 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272350241 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16953/statm: 411183 248165 366 95 0 406165 0
[pid=16953/tid=16954] ppid=16951 vsize=1644732 CPUtime=2.45 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 25010 0 0 0 227 18 0 0 15 0 8 0 721029118 1684205568 248165 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272794094 0 0 4096 2 18446604456471072960 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=1644732 CPUtime=2.65 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 30704 0 0 0 244 21 0 0 17 0 8 0 721029118 1684205568 248165 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=1644732 CPUtime=2.63 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 35418 0 0 0 243 20 0 0 17 0 8 0 721029118 1684205568 248165 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=1644732 CPUtime=2.67 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 37634 0 0 0 241 26 0 0 18 0 8 0 721029118 1684205568 248165 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=1644732 CPUtime=2.65 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 40160 0 0 0 241 24 0 0 18 0 8 0 721029118 1684205568 248165 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272349893 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=1644732 CPUtime=2.63 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) D 16951 16953 16697 0 -1 4202560 38955 0 0 0 237 26 0 0 18 0 8 0 721029118 1684205568 248165 33554432000 4194304 4580107 140733612025504 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=1644732 CPUtime=2.9 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 16943 0 0 0 281 9 0 0 18 0 8 0 721029118 1684205568 248165 33554432000 4194304 4580107 140733612025504 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.26
Current children cumulated vsize (KiB) 1644732

[startup+6.3006 s]
/proc/loadavg: 8.05 7.97 7.33 9/573 16961
/proc/meminfo: memFree=25363176/32950928 swapFree=49807316/67111528
[pid=16953] ppid=16951 vsize=1889404 CPUtime=45.81 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 427519 0 0 0 4342 239 0 0 21 0 8 0 721029118 1934749696 331373 33554432000 4194304 4580107 140733612025504 18446744073709551615 4389696 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16953/statm: 472351 331373 378 95 0 467333 0
[pid=16953/tid=16954] ppid=16951 vsize=1889404 CPUtime=5.38 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 54863 0 0 0 506 32 0 0 18 0 8 0 721029118 1934749696 331373 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=1889404 CPUtime=5.7 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 57845 0 0 0 537 33 0 0 21 0 8 0 721029118 1934749696 331373 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=1889404 CPUtime=5.71 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 59679 0 0 0 544 27 0 0 23 0 8 0 721029118 1934749696 331373 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=1889404 CPUtime=5.7 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 58192 0 0 0 537 33 0 0 23 0 8 0 721029118 1934749696 331373 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=1889404 CPUtime=5.79 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 57816 0 0 0 550 29 0 0 24 0 8 0 721029118 1934749696 331373 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=1889404 CPUtime=5.73 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 61254 0 0 0 539 34 0 0 24 0 8 0 721029118 1934749696 331373 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=1889404 CPUtime=6.07 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 17203 0 0 0 597 10 0 0 24 0 8 0 721029118 1934749696 331373 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0

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

/proc/loadavg: 8.09 8.04 7.55 9/573 16981
/proc/meminfo: memFree=24858576/32950928 swapFree=49807376/67111528
[pid=16953] ppid=16951 vsize=2502356 CPUtime=2727.21 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 801689 0 0 0 272377 344 0 0 25 0 8 0 721029118 2562412544 450330 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16953/statm: 625589 450330 380 95 0 620571 0
[pid=16953/tid=16954] ppid=16951 vsize=2502356 CPUtime=341.28 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 106270 0 0 0 34082 46 0 0 25 0 8 0 721029118 2562412544 450330 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=2502356 CPUtime=341.71 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 81369 0 0 0 34130 41 0 0 25 0 8 0 721029118 2562412544 450330 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=2502356 CPUtime=341.65 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 112422 0 0 0 34124 41 0 0 25 0 8 0 721029118 2562412544 450330 33554432000 4194304 4580107 140733612025504 18446744073709551615 4342205 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=2502356 CPUtime=335.27 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 107256 0 0 0 33481 46 0 0 25 0 8 0 721029118 2562412544 450330 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=2502356 CPUtime=341.76 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 93503 0 0 0 34135 41 0 0 25 0 8 0 721029118 2562412544 450330 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=2502356 CPUtime=341.74 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 115036 0 0 0 34128 46 0 0 25 0 8 0 721029118 2562412544 450330 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=2502356 CPUtime=342.07 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 72737 0 0 0 34181 26 0 0 25 0 8 0 721029118 2562412544 450330 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2727.21
Current children cumulated vsize (KiB) 2502356

[startup+402.301 s]
/proc/loadavg: 6.68 7.72 7.47 4/573 16984
/proc/meminfo: memFree=24968232/32950928 swapFree=49807468/67111528
[pid=16953] ppid=16951 vsize=2305840 CPUtime=3080.61 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 824828 0 0 0 307704 357 0 0 25 0 8 0 721029118 2361180160 414639 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745163307 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16953/statm: 576460 414639 380 95 0 571442 0
[pid=16953/tid=16954] ppid=16951 vsize=2305840 CPUtime=364.52 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 107103 0 0 0 36406 46 0 0 25 0 8 0 721029118 2361180160 414639 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=2305840 CPUtime=401.71 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 81876 0 0 0 40130 41 0 0 25 0 8 0 721029118 2361180160 414639 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=2305840 CPUtime=361.83 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 113748 0 0 0 36142 41 0 0 25 0 8 0 721029118 2361180160 414639 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=2305840 CPUtime=378.6 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 112235 0 0 0 37811 49 0 0 25 0 8 0 721029118 2361180160 414639 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=2305840 CPUtime=396.08 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 98622 0 0 0 39565 43 0 0 25 0 8 0 721029118 2361180160 414639 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=2305840 CPUtime=374.06 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 115792 0 0 0 37359 47 0 0 25 0 8 0 721029118 2361180160 414639 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=2305840 CPUtime=402.07 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 80992 0 0 0 40175 32 0 0 25 0 8 0 721029118 2361180160 414639 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3080.61
Current children cumulated vsize (KiB) 2305840

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

[startup+403.101 s]
/proc/loadavg: 6.38 7.64 7.45 4/573 16984
/proc/meminfo: memFree=24967860/32950928 swapFree=49807468/67111528
[pid=16953] ppid=16951 vsize=2305840 CPUtime=3083.01 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 824877 0 0 0 307944 357 0 0 25 0 8 0 721029118 2361180160 414688 33554432000 4194304 4580107 140733612025504 18446744073709551615 4219864 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16953/statm: 576460 414688 380 95 0 571442 0
[pid=16953/tid=16954] ppid=16951 vsize=2305840 CPUtime=364.52 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 107103 0 0 0 36406 46 0 0 25 0 8 0 721029118 2361180160 414688 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=2305840 CPUtime=402.51 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 81876 0 0 0 40210 41 0 0 25 0 8 0 721029118 2361180160 414688 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=2305840 CPUtime=361.83 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 113748 0 0 0 36142 41 0 0 25 0 8 0 721029118 2361180160 414688 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=2305840 CPUtime=378.6 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 112235 0 0 0 37811 49 0 0 25 0 8 0 721029118 2361180160 414688 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=2305840 CPUtime=396.08 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 98622 0 0 0 39565 43 0 0 25 0 8 0 721029118 2361180160 414688 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=2305840 CPUtime=374.06 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 115792 0 0 0 37359 47 0 0 25 0 8 0 721029118 2361180160 414688 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=2305840 CPUtime=402.87 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 81041 0 0 0 40255 32 0 0 25 0 8 0 721029118 2361180160 414688 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3083.01
Current children cumulated vsize (KiB) 2305840

[startup+406.3 s]
/proc/loadavg: 6.38 7.64 7.45 4/573 16984
/proc/meminfo: memFree=24967292/32950928 swapFree=49807468/67111528
[pid=16953] ppid=16951 vsize=2305840 CPUtime=3092.61 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 825043 0 0 0 308904 357 0 0 25 0 8 0 721029118 2361180160 414854 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745163307 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16953/statm: 576460 414854 380 95 0 571442 0
[pid=16953/tid=16954] ppid=16951 vsize=2305840 CPUtime=364.52 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 107103 0 0 0 36406 46 0 0 25 0 8 0 721029118 2361180160 414854 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=2305840 CPUtime=405.71 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 81876 0 0 0 40530 41 0 0 25 0 8 0 721029118 2361180160 414854 33554432000 4194304 4580107 140733612025504 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=2305840 CPUtime=361.83 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 113748 0 0 0 36142 41 0 0 25 0 8 0 721029118 2361180160 414854 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=2305840 CPUtime=378.6 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 112235 0 0 0 37811 49 0 0 25 0 8 0 721029118 2361180160 414854 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=2305840 CPUtime=396.08 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 98622 0 0 0 39565 43 0 0 25 0 8 0 721029118 2361180160 414854 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=2305840 CPUtime=374.06 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 115792 0 0 0 37359 47 0 0 25 0 8 0 721029118 2361180160 414854 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=2305840 CPUtime=406.07 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 81207 0 0 0 40575 32 0 0 25 0 8 0 721029118 2361180160 414854 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3092.61
Current children cumulated vsize (KiB) 2305840

[startup+407.901 s]
/proc/loadavg: 6.38 7.64 7.45 4/573 16984
/proc/meminfo: memFree=24971632/32950928 swapFree=49807468/67111528
[pid=16953] ppid=16951 vsize=2288780 CPUtime=3097.41 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 826686 0 0 0 309384 357 0 0 25 0 8 0 721029118 2343710720 413724 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745163307 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16953/statm: 572195 413724 380 95 0 567177 0
[pid=16953/tid=16954] ppid=16951 vsize=2288780 CPUtime=364.52 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 107103 0 0 0 36406 46 0 0 25 0 8 0 721029118 2343710720 413724 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=2288780 CPUtime=407.31 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 81903 0 0 0 40690 41 0 0 25 0 8 0 721029118 2343710720 413724 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=2288780 CPUtime=361.83 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 113748 0 0 0 36142 41 0 0 25 0 8 0 721029118 2343710720 413724 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=2288780 CPUtime=378.6 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 112235 0 0 0 37811 49 0 0 25 0 8 0 721029118 2343710720 413724 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=2288780 CPUtime=396.08 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 98622 0 0 0 39565 43 0 0 25 0 8 0 721029118 2343710720 413724 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=2288780 CPUtime=374.06 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 115792 0 0 0 37359 47 0 0 25 0 8 0 721029118 2343710720 413724 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=2288780 CPUtime=407.67 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 82823 0 0 0 40735 32 0 0 25 0 8 0 721029118 2343710720 413724 33554432000 4194304 4580107 140733612025504 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3097.41
Current children cumulated vsize (KiB) 2288780

[startup+409.501 s]
/proc/loadavg: 6.11 7.57 7.42 4/573 16984
/proc/meminfo: memFree=24971136/32950928 swapFree=49807468/67111528
[pid=16953] ppid=16951 vsize=2288780 CPUtime=3102.2 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 826867 0 0 0 309863 357 0 0 25 0 8 0 721029118 2343710720 411106 33554432000 4194304 4580107 140733612025504 18446744073709551615 4205512 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16953/statm: 572195 411106 380 95 0 567177 0
[pid=16953/tid=16954] ppid=16951 vsize=2288780 CPUtime=364.52 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 107103 0 0 0 36406 46 0 0 25 0 8 0 721029118 2343710720 411106 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=2288780 CPUtime=408.91 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 81984 0 0 0 40850 41 0 0 25 0 8 0 721029118 2343710720 411106 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=2288780 CPUtime=361.83 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 113748 0 0 0 36142 41 0 0 25 0 8 0 721029118 2343710720 411106 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=2288780 CPUtime=378.6 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 112235 0 0 0 37811 49 0 0 25 0 8 0 721029118 2343710720 411106 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=2288780 CPUtime=396.08 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 98622 0 0 0 39565 43 0 0 25 0 8 0 721029118 2343710720 411106 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=2288780 CPUtime=374.06 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 115792 0 0 0 37359 47 0 0 25 0 8 0 721029118 2343710720 411106 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=2288780 CPUtime=409.26 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 82923 0 0 0 40894 32 0 0 25 0 8 0 721029118 2343710720 411106 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3102.2
Current children cumulated vsize (KiB) 2288780

[startup+409.901 s]
/proc/loadavg: 6.11 7.57 7.42 4/573 16984
/proc/meminfo: memFree=24971136/32950928 swapFree=49807468/67111528
[pid=16953] ppid=16951 vsize=2288780 CPUtime=3103 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202496 826890 0 0 0 309943 357 0 0 25 0 8 0 721029118 2343710720 411129 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745163460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16953/statm: 572195 411129 380 95 0 567177 0
[pid=16953/tid=16954] ppid=16951 vsize=2288780 CPUtime=364.52 cores=0-7
/proc/16953/task/16954/stat : 16954 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 107103 0 0 0 36406 46 0 0 25 0 8 0 721029118 2343710720 411129 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 4 0 0 0
[pid=16953/tid=16955] ppid=16951 vsize=2288780 CPUtime=409.31 cores=0-7
/proc/16953/task/16955/stat : 16955 (strangenight2-m) R 16951 16953 16697 0 -1 4202560 82007 0 0 0 40890 41 0 0 25 0 8 0 721029118 2343710720 411129 33554432000 4194304 4580107 140733612025504 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16953/tid=16956] ppid=16951 vsize=2288780 CPUtime=361.83 cores=0-7
/proc/16953/task/16956/stat : 16956 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 113748 0 0 0 36142 41 0 0 25 0 8 0 721029118 2343710720 411129 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16957] ppid=16951 vsize=2288780 CPUtime=378.6 cores=0-7
/proc/16953/task/16957/stat : 16957 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 112235 0 0 0 37811 49 0 0 25 0 8 0 721029118 2343710720 411129 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16958] ppid=16951 vsize=2288780 CPUtime=396.08 cores=0-7
/proc/16953/task/16958/stat : 16958 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 98622 0 0 0 39565 43 0 0 25 0 8 0 721029118 2343710720 411129 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 0 0 0 0
[pid=16953/tid=16959] ppid=16951 vsize=2288780 CPUtime=374.06 cores=0-7
/proc/16953/task/16959/stat : 16959 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 115792 0 0 0 37359 47 0 0 25 0 8 0 721029118 2343710720 411129 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 6 0 0 0
[pid=16953/tid=16960] ppid=16951 vsize=2288780 CPUtime=409.26 cores=0-7
/proc/16953/task/16960/stat : 16960 (strangenight2-m) S 16951 16953 16697 0 -1 4202560 82923 0 0 0 40894 32 0 0 25 0 8 0 721029118 2343710720 411129 33554432000 4194304 4580107 140733612025504 18446744073709551615 47806745187892 0 0 4096 2 18446604456471072960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3103
Current children cumulated vsize (KiB) 2288780

[startup+410.101 s]
/proc/loadavg: 6.11 7.57 7.42 4/573 16984
/proc/meminfo: memFree=24971136/32950928 swapFree=49807468/67111528
[pid=16953] ppid=16951 vsize=0 CPUtime=3103.33 cores=0-7
/proc/16953/stat : 16953 (strangenight2-m) R 16951 16953 16697 0 -1 4202500 826896 0 0 0 309968 365 0 0 25 0 1 0 721029118 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16953/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3103.33
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 410.108
CPU time (s): 3103.34
CPU user time (s): 3099.69
CPU system time (s): 3.65744
CPU usage (%): 756.714
Max. virtual memory (cumulated for all children) (KiB): 2633344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3099.69
system time used= 3.65744
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 826896
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= 279009
involuntary context switches= 23914

runsolver used 2.20866 second user time and 5.62315 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-22 21:58:23
IDJOB=3394328
IDBENCH=82497
IDSOLVER=1878
FILE ID=node122/3394328-1306094302
RUNJOBID= node122-1306092226-16711
PBS_JOBID= 13387942
Free space on /tmp= 73348 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_f_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394328-1306094302/watcher-3394328-1306094302 -o /tmp/evaluation-result-3394328-1306094302/solver-3394328-1306094302 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394328-1306094302.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f03ed12a281977a642336980ec847847
RANDOM SEED=643325239

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:      26702764 kB
Buffers:          3480 kB
Cached:          90108 kB
SwapCached:      43512 kB
Active:          40984 kB
Inactive:      5984360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26702764 kB
SwapTotal:    67111528 kB
SwapFree:     49807316 kB
Dirty:           24076 kB
Writeback:           0 kB
AnonPages:     5897012 kB
Mapped:           9160 kB
Slab:            58088 kB
PageTables:      92772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180714872 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= 73340 MiB
End job on node122 at 2011-05-22 22:05:13