Trace number 3394896

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)SAT 824.554 103.382

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
MD5SUM833432e05c2a1599e13dca28680b5df9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark216.737
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of clauses161664
Sum of the clauses size423264
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 263584
Number of clauses of size 398016
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 564

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	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-3394896-1306108951.cnf'
0.00/0.01	c -- header says num vars:           1024
0.00/0.01	c -- header says num clauses:      161664
0.30/0.17	c -- clauses added:            0 learnts,       161664 normals,            0 xors
0.30/0.17	c -- vars added       1024
0.30/0.17	c Parsing time:  0.03 s
0.30/0.17	c  N st     0         0      1024     98080     63584         0    423264         0   no data   no data
5.61/0.85	c asymm  cl-useful: 122/6592/98080 lits-rem:364 time: 0.69
7.17/1.01	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.15
7.17/1.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.17/1.07	c bin-w-bin subsume rem        31784 bins  time:  0.02 s
7.97/1.19	c subs with bin:    16992  lits-rem:     11408  v-fix:    0  time:  0.13 s
8.65/1.21	c Subs w/ non-existent bins:    228 l-rem:     61 v-fix:     0 done:   1023 time:  0.01 s
8.65/1.25	c Removed useless bin:    6520  fixed:     0  props:   4.62M  time:  0.02 s
9.44/1.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
9.44/1.39	c Finding binary XORs  T:     0.00 s  found:       0
10.24/1.41	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
10.24/1.41	c calculated reachability. Time: 0.00
10.24/1.42	c Calc default polars -  time:   0.00 s pos:       0 undec:       1 neg:    1023
10.24/1.42	c =========================================================================================
10.24/1.42	c types(t): F = full restart, N = normal restart
10.24/1.42	c types(t): S = simplification begin/end, E = solution found
10.24/1.42	c restart types(rt): st = static, dy = dynamic
10.24/1.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.24/1.42	c  B st     0         0      1023     80049     37212         0    316425         0   no data   no data
15.05/2.11	c  N dy    17      4029      1023     80049     37216      3977    316425     97275      8.25      9.96
20.63/2.70	c Finding binary XORs  T:     0.00 s  found:       0
20.63/2.79	c  N dy    47      8087      1023     80049     43083      7981    316425    210040      9.08     11.61
27.01/3.51	c  N dy    72     12209      1023     80049     43084     12073    316425    313276      9.05      9.62
32.62/4.27	c  N dy    94     16325      1023     80049     43099     16143    316425    411039      9.05      9.66
39.00/5.05	c  N dy   117     20437      1023     80049     43108     10321    316425    181569      9.06      9.54
44.58/5.79	c  N dy   144     24780      1023     80049     43112     14612    316425    290971      9.19      9.80
45.38/5.83	c  F st   145     25001      1023     80049     43112     14832    316425    295967      9.18      8.12
52.57/6.75	c  N dy   151     30001      1023     80049     43113     19765    316425    418011      9.18   no data
52.57/6.75	c  S st   151     30001      1023     80049     43113     19765    316425    418011      9.18   no data
53.37/6.84	c  S st   151     30502      1023     80049     43113     20266    316425    429424      9.18   no data
53.37/6.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
54.97/7.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     83 BRemL:   5835 BRemN:      0 P:  7.8M T:  0.17
54.97/7.02	c blocked clauses removed:        0 vars:      0 tried:        1023 T: 0.00 s
54.97/7.03	c bin-w-bin subsume rem         2815 bins  time:  0.01 s
55.77/7.12	c subs with bin:      114  lits-rem:        76  v-fix:    0  time:  0.09 s
55.77/7.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
55.77/7.13	c Removed useless bin:      19  fixed:     0  props:   3.24M  time:  0.01 s
55.77/7.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
64.55/8.22	c subs with bin:        4  lits-rem:       453  v-fix:    0  time:  1.05 s
66.15/8.46	c lits-rem:       856  cl-subs:     3270  v-elim:      0  v-fix:    0  time:  0.24 s
69.46/8.82	c asymm  cl-useful: 0/3241/79935 lits-rem:0 time: 0.36
69.46/8.83	c calculated reachability. Time: 0.00
69.46/8.83	c  N dy   151     30502      1023     79935     34603     16992    310637    372348      9.18   no data
75.74/9.67	c  N dy   178     34884      1023     79935     34605     21320    310637    472849      9.24      9.84
82.12/10.43	c  N dy   205     38996      1023     79935     34610     25391    310637    576999      9.32     10.12
87.71/11.18	c  N dy   229     43137      1023     79935     34614     29498    310637    678126      9.34     10.08
92.50/11.70	c  S st   243     45753      1023     79935     34614     16773    310637    254426      9.34      8.19
92.50/11.79	c  S st   243     46253      1023     79935     34614     17273    310637    265219      9.34   no data
93.31/11.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.11/11.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      6 BRemN:     12 P:  7.7M T:  0.16
94.11/11.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
94.11/11.97	c bin-w-bin subsume rem           68 bins  time:  0.01 s
94.93/12.06	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.09 s
94.93/12.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
94.93/12.08	c Removed useless bin:      32  fixed:     0  props:   3.29M  time:  0.01 s
94.93/12.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
99.69/12.64	c subs with bin:        7  lits-rem:        89  v-fix:    0  time:  0.54 s
100.49/12.71	c lits-rem:       207  cl-subs:      990  v-elim:      0  v-fix:    0  time:  0.06 s
100.49/12.73	c vivif2 --  cl tried    79932 cl shrink        0 lits rem          0 time: 0.02
100.49/12.75	c vivif2 --  cl tried    16276 cl shrink     2509 lits rem       3503 time: 0.02
102.89/13.11	c asymm  cl-useful: 0/3279/79932 lits-rem:0 time: 0.36
102.89/13.11	c calculated reachability. Time: 0.00
103.71/13.11	c  N dy   243     46253      1023     79932     34498     16276    310516    251357      9.34   no data
109.28/13.88	c  N dy   263     50360      1023     79932     34502     20332    310516    348664      9.32     10.06
115.66/14.63	c  N dy   291     54400      1023     79932     34502     24313    310516    446924      9.38     14.77
122.16/15.44	c  N dy   313     58468      1023     79932     34503     28316    310516    541742      9.39      9.93
128.45/16.24	c  N dy   333     62580      1023     79932     34510     32358    310516    641444      9.39     10.06
134.83/17.06	c  N dy   354     66657      1023     79932     34510     36385    310516    737619      9.39     10.16
139.74/17.61	c  S st   368     69379      1023     79932     34512     20575    310516    299545      9.38      7.35
140.41/17.70	c  S st   368     69884      1023     79932     34512     21079    310516    311376      9.38   no data
140.41/17.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.22/17.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  8.0M T:  0.16
141.22/17.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.22/17.89	c bin-w-bin subsume rem            2 bins  time:  0.01 s
142.02/17.98	c subs with bin:       12  lits-rem:         8  v-fix:    0  time:  0.09 s
142.02/17.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
142.02/17.99	c Removed useless bin:       4  fixed:     0  props:   3.30M  time:  0.01 s
142.82/18.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.64/18.68	c subs with bin:       12  lits-rem:        61  v-fix:    0  time:  0.66 s
148.52/18.77	c lits-rem:       212  cl-subs:     1260  v-elim:      0  v-fix:    0  time:  0.09 s
148.52/18.79	c vivif2 --  cl tried    79920 cl shrink        0 lits rem          0 time: 0.02
149.20/18.81	c vivif2 --  cl tried    19807 cl shrink     1485 lits rem       2237 time: 0.02
151.60/19.16	c asymm  cl-useful: 6/3099/79920 lits-rem:18 time: 0.35
151.60/19.17	c calculated reachability. Time: 0.00
151.60/19.17	c  N dy   368     69884      1023     79914     34522     19807    310490    295976      9.38   no data
158.79/20.05	c  N dy   393     74626      1023     79914     34522     24493    310490    411884      9.40      9.98
166.09/20.97	c  N dy   415     79423      1023     79914     34522     29219    310490    526206      9.40      9.93
168.37/21.29	c Finding binary XORs  T:     0.00 s  found:       0
173.99/21.97	c  N dy   440     84566      1023     79914     34665     34295    310490    649131      9.38      9.90
178.75/22.55	c  F st   457     87500      1023     79914     34667     37197    310490    722390      9.38      9.97
184.34/23.22	c  N st   462     90797      1023     79914     34667     40441    310490    809814      9.38   no data
193.92/24.41	c  N dy   481     96695      1023     79914     34680     25675    310490    344120      9.36      9.91
203.51/25.61	c  N dy   514    103106      1023     79914     34681     31982    310490    495059      9.37      9.86
205.90/25.94	c  S st   528    104826      1023     79914     34681     33683    310490    540100      9.38      9.03
206.71/26.05	c  S st   528    105330      1023     79914     34682     34187    310490    552695      9.38   no data
206.71/26.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
208.31/26.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:    136 BRemN:      0 P:  8.4M T:  0.18
208.31/26.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
208.31/26.25	c bin-w-bin subsume rem            8 bins  time:  0.01 s
209.13/26.34	c subs with bin:       12  lits-rem:        12  v-fix:    0  time:  0.09 s
209.13/26.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
209.13/26.36	c Removed useless bin:       6  fixed:     0  props:   3.30M  time:  0.01 s
209.13/26.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
219.48/27.65	c subs with bin:       34  lits-rem:       145  v-fix:    0  time:  1.27 s
221.88/27.95	c lits-rem:       838  cl-subs:     3050  v-elim:      0  v-fix:    0  time:  0.28 s
221.88/27.97	c vivif2 --  cl tried    79902 cl shrink        0 lits rem          0 time: 0.02
222.68/28.00	c vivif2 --  cl tried    31103 cl shrink     4080 lits rem       6520 time: 0.04
225.08/28.36	c asymm  cl-useful: 6/2956/79902 lits-rem:18 time: 0.36
225.08/28.37	c calculated reachability. Time: 0.00
225.08/28.37	c  N dy   528    105330      1023     79896     34551     31103    310456    504907      9.38   no data
236.37/29.71	c  N dy   562    112090      1023     79896     34553     37767    310456    669097      9.37      9.87
248.23/31.23	c  N dy   600    119366      1023     79896     34555     22840    310456    222800      9.36      9.88
259.42/32.66	c  N dy   644    127021      1023     79896     34557     30386    310456    409140      9.37     12.05
272.19/34.22	c  N dy   690    135159      1023     79896     34558     38427    310456    605738      9.37      9.93
286.57/36.07	c  N dy   742    143825      1023     79896     34561     23588    310456    231009      9.39     10.35
300.95/37.82	c  N dy   791    153069      1023     79896     34561     32721    310456    463468      9.40     10.54
308.93/38.86	c  S st   819    157995      1023     79896     34571     37592    310456    583533      9.41   no data
309.73/38.96	c  S st   819    158495      1023     79896     34571     38091    310456    595543      9.41   no data
309.73/38.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
311.33/39.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.6M T:  0.18
311.33/39.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
311.33/39.17	c bin-w-bin subsume rem           12 bins  time:  0.01 s
312.13/39.25	c subs with bin:       15  lits-rem:        14  v-fix:    0  time:  0.09 s
312.13/39.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
312.13/39.27	c Removed useless bin:       0  fixed:     0  props:   3.31M  time:  0.01 s
312.13/39.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
322.52/40.56	c subs with bin:       40  lits-rem:        88  v-fix:    0  time:  1.25 s
324.90/40.88	c lits-rem:       886  cl-subs:     3226  v-elim:      0  v-fix:    0  time:  0.31 s
325.70/40.90	c vivif2 --  cl tried    79881 cl shrink        0 lits rem          0 time: 0.02
325.70/40.94	c vivif2 --  cl tried    34825 cl shrink     4809 lits rem       8738 time: 0.04
328.10/41.28	c asymm  cl-useful: 4/2786/79881 lits-rem:12 time: 0.34
328.10/41.29	c calculated reachability. Time: 0.00
328.10/41.29	c  N dy   819    158495      1023     79877     34577     34825    310437    545814      9.41   no data
344.87/43.36	c  N dy   876    168644      1023     79877     34580     44856    310437    803978      9.40      9.96
362.44/45.54	c  N dy   938    179413      1023     79877     34588     30971    310437    389484      9.41      9.95
381.61/47.94	c  N dy  1003    191413      1023     79877     34589     42798    310437    680070      9.41     10.24
402.40/50.55	c  N dy  1081    203754      1023     79877     34592     29382    310437    274700      9.44      9.94
422.34/53.07	c  N dy  1145    216826      1023     79877     34595     42272    310437    590024      9.43      9.94
444.71/55.89	c  N dy  1228    230793      1023     79877     34597     29469    310437    233032      9.44     10.13
455.12/57.19	c  S st  1268    237743      1023     79877     34598     36327    310437    400797      9.45      7.06
456.00/57.28	c  S st  1268    238243      1023     79877     34598     36825    310437    412994      9.45   no data
456.00/57.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
457.48/57.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  8.2M T:  0.17
457.48/57.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
457.48/57.47	c bin-w-bin subsume rem           14 bins  time:  0.01 s
458.28/57.56	c subs with bin:        8  lits-rem:         8  v-fix:    0  time:  0.09 s
458.28/57.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
458.28/57.58	c Removed useless bin:       0  fixed:     0  props:   3.32M  time:  0.01 s
458.28/57.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
465.46/58.47	c subs with bin:       45  lits-rem:        61  v-fix:    0  time:  0.87 s
467.86/58.70	c lits-rem:       496  cl-subs:     2580  v-elim:      0  v-fix:    0  time:  0.22 s
467.86/58.72	c vivif2 --  cl tried    79869 cl shrink        0 lits rem          0 time: 0.02
467.86/58.75	c vivif2 --  cl tried    34200 cl shrink     3143 lits rem       5117 time: 0.03
471.06/59.11	c asymm  cl-useful: 4/3067/79869 lits-rem:12 time: 0.36
471.06/59.11	c calculated reachability. Time: 0.00
471.06/59.11	c  N dy  1268    238243      1023     79865     34597     34200    310425    376313      9.45   no data
495.02/62.10	c  N dy  1363    253501      1023     79865     34597     49218    310425    749845      9.47     10.05
520.58/65.31	c  N dy  1458    269761      1023     79865     34600     37697    310425    415825      9.50     10.09
548.53/68.80	c  N dy  1567    287029      1023     79865     34611     54706    310425    844674      9.53     10.08
577.28/72.44	c  N dy  1676    305521      1023     79865     34611     44359    310425    552308      9.55     10.11
578.11/72.57	c  F st  1681    306250      1023     79865     34611     45083    310425    570750      9.55      7.05
609.22/76.41	c  N dy  1763    325051      1023     79865     34611     34036    310425    286022      9.56     10.11
640.48/80.38	c  N dy  1879    345150      1023     79865     34612     53825    310425    778749      9.58     10.16
660.34/82.84	c  S st  1952    357364      1023     79865     34613     35330    310425    305301      9.59      8.43
661.14/82.94	c  S st  1952    357865      1023     79865     34613     35830    310425    317216      9.59   no data
661.14/82.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
662.74/83.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      1 P:  8.2M T:  0.17
662.74/83.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
662.74/83.13	c bin-w-bin subsume rem            8 bins  time:  0.01 s
663.54/83.22	c subs with bin:       11  lits-rem:         7  v-fix:    0  time:  0.09 s
663.54/83.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
663.54/83.24	c Removed useless bin:       1  fixed:     0  props:   3.34M  time:  0.01 s
663.54/83.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
668.33/83.86	c subs with bin:      194  lits-rem:        17  v-fix:    0  time:  0.59 s
669.93/84.03	c lits-rem:       233  cl-subs:     1378  v-elim:      0  v-fix:    0  time:  0.16 s
669.93/84.05	c vivif2 --  cl tried    79854 cl shrink        0 lits rem          0 time: 0.02
669.93/84.07	c vivif2 --  cl tried    34258 cl shrink     1837 lits rem       2866 time: 0.02
673.12/84.43	c asymm  cl-useful: 2/3119/79854 lits-rem:6 time: 0.36
673.12/84.44	c calculated reachability. Time: 0.00
673.12/84.44	c  N dy  1952    357865      1023     79852     34612     34258    310408    297848      9.59   no data
705.06/88.44	c  N dy  2054    377957      1023     79852     34616     54059    310408    788018      9.59     10.24
737.81/92.59	c  N dy  2166    398056      1023     79852     34623     42371    310408    461833      9.58     10.14
771.40/96.74	c  N dy  2274    418256      1023     79852     34628     62267    310408    944384      9.58     10.46
803.32/100.76	c  N dy  2370    438270      1023     79852     34631     49476    310408    619659      9.57     10.40
824.10/103.35	c Following stats are for *FIRST FINISHED THREAD ONLY*
824.10/103.35	c num threads              : 8          
824.10/103.35	c restarts                 : 2594       
824.10/103.35	c dynamic restarts         : 2570       
824.10/103.35	c static restarts          : 24         
824.10/103.35	c full restarts            : 3          
824.10/103.35	c total simplify time      : 0.00       
824.10/103.35	c learnts DL2              : 0          
824.10/103.35	c learnts size 2           : 81984      
824.10/103.35	c learnts size 1           : 1           (0.10      % of vars)
824.10/103.35	c filedLit time            : 0.69        (0.67      % time)
824.10/103.35	c v-elim SatELite          : 0           (0.00      % vars)
824.10/103.35	c SatELite time            : 1.37        (1.32      % time)
824.10/103.35	c v-elim xor               : 0           (0.00      % vars)
824.10/103.35	c xor elim time            : 0.01        (0.01      % time)
824.10/103.35	c num binary xor trees     : 0          
824.10/103.35	c binxor trees' crown      : 0           (nan       leafs/tree)
824.10/103.35	c bin xor find time        : 0.00       
824.10/103.35	c OTF clause improved      : 6730        (0.01      clauses/conflict)
824.10/103.35	c OTF impr. size diff      : 8771        (1.30       lits/clause)
824.10/103.35	c OTF cl watch-shrink      : 284105      (0.59      clauses/conflict)
824.10/103.35	c OTF cl watch-sh-lit      : 1410677     (4.97       lits/clause)
824.10/103.35	c tried to recurMin cls    : 161009      (33.61      % of conflicts)
824.10/103.35	c updated cache            : 1722        (0.01       lits/tried recurMin)
824.10/103.35	c unit cls recevied        : 0           (0.00      % of units)
824.10/103.35	c unit cls sent            : 0           (0.00      % of units)
824.10/103.35	c bin cls recevied         : 6240       
824.10/103.35	c bin cls sent             : 48         
824.10/103.35	c clauses over max glue    : 0           (0.00      % of all clauses)
824.10/103.35	c conflicts                : 479041      (4643.75   / sec)
824.10/103.35	c decisions                : 1054869     (0.52      % random)
824.10/103.35	c bogo-props               : 5636896664  (54643162.35 / sec)
824.10/103.35	c conflict literals        : 11838048    (56.70     % deleted)
824.10/103.35	c Memory used              : 892.99      MB
824.10/103.35	c single-thread CPU time   : 103.16      s
824.10/103.35	c all-threads sum CPU time : 823.87      s
824.10/103.35	s SATISFIABLE
824.10/103.35	v -1 -2 -3 -4 -5 -6 7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 959 -960 -961 -962 -963 -964 -965 966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 0

Verifier Data 

OK

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-3394896-1306108951/watcher-3394896-1306108951 -o /tmp/evaluation-result-3394896-1306108951/solver-3394896-1306108951 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394896-1306108951.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.64 7.92 7.96 2/408 1265
/proc/meminfo: memFree=25213008/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=92144 CPUtime=0 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 8 0 178504500 94355456 352 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880621553 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1265/statm: 23036 352 299 95 0 18018 0
[pid=1265/tid=1266] ppid=1263 vsize=487128 CPUtime=0 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 382 0 0 0 0 0 0 0 18 0 8 0 178504500 498819072 3150 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880233786 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=487128 CPUtime=0 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 356 0 0 0 0 0 0 0 18 0 8 0 178504500 498819072 3160 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=487128 CPUtime=0 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 386 0 0 0 0 0 0 0 18 0 8 0 178504500 498819072 3162 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880261899 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=487128 CPUtime=0 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 360 0 0 0 0 0 0 0 18 0 8 0 178504500 498819072 3170 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=487128 CPUtime=0 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 333 0 0 0 0 0 0 0 18 0 8 0 178504500 498819072 3172 33554432000 4194304 4580107 140736477034672 18446744073709551615 4308000 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=487128 CPUtime=0 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 286 0 0 0 0 0 0 0 17 0 8 0 178504500 498819072 3173 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=487128 CPUtime=0 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 406 0 0 0 0 0 0 0 18 0 8 0 178504500 498819072 3174 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0508541 s]
/proc/loadavg: 7.64 7.92 7.96 2/408 1265
/proc/meminfo: memFree=25213008/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=556692 CPUtime=0.17 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) S 1263 1265 1170 0 -1 4202496 7334 0 0 0 11 6 0 0 17 0 8 0 178504500 570052608 7227 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670190 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1265/statm: 139173 7231 337 95 0 134155 0
[pid=1265/tid=1266] ppid=1263 vsize=556692 CPUtime=0.02 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 1164 0 0 0 2 0 0 0 17 0 8 0 178504500 570052608 7236 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=556692 CPUtime=0.01 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 776 0 0 0 1 0 0 0 17 0 8 0 178504500 570052608 7240 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=556692 CPUtime=0.01 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 1149 0 0 0 1 0 0 0 18 0 8 0 178504500 570052608 7242 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880233713 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=556692 CPUtime=0.01 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 752 0 0 0 1 0 0 0 17 0 8 0 178504500 570052608 7246 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=556692 CPUtime=0 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 624 0 0 0 0 0 0 0 17 0 8 0 178504500 570052608 7251 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=556692 CPUtime=0.01 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 907 0 0 0 1 0 0 0 17 0 8 0 178504500 570052608 7252 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=556692 CPUtime=0.02 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 894 0 0 0 1 1 0 0 17 0 8 0 178504500 570052608 7252 33554432000 4194304 4580107 140736477034672 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 556692

[startup+0.100867 s]
/proc/loadavg: 7.64 7.92 7.96 2/408 1265
/proc/meminfo: memFree=25213008/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=562576 CPUtime=0.3 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 12558 0 0 0 19 11 0 0 17 0 8 0 178504500 576077824 12450 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670190 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 140644 12458 337 95 0 135626 0
[pid=1265/tid=1266] ppid=1263 vsize=562576 CPUtime=0.03 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2163 0 0 0 2 1 0 0 17 0 8 0 178504500 576077824 12459 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=562576 CPUtime=0.03 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 1305 0 0 0 2 1 0 0 17 0 8 0 178504500 576077824 12464 33554432000 4194304 4580107 140736477034672 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=562576 CPUtime=0.04 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2025 0 0 0 3 1 0 0 17 0 8 0 178504500 576077824 12467 33554432000 4194304 4580107 140736477034672 18446744073709551615 4298706 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=562576 CPUtime=0.02 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 1234 0 0 0 1 1 0 0 17 0 8 0 178504500 576077824 12472 33554432000 4194304 4580107 140736477034672 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=562576 CPUtime=0 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 1239 0 0 0 0 0 0 0 17 0 8 0 178504500 576077824 12479 33554432000 4194304 4580107 140736477034672 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=562576 CPUtime=0.02 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 1356 0 0 0 1 1 0 0 17 0 8 0 178504500 576077824 12481 33554432000 4194304 4580107 140736477034672 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=562576 CPUtime=0.04 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 1776 0 0 0 3 1 0 0 18 0 8 0 178504500 576077824 12483 33554432000 4194304 4580107 140736477034672 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 562576

[startup+0.381745 s]
/proc/loadavg: 7.64 7.92 7.96 2/408 1265
/proc/meminfo: memFree=25213008/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=571796 CPUtime=2.26 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 20892 0 0 0 209 17 0 0 16 0 8 0 178504500 585519104 20784 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 142949 20784 359 95 0 137931 0
[pid=1265/tid=1266] ppid=1263 vsize=571796 CPUtime=0.31 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2662 0 0 0 29 2 0 0 17 0 8 0 178504500 585519104 20784 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=571796 CPUtime=0.28 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2515 0 0 0 26 2 0 0 18 0 8 0 178504500 585519104 20784 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=571796 CPUtime=0.3 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2708 0 0 0 28 2 0 0 18 0 8 0 178504500 585519104 20784 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=571796 CPUtime=0.27 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2528 0 0 0 26 1 0 0 17 0 8 0 178504500 585519104 20784 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=571796 CPUtime=0.19 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2360 0 0 0 18 1 0 0 17 0 8 0 178504500 585519104 20784 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=571796 CPUtime=0.26 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2628 0 0 0 24 2 0 0 17 0 8 0 178504500 585519104 20784 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=571796 CPUtime=0.31 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2813 0 0 0 29 2 0 0 18 0 8 0 178504500 585519104 20784 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 571796

[startup+0.700689 s]
/proc/loadavg: 7.64 7.92 7.96 2/408 1265
/proc/meminfo: memFree=25213008/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=571944 CPUtime=4.81 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 20960 0 0 0 464 17 0 0 17 0 8 0 178504500 585670656 20852 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 142986 20852 359 95 0 137968 0
[pid=1265/tid=1266] ppid=1263 vsize=571944 CPUtime=0.62 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2662 0 0 0 60 2 0 0 18 0 8 0 178504500 585670656 20852 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=571944 CPUtime=0.6 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2515 0 0 0 58 2 0 0 18 0 8 0 178504500 585670656 20852 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=571944 CPUtime=0.62 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2708 0 0 0 60 2 0 0 18 0 8 0 178504500 585670656 20852 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=571944 CPUtime=0.59 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2528 0 0 0 58 1 0 0 17 0 8 0 178504500 585670656 20852 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=571944 CPUtime=0.51 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2360 0 0 0 50 1 0 0 17 0 8 0 178504500 585670656 20852 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=571944 CPUtime=0.58 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2628 0 0 0 56 2 0 0 17 0 8 0 178504500 585670656 20852 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=571944 CPUtime=0.63 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 2881 0 0 0 61 2 0 0 18 0 8 0 178504500 585670656 20852 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 571944

[startup+1.50055 s]
/proc/loadavg: 7.64 7.92 7.96 9/416 1273
/proc/meminfo: memFree=25111636/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=610764 CPUtime=11.04 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 50797 0 0 0 1077 27 0 0 18 0 8 0 178504500 625422336 41115 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 152691 41115 377 95 0 147673 0
[pid=1265/tid=1266] ppid=1263 vsize=610764 CPUtime=1.4 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 6947 0 0 0 137 3 0 0 18 0 8 0 178504500 625422336 41116 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=610764 CPUtime=1.35 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 6693 0 0 0 132 3 0 0 19 0 8 0 178504500 625422336 41116 33554432000 4194304 4580107 140736477034672 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=610764 CPUtime=1.4 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 6879 0 0 0 137 3 0 0 18 0 8 0 178504500 625422336 41116 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=610764 CPUtime=1.37 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 6748 0 0 0 134 3 0 0 18 0 8 0 178504500 625422336 41116 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=610764 CPUtime=1.29 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 6931 0 0 0 127 2 0 0 18 0 8 0 178504500 625422336 41116 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=610764 CPUtime=1.37 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 6930 0 0 0 133 4 0 0 18 0 8 0 178504500 625422336 41116 33554432000 4194304 4580107 140736477034672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=610764 CPUtime=1.43 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 3023 0 0 0 141 2 0 0 19 0 8 0 178504500 625422336 41116 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.04
Current children cumulated vsize (KiB) 610764

[startup+3.10127 s]
/proc/loadavg: 7.75 7.94 7.96 9/416 1273
/proc/meminfo: memFree=25046164/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=610104 CPUtime=23.83 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 53141 0 0 0 2355 28 0 0 20 0 8 0 178504500 624746496 43294 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 152526 43294 377 95 0 147508 0
[pid=1265/tid=1266] ppid=1263 vsize=610104 CPUtime=3 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 7297 0 0 0 297 3 0 0 21 0 8 0 178504500 624746496 43294 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=610104 CPUtime=2.94 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 6988 0 0 0 291 3 0 0 24 0 8 0 178504500 624746496 43294 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=610104 CPUtime=3 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 7187 0 0 0 297 3 0 0 21 0 8 0 178504500 624746496 43294 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=610104 CPUtime=2.97 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 7047 0 0 0 294 3 0 0 21 0 8 0 178504500 624746496 43294 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=610104 CPUtime=2.89 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 7193 0 0 0 287 2 0 0 20 0 8 0 178504500 624746496 43294 33554432000 4194304 4580107 140736477034672 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=610104 CPUtime=2.97 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 7203 0 0 0 293 4 0 0 21 0 8 0 178504500 624746496 43294 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=610104 CPUtime=3.03 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 3266 0 0 0 301 2 0 0 25 0 8 0 178504500 624746496 43294 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.83
Current children cumulated vsize (KiB) 610104

[startup+6.30071 s]
/proc/loadavg: 7.75 7.94 7.96 9/416 1273
/proc/meminfo: memFree=25042716/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=632552 CPUtime=49.38 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 63560 0 0 0 4908 30 0 0 25 0 8 0 178504500 647733248 43837 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 158138 43837 378 95 0 153120 0
[pid=1265/tid=1266] ppid=1263 vsize=632552 CPUtime=6.2 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 8688 0 0 0 616 4 0 0 25 0 8 0 178504500 647733248 43837 33554432000 4194304 4580107 140736477034672 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=632552 CPUtime=6.1 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 8276 0 0 0 606 4 0 0 25 0 8 0 178504500 647733248 43837 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=632552 CPUtime=6.2 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 8563 0 0 0 617 3 0 0 25 0 8 0 178504500 647733248 43837 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=632552 CPUtime=6.18 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 8283 0 0 0 614 4 0 0 25 0 8 0 178504500 647733248 43837 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294487 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=632552 CPUtime=6.08 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 8536 0 0 0 606 2 0 0 25 0 8 0 178504500 647733248 43837 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=632552 CPUtime=6.17 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 8322 0 0 0 613 4 0 0 25 0 8 0 178504500 647733248 43837 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=632552 CPUtime=6.23 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 4593 0 0 0 621 2 0 0 25 0 8 0 178504500 647733248 43837 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.38
Current children cumulated vsize (KiB) 632552

[startup+12.7006 s]
/proc/loadavg: 7.79 7.94 7.96 9/416 1273
/proc/meminfo: memFree=24994972/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=612844 CPUtime=100.49 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 89055 0 0 0 10013 36 0 0 25 0 8 0 178504500 627552256 58005 33554432000 4194304 4580107 140736477034672 18446744073709551615 4417020 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 153211 58005 379 95 0 148193 0
[pid=1265/tid=1266] ppid=1263 vsize=612844 CPUtime=12.6 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 13531 0 0 0 1255 5 0 0 25 0 8 0 178504500 627552256 58005 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=612844 CPUtime=12.41 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 11631 0 0 0 1237 4 0 0 25 0 8 0 178504500 627552256 58005 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=612844 CPUtime=12.6 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 12929 0 0 0 1256 4 0 0 25 0 8 0 178504500 627552256 58005 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=612844 CPUtime=12.57 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 12224 0 0 0 1253 4 0 0 25 0 8 0 178504500 627552256 58005 33554432000 4194304 4580107 140736477034672 18446744073709551615 4413471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=612844 CPUtime=12.48 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 10265 0 0 0 1246 2 0 0 25 0 8 0 178504500 627552256 58005 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=612844 CPUtime=12.56 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 10108 0 0 0 1252 4 0 0 25 0 8 0 178504500 627552256 58005 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=612844 CPUtime=12.63 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 6371 0 0 0 1260 3 0 0 25 0 8 0 178504500 627552256 58005 33554432000 4194304 4580107 140736477034672 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.49
Current children cumulated vsize (KiB) 612844

[startup+25.5004 s]
/proc/loadavg: 7.82 7.94 7.96 9/416 1273
/proc/meminfo: memFree=24897892/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=704812 CPUtime=202.7 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 125184 0 0 0 20226 44 0 0 25 0 8 0 178504500 721727488 79780 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293100 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 176203 79780 379 95 0 171185 0
[pid=1265/tid=1266] ppid=1263 vsize=704812 CPUtime=25.38 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 17105 0 0 0 2533 5 0 0 25 0 8 0 178504500 721727488 79780 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=704812 CPUtime=25.03 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 13548 0 0 0 2498 5 0 0 25 0 8 0 178504500 721727488 79780 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=704812 CPUtime=25.4 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 17185 0 0 0 2535 5 0 0 25 0 8 0 178504500 721727488 79780 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=704812 CPUtime=25.37 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 16749 0 0 0 2532 5 0 0 25 0 8 0 178504500 721727488 79780 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=704812 CPUtime=25.29 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 15198 0 0 0 2525 4 0 0 25 0 8 0 178504500 721727488 79780 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=704812 CPUtime=25.37 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 14139 0 0 0 2532 5 0 0 25 0 8 0 178504500 721727488 79780 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293997 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=704812 CPUtime=25.43 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 16660 0 0 0 2538 5 0 0 25 0 8 0 178504500 721727488 79780 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.7
Current children cumulated vsize (KiB) 704812

[startup+51.1009 s]
/proc/loadavg: 7.88 7.94 7.96 9/416 1274
/proc/meminfo: memFree=24841360/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=729776 CPUtime=407.17 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 154394 0 0 0 40667 50 0 0 25 0 8 0 178504500 747290624 95226 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 182444 95226 387 95 0 177426 0
[pid=1265/tid=1266] ppid=1263 vsize=729776 CPUtime=50.99 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 23556 0 0 0 5093 6 0 0 25 0 8 0 178504500 747290624 95226 33554432000 4194304 4580107 140736477034672 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=729776 CPUtime=50.3 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 16588 0 0 0 5024 6 0 0 25 0 8 0 178504500 747290624 95226 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=729776 CPUtime=51.01 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 20050 0 0 0 5095 6 0 0 25 0 8 0 178504500 747290624 95226 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=729776 CPUtime=50.97 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 21573 0 0 0 5091 6 0 0 25 0 8 0 178504500 747290624 95226 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=729776 CPUtime=50.88 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 15653 0 0 0 5084 4 0 0 25 0 8 0 178504500 747290624 95226 33554432000 4194304 4580107 140736477034672 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=729776 CPUtime=50.97 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 19240 0 0 0 5091 6 0 0 25 0 8 0 178504500 747290624 95226 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=729776 CPUtime=51.03 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 20385 0 0 0 5097 6 0 0 25 0 8 0 178504500 747290624 95226 33554432000 4194304 4580107 140736477034672 18446744073709551615 4292903 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.17
Current children cumulated vsize (KiB) 729776

[startup+102.315 s]
/proc/loadavg: 8.00 7.96 7.97 9/416 1275
/proc/meminfo: memFree=24750244/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=914420 CPUtime=816.2 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 213923 0 0 0 81555 65 0 0 25 0 8 0 178504500 936366080 116508 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 228605 116508 379 95 0 223587 0
[pid=1265/tid=1266] ppid=1263 vsize=914420 CPUtime=102.2 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 32020 0 0 0 10211 9 0 0 25 0 8 0 178504500 936366080 116508 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=914420 CPUtime=100.83 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 24139 0 0 0 10076 7 0 0 25 0 8 0 178504500 936366080 116508 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=914420 CPUtime=102.21 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 28795 0 0 0 10213 8 0 0 25 0 8 0 178504500 936366080 116508 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=914420 CPUtime=102.19 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 29588 0 0 0 10211 8 0 0 25 0 8 0 178504500 936366080 116508 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=914420 CPUtime=102.1 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 23827 0 0 0 10204 6 0 0 25 0 8 0 178504500 936366080 116508 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=914420 CPUtime=102.18 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 25937 0 0 0 10210 8 0 0 25 0 8 0 178504500 936366080 116508 33554432000 4194304 4580107 140736477034672 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=914420 CPUtime=102.24 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 26921 0 0 0 10217 7 0 0 25 0 8 0 178504500 936366080 116508 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 816.2
Current children cumulated vsize (KiB) 914420

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

[startup+103.101 s]
/proc/loadavg: 8.00 7.96 7.97 9/416 1275
/proc/meminfo: memFree=24750244/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=914420 CPUtime=822.49 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 214558 0 0 0 82184 65 0 0 25 0 8 0 178504500 936366080 117143 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 228605 117143 379 95 0 223587 0
[pid=1265/tid=1266] ppid=1263 vsize=914420 CPUtime=102.98 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 32128 0 0 0 10289 9 0 0 25 0 8 0 178504500 936366080 117143 33554432000 4194304 4580107 140736477034672 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=914420 CPUtime=101.61 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 24238 0 0 0 10154 7 0 0 25 0 8 0 178504500 936366080 117143 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=914420 CPUtime=103 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 28811 0 0 0 10292 8 0 0 25 0 8 0 178504500 936366080 117143 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=914420 CPUtime=102.98 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 29688 0 0 0 10290 8 0 0 25 0 8 0 178504500 936366080 117143 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=914420 CPUtime=102.89 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 23925 0 0 0 10283 6 0 0 25 0 8 0 178504500 936366080 117143 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=914420 CPUtime=102.97 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 26043 0 0 0 10289 8 0 0 25 0 8 0 178504500 936366080 117143 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=914420 CPUtime=103.03 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 27029 0 0 0 10296 7 0 0 25 0 8 0 178504500 936366080 117143 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 822.49
Current children cumulated vsize (KiB) 914420

[startup+103.301 s]
/proc/loadavg: 8.00 7.96 7.97 9/416 1275
/proc/meminfo: memFree=24746648/32950928 swapFree=53456944/67111528
[pid=1265] ppid=1263 vsize=914420 CPUtime=824.1 cores=0-7
/proc/1265/stat : 1265 (strangenight2-m) R 1263 1265 1170 0 -1 4202496 214717 0 0 0 82345 65 0 0 25 0 8 0 178504500 936366080 117302 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293704 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1265/statm: 228605 117302 379 95 0 223587 0
[pid=1265/tid=1266] ppid=1263 vsize=914420 CPUtime=103.2 cores=0-7
/proc/1265/task/1266/stat : 1266 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 32162 0 0 0 10311 9 0 0 25 0 8 0 178504500 936366080 117310 33554432000 4194304 4580107 140736477034672 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1265/tid=1267] ppid=1263 vsize=914420 CPUtime=101.82 cores=0-7
/proc/1265/task/1267/stat : 1267 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 24265 0 0 0 10174 8 0 0 25 0 8 0 178504500 936366080 117310 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1265/tid=1268] ppid=1263 vsize=914420 CPUtime=103.21 cores=0-7
/proc/1265/task/1268/stat : 1268 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 28811 0 0 0 10313 8 0 0 25 0 8 0 178504500 936366080 117310 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1265/tid=1269] ppid=1263 vsize=914420 CPUtime=103.19 cores=0-7
/proc/1265/task/1269/stat : 1269 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 29713 0 0 0 10311 8 0 0 25 0 8 0 178504500 936366080 117310 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1265/tid=1270] ppid=1263 vsize=914420 CPUtime=103.1 cores=0-7
/proc/1265/task/1270/stat : 1270 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 23950 0 0 0 10304 6 0 0 25 0 8 0 178504500 936366080 117310 33554432000 4194304 4580107 140736477034672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1265/tid=1271] ppid=1263 vsize=914420 CPUtime=103.18 cores=0-7
/proc/1265/task/1271/stat : 1271 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 26069 0 0 0 10310 8 0 0 25 0 8 0 178504500 936366080 117310 33554432000 4194304 4580107 140736477034672 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1265/tid=1272] ppid=1263 vsize=914420 CPUtime=103.24 cores=0-7
/proc/1265/task/1272/stat : 1272 (strangenight2-m) R 1263 1265 1170 0 -1 4202560 27059 0 0 0 10317 7 0 0 25 0 8 0 178504500 936366080 117310 33554432000 4194304 4580107 140736477034672 18446744073709551615 4292924 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 824.1
Current children cumulated vsize (KiB) 914420

Child status: 10
Real time (s): 103.382
CPU time (s): 824.554
CPU user time (s): 823.871
CPU system time (s): 0.682896
CPU usage (%): 797.579
Max. virtual memory (cumulated for all children) (KiB): 914420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 823.871
system time used= 0.682896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214761
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= 31292
involuntary context switches= 5772

runsolver used 0.411937 second user time and 0.978851 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-23 02:02:31
IDJOB=3394896
IDBENCH=85975
IDSOLVER=1878
FILE ID=node112/3394896-1306108951
RUNJOBID= node112-1306108919-1184
PBS_JOBID= 13388035
Free space on /tmp= 73332 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394896-1306108951/watcher-3394896-1306108951 -o /tmp/evaluation-result-3394896-1306108951/solver-3394896-1306108951 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394896-1306108951.cnf

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

MD5SUM BENCH= 833432e05c2a1599e13dca28680b5df9
RANDOM SEED=303244637

node112.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.847
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.69
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25213164 kB
Buffers:        218776 kB
Cached:        5135276 kB
SwapCached:      62308 kB
Active:         597984 kB
Inactive:      6917348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25213164 kB
SwapTotal:    67111528 kB
SwapFree:     53456944 kB
Dirty:            7992 kB
Writeback:           0 kB
AnonPages:     2107916 kB
Mapped:          15328 kB
Slab:            94228 kB
PageTables:      59068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98617164 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= 73328 MiB
End job on node112 at 2011-05-23 02:04:14