Trace number 3174025

Some explanations

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

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

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

Solver answer on this benchmark

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

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174025-1304077216.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     205 undec:      52 neg:     193
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       438      1897         0         0      5756         0   no data   no data
0.00/0.09	c Decided on static restart strategy
0.00/0.14	c  N st     8      4918       438      1897         0      4822      5756    100970   no data   no data
1.57/0.40	c  N st    10     11301       438      1897         0      4440      5756     68202   no data   no data
2.38/0.65	c  N st    11     17045       438      1897         0     10058      5756    195865   no data   no data
3.98/1.04	c  F st    12     25001       438      1897         0     12312      5756    232567   no data   no data
3.98/1.04	c  N st    12     25001       438      1897         0     12312      5756    232567   no data   no data
4.79/1.29	c Decided on static restart strategy
4.79/1.29	c  N st    18     30002       438      1897         0     10617      5756    187095   no data   no data
4.79/1.29	c  S st    18     30002       438      1897         0     10617      5756    187095   no data   no data
5.17/1.32	c  S st    18     30509       438      1897         0     11122      5756    197603   no data   no data
5.17/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.33	c blocked clauses removed:        0 vars:      0 tried:         438 T: 0.00 s
5.17/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
5.17/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.39	c lits-rem:       130  cl-subs:      635  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.40	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30509       438      1897         0     10487      5756    183042   no data   no data
6.77/1.79	c  N st    20     37619       438      1897         0      9754      5756    151408   no data   no data
8.36/2.15	c  N st    21     44018       438      1897         0     15987      5756    287656   no data   no data
8.79/2.27	c  S st    22     45763       438      1897         0      8978      5756    118566   no data   no data
8.79/2.30	c  S st    22     46265       438      1897         0      9480      5756    128916   no data   no data
8.79/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
9.19/2.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.32	c lits-rem:        24  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.32	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
9.19/2.32	c vivif2 --  cl tried     9431 cl shrink        0 lits rem          0 time: 0.00
9.19/2.32	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.00
9.19/2.32	c calculated reachability. Time: 0.00
9.19/2.32	c  N st    22     46265       438      1897         0      9431      5756    127790   no data   no data
12.77/3.24	c  N st    23     60663       438      1897         0     13764      5756    209680   no data   no data
15.16/3.88	c  N st    24     69398       438      1897         0     11549      5756    154603   no data   no data
15.16/3.88	c  S st    24     69398       438      1897         0     11549      5756    154603   no data   no data
15.56/3.91	c  S st    24     69905       438      1897         0     12055      5756    165650   no data   no data
15.56/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.56/3.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
15.56/3.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.94	c lits-rem:        26  cl-subs:      192  v-elim:      0  v-fix:    0  time:  0.02 s
15.56/3.94	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
15.56/3.94	c vivif2 --  cl tried    11863 cl shrink        0 lits rem          0 time: 0.00
15.56/3.95	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
15.56/3.95	c calculated reachability. Time: 0.00
15.56/3.95	c  N st    24     69905       438      1897         0     11863      5756    161860   no data   no data
20.36/5.16	c  F st    25     87501       438      1897         0     17330      5756    269701   no data   no data
20.36/5.16	c  N st    25     87501       438      1897         0     17330      5756    269701   no data   no data
21.97/5.60	c  N dy    32     93146       438      1897         0     22860      5756    381963     13.92     14.75
24.35/6.11	c  N dy    56     99116       438      1897         0     15965      5756    201364     14.22     16.90
25.95/6.55	c  S st    72    104857       438      1897         0     21608      5756    316202     14.14     14.21
25.95/6.60	c  S st    72    105357       438      1897         0     22106      5756    326027     14.14   no data
25.95/6.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.37/6.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.37/6.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.37/6.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.37/6.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.37/6.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
26.37/6.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.37/6.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.37/6.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.37/6.69	c lits-rem:       162  cl-subs:      598  v-elim:      0  v-fix:    0  time:  0.07 s
26.37/6.69	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
26.37/6.70	c vivif2 --  cl tried    21508 cl shrink        0 lits rem          0 time: 0.00
26.77/6.71	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
26.77/6.71	c calculated reachability. Time: 0.00
26.77/6.71	c  N dy    72    105357       438      1897         0     21508      5756    313811     14.14   no data
29.14/7.39	c  N dy    95    112544       438      1897         0     14790      5756    154367     14.03     14.90
34.34/8.60	c  N dy   102    126579       438      1897         0     28586      5756    425648     13.23     13.96
37.12/9.31	c  N dy   161    134887       438      1897         0     22039      5756    290188     13.52     14.27
40.72/10.27	c  N dy   190    143946       438      1897         0     30921      5756    465491     13.47     14.23
44.34/11.11	c  N dy   252    153470       438      1897         0     24584      5756    324494     13.64     14.73
45.91/11.57	c  S st   262    158036       438      1897         0     29067      5756    410709     13.60     10.63
46.31/11.64	c  S st   262    158538       438      1897         0     29567      5756    421346     13.60   no data
46.31/11.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.31/11.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.31/11.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.31/11.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.31/11.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
46.31/11.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.31/11.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.31/11.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.81	c lits-rem:       127  cl-subs:     1068  v-elim:      0  v-fix:    0  time:  0.14 s
47.11/11.81	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
47.11/11.82	c vivif2 --  cl tried    28499 cl shrink        0 lits rem          0 time: 0.00
47.11/11.83	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
47.11/11.83	c calculated reachability. Time: 0.00
47.11/11.83	c  N dy   262    158538       438      1897         0     28499      5756    400646     13.60   no data
51.10/12.88	c  N dy   323    168747       438      1897         0     21808      5756    249952     13.71     14.91
55.90/14.07	c  N dy   388    179567       438      1897         0     32440      5756    470003     13.84     14.93
60.69/15.23	c  N dy   421    191120       438      1897         0     26078      5756    315559     13.79     16.44
66.68/16.78	c  N dy   496    203492       438      1897         0     19606      5756    173428     13.87     14.64
72.67/18.26	c  N dy   547    217420       438      1897         0     33295      5756    455712     13.86     15.09
79.87/20.02	c  N dy   612    232434       438      1897         0     28344      5756    333612     13.88     14.67
82.26/20.67	c  S st   640    237808       438      1897         0     33617      5756    440613     13.89   no data
82.66/20.75	c  S st   640    238311       438      1897         0     34118      5756    451113     13.89   no data
82.66/20.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.66/20.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.66/20.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.66/20.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.66/20.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.66/20.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
82.66/20.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.66/20.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.66/20.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.48/20.95	c lits-rem:       282  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  0.17 s
83.48/20.95	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
83.48/20.96	c vivif2 --  cl tried    32905 cl shrink        0 lits rem          0 time: 0.01
83.48/20.98	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
83.48/20.98	c calculated reachability. Time: 0.00
83.48/20.98	c  N dy   640    238311       438      1897         0     32905      5756    427335     13.89   no data
91.06/22.81	c  N dy   703    253604       438      1897         0     27317      5756    303615     13.91     16.54
100.65/25.22	c  N dy   816    271515       438      1897         0     23306      5756    207348     13.99     15.11
109.43/27.41	c  N dy   902    289355       438      1897         0     40845      5756    570218     14.02     14.85
117.82/29.53	c  F st   963    306252       438      1897         0     34836      5756    431463     14.01   no data
119.04/29.81	c  N st   967    308284       438      1897         0     36823      5756    474112     14.01   no data
120.61/30.28	c Decided on static restart strategy
132.60/33.25	c  N st   973    334556       438      1897         0     38834      5756    641598     14.01   no data
144.18/36.17	c  N st   975    357467       438      1897         0     36664      5756    536935     14.01   no data
144.18/36.17	c  S st   975    357467       438      1897         0     36664      5756    536935     14.01   no data
144.58/36.27	c  S st   975    357968       438      1897         0     37162      5756    547440     14.01   no data
144.58/36.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.58/36.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.58/36.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.58/36.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.58/36.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.58/36.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
144.58/36.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
144.58/36.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.99/36.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.18/37.12	c lits-rem:       189  cl-subs:     4230  v-elim:      0  v-fix:    0  time:  0.82 s
148.18/37.12	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
148.18/37.13	c vivif2 --  cl tried    32932 cl shrink        0 lits rem          0 time: 0.01
148.18/37.15	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
148.18/37.15	c calculated reachability. Time: 0.00
148.18/37.15	c  N st   975    357968       438      1897         0     32932      5756    472138     14.01   no data
163.75/41.03	c  N st   976    390360       438      1897         0     39350      5756    626611     14.01   no data
193.33/48.40	c  N st   977    438949       438      1897         0     33151      5756    439372     14.01   no data
235.26/58.97	c  N st   978    511831       438      1897         0     46629      5756    678204     14.01   no data
251.24/62.95	c  N st   979    536952       438      1897         0     40842      5756    541633     14.01   no data
251.24/62.95	c  S st   979    536952       438      1897         0     40842      5756    541633     14.01   no data
251.64/63.06	c  S st   979    537456       438      1897         0     41346      5756    552409     14.01   no data
251.64/63.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.64/63.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
251.64/63.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.64/63.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.64/63.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.64/63.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
251.64/63.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
251.64/63.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.03/63.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.03/63.64	c lits-rem:       252  cl-subs:     2241  v-elim:      0  v-fix:    0  time:  0.54 s
254.03/63.64	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
254.03/63.65	c vivif2 --  cl tried    39105 cl shrink        0 lits rem          0 time: 0.01
254.03/63.67	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.03
254.03/63.68	c calculated reachability. Time: 0.00
254.03/63.68	c  N st   979    537456       438      1897         0     39105      5756    510817     14.01   no data
367.08/91.94	c  N st   980    701440       438      1897         0     68347      5756   1083452     14.01   no data
442.58/110.81	c  N st   981    806184       438      1897         0     61887      5756    897727     14.01   no data
442.58/110.81	c  S st   981    806184       438      1897         0     61887      5756    897727     14.01   no data
443.38/111.02	c  S st   981    806686       438      1897         0     62386      5756    908503     14.01   no data
443.38/111.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
443.38/111.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
443.38/111.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
443.38/111.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
443.38/111.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
443.38/111.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
443.38/111.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
443.38/111.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
443.38/111.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
454.96/113.93	c lits-rem:       282  cl-subs:     7175  v-elim:      0  v-fix:    0  time:  2.84 s
454.96/113.93	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
454.96/113.94	c vivif2 --  cl tried    55211 cl shrink        0 lits rem          0 time: 0.01
454.96/113.99	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.05
454.96/113.99	c calculated reachability. Time: 0.00
454.96/113.99	c  N st   981    806686       438      1897         0     55211      5756    778526     14.01   no data
657.09/164.56	c  F st   982   1071877       438      1897         0     71172      5756   1014509     14.01   no data
657.09/164.56	c  N st   982   1071877       438      1897         0     71172      5756   1014509     14.01   no data
662.68/165.95	c Decided on static restart strategy
683.05/171.06	c  N st   992   1100185       438      1897         0     55144      5756    655439     14.01   no data
714.21/178.82	c  N st   994   1136177       438      1897         0     45503      5756    437989     14.01   no data
740.18/185.37	c  N st   995   1168571       438      1897         0     76984      5756   1124598     14.01   no data
776.12/194.38	c  N st   996   1210030       438      1897         0     71667      5756   1023655     14.01   no data
776.12/194.38	c  S st   996   1210030       438      1897         0     71667      5756   1023655     14.01   no data
777.32/194.67	c  S st   996   1210533       438      1897         0     72169      5756   1034538     14.01   no data
777.32/194.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
777.74/194.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
777.74/194.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
777.74/194.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
777.74/194.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
777.74/194.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
777.74/194.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
777.74/194.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
777.74/194.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
791.70/198.26	c lits-rem:       436  cl-subs:     4295  v-elim:      0  v-fix:    0  time:  3.49 s
791.70/198.26	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
791.70/198.27	c vivif2 --  cl tried    67874 cl shrink        0 lits rem          0 time: 0.01
792.10/198.35	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.08
792.10/198.35	c calculated reachability. Time: 0.00
792.10/198.35	c  N st   996   1210533       438      1897         0     67874      5756    940967     14.01   no data
864.80/216.57	c  N st   997   1283416       438      1897         0     92179      5756   1423076     14.01   no data
966.68/242.06	c  N st   998   1392739       438      1897         0     52674      5756    514077     14.01   no data
1120.05/280.47	c  N st   999   1556725       438      1897         0     57285      5756    577673     14.01   no data
1279.06/320.25	c  N st  1000   1710534       438      1897         0     98776      5756   1488801     14.01   no data
1279.06/320.25	c  S st  1000   1710534       438      1897         0     98776      5756   1488801     14.01   no data
1280.23/320.56	c  S st  1000   1711037       438      1897         0     99278      5756   1500331     14.01   no data
1280.23/320.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1280.63/320.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1280.63/320.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1280.63/320.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1280.63/320.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1280.63/320.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1280.63/320.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1280.63/320.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1280.63/320.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1316.18/329.58	c lits-rem:       925  cl-subs:     9910  v-elim:      0  v-fix:    0  time:  8.89 s
1316.18/329.58	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1316.58/329.60	c vivif2 --  cl tried    89368 cl shrink        0 lits rem          0 time: 0.02
1316.58/329.69	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.09
1316.58/329.69	c calculated reachability. Time: 0.00
1316.58/329.69	c  N st  1000   1711037       438      1897         0     89368      5756   1300229     14.01   no data
1752.00/438.64	c  N st  1001   2080001       438      1897         0    101092      5756   1454188     14.01   no data
1902.60/476.34	c  N st  1002   2211037       438      1897         0    105082      5756   1486356     14.01   no data
1902.60/476.34	c  S st  1002   2211037       438      1897         0    105082      5756   1486356     14.01   no data
1904.18/476.72	c  S st  1002   2211541       438      1897         0    105585      5756   1497406     14.01   no data
1904.18/476.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1904.18/476.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1904.18/476.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1904.18/476.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1904.18/476.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1904.18/476.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1904.18/476.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1904.58/476.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1904.58/476.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1931.34/483.58	c lits-rem:       682  cl-subs:     8776  v-elim:      0  v-fix:    0  time:  6.73 s
1931.34/483.58	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1931.74/483.60	c vivif2 --  cl tried    96809 cl shrink        0 lits rem          0 time: 0.02
1932.14/483.70	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.10
1932.14/483.70	c calculated reachability. Time: 0.00
1932.14/483.70	c  N st  1002   2211541       438      1897         0     96809      5756   1334399     14.01   no data
2582.06/646.42	c  N st  1003   2711541       438      1897         0    120068      5756   1707784     14.01   no data
2582.06/646.42	c  S st  1003   2711541       438      1897         0    120068      5756   1707784     14.01   no data
2583.68/646.87	c  S st  1003   2712043       438      1897         0    120568      5756   1719504     14.01   no data
2583.68/646.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2584.08/646.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2584.08/646.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2584.08/646.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2584.08/646.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2584.08/646.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
2584.08/646.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2584.08/646.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2584.46/647.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2641.21/661.27	c lits-rem:       587  cl-subs:    12977  v-elim:      0  v-fix:    0  time: 14.25 s
2641.21/661.27	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
2641.21/661.29	c vivif2 --  cl tried   107591 cl shrink        0 lits rem          0 time: 0.02
2641.98/661.43	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.14
2641.98/661.44	c calculated reachability. Time: 0.00
2641.98/661.44	c  N st  1003   2712043       438      1897         0    107591      5756   1469273     14.01   no data
3353.80/839.69	c  N st  1004   3212043       438      1897         0     84567      5756    860625     14.01   no data
3353.80/839.69	c  S st  1004   3212043       438      1897         0     84567      5756    860625     14.01   no data
3355.00/839.96	c  S st  1004   3212544       438      1897         0     85067      5756    870993     14.01   no data
3355.00/839.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3355.40/840.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
3355.40/840.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3355.40/840.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3355.40/840.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3355.40/840.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3355.40/840.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3355.40/840.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3355.40/840.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3357.02/840.49	c lits-rem:       147  cl-subs:     1194  v-elim:      0  v-fix:    0  time:  0.45 s
3357.02/840.49	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
3357.42/840.51	c vivif2 --  cl tried    83873 cl shrink        0 lits rem          0 time: 0.01
3357.42/840.58	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.08
3357.42/840.59	c calculated reachability. Time: 0.00
3357.42/840.59	c  N st  1004   3212544       438      1897         0     83873      5756    850223     14.01   no data
4087.60/1023.32	c  N st  1005   3712544       438      1897         0     93560      5756    992604     14.01   no data
4087.60/1023.32	c  S st  1005   3712544       438      1897         0     93560      5756    992604     14.01   no data
4088.80/1023.65	c  S st  1005   3713044       438      1897         0     94060      5756   1003647     14.01   no data
4088.80/1023.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4089.20/1023.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
4089.20/1023.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4089.20/1023.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4089.20/1023.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4089.20/1023.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
4089.20/1023.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4089.20/1023.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4089.20/1023.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4093.19/1024.72	c lits-rem:       127  cl-subs:     2369  v-elim:      0  v-fix:    0  time:  0.97 s
4093.19/1024.72	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
4093.19/1024.74	c vivif2 --  cl tried    91691 cl shrink        0 lits rem          0 time: 0.02
4093.59/1024.83	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.09
4093.59/1024.83	c calculated reachability. Time: 0.00
4093.59/1024.83	c  N st  1005   3713044       438      1897         0     91691      5756    957328     14.01   no data
4142.33/1037.00	c  F st  1006   3751562       438      1897         0    128911      5756   1772150     14.01   no data
4142.33/1037.00	c  N st  1006   3751562       438      1897         0    128911      5756   1772150     14.01   no data
4151.91/1039.44	c Decided on static restart strategy
4193.46/1049.83	c  N st  1016   3779863       438      1897         0    156412      5756   2384423     14.01   no data
4243.39/1062.30	c  N st  1018   3815855       438      1897         0    109329      5756   1330485     14.01   no data
4298.11/1076.00	c  N st  1019   3848247       438      1897         0    140685      5756   1997546     14.01   no data
4373.61/1094.99	c  N st  1020   3896836       438      1897         0    104535      5756   1200617     14.01   no data
4492.25/1124.69	c  N st  1021   3969720       438      1897         0     91037      5756    881902     14.01   no data
4676.40/1170.72	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174025-1304077216/watcher-3174025-1304077216 -o /tmp/evaluation-result-3174025-1304077216/solver-3174025-1304077216 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174025-1304077216.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.13 8.07 7.77 5/180 4481
/proc/meminfo: memFree=19685844/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519321358 52441088 347 33554432000 4194304 4627427 140736881222928 18446744073709551615 47809749743538 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 12803 347 299 106 0 7774 0
[pid=4481/tid=4482] ppid=4479 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519321358 52441088 347 33554432000 4194304 4627427 140736881222928 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519321358 52441088 347 33554432000 4194304 4627427 140736881222928 18446744073709551615 237290677302 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519321358 52441088 347 33554432000 4194304 4627427 140736881222928 18446744073709551615 47809749743542 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.152634 s]
/proc/loadavg: 8.13 8.07 7.77 5/180 4481
/proc/meminfo: memFree=19685844/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=290880 CPUtime=0.58 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) D 4479 4481 4177 0 -1 4202496 1920 0 0 0 58 0 0 0 25 0 4 0 519321358 297861120 1665 33554432000 4194304 4627427 140736881222928 18446744073709551615 4503199 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 72720 1665 385 106 0 67691 0
[pid=4481/tid=4482] ppid=4479 vsize=290880 CPUtime=0.14 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 360 0 0 0 14 0 0 0 25 0 4 0 519321358 297861120 1665 33554432000 4194304 4627427 140736881222928 18446744073709551615 237278922842 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=290880 CPUtime=0.14 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 377 0 0 0 14 0 0 0 25 0 4 0 519321358 297861120 1665 33554432000 4194304 4627427 140736881222928 18446744073709551615 4324264 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=290880 CPUtime=0.14 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) D 4479 4481 4177 0 -1 4202560 380 0 0 0 14 0 0 0 25 0 4 0 519321358 297861120 1665 33554432000 4194304 4627427 140736881222928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 290880

[startup+0.200907 s]
/proc/loadavg: 8.13 8.07 7.77 5/180 4481
/proc/meminfo: memFree=19685844/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=283216 CPUtime=0.78 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 2224 0 0 0 78 0 0 0 25 0 4 0 519321358 290013184 1589 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 70804 1589 385 106 0 65775 0
[pid=4481/tid=4482] ppid=4479 vsize=283216 CPUtime=0.19 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 457 0 0 0 19 0 0 0 25 0 4 0 519321358 290013184 1589 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=283216 CPUtime=0.19 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 476 0 0 0 19 0 0 0 25 0 4 0 519321358 290013184 1589 33554432000 4194304 4627427 140736881222928 18446744073709551615 4329787 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=283216 CPUtime=0.19 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 417 0 0 0 19 0 0 0 25 0 4 0 519321358 290013184 1589 33554432000 4194304 4627427 140736881222928 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283216

[startup+0.300888 s]
/proc/loadavg: 8.13 8.07 7.77 5/180 4481
/proc/meminfo: memFree=19685844/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=283368 CPUtime=1.18 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 2614 0 0 0 118 0 0 0 25 0 4 0 519321358 290168832 1979 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 70842 1979 385 106 0 65813 0
[pid=4481/tid=4482] ppid=4479 vsize=283368 CPUtime=0.29 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 557 0 0 0 29 0 0 0 25 0 4 0 519321358 290168832 1979 33554432000 4194304 4627427 140736881222928 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=283368 CPUtime=0.29 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 570 0 0 0 29 0 0 0 25 0 4 0 519321358 290168832 1979 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=283368 CPUtime=0.29 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 519 0 0 0 29 0 0 0 25 0 4 0 519321358 290168832 1979 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283368

[startup+0.700819 s]
/proc/loadavg: 8.13 8.07 7.77 5/180 4481
/proc/meminfo: memFree=19685844/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=284416 CPUtime=2.78 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 4197 0 0 0 277 1 0 0 25 0 4 0 519321358 291241984 2541 33554432000 4194304 4627427 140736881222928 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 71104 2541 385 106 0 66075 0
[pid=4481/tid=4482] ppid=4479 vsize=284416 CPUtime=0.69 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 923 0 0 0 69 0 0 0 25 0 4 0 519321358 291241984 2541 33554432000 4194304 4627427 140736881222928 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=284416 CPUtime=0.69 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 932 0 0 0 69 0 0 0 25 0 4 0 519321358 291241984 2541 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=284416 CPUtime=0.69 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 999 0 0 0 69 0 0 0 25 0 4 0 519321358 291241984 2541 33554432000 4194304 4627427 140736881222928 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284416

[startup+1.50068 s]
/proc/loadavg: 8.12 8.07 7.77 9/184 4485
/proc/meminfo: memFree=19682960/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=285480 CPUtime=5.97 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 8115 0 0 0 596 1 0 0 25 0 4 0 519321358 292331520 4436 33554432000 4194304 4627427 140736881222928 18446744073709551615 4327592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 71370 4436 389 106 0 66341 0
[pid=4481/tid=4482] ppid=4479 vsize=285480 CPUtime=1.48 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 1608 0 0 0 148 0 0 0 25 0 4 0 519321358 292331520 4436 33554432000 4194304 4627427 140736881222928 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=285480 CPUtime=1.49 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 1644 0 0 0 149 0 0 0 25 0 4 0 519321358 292331520 4436 33554432000 4194304 4627427 140736881222928 18446744073709551615 4308661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=285480 CPUtime=1.49 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 1607 0 0 0 149 0 0 0 25 0 4 0 519321358 292331520 4436 33554432000 4194304 4627427 140736881222928 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285480

[startup+3.10039 s]
/proc/loadavg: 8.12 8.07 7.77 9/184 4485
/proc/meminfo: memFree=19664360/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=292396 CPUtime=12.37 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 16855 0 0 0 1234 3 0 0 25 0 4 0 519321358 299413504 8606 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309138 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 73099 8606 389 106 0 68070 0
[pid=4481/tid=4482] ppid=4479 vsize=292396 CPUtime=3.07 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 3737 0 0 0 307 0 0 0 25 0 4 0 519321358 299413504 8606 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=292396 CPUtime=3.08 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 4465 0 0 0 308 0 0 0 25 0 4 0 519321358 299413504 8606 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=292396 CPUtime=3.08 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 4177 0 0 0 308 0 0 0 25 0 4 0 519321358 299413504 8606 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 292396

[startup+6.30083 s]
/proc/loadavg: 8.12 8.07 7.77 9/184 4485
/proc/meminfo: memFree=19648640/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=284032 CPUtime=25.15 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 25912 0 0 0 2510 5 0 0 25 0 4 0 519321358 290848768 11779 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 71008 11779 389 106 0 65979 0
[pid=4481/tid=4482] ppid=4479 vsize=284032 CPUtime=6.26 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 6484 0 0 0 625 1 0 0 25 0 4 0 519321358 290848768 11779 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=284032 CPUtime=6.28 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 7221 0 0 0 628 0 0 0 25 0 4 0 519321358 290848768 11779 33554432000 4194304 4627427 140736881222928 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=284032 CPUtime=6.29 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 5790 0 0 0 628 1 0 0 25 0 4 0 519321358 290848768 11779 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 284032

[startup+12.7007 s]
/proc/loadavg: 8.10 8.06 7.77 9/184 4485
/proc/meminfo: memFree=19613328/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=291680 CPUtime=50.7 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 41198 0 0 0 5063 7 0 0 25 0 4 0 519321358 298680320 16900 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 72920 16900 389 106 0 67891 0
[pid=4481/tid=4482] ppid=4479 vsize=291680 CPUtime=12.62 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 10708 0 0 0 1261 1 0 0 25 0 4 0 519321358 298680320 16900 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=291680 CPUtime=12.68 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 10288 0 0 0 1267 1 0 0 25 0 4 0 519321358 298680320 16900 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=291680 CPUtime=12.69 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 10001 0 0 0 1267 2 0 0 25 0 4 0 519321358 298680320 16900 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 291680

[startup+25.5004 s]
/proc/loadavg: 8.08 8.06 7.77 9/184 4485
/proc/meminfo: memFree=19614440/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=292448 CPUtime=101.84 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 60500 0 0 0 10173 11 0 0 25 0 4 0 519321358 299466752 21475 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 73112 21475 389 106 0 68083 0
[pid=4481/tid=4482] ppid=4479 vsize=292448 CPUtime=25.35 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 17263 0 0 0 2533 2 0 0 25 0 4 0 519321358 299466752 21475 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=292448 CPUtime=25.48 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 16115 0 0 0 2546 2 0 0 25 0 4 0 519321358 299466752 21475 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=292448 CPUtime=25.49 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 14215 0 0 0 2546 3 0 0 25 0 4 0 519321358 299466752 21475 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 292448

[startup+51.1009 s]
/proc/loadavg: 8.05 8.05 7.77 9/184 4486
/proc/meminfo: memFree=19547152/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=295372 CPUtime=204.1 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 90633 0 0 0 20392 18 0 0 25 0 4 0 519321358 302460928 34387 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 73843 34387 389 106 0 68814 0
[pid=4481/tid=4482] ppid=4479 vsize=295372 CPUtime=50.81 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 26205 0 0 0 5077 4 0 0 25 0 4 0 519321358 302460928 34387 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=295372 CPUtime=51.08 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 23448 0 0 0 5104 4 0 0 25 0 4 0 519321358 302460928 34387 33554432000 4194304 4627427 140736881222928 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=295372 CPUtime=51.09 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 20660 0 0 0 5105 4 0 0 25 0 4 0 519321358 302460928 34387 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 295372

[startup+102.301 s]
/proc/loadavg: 8.05 8.06 7.79 9/184 4488
/proc/meminfo: memFree=19517980/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=319880 CPUtime=408.64 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 132282 0 0 0 40836 28 0 0 25 0 4 0 519321358 327557120 34294 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 79970 34294 389 106 0 74941 0
[pid=4481/tid=4482] ppid=4479 vsize=319880 CPUtime=101.73 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 37129 0 0 0 10167 6 0 0 25 0 4 0 519321358 327557120 34294 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=319880 CPUtime=102.29 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 34043 0 0 0 10222 7 0 0 25 0 4 0 519321358 327557120 34294 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=319880 CPUtime=102.29 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 30397 0 0 0 10223 6 0 0 25 0 4 0 519321358 327557120 34294 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 319880

[startup+162.301 s]

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

[pid=4481] ppid=4479 vsize=530832 CPUtime=2565.68 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 426968 0 0 0 256435 133 0 0 25 0 4 0 519321358 543571968 85820 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 132708 85820 389 106 0 127679 0
[pid=4481/tid=4482] ppid=4479 vsize=530832 CPUtime=638.81 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 103634 0 0 0 63853 28 0 0 25 0 4 0 519321358 543571968 85820 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=530832 CPUtime=642.29 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 115722 0 0 0 64191 38 0 0 25 0 4 0 519321358 543571968 85820 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=530832 CPUtime=642.31 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 98793 0 0 0 64200 31 0 0 25 0 4 0 519321358 543571968 85820 33554432000 4194304 4627427 140736881222928 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.68
Current children cumulated vsize (KiB) 530832

[startup+702.301 s]
/proc/loadavg: 8.09 8.09 7.92 9/184 4535
/proc/meminfo: memFree=19481528/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=531008 CPUtime=2805.36 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 444940 0 0 0 280395 141 0 0 25 0 4 0 519321358 543752192 88000 33554432000 4194304 4627427 140736881222928 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 132752 88000 389 106 0 127723 0
[pid=4481/tid=4482] ppid=4479 vsize=531008 CPUtime=698.49 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 107526 0 0 0 69819 30 0 0 25 0 4 0 519321358 543752192 88000 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=531008 CPUtime=702.3 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 122031 0 0 0 70189 41 0 0 25 0 4 0 519321358 543752192 88000 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=531008 CPUtime=702.3 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 104484 0 0 0 70197 33 0 0 25 0 4 0 519321358 543752192 88000 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 531008

[startup+762.3 s]
/proc/loadavg: 8.15 8.10 7.93 9/184 4536
/proc/meminfo: memFree=19461664/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=531296 CPUtime=3045.05 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 468382 0 0 0 304355 150 0 0 25 0 4 0 519321358 544047104 87762 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 132824 87762 389 106 0 127795 0
[pid=4481/tid=4482] ppid=4479 vsize=531296 CPUtime=758.17 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 112355 0 0 0 75786 31 0 0 25 0 4 0 519321358 544047104 87762 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=531296 CPUtime=762.3 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 129329 0 0 0 76186 44 0 0 25 0 4 0 519321358 544047104 87762 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=531296 CPUtime=762.31 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 110674 0 0 0 76195 36 0 0 25 0 4 0 519321358 544047104 87762 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 531296

[startup+822.301 s]
/proc/loadavg: 8.11 8.09 7.94 9/184 4538
/proc/meminfo: memFree=19436212/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=547124 CPUtime=3284.7 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 490811 0 0 0 328312 158 0 0 25 0 4 0 519321358 560254976 93424 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 136781 93424 389 106 0 131752 0
[pid=4481/tid=4482] ppid=4479 vsize=547124 CPUtime=817.84 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 115468 0 0 0 81752 32 0 0 25 0 4 0 519321358 560254976 93424 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=547124 CPUtime=822.3 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 135320 0 0 0 82184 46 0 0 25 0 4 0 519321358 560254976 93424 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=547124 CPUtime=822.31 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 119385 0 0 0 82192 39 0 0 25 0 4 0 519321358 560254976 93424 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 547124

[startup+882.306 s]
/proc/loadavg: 8.09 8.09 7.94 9/184 4539
/proc/meminfo: memFree=19415980/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=547324 CPUtime=3524.39 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 511086 0 0 0 352272 167 0 0 25 0 4 0 519321358 560459776 90285 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 136831 90285 389 106 0 131802 0
[pid=4481/tid=4482] ppid=4479 vsize=547324 CPUtime=877.51 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 118968 0 0 0 87717 34 0 0 25 0 4 0 519321358 560459776 90285 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=547324 CPUtime=882.31 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 143580 0 0 0 88182 49 0 0 25 0 4 0 519321358 560459776 90285 33554432000 4194304 4627427 140736881222928 18446744073709551615 4333602 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=547324 CPUtime=882.31 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 125171 0 0 0 88190 41 0 0 25 0 4 0 519321358 560459776 90285 33554432000 4194304 4627427 140736881222928 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 547324

[startup+942.3 s]
/proc/loadavg: 8.16 8.10 7.95 9/184 4541
/proc/meminfo: memFree=19391764/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=547548 CPUtime=3764.04 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 532409 0 0 0 376229 175 0 0 25 0 4 0 519321358 560689152 94253 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 136887 94253 389 106 0 131858 0
[pid=4481/tid=4482] ppid=4479 vsize=547548 CPUtime=937.19 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 124288 0 0 0 93682 37 0 0 25 0 4 0 519321358 560689152 94253 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=547548 CPUtime=942.3 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 149633 0 0 0 94179 51 0 0 25 0 4 0 519321358 560689152 94253 33554432000 4194304 4627427 140736881222928 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=547548 CPUtime=942.31 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 131424 0 0 0 94187 44 0 0 25 0 4 0 519321358 560689152 94253 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 547548

[startup+1002.3 s]
/proc/loadavg: 8.10 8.09 7.96 9/184 4543
/proc/meminfo: memFree=19375632/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=555320 CPUtime=4003.72 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 551477 0 0 0 400189 183 0 0 25 0 4 0 519321358 568647680 98894 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 138830 98894 389 106 0 133801 0
[pid=4481/tid=4482] ppid=4479 vsize=555320 CPUtime=996.86 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 126992 0 0 0 99648 38 0 0 25 0 4 0 519321358 568647680 98894 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=555320 CPUtime=1002.3 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 155700 0 0 0 100176 54 0 0 25 0 4 0 519321358 568647680 98894 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=555320 CPUtime=1002.31 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 137051 0 0 0 100185 46 0 0 25 0 4 0 519321358 568647680 98894 33554432000 4194304 4627427 140736881222928 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 555320

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 7.96 9/184 4544
/proc/meminfo: memFree=19374376/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=555460 CPUtime=4243.39 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 569758 0 0 0 424149 190 0 0 25 0 4 0 519321358 568791040 95267 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 138865 95267 389 106 0 133836 0
[pid=4481/tid=4482] ppid=4479 vsize=555460 CPUtime=1056.54 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 130137 0 0 0 105615 39 0 0 25 0 4 0 519321358 568791040 95267 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=555460 CPUtime=1062.3 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 161897 0 0 0 106174 56 0 0 25 0 4 0 519321358 568791040 95267 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=555460 CPUtime=1062.31 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 142521 0 0 0 106183 48 0 0 25 0 4 0 519321358 568791040 95267 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 555460

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 7.97 9/184 4546
/proc/meminfo: memFree=19350804/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=555684 CPUtime=4483.06 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 587896 0 0 0 448108 198 0 0 25 0 4 0 519321358 569020416 97447 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 138921 97447 389 106 0 133892 0
[pid=4481/tid=4482] ppid=4479 vsize=555684 CPUtime=1116.21 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 134806 0 0 0 111581 40 0 0 25 0 4 0 519321358 569020416 97447 33554432000 4194304 4627427 140736881222928 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=555684 CPUtime=1122.3 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 168192 0 0 0 112171 59 0 0 25 0 4 0 519321358 569020416 97447 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=555684 CPUtime=1122.31 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 148205 0 0 0 112181 50 0 0 25 0 4 0 519321358 569020416 97447 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 555684

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 7.97 9/184 4547
/proc/meminfo: memFree=19319388/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=555828 CPUtime=4722.74 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 608756 0 0 0 472068 206 0 0 25 0 4 0 519321358 569167872 102327 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 138957 102327 389 106 0 133928 0
[pid=4481/tid=4482] ppid=4479 vsize=555828 CPUtime=1175.88 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 139201 0 0 0 117546 42 0 0 25 0 4 0 519321358 569167872 102327 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=555828 CPUtime=1182.3 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 174782 0 0 0 118169 61 0 0 25 0 4 0 519321358 569167872 102327 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=555828 CPUtime=1182.32 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 152646 0 0 0 118180 52 0 0 25 0 4 0 519321358 569167872 102327 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 555828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.09 7.98 9/184 4548
/proc/meminfo: memFree=19329672/32950904 swapFree=67082284/67111528
[pid=4481] ppid=4479 vsize=555880 CPUtime=4800.25 cores=0,2,4,6
/proc/4481/stat : 4481 (strangenight2-m) R 4479 4481 4177 0 -1 4202496 612907 0 0 0 479817 208 0 0 25 0 4 0 519321358 569221120 100199 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4481/statm: 138970 100199 389 106 0 133941 0
[pid=4481/tid=4482] ppid=4479 vsize=555880 CPUtime=1195.18 cores=0,2,4,6
/proc/4481/task/4482/stat : 4482 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 139205 0 0 0 119476 42 0 0 25 0 4 0 519321358 569221120 100199 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4481/tid=4483] ppid=4479 vsize=555880 CPUtime=1201.71 cores=0,2,4,6
/proc/4481/task/4483/stat : 4483 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 175951 0 0 0 120109 62 0 0 25 0 4 0 519321358 569221120 100199 33554432000 4194304 4627427 140736881222928 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4481/tid=4484] ppid=4479 vsize=555880 CPUtime=1201.72 cores=0,2,4,6
/proc/4481/task/4484/stat : 4484 (strangenight2-m) R 4479 4481 4177 0 -1 4202560 154746 0 0 0 120119 53 0 0 25 0 4 0 519321358 569221120 100199 33554432000 4194304 4627427 140736881222928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 555880

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.29
CPU user time (s): 4798.2
CPU system time (s): 2.09868
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 673596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.2
system time used= 2.09868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612908
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= 237
involuntary context switches= 23121

runsolver used 2.05669 second user time and 4.49732 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 13:40:16
IDJOB=3174025
IDBENCH=82843
IDSOLVER=1586
FILE ID=node121/3174025-1304077216
RUNJOBID= node121-1304075302-4195
PBS_JOBID= 13170500
Free space on /tmp= 72648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3174025-1304077216/watcher-3174025-1304077216 -o /tmp/evaluation-result-3174025-1304077216/solver-3174025-1304077216 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174025-1304077216.cnf

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

MD5SUM BENCH= dc676a8dc341229efc4ee05b1ab19ceb
RANDOM SEED=517589907

node121.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.817
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.63
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.817
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	: 5226.07
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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.77
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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      19686000 kB
Buffers:       2181672 kB
Cached:       10232220 kB
SwapCached:       2776 kB
Active:        9416444 kB
Inactive:      3329780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19686000 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            5980 kB
Writeback:           0 kB
AnonPages:      329668 kB
Mapped:          14516 kB
Slab:           455984 kB
PageTables:       5600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   592016 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= 72644 MiB
End job on node121 at 2011-04-29 14:00:20