Trace number 3366434

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)? (TO) 4800.22 1203.04

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf
MD5SUMdc676a8dc341229efc4ee05b1ab19ceb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark130.058
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
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.01	c Using 4 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-3366434-1305404192.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.56/0.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.56/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.56/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.56/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
3.56/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.56/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
3.56/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.56/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.56/0.90	c calculated reachability. Time: 0.00
3.56/0.90	c Calc default polars -  time:   0.00 s pos:     205 undec:      52 neg:     193
3.56/0.90	c =========================================================================================
3.56/0.90	c types(t): F = full restart, N = normal restart
3.56/0.90	c types(t): S = simplification begin/end, E = solution found
3.56/0.90	c restart types(rt): st = static, dy = dynamic
3.56/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.56/0.90	c  B st     0         0       438      1897         0         0      5756         0   no data   no data
3.56/0.90	c Decided on static restart strategy
3.56/0.90	c  N st     8      4918       438      1897         0      4822      5756    100970   no data   no data
3.56/0.90	c  N st    10     11301       438      1897         0      4440      5756     68202   no data   no data
3.56/0.90	c  N st    11     17045       438      1897         0     10058      5756    195865   no data   no data
3.96/1.10	c  F st    12     25001       438      1897         0     12312      5756    232567   no data   no data
3.96/1.10	c  N st    12     25001       438      1897         0     12312      5756    232567   no data   no data
5.56/1.40	c Decided on static restart strategy
5.56/1.40	c  N st    18     30002       438      1897         0     10617      5756    187095   no data   no data
5.56/1.40	c  S st    18     30002       438      1897         0     10617      5756    187095   no data   no data
5.56/1.40	c  S st    18     30509       438      1897         0     11122      5756    197603   no data   no data
5.56/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.40	c blocked clauses removed:        0 vars:      0 tried:         438 T: 0.00 s
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c lits-rem:       130  cl-subs:      635  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.50	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N st    18     30509       438      1897         0     10487      5756    183042   no data   no data
7.15/1.81	c  N st    20     37619       438      1897         0      9754      5756    151408   no data   no data
8.35/2.18	c  N st    21     44018       438      1897         0     15987      5756    287656   no data   no data
8.78/2.30	c  S st    22     45763       438      1897         0      8978      5756    118566   no data   no data
9.18/2.33	c  S st    22     46265       438      1897         0      9480      5756    128916   no data   no data
9.18/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.18/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.18/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.18/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
9.18/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.18/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.18/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.34	c lits-rem:        24  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
9.18/2.34	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
9.18/2.34	c vivif2 --  cl tried     9431 cl shrink        0 lits rem          0 time: 0.00
9.18/2.35	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.00
9.18/2.35	c calculated reachability. Time: 0.00
9.18/2.35	c  N st    22     46265       438      1897         0      9431      5756    127790   no data   no data
12.75/3.27	c  N st    23     60663       438      1897         0     13764      5756    209680   no data   no data
15.53/3.92	c  N st    24     69398       438      1897         0     11549      5756    154603   no data   no data
15.53/3.92	c  S st    24     69398       438      1897         0     11549      5756    154603   no data   no data
15.53/3.95	c  S st    24     69905       438      1897         0     12055      5756    165650   no data   no data
15.53/3.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.53/3.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
15.53/3.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.98	c lits-rem:        26  cl-subs:      192  v-elim:      0  v-fix:    0  time:  0.02 s
15.53/3.98	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
15.53/3.98	c vivif2 --  cl tried    11863 cl shrink        0 lits rem          0 time: 0.00
15.53/3.99	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
15.53/3.99	c calculated reachability. Time: 0.00
15.53/3.99	c  N st    24     69905       438      1897         0     11863      5756    161860   no data   no data
20.73/5.21	c  F st    25     87501       438      1897         0     17330      5756    269701   no data   no data
20.73/5.21	c  N st    25     87501       438      1897         0     17330      5756    269701   no data   no data
22.36/5.66	c  N dy    32     93146       438      1897         0     22860      5756    381963     13.92     14.75
24.31/6.17	c  N dy    56     99116       438      1897         0     15965      5756    201364     14.22     16.90
26.35/6.61	c  S st    72    104857       438      1897         0     21608      5756    316202     14.14     14.21
26.35/6.66	c  S st    72    105357       438      1897         0     22106      5756    326027     14.14   no data
26.35/6.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.35/6.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.35/6.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.35/6.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.35/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
26.35/6.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.35/6.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.35/6.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.75	c lits-rem:       162  cl-subs:      598  v-elim:      0  v-fix:    0  time:  0.07 s
26.75/6.75	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
26.75/6.76	c vivif2 --  cl tried    21508 cl shrink        0 lits rem          0 time: 0.00
26.75/6.77	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
26.75/6.77	c calculated reachability. Time: 0.00
26.75/6.77	c  N dy    72    105357       438      1897         0     21508      5756    313811     14.14   no data
29.51/7.45	c  N dy    95    112544       438      1897         0     14790      5756    154367     14.03     14.90
34.30/8.69	c  N dy   102    126579       438      1897         0     28586      5756    425648     13.23     13.96
37.49/9.40	c  N dy   161    134887       438      1897         0     22039      5756    290188     13.52     14.27
41.08/10.38	c  N dy   190    143946       438      1897         0     30921      5756    465491     13.47     14.23
44.66/11.22	c  N dy   252    153470       438      1897         0     24584      5756    324494     13.64     14.73
46.26/11.68	c  S st   262    158036       438      1897         0     29067      5756    410709     13.60     10.63
46.66/11.75	c  S st   262    158538       438      1897         0     29567      5756    421346     13.60   no data
46.66/11.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.66/11.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.66/11.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.66/11.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.66/11.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.66/11.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
46.66/11.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.66/11.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.66/11.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.46/11.92	c lits-rem:       127  cl-subs:     1068  v-elim:      0  v-fix:    0  time:  0.14 s
47.46/11.92	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
47.46/11.92	c vivif2 --  cl tried    28499 cl shrink        0 lits rem          0 time: 0.00
47.46/11.94	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
47.46/11.94	c calculated reachability. Time: 0.00
47.46/11.94	c  N dy   262    158538       438      1897         0     28499      5756    400646     13.60   no data
51.45/13.00	c  N dy   323    168747       438      1897         0     21808      5756    249952     13.71     14.91
56.25/14.19	c  N dy   388    179567       438      1897         0     32440      5756    470003     13.84     14.93
61.03/15.35	c  N dy   421    191120       438      1897         0     26078      5756    315559     13.79     16.44
67.41/16.94	c  N dy   496    203492       438      1897         0     19606      5756    173428     13.87     14.64
73.41/18.44	c  N dy   547    217420       438      1897         0     33295      5756    455712     13.86     15.09
80.19/20.19	c  N dy   612    232434       438      1897         0     28344      5756    333612     13.88     14.67
82.99/20.85	c  S st   640    237808       438      1897         0     33617      5756    440613     13.89   no data
83.42/20.93	c  S st   640    238311       438      1897         0     34118      5756    451113     13.89   no data
83.42/20.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.42/20.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.42/20.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.42/20.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.42/20.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.42/20.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
83.42/20.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
83.42/20.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.42/20.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.18/21.13	c lits-rem:       282  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  0.17 s
84.18/21.13	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
84.18/21.14	c vivif2 --  cl tried    32905 cl shrink        0 lits rem          0 time: 0.01
84.18/21.16	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
84.18/21.16	c calculated reachability. Time: 0.00
84.18/21.16	c  N dy   640    238311       438      1897         0     32905      5756    427335     13.89   no data
91.76/23.01	c  N dy   703    253604       438      1897         0     27317      5756    303615     13.91     16.54
101.38/25.43	c  N dy   816    271515       438      1897         0     23306      5756    207348     13.99     15.11
110.16/27.65	c  N dy   902    289355       438      1897         0     40845      5756    570218     14.02     14.85
118.54/29.79	c  F st   963    306252       438      1897         0     34836      5756    431463     14.01   no data
119.70/30.07	c  N st   967    308284       438      1897         0     36823      5756    474112     14.01   no data
121.70/30.55	c Decided on static restart strategy
133.67/33.54	c  N st   973    334556       438      1897         0     38834      5756    641598     14.01   no data
145.27/36.48	c  N st   975    357467       438      1897         0     36664      5756    536935     14.01   no data
145.27/36.48	c  S st   975    357467       438      1897         0     36664      5756    536935     14.01   no data
145.63/36.58	c  S st   975    357968       438      1897         0     37162      5756    547440     14.01   no data
145.63/36.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.63/36.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
145.63/36.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.63/36.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.63/36.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.63/36.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
145.63/36.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
146.03/36.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.03/36.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.26/37.42	c lits-rem:       189  cl-subs:     4230  v-elim:      0  v-fix:    0  time:  0.81 s
149.26/37.42	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
149.26/37.43	c vivif2 --  cl tried    32932 cl shrink        0 lits rem          0 time: 0.01
149.26/37.45	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
149.26/37.45	c calculated reachability. Time: 0.00
149.26/37.45	c  N st   975    357968       438      1897         0     32932      5756    472138     14.01   no data
164.79/41.37	c  N st   976    390360       438      1897         0     39350      5756    626611     14.01   no data
194.32/48.73	c  N st   977    438949       438      1897         0     33151      5756    439372     14.01   no data
236.63/59.34	c  N st   978    511831       438      1897         0     46629      5756    678204     14.01   no data
252.59/63.33	c  N st   979    536952       438      1897         0     40842      5756    541633     14.01   no data
252.59/63.33	c  S st   979    536952       438      1897         0     40842      5756    541633     14.01   no data
252.99/63.44	c  S st   979    537456       438      1897         0     41346      5756    552409     14.01   no data
252.99/63.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.99/63.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
252.99/63.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.99/63.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.99/63.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.99/63.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
252.99/63.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.99/63.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.99/63.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.38/64.01	c lits-rem:       252  cl-subs:     2241  v-elim:      0  v-fix:    0  time:  0.53 s
255.38/64.01	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
255.38/64.02	c vivif2 --  cl tried    39105 cl shrink        0 lits rem          0 time: 0.01
255.38/64.04	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.03
255.38/64.05	c calculated reachability. Time: 0.00
255.38/64.05	c  N st   979    537456       438      1897         0     39105      5756    510817     14.01   no data
369.15/92.53	c  N st   980    701440       438      1897         0     68347      5756   1083452     14.01   no data
444.53/111.47	c  N st   981    806184       438      1897         0     61887      5756    897727     14.01   no data
444.53/111.47	c  S st   981    806184       438      1897         0     61887      5756    897727     14.01   no data
445.33/111.68	c  S st   981    806686       438      1897         0     62386      5756    908503     14.01   no data
445.33/111.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
445.72/111.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
445.72/111.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
445.72/111.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
445.72/111.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.72/111.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
445.72/111.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
445.72/111.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
445.72/111.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
456.94/114.56	c lits-rem:       282  cl-subs:     7175  v-elim:      0  v-fix:    0  time:  2.81 s
456.94/114.56	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
456.94/114.57	c vivif2 --  cl tried    55211 cl shrink        0 lits rem          0 time: 0.01
457.29/114.62	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.05
457.29/114.62	c calculated reachability. Time: 0.00
457.29/114.62	c  N st   981    806686       438      1897         0     55211      5756    778526     14.01   no data
660.41/165.51	c  F st   982   1071877       438      1897         0     71172      5756   1014509     14.01   no data
660.41/165.51	c  N st   982   1071877       438      1897         0     71172      5756   1014509     14.01   no data
665.99/166.90	c Decided on static restart strategy
686.34/172.03	c  N st   992   1100185       438      1897         0     55144      5756    655439     14.01   no data
717.46/179.85	c  N st   994   1136177       438      1897         0     45503      5756    437989     14.01   no data
743.81/186.43	c  N st   995   1168571       438      1897         0     76984      5756   1124598     14.01   no data
780.11/195.50	c  N st   996   1210030       438      1897         0     71667      5756   1023655     14.01   no data
780.11/195.50	c  S st   996   1210030       438      1897         0     71667      5756   1023655     14.01   no data
780.91/195.78	c  S st   996   1210533       438      1897         0     72169      5756   1034538     14.01   no data
780.91/195.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
781.34/195.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
781.34/195.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
781.34/195.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
781.34/195.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
781.34/195.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
781.34/195.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
781.34/195.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
781.34/195.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
801.25/200.82	c lits-rem:       436  cl-subs:     4295  v-elim:      0  v-fix:    0  time:  4.94 s
801.25/200.82	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
801.25/200.83	c vivif2 --  cl tried    67874 cl shrink        0 lits rem          0 time: 0.01
801.65/200.92	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.08
801.65/200.92	c calculated reachability. Time: 0.00
801.65/200.92	c  N st   996   1210533       438      1897         0     67874      5756    940967     14.01   no data
873.51/218.95	c  N st   997   1283416       438      1897         0     92179      5756   1423076     14.01   no data
975.62/244.52	c  N st   998   1392739       438      1897         0     52674      5756    514077     14.01   no data
1129.26/283.08	c  N st   999   1556725       438      1897         0     57285      5756    577673     14.01   no data
1289.26/323.11	c  N st  1000   1710534       438      1897         0     98776      5756   1488801     14.01   no data
1289.26/323.11	c  S st  1000   1710534       438      1897         0     98776      5756   1488801     14.01   no data
1290.48/323.42	c  S st  1000   1711037       438      1897         0     99278      5756   1500331     14.01   no data
1290.48/323.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1290.48/323.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1290.48/323.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1290.48/323.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1290.48/323.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1290.48/323.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1290.48/323.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1290.48/323.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1290.89/323.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1334.37/334.47	c lits-rem:       925  cl-subs:     9910  v-elim:      0  v-fix:    0  time: 10.93 s
1334.37/334.47	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1334.37/334.49	c vivif2 --  cl tried    89368 cl shrink        0 lits rem          0 time: 0.02
1335.13/334.61	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.12
1335.13/334.61	c calculated reachability. Time: 0.00
1335.13/334.61	c  N st  1000   1711037       438      1897         0     89368      5756   1300229     14.01   no data
1768.89/443.37	c  N st  1001   2080001       438      1897         0    101092      5756   1454188     14.01   no data
1920.47/481.38	c  N st  1002   2211037       438      1897         0    105082      5756   1486356     14.01   no data
1920.47/481.39	c  S st  1002   2211037       438      1897         0    105082      5756   1486356     14.01   no data
1922.08/481.76	c  S st  1002   2211541       438      1897         0    105585      5756   1497406     14.01   no data
1922.08/481.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1922.51/481.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1922.51/481.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1922.51/481.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1922.51/481.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1922.51/481.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1922.51/481.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1922.51/481.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1922.51/481.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1958.03/490.77	c lits-rem:       682  cl-subs:     8776  v-elim:      0  v-fix:    0  time:  8.89 s
1958.03/490.77	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1958.03/490.80	c vivif2 --  cl tried    96809 cl shrink        0 lits rem          0 time: 0.02
1958.78/490.92	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.12
1958.78/490.92	c calculated reachability. Time: 0.00
1958.78/490.92	c  N st  1002   2211541       438      1897         0     96809      5756   1334399     14.01   no data
2609.58/654.00	c  N st  1003   2711541       438      1897         0    120068      5756   1707784     14.01   no data
2609.58/654.00	c  S st  1003   2711541       438      1897         0    120068      5756   1707784     14.01   no data
2611.18/654.46	c  S st  1003   2712043       438      1897         0    120568      5756   1719504     14.01   no data
2611.18/654.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2611.61/654.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2611.61/654.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2611.61/654.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2611.61/654.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2611.61/654.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
2611.61/654.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2611.61/654.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2611.61/654.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2691.75/674.61	c lits-rem:       587  cl-subs:    12977  v-elim:      0  v-fix:    0  time: 20.01 s
2691.75/674.61	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
2691.75/674.64	c vivif2 --  cl tried   107591 cl shrink        0 lits rem          0 time: 0.02
2692.15/674.76	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.13
2692.15/674.77	c calculated reachability. Time: 0.00
2692.15/674.77	c  N st  1003   2712043       438      1897         0    107591      5756   1469273     14.01   no data
3399.61/852.02	c  N st  1004   3212043       438      1897         0     84567      5756    860625     14.01   no data
3399.61/852.02	c  S st  1004   3212043       438      1897         0     84567      5756    860625     14.01   no data
3400.41/852.30	c  S st  1004   3212544       438      1897         0     85067      5756    870993     14.01   no data
3400.81/852.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3400.81/852.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3400.81/852.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3400.81/852.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3400.81/852.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3400.81/852.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3400.81/852.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3400.81/852.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3400.81/852.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3402.79/852.82	c lits-rem:       147  cl-subs:     1194  v-elim:      0  v-fix:    0  time:  0.44 s
3402.79/852.82	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
3402.79/852.84	c vivif2 --  cl tried    83873 cl shrink        0 lits rem          0 time: 0.02
3403.19/852.91	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.07
3403.19/852.91	c calculated reachability. Time: 0.00
3403.19/852.91	c  N st  1004   3212544       438      1897         0     83873      5756    850223     14.01   no data
4135.03/1036.33	c  N st  1005   3712544       438      1897         0     93560      5756    992604     14.01   no data
4135.03/1036.33	c  S st  1005   3712544       438      1897         0     93560      5756    992604     14.01   no data
4136.18/1036.66	c  S st  1005   3713044       438      1897         0     94060      5756   1003647     14.01   no data
4136.18/1036.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4136.58/1036.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
4136.58/1036.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4136.58/1036.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4136.58/1036.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4136.58/1036.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
4136.58/1036.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4136.58/1036.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4136.58/1036.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4140.57/1037.72	c lits-rem:       127  cl-subs:     2369  v-elim:      0  v-fix:    0  time:  0.96 s
4140.57/1037.72	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
4140.57/1037.74	c vivif2 --  cl tried    91691 cl shrink        0 lits rem          0 time: 0.02
4140.97/1037.82	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.09
4140.97/1037.83	c calculated reachability. Time: 0.00
4140.97/1037.83	c  N st  1005   3713044       438      1897         0     91691      5756    957328     14.01   no data
4189.65/1050.09	c  F st  1006   3751562       438      1897         0    128911      5756   1772150     14.01   no data
4189.65/1050.10	c  N st  1006   3751562       438      1897         0    128911      5756   1772150     14.01   no data
4199.63/1052.53	c Decided on static restart strategy
4240.37/1062.77	c  N st  1016   3779863       438      1897         0    156412      5756   2384423     14.01   no data
4291.00/1075.46	c  N st  1018   3815855       438      1897         0    109329      5756   1330485     14.01   no data
4346.07/1089.25	c  N st  1019   3848247       438      1897         0    140685      5756   1997546     14.01   no data
4422.27/1108.35	c  N st  1020   3896836       438      1897         0    104535      5756   1200617     14.01   no data
4541.58/1138.26	c  N st  1021   3969720       438      1897         0     91037      5756    881902     14.01   no data
4725.92/1184.41	c  N st  1022   4079043       438      1897         0    111650      5756   1304779     14.01   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366434-1305404192/watcher-3366434-1305404192 -o /tmp/evaluation-result-3366434-1305404192/solver-3366434-1305404192 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366434-1305404192.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 5.43 7.23 7.82 5/304 17113
/proc/meminfo: memFree=12147464/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 409 0 0 0 1 0 0 0 25 0 4 0 652017096 52396032 349 33554432000 4194304 4580107 140734339540176 18446744073709551615 47890076350386 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 12792 349 299 95 0 7774 0
[pid=17113/tid=17114] ppid=17111 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652017097 52396032 349 33554432000 4194304 4580107 140734339540176 18446744073709551615 47890076350386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652017097 52396032 349 33554432000 4194304 4580107 140734339540176 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652017097 52396032 349 33554432000 4194304 4580107 140734339540176 18446744073709551615 47890076350386 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.118594 s]
/proc/loadavg: 5.43 7.23 7.82 5/304 17113
/proc/meminfo: memFree=12147464/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=282552 CPUtime=0.44 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 1662 0 0 0 44 0 0 0 18 0 4 0 652017096 289333248 1562 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 70638 1562 377 95 0 65620 0
[pid=17113/tid=17114] ppid=17111 vsize=282552 CPUtime=0.11 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 361 0 0 0 11 0 0 0 18 0 4 0 652017097 289333248 1562 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=282552 CPUtime=0.1 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 314 0 0 0 10 0 0 0 25 0 4 0 652017097 289333248 1562 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=282552 CPUtime=0.11 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 226 0 0 0 11 0 0 0 18 0 4 0 652017097 289333248 1562 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282552

[startup+0.20058 s]
/proc/loadavg: 5.43 7.23 7.82 5/304 17113
/proc/meminfo: memFree=12147464/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=283796 CPUtime=0.77 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 2167 0 0 0 77 0 0 0 18 0 4 0 652017096 290607104 1557 33554432000 4194304 4580107 140734339540176 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 70949 1557 377 95 0 65931 0
[pid=17113/tid=17114] ppid=17111 vsize=283796 CPUtime=0.19 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 483 0 0 0 19 0 0 0 18 0 4 0 652017097 290607104 1557 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=283796 CPUtime=0.18 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 443 0 0 0 18 0 0 0 25 0 4 0 652017097 290607104 1557 33554432000 4194304 4580107 140734339540176 18446744073709551615 4324533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=283796 CPUtime=0.19 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 358 0 0 0 19 0 0 0 18 0 4 0 652017097 290607104 1557 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283796

[startup+0.300561 s]
/proc/loadavg: 5.43 7.23 7.82 5/304 17113
/proc/meminfo: memFree=12147464/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=283964 CPUtime=1.17 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 2550 0 0 0 117 0 0 0 18 0 4 0 652017096 290779136 1940 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 70991 1940 377 95 0 65973 0
[pid=17113/tid=17114] ppid=17111 vsize=283964 CPUtime=0.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 575 0 0 0 29 0 0 0 18 0 4 0 652017097 290779136 1940 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=283964 CPUtime=0.28 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 538 0 0 0 28 0 0 0 25 0 4 0 652017097 290779136 1940 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=283964 CPUtime=0.29 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 460 0 0 0 29 0 0 0 18 0 4 0 652017097 290779136 1940 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283964

[startup+0.700488 s]
/proc/loadavg: 5.43 7.23 7.82 5/304 17113
/proc/meminfo: memFree=12147464/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=284640 CPUtime=2.76 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 4028 0 0 0 276 0 0 0 18 0 4 0 652017096 291471360 2652 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 71160 2652 377 95 0 66142 0
[pid=17113/tid=17114] ppid=17111 vsize=284640 CPUtime=0.69 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 948 0 0 0 69 0 0 0 18 0 4 0 652017097 291471360 2652 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=284640 CPUtime=0.68 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 885 0 0 0 68 0 0 0 25 0 4 0 652017097 291471360 2652 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=284640 CPUtime=0.69 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 833 0 0 0 69 0 0 0 18 0 4 0 652017097 291471360 2652 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284640

[startup+1.50034 s]
/proc/loadavg: 5.43 7.23 7.82 11/308 17117
/proc/meminfo: memFree=12135032/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=290984 CPUtime=5.96 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 8021 0 0 0 595 1 0 0 20 0 4 0 652017096 297967616 4422 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 72746 4423 379 95 0 67728 0
[pid=17113/tid=17114] ppid=17111 vsize=290984 CPUtime=1.49 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 1596 0 0 0 149 0 0 0 20 0 4 0 652017097 297967616 4423 33554432000 4194304 4580107 140734339540176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=290984 CPUtime=1.47 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 1607 0 0 0 147 0 0 0 25 0 4 0 652017097 297967616 4423 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=290984 CPUtime=1.49 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 1556 0 0 0 149 0 0 0 20 0 4 0 652017097 297967616 4423 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 290984

[startup+3.10104 s]
/proc/loadavg: 5.79 7.27 7.83 11/308 17147
/proc/meminfo: memFree=12136388/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=295136 CPUtime=12.35 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 16484 0 0 0 1233 2 0 0 25 0 4 0 652017096 302219264 8410 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295676 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 73784 8410 379 95 0 68766 0
[pid=17113/tid=17114] ppid=17111 vsize=295136 CPUtime=3.08 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 3501 0 0 0 308 0 0 0 25 0 4 0 652017097 302219264 8410 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=295136 CPUtime=3.05 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 4397 0 0 0 305 0 0 0 25 0 4 0 652017097 302219264 8410 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=295136 CPUtime=3.09 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 4170 0 0 0 309 0 0 0 25 0 4 0 652017097 302219264 8410 33554432000 4194304 4580107 140734339540176 18446744073709551615 4321405 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 295136

[startup+6.30045 s]
/proc/loadavg: 5.79 7.27 7.83 9/308 17147
/proc/meminfo: memFree=12078892/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=293316 CPUtime=25.11 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 25580 0 0 0 2508 3 0 0 25 0 4 0 652017096 300355584 11850 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 73329 11850 379 95 0 68311 0
[pid=17113/tid=17114] ppid=17111 vsize=293316 CPUtime=6.28 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 6251 0 0 0 628 0 0 0 25 0 4 0 652017097 300355584 11850 33554432000 4194304 4580107 140734339540176 18446744073709551615 4316418 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=293316 CPUtime=6.23 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 7293 0 0 0 622 1 0 0 25 0 4 0 652017097 300355584 11850 33554432000 4194304 4580107 140734339540176 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=293316 CPUtime=6.28 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 5795 0 0 0 628 0 0 0 25 0 4 0 652017097 300355584 11850 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 293316

[startup+12.7003 s]
/proc/loadavg: 6.13 7.30 7.83 9/308 17147
/proc/meminfo: memFree=12029296/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=314696 CPUtime=50.65 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 40836 0 0 0 5060 5 0 0 25 0 4 0 652017096 322248704 17370 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 78674 17370 379 95 0 73656 0
[pid=17113/tid=17114] ppid=17111 vsize=314696 CPUtime=12.68 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 9971 0 0 0 1267 1 0 0 25 0 4 0 652017097 322248704 17370 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=314696 CPUtime=12.57 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 10273 0 0 0 1256 1 0 0 25 0 4 0 652017097 322248704 17370 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=314696 CPUtime=12.69 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 10141 0 0 0 1268 1 0 0 25 0 4 0 652017097 322248704 17370 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 314696

[startup+25.5009 s]
/proc/loadavg: 6.42 7.32 7.83 9/308 17148
/proc/meminfo: memFree=11991008/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=331808 CPUtime=101.74 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 58168 0 0 0 10164 10 0 0 25 0 4 0 652017096 339771392 21809 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 82952 21809 379 95 0 77934 0
[pid=17113/tid=17114] ppid=17111 vsize=331808 CPUtime=25.48 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 15701 0 0 0 2546 2 0 0 25 0 4 0 652017097 339771392 21809 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=331808 CPUtime=25.24 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 15283 0 0 0 2522 2 0 0 25 0 4 0 652017097 339771392 21809 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=331808 CPUtime=25.49 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 14370 0 0 0 2547 2 0 0 25 0 4 0 652017097 339771392 21809 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 331808

[startup+51.1012 s]
/proc/loadavg: 7.02 7.39 7.84 9/308 17148
/proc/meminfo: memFree=11917756/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=325988 CPUtime=203.9 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 86864 0 0 0 20372 18 0 0 25 0 4 0 652017096 333811712 33545 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 81497 33545 379 95 0 76479 0
[pid=17113/tid=17114] ppid=17111 vsize=325988 CPUtime=51.08 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 24597 0 0 0 5103 5 0 0 25 0 4 0 652017097 333811712 33545 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=325988 CPUtime=50.61 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 22185 0 0 0 5057 4 0 0 25 0 4 0 652017097 333811712 33545 33554432000 4194304 4580107 140734339540176 18446744073709551615 4340676 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=325988 CPUtime=51.08 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 20676 0 0 0 5105 3 0 0 25 0 4 0 652017097 333811712 33545 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 325988

[startup+102.301 s]
/proc/loadavg: 7.61 7.49 7.85 9/308 17150
/proc/meminfo: memFree=11857844/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=357436 CPUtime=408.25 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 122300 0 0 0 40795 30 0 0 25 0 4 0 652017096 366014464 36502 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 89359 36502 379 95 0 84341 0
[pid=17113/tid=17114] ppid=17111 vsize=357436 CPUtime=102.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 32697 0 0 0 10221 8 0 0 25 0 4 0 652017097 366014464 36503 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=357436 CPUtime=101.34 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 29922 0 0 0 10127 7 0 0 25 0 4 0 652017097 366014464 36503 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=357436 CPUtime=102.3 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 30407 0 0 0 10223 7 0 0 25 0 4 0 652017097 366014464 36503 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 357436

[startup+162.301 s]

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

[pid=17113] ppid=17111 vsize=527148 CPUtime=2802.29 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 431077 0 0 0 280061 168 0 0 25 0 4 0 652017096 539799552 85142 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294363 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 131787 85142 379 95 0 126769 0
[pid=17113/tid=17114] ppid=17111 vsize=527148 CPUtime=702.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 102649 0 0 0 70190 39 0 0 25 0 4 0 652017097 539799552 85142 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=527148 CPUtime=695.36 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 110467 0 0 0 69492 44 0 0 25 0 4 0 652017097 539799552 85142 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=527148 CPUtime=702.3 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 116405 0 0 0 70185 45 0 0 25 0 4 0 652017097 539799552 85142 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.29
Current children cumulated vsize (KiB) 527148

[startup+762.3 s]
/proc/loadavg: 8.13 8.08 8.00 9/308 17167
/proc/meminfo: memFree=11365748/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=551856 CPUtime=3041.73 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 453244 0 0 0 303994 179 0 0 25 0 4 0 652017096 565100544 99067 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 137964 99067 379 95 0 132946 0
[pid=17113/tid=17114] ppid=17111 vsize=551856 CPUtime=762.3 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 109379 0 0 0 76188 42 0 0 25 0 4 0 652017097 565100544 99068 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=551856 CPUtime=754.77 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 113997 0 0 0 75431 46 0 0 25 0 4 0 652017097 565100544 99068 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=551856 CPUtime=762.32 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 122639 0 0 0 76183 49 0 0 25 0 4 0 652017097 565100544 99068 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.73
Current children cumulated vsize (KiB) 551856

[startup+822.3 s]
/proc/loadavg: 8.21 8.11 8.01 9/308 17169
/proc/meminfo: memFree=11352952/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=581188 CPUtime=3281.1 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 471156 0 0 0 327921 189 0 0 25 0 4 0 652017096 595136512 88974 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 145297 88974 379 95 0 140279 0
[pid=17113/tid=17114] ppid=17111 vsize=581188 CPUtime=822.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 110965 0 0 0 82186 43 0 0 25 0 4 0 652017097 595136512 88974 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=581188 CPUtime=814.18 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 120045 0 0 0 81368 50 0 0 25 0 4 0 652017097 595136512 88974 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=581188 CPUtime=822.31 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 129932 0 0 0 82180 51 0 0 25 0 4 0 652017097 595136512 88974 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.1
Current children cumulated vsize (KiB) 581188

[startup+882.311 s]
/proc/loadavg: 8.29 8.16 8.04 9/308 17170
/proc/meminfo: memFree=11339172/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=593900 CPUtime=3520.55 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 494546 0 0 0 351854 201 0 0 25 0 4 0 652017096 608153600 98111 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 148475 98111 379 95 0 143457 0
[pid=17113/tid=17114] ppid=17111 vsize=593900 CPUtime=882.3 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 115899 0 0 0 88185 45 0 0 25 0 4 0 652017097 608153600 98111 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=593900 CPUtime=873.59 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 126510 0 0 0 87305 54 0 0 25 0 4 0 652017097 608153600 98111 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=593900 CPUtime=882.33 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 136010 0 0 0 88178 55 0 0 25 0 4 0 652017097 608153600 98111 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.55
Current children cumulated vsize (KiB) 593900

[startup+942.301 s]
/proc/loadavg: 8.31 8.19 8.05 9/308 17172
/proc/meminfo: memFree=11316964/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=594108 CPUtime=3759.92 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 513558 0 0 0 375782 210 0 0 25 0 4 0 652017096 608366592 99931 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 148527 99931 379 95 0 143509 0
[pid=17113/tid=17114] ppid=17111 vsize=594108 CPUtime=942.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 119084 0 0 0 94182 47 0 0 25 0 4 0 652017097 608366592 99931 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=594108 CPUtime=932.99 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 129404 0 0 0 93243 56 0 0 25 0 4 0 652017097 608366592 99931 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=594108 CPUtime=942.32 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 142349 0 0 0 94174 58 0 0 25 0 4 0 652017097 608366592 99931 33554432000 4194304 4580107 140734339540176 18446744073709551615 4322584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.92
Current children cumulated vsize (KiB) 594108

[startup+1002.3 s]
/proc/loadavg: 8.31 8.21 8.07 9/308 17174
/proc/meminfo: memFree=11270316/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=581464 CPUtime=3999.32 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 533472 0 0 0 399711 221 0 0 25 0 4 0 652017096 595419136 107115 33554432000 4194304 4580107 140734339540176 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 145366 107115 379 95 0 140348 0
[pid=17113/tid=17114] ppid=17111 vsize=581464 CPUtime=1002.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 124401 0 0 0 100179 50 0 0 25 0 4 0 652017097 595419136 107115 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=581464 CPUtime=992.38 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 135328 0 0 0 99178 60 0 0 25 0 4 0 652017097 595419136 107115 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=581464 CPUtime=1002.32 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 146439 0 0 0 100173 59 0 0 25 0 4 0 652017097 595419136 107115 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.32
Current children cumulated vsize (KiB) 581464

[startup+1062.3 s]
/proc/loadavg: 8.20 8.19 8.07 9/308 17175
/proc/meminfo: memFree=11311828/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=607296 CPUtime=4238.73 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 551360 0 0 0 423643 230 0 0 25 0 4 0 652017096 621871104 98289 33554432000 4194304 4580107 140734339540176 18446744073709551615 4321207 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 151824 98289 379 95 0 146806 0
[pid=17113/tid=17114] ppid=17111 vsize=607296 CPUtime=1062.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 127131 0 0 0 106178 51 0 0 25 0 4 0 652017097 621871104 98289 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=607296 CPUtime=1051.79 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 142566 0 0 0 105116 63 0 0 25 0 4 0 652017097 621871104 98289 33554432000 4194304 4580107 140734339540176 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=607296 CPUtime=1062.32 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 151526 0 0 0 106170 62 0 0 25 0 4 0 652017097 621871104 98289 33554432000 4194304 4580107 140734339540176 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.73
Current children cumulated vsize (KiB) 607296

[startup+1122.3 s]
/proc/loadavg: 8.28 8.22 8.09 9/308 17177
/proc/meminfo: memFree=11286236/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=595312 CPUtime=4478.13 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 568929 0 0 0 447572 241 0 0 25 0 4 0 652017096 609599488 102713 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 148828 102713 379 95 0 143810 0
[pid=17113/tid=17114] ppid=17111 vsize=595312 CPUtime=1122.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 132623 0 0 0 112175 54 0 0 25 0 4 0 652017097 609599488 102713 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=595312 CPUtime=1111.18 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 146857 0 0 0 111052 66 0 0 25 0 4 0 652017097 609599488 102713 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=595312 CPUtime=1122.32 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 156422 0 0 0 112167 65 0 0 25 0 4 0 652017097 609599488 102713 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.13
Current children cumulated vsize (KiB) 595312

[startup+1182.3 s]
/proc/loadavg: 8.19 8.20 8.09 9/308 17178
/proc/meminfo: memFree=11202004/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=595916 CPUtime=4717.55 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 580602 0 0 0 471506 249 0 0 25 0 4 0 652017096 610217984 104125 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 148979 104125 379 95 0 143961 0
[pid=17113/tid=17114] ppid=17111 vsize=595916 CPUtime=1182.29 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 134352 0 0 0 118174 55 0 0 25 0 4 0 652017097 610217984 104125 33554432000 4194304 4580107 140734339540176 18446744073709551615 4305176 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=595916 CPUtime=1170.6 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 150074 0 0 0 116992 68 0 0 25 0 4 0 652017097 610217984 104125 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=595916 CPUtime=1182.33 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 162288 0 0 0 118163 70 0 0 25 0 4 0 652017097 610217984 104125 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.55
Current children cumulated vsize (KiB) 595916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.31 8.23 8.10 9/308 17179
/proc/meminfo: memFree=11193680/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=609032 CPUtime=4800.17 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 588159 0 0 0 479764 253 0 0 25 0 4 0 652017096 623648768 104634 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 152258 104634 379 95 0 147240 0
[pid=17113/tid=17114] ppid=17111 vsize=609032 CPUtime=1202.99 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 136939 0 0 0 120243 56 0 0 25 0 4 0 652017097 623648768 104634 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=609032 CPUtime=1191.09 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 152448 0 0 0 119040 69 0 0 25 0 4 0 652017097 623648768 104634 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=609032 CPUtime=1203.03 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 164881 0 0 0 120232 71 0 0 25 0 4 0 652017097 623648768 104634 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 609032

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

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

[startup+1203 s]
/proc/loadavg: 8.31 8.23 8.10 9/308 17179
/proc/meminfo: memFree=11193680/32951124 swapFree=66050672/67111528
[pid=17113] ppid=17111 vsize=609032 CPUtime=4800.17 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16480 0 -1 4202496 588159 0 0 0 479764 253 0 0 25 0 4 0 652017096 623648768 104634 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 152258 104634 379 95 0 147240 0
[pid=17113/tid=17114] ppid=17111 vsize=609032 CPUtime=1202.99 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 136939 0 0 0 120243 56 0 0 25 0 4 0 652017097 623648768 104634 33554432000 4194304 4580107 140734339540176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=609032 CPUtime=1191.09 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 152448 0 0 0 119040 69 0 0 25 0 4 0 652017097 623648768 104634 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=609032 CPUtime=1203.03 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16480 0 -1 4202560 164881 0 0 0 120232 71 0 0 25 0 4 0 652017097 623648768 104634 33554432000 4194304 4580107 140734339540176 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 609032

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.22
CPU user time (s): 4797.67
CPU system time (s): 2.54861
CPU usage (%): 399.009
Max. virtual memory (cumulated for all children) (KiB): 698244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.67
system time used= 2.54861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588160
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= 500
involuntary context switches= 21278

runsolver used 3.22351 second user time and 8.73967 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-14 22:16:32
IDJOB=3366434
IDBENCH=82843
IDSOLVER=1844
FILE ID=node135/3366434-1305404192
RUNJOBID= node135-1305404189-17061
PBS_JOBID= 13324477
Free space on /tmp= 73336 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366434-1305404192/watcher-3366434-1305404192 -o /tmp/evaluation-result-3366434-1305404192/solver-3366434-1305404192 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366434-1305404192.cnf

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

MD5SUM BENCH= dc676a8dc341229efc4ee05b1ab19ceb
RANDOM SEED=1441103964

node135.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.851
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.70
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.851
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.83
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.851
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12147620 kB
Buffers:        274612 kB
Cached:        5846920 kB
SwapCached:      50684 kB
Active:        9899688 kB
Inactive:     10660148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12147620 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:           11288 kB
Writeback:           0 kB
AnonPages:    14392728 kB
Mapped:          19304 kB
Slab:           135232 kB
PageTables:      46664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57145608 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73332 MiB
End job on node135 at 2011-05-14 22:36:37