Trace number 3175331

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-1-mt? (TO) 4800.35 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf
MD5SUM7b433874f4dba1bf060f64be4ba91fb7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.2759
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175331-1304117712.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.00	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.00	c -- vars added         50
0.00/0.10	c Parsing time:  0.01 s
0.00/0.10	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.38/0.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.39
0.38/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.38/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.38/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
0.38/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.13	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.38/0.13	c calculated reachability. Time: 0.00
0.38/0.13	c Calc default polars -  time:   0.00 s pos:      23 undec:       0 neg:      27
0.38/0.13	c =========================================================================================
0.38/0.13	c types(t): F = full restart, N = normal restart
0.38/0.13	c types(t): S = simplification begin/end, E = solution found
0.38/0.13	c restart types(rt): st = static, dy = dynamic
0.38/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.13	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.77/0.22	c  N dy    10      4061        50      4450         0      3522     31150     65397     15.61     16.90  --
1.57/0.40	c  N dy    20     10371        50      4450         0      6795     31150    117971     15.11     15.99  --
2.37/0.70	c  N dy    38     18212        50      4450         0      5032     31150     76707     15.13     15.94  --
3.57/0.94	c  N dy    50     24132        50      4450         0     10183     31150    169063     15.11     15.95  --
3.57/0.98	c  F st    59     25000        50      4450         0     10951     31150    183811     15.19   no data  --
4.39/1.13	c  N st    64     28302        50      4450         0      7905     31150    123879     15.19   no data  --
4.39/1.19	c  S st    65     30001        50      4450         0      9387     31150    151755     15.19   no data  --
4.79/1.22	c  S st    65     30503        50      4450         0      9829     31150    160282     15.19   no data  --
4.79/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.79/1.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.79/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.79/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.79/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.18	c lits-rem:      1351  cl-subs:     1638  v-elim:      0  v-fix:    0  time:  3.78 s
9.56/2.40	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.87
9.56/2.40	c calculated reachability. Time: 0.00
9.56/2.40	c  N dy    65     30503        50      4450         0      8191     31150    131906     15.19   no data  --
10.36/2.61	c  N dy    81     34559        50      4450         0     11720     31150    195738     15.24     16.60  --
11.16/2.87	c  N dy   100     39700        50      4450         0      9452     31150    144165     15.27     16.19  --
12.76/3.20	c  N dy   133     45754        50      4450         0     14699     31150    239517     15.34     12.90  --
12.76/3.20	c  S st   133     45754        50      4450         0     14699     31150    239517     15.34     12.90  --
12.76/3.25	c  S st   133     46257        50      4450         0     15145     31150    248130     15.34   no data  --
12.76/3.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.76/3.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.76/3.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.76/3.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.76/3.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.76/3.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.76/3.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.32	c lits-rem:      1707  cl-subs:     2512  v-elim:      0  v-fix:    0  time:  4.23 s
17.16/4.32	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.16/4.32	c vivif2 --  cl tried    12633 cl shrink        0 lits rem          0 time: 0.01
18.35/4.62	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.18
18.35/4.62	c calculated reachability. Time: 0.00
18.35/4.62	c  N dy   133     46257        50      4450         0     12633     31150    202861     15.34   no data  --
19.15/4.85	c  N dy   143     50281        50      4450         0      8548     31150    122255     15.30     16.52  --
19.95/5.02	c  N dy   148     54300        50      4450         0     11997     31150    182628     15.25     17.63  --
20.75/5.27	c  N dy   176     58350        50      4450         0     15521     31150    248048     15.34     17.18  --
21.96/5.54	c  N dy   214     62410        50      4450         0     10500     31150    151230     15.47     17.01  --
23.14/5.83	c  N dy   230     67649        50      4450         0     15049     31150    233764     15.47     16.29  --
23.54/5.94	c  S st   236     69385        50      4450         0     16551     31150    261276     15.48     15.24  --
23.54/5.98	c  S st   236     69888        50      4450         0     16987     31150    269650     15.48   no data  --
23.54/5.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.54/5.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.54/5.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.54/6.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.54/6.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.54/6.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.54/6.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.74/7.22	c lits-rem:      1986  cl-subs:     2397  v-elim:      0  v-fix:    0  time:  4.89 s
28.74/7.22	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.74/7.22	c vivif2 --  cl tried    14590 cl shrink        0 lits rem          0 time: 0.01
29.94/7.55	c asymm  cl-useful: 0/4245/4450 lits-rem:0 time: 1.32
29.94/7.55	c calculated reachability. Time: 0.00
29.94/7.55	c  N dy   236     69888        50      4450         0     14590     31150    224927     15.48   no data  --
31.93/8.01	c  N dy   241     78340        50      4450         0     12564     31150    176886     15.33     16.26  --
33.93/8.54	c  F st   243     87501        50      4450         0     20475     31150    313268     15.16     13.00  --
33.93/8.54	c  N st   243     87501        50      4450         0     20475     31150    313268     15.16     13.00  --
35.15/8.85	c  N dy   253     93100        50      4450         0     15108     31150    223514     15.17     17.58  --
37.12/9.31	c  N dy   300     99044        50      4450         0     20307     31150    320047     15.26     17.44  --
38.72/9.76	c  S st   345    104833        50      4450         0     14123     31150    196991     15.34   no data  --
39.12/9.80	c  S st   345    105339        50      4450         0     14575     31150    205604     15.34   no data  --
39.12/9.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.12/9.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.12/9.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.12/9.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.12/9.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.12/9.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.12/9.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.11/10.84	c lits-rem:       833  cl-subs:      820  v-elim:      0  v-fix:    0  time:  4.11 s
43.11/10.84	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
43.11/10.85	c vivif2 --  cl tried    13755 cl shrink        0 lits rem          0 time: 0.01
44.34/11.17	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.28
44.34/11.17	c calculated reachability. Time: 0.00
44.34/11.17	c  N dy   345    105339        50      4450         0     13755     31150    189357     15.34   no data  --
46.31/11.64	c  N dy   388    112123        50      4450         0     19682     31150    299637     15.41     17.91  --
48.73/12.25	c  N dy   425    119344        50      4450         0     13827     31150    182020     15.45     16.73  --
51.50/12.94	c  N dy   457    129314        50      4450         0     22461     31150    340056     15.45     16.35  --
54.29/13.65	c  N dy   481    139121        50      4450         0     17985     31150    245248     15.40     16.25  --
57.51/14.46	c  N dy   543    148347        50      4450         0     26039     31150    395604     15.47     16.29  --
60.69/15.23	c  N dy   577    158008        50      4450         0     20452     31150    287216     15.47     14.33  --
60.69/15.23	c  S st   577    158008        50      4450         0     20452     31150    287216     15.47     14.33  --
60.69/15.29	c  S st   577    158515        50      4450         0     20897     31150    295932     15.47   no data  --
60.69/15.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.69/15.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.69/15.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
61.09/15.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.09/15.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.09/15.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
61.09/15.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.08/16.83	c lits-rem:      1518  cl-subs:     2158  v-elim:      0  v-fix:    0  time:  6.11 s
67.08/16.84	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
67.08/16.84	c vivif2 --  cl tried    18739 cl shrink        0 lits rem          0 time: 0.01
68.28/17.19	c asymm  cl-useful: 0/3720/4450 lits-rem:0 time: 1.41
68.28/17.19	c calculated reachability. Time: 0.00
68.28/17.19	c  N dy   577    158515        50      4450         0     18739     31150    257683     15.47   no data  --
72.28/18.15	c  N dy   623    168967        50      4450         0     27827     31150    423291     15.48     16.30  --
78.27/19.61	c  N dy   624    188671        50      4450         0     30115     31150    442212     15.28     16.14  --
82.66/20.76	c  N dy   722    200741        50      4450         0     25206     31150    368513     15.38     18.12  --
88.27/22.13	c  N dy   767    213667        50      4450         0     19978     31150    255986     15.37     16.20  --
96.25/24.16	c  N dy   807    237479        50      4450         0     23078     31150    295401     15.22     16.14  --
96.25/24.19	c  S st   810    237773        50      4450         0     23337     31150    300320     15.22   no data  --
96.66/24.25	c  S st   810    238274        50      4450         0     23785     31150    309119     15.22   no data  --
96.66/24.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.66/24.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.66/24.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.66/24.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.66/24.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.66/24.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
96.66/24.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.23/25.62	c lits-rem:       891  cl-subs:     3156  v-elim:      0  v-fix:    0  time:  5.41 s
102.23/25.62	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
102.23/25.62	c vivif2 --  cl tried    20629 cl shrink        0 lits rem          0 time: 0.01
102.64/25.71	c asymm  cl-useful: 0/730/4450 lits-rem:0 time: 0.36
102.64/25.71	c calculated reachability. Time: 0.00
102.64/25.71	c  N dy   810    238274        50      4450         0     20629     31150    262104     15.22   no data  --
109.43/27.41	c  N dy   916    253952        50      4450         0     34250     31150    515823     15.30     16.14  --
116.21/29.14	c  N dy   979    272019        50      4450         0     31927     31150    458437     15.30     16.11  --
125.80/31.52	c  N dy  1107    293374        50      4450         0     31593     31150    451859     15.36     16.28  --
131.82/33.05	c  F st  1143    306251        50      4450         0     22871     31150    279438     15.35     13.84  --
134.19/33.60	c  N dy  1153    312416        50      4450         0     28174     31150    377159     15.36     16.25  --
144.18/36.16	c  N dy  1230    336632        50      4450         0     28363     31150    374211     15.33     16.18  --
154.57/38.72	c  N dy  1342    356702        50      4450         0     24215     31150    295372     15.37     16.54  --
154.97/38.80	c  S st  1349    357412        50      4450         0     24824     31150    307042     15.38     16.11  --
154.97/38.86	c  S st  1349    357916        50      4450         0     25264     31150    315643     15.38   no data  --
154.97/38.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.97/38.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.97/38.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
154.97/38.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.97/38.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.97/38.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
154.97/38.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.96/40.39	c lits-rem:       849  cl-subs:      908  v-elim:      0  v-fix:    0  time:  6.06 s
160.96/40.39	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
161.36/40.40	c vivif2 --  cl tried    24356 cl shrink        0 lits rem          0 time: 0.01
162.57/40.74	c asymm  cl-useful: 0/2947/4450 lits-rem:0 time: 1.36
162.57/40.74	c calculated reachability. Time: 0.00
162.57/40.74	c  N dy  1349    357916        50      4450         0     24356     31150    297388     15.38   no data  --
173.34/43.43	c  N dy  1436    378380        50      4450         0     42019     31150    617262     15.38     16.20  --
187.72/47.03	c  N dy  1488    405376        50      4450         0     42727     31150    614112     15.34     16.26  --
197.73/49.54	c  N dy  1535    427446        50      4450         0     38408     31150    521155     15.30     16.20  --
209.69/52.57	c  N dy  1702    447517        50      4450         0     31866     31150    415211     15.37     17.62  --
221.68/55.59	c  N dy  1831    467534        50      4450         0     49239     31150    738324     15.41     17.91  --
232.46/58.23	c  N dy  1910    489751        50      4450         0     43299     31150    606922     15.40     16.22  --
244.84/61.35	c  N dy  2016    509809        50      4450         0     34707     31150    442904     15.42     16.61  --
259.64/65.06	c  N dy  2135    532910        50      4450         0     27905     31150    313855     15.45     16.28  --
261.22/65.45	c  S st  2143    536875        50      4450         0     31288     31150    373882     15.44   no data  --
261.62/65.53	c  S st  2143    537381        50      4450         0     31744     31150    382714     15.44   no data  --
261.62/65.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
261.62/65.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
261.62/65.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
261.62/65.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.62/65.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.62/65.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
261.62/65.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
268.80/67.39	c lits-rem:       687  cl-subs:     1770  v-elim:      0  v-fix:    0  time:  7.34 s
268.80/67.39	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
268.80/67.40	c vivif2 --  cl tried    29974 cl shrink        0 lits rem          0 time: 0.01
270.00/67.66	c asymm  cl-useful: 0/1503/4450 lits-rem:0 time: 1.05
270.00/67.66	c calculated reachability. Time: 0.00
270.00/67.66	c  N dy  2143    537381        50      4450         0     29974     31150    353182     15.44   no data  --
280.79/70.32	c  N dy  2175    559352        50      4450         0     48710     31150    681839     15.40     16.29  --
292.77/73.32	c  N dy  2275    579385        50      4450         0     38649     31150    503443     15.41     17.05  --
315.95/79.14	c  N dy  2397    619670        50      4450         0     44816     31150    580826     15.35     16.18  --
331.12/82.92	c  N dy  2536    639687        50      4450         0     32966     31150    390735     15.39     17.57  --
344.70/86.32	c  N dy  2693    659705        50      4450         0     50309     31150    717775     15.43     16.77  --
361.88/90.69	c  N dy  2835    681154        50      4450         0     38597     31150    483240     15.46     16.39  --
375.86/94.15	c  N dy  2925    701177        50      4450         0     55853     31150    797373     15.47     17.13  --
393.84/98.62	c  N dy  3051    725505        50      4450         0     45849     31150    609812     15.49     16.31  --
411.41/103.04	c  N dy  3187    745574        50      4450         0     63171     31150    936122     15.51     18.43  --
423.40/106.01	c  N dy  3241    766096        50      4450         0     48864     31150    654587     15.51     16.49  --
446.16/111.78	c  N dy  3355    797668        50      4450         0     43205     31150    533893     15.50     16.33  --
451.76/113.19	c  S st  3389    806071        50      4450         0     50390     31150    665955     15.50   no data  --
452.57/113.33	c  S st  3389    806578        50      4450         0     50832     31150    674674     15.50   no data  --
452.57/113.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
452.57/113.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
452.57/113.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
452.57/113.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
452.57/113.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.57/113.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
452.57/113.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
476.12/119.25	c lits-rem:      1868  cl-subs:     7235  v-elim:      0  v-fix:    0  time: 23.46 s
476.12/119.25	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
476.12/119.26	c vivif2 --  cl tried    43597 cl shrink        0 lits rem          0 time: 0.03
476.92/119.46	c asymm  cl-useful: 0/971/4450 lits-rem:0 time: 0.83
476.92/119.47	c calculated reachability. Time: 0.00
476.92/119.47	c  N dy  3389    806578        50      4450         0     43597     31150    557199     15.50   no data  --
492.53/123.32	c  N dy  3473    826595        50      4450         0     60765     31150    871126     15.50     16.76  --
508.08/127.23	c  N dy  3573    846627        50      4450         0     45050     31150    575127     15.52     16.89  --
522.88/131.00	c  N dy  3663    866669        50      4450         0     62258     31150    892473     15.52     16.40  --
538.44/134.80	c  N dy  3759    886736        50      4450         0     45371     31150    573688     15.53     16.91  --
553.22/138.52	c  N dy  3787    908257        50      4450         0     63571     31150    891095     15.50     16.41  --
570.80/142.97	c  N dy  3885    930932        50      4450         0     48079     31150    607966     15.50     16.44  --
588.79/147.43	c  N dy  4009    951011        50      4450         0     65412     31150    931606     15.52     17.20  --
602.75/150.99	c  N dy  4077    971041        50      4450         0     46601     31150    576270     15.52     16.39  --
631.52/158.10	c  N dy  4220   1004702        50      4450         0     38618     31150    421684     15.52     16.37  --
645.50/161.67	c  N dy  4316   1024841        50      4450         0     55970     31150    742837     15.53     16.39  --
665.87/166.78	c  N dy  4446   1045318        50      4450         0     73532     31150   1072274     15.55     16.44  --
685.86/171.79	c  F st  4564   1071875        50      4450         0     58614     31150    783761     15.55     12.69  --
685.86/171.79	c  N st  4564   1071875        50      4450         0     58614     31150    783761     15.55     12.69  --
706.62/176.91	c  N dy  4648   1091951        50      4450         0     75932     31150   1105067     15.56     17.01  --
722.99/181.03	c  N dy  4768   1112042        50      4450         0     54653     31150    711863     15.57     16.56  --
750.56/187.95	c  N dy  4854   1141772        50      4450         0     40536     31150    437070     15.56     16.42  --
769.35/192.65	c  N dy  4863   1174676        50      4450         0     68205     31150    905665     15.51     16.45  --
794.89/199.04	c  N dy  4973   1197322        50      4450         0     47500     31150    555198     15.51     16.36  --
807.67/202.24	c  S st  5067   1209867        50      4450         0     58384     31150    761077     15.53     15.60  --
808.49/202.44	c  S st  5067   1210369        50      4450         0     58834     31150    769849     15.53   no data  --
808.49/202.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
808.49/202.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
808.49/202.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
808.49/202.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
808.49/202.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
808.49/202.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
808.49/202.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
864.40/216.49	c lits-rem:      2916  cl-subs:     6062  v-elim:      0  v-fix:    0  time: 55.89 s
864.40/216.49	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
864.80/216.50	c vivif2 --  cl tried    52772 cl shrink        0 lits rem          0 time: 0.04
866.02/216.83	c asymm  cl-useful: 0/675/4450 lits-rem:0 time: 1.31
866.02/216.83	c calculated reachability. Time: 0.00
866.02/216.83	c  N dy  5067   1210369        50      4450         0     52772     31150    662035     15.53   no data  --
885.58/221.74	c  N dy  5139   1230499        50      4450         0     69939     31150    968358     15.52     16.34  --
909.14/227.70	c  N dy  5261   1250644        50      4450         0     46646     31150    540952     15.53     16.46  --
929.11/232.60	c  N dy  5407   1272351        50      4450         0     65368     31150    892421     15.55     16.39  --
951.89/238.34	c  N dy  5467   1294295        50      4450         0     42330     31150    450282     15.54     16.37  --
967.86/242.37	c  N dy  5507   1316199        50      4450         0     61029     31150    782864     15.53     16.38  --
994.22/248.93	c  N dy  5628   1336289        50      4450         0     78316     31150   1105105     15.54     16.47  --
1020.59/255.53	c  N dy  5773   1358096        50      4450         0     54317     31150    667191     15.56     16.38  --
1056.14/264.46	c  N dy  5805   1397464        50      4450         0     44180     31150    470318     15.51     16.47  --
1073.32/268.72	c  N dy  5933   1417558        50      4450         0     61452     31150    793777     15.52     16.76  --
1107.69/277.35	c  N dy  6105   1447861        50      4450         0     87390     31150   1276310     15.53     16.57  --
1126.04/281.95	c  N dy  6212   1468774        50      4450         0     60877     31150    772221     15.54     16.59  --
1150.02/287.96	c  N dy  6353   1489258        50      4450         0     78521     31150   1104430     15.56     16.44  --
1175.98/294.40	c  N dy  6486   1509287        50      4450         0     50237     31150    570389     15.57     17.11  --
1198.75/300.11	c  N dy  6577   1534734        50      4450         0     71917     31150    964458     15.57     16.44  --
1233.51/308.86	c  N dy  6591   1577287        50      4450         0     61707     31150    748985     15.52     16.37  --
1257.87/314.90	c  N dy  6759   1597380        50      4450         0     79078     31150   1080759     15.54     17.29  --
1285.43/321.83	c  N dy  6877   1617396        50      4450         0     49303     31150    541182     15.54     18.35  --
1306.61/327.15	c  N dy  7019   1639903        50      4450         0     68617     31150    899931     15.55     16.40  --
1330.98/333.21	c  N dy  7113   1659949        50      4450         0     85798     31150   1217125     15.56     17.43  --
1356.53/339.68	c  N dy  7240   1679959        50      4450         0     55059     31150    640998     15.57     17.51  --
1376.11/344.56	c  N dy  7343   1700000        50      4450         0     72154     31150    956490     15.57     17.32  --
1386.10/347.04	c  S st  7366   1710369        50      4450         0     81002     31150   1113754     15.57     13.82  --
1386.90/347.28	c  S st  7366   1710875        50      4450         0     81449     31150   1122589     15.57   no data  --
1386.90/347.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1386.90/347.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1387.30/347.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
1387.30/347.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1387.30/347.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1387.30/347.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1387.30/347.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1527.89/382.50	c lits-rem:      4917  cl-subs:    11333  v-elim:      0  v-fix:    0  time: 140.35 s
1527.89/382.50	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1527.89/382.51	c vivif2 --  cl tried    70116 cl shrink        0 lits rem          0 time: 0.06
1529.51/382.96	c asymm  cl-useful: 0/500/4450 lits-rem:0 time: 1.78
1529.51/382.96	c calculated reachability. Time: 0.00
1529.51/382.96	c  N dy  7366   1710875        50      4450         0     70116     31150    923058     15.57   no data  --
1565.04/391.87	c  N dy  7507   1731025        50      4450         0     87480     31150   1250925     15.58     16.49  --
1599.00/400.36	c  N dy  7633   1751037        50      4450         0     56669     31150    666056     15.59     17.97  --
1629.75/408.04	c  N dy  7694   1779387        50      4450         0     80735     31150   1085189     15.57     16.40  --
1668.50/417.77	c  N dy  7792   1799407        50      4450         0     97865     31150   1400589     15.57     16.99  --
1697.66/425.09	c  N dy  7909   1819413        50      4450         0     65846     31150    826338     15.58     17.28  --
1731.64/433.56	c  N dy  8012   1839418        50      4450         0     82986     31150   1145476     15.59     17.84  --
1770.36/443.21	c  N dy  8080   1859640        50      4450         0    100234     31150   1458945     15.58     16.53  --
1797.93/450.19	c  N dy  8210   1879692        50      4450         0     67183     31150    846374     15.60     16.75  --
1831.08/458.45	c  N dy  8333   1899994        50      4450         0     84618     31150   1173536     15.60     16.43  --
1863.84/466.64	c  N dy  8443   1920067        50      4450         0    101867     31150   1493794     15.61     17.90  --
1885.03/471.99	c  N dy  8569   1940073        50      4450         0     67703     31150    845102     15.62     17.27  --
1910.18/478.27	c  N dy  8691   1960100        50      4450         0     84947     31150   1169127     15.63     17.03  --
1941.73/486.12	c  N dy  8800   1980137        50      4450         0    102102     31150   1490431     15.63     18.51  --
1967.30/492.56	c  N dy  8858   2007034        50      4450         0     72757     31150    916999     15.63     16.46  --
1990.49/498.39	c  N dy  8916   2027114        50      4450         0     89855     31150   1228049     15.62     18.27  --
2019.23/505.57	c  N dy  8982   2047583        50      4450         0     54314     31150    582692     15.62     16.45  --
2050.79/513.44	c  N dy  9105   2080734        50      4450         0     82463     31150   1090590     15.62     16.63  --
2078.37/520.32	c  N dy  9185   2100913        50      4450         0     99735     31150   1408478     15.62     16.47  --
2107.11/527.51	c  N dy  9332   2120960        50      4450         0     63267     31150    745874     15.63     17.13  --
2133.48/534.18	c  N dy  9454   2143851        50      4450         0     82879     31150   1112967     15.64     16.46  --
2163.03/541.53	c  N dy  9528   2165761        50      4450         0    101575     31150   1452751     15.63     16.47  --
2200.58/550.90	c  N dy  9672   2194938        50      4450         0     71800     31150    888063     15.64     16.49  --
2221.36/556.18	c  S st  9784   2210876        50      4450         0     85455     31150   1146384     15.65   no data  --
2222.56/556.45	c  S st  9784   2211384        50      4450         0     85893     31150   1154801     15.65   no data  --
2222.56/556.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2222.56/556.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2222.56/556.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2222.96/556.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2222.96/556.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2222.96/556.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2222.96/556.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2322.82/581.51	c lits-rem:      4862  cl-subs:    10157  v-elim:      0  v-fix:    0  time: 99.79 s
2322.82/581.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2322.82/581.52	c vivif2 --  cl tried    75736 cl shrink        0 lits rem          0 time: 0.05
2324.02/581.83	c asymm  cl-useful: 0/467/4450 lits-rem:0 time: 1.22
2324.02/581.83	c calculated reachability. Time: 0.00
2324.02/581.83	c  N dy  9784   2211384        50      4450         0     75736     31150    970787     15.65   no data  --
2353.18/589.16	c  N dy  9901   2231471        50      4450         0     92891     31150   1292255     15.65     16.74  --
2388.73/598.05	c  N dy  9939   2260468        50      4450         0     62633     31150    711058     15.64     16.50  --
2417.12/605.11	c  N dy  9988   2288453        50      4450         0     86480     31150   1142062     15.63     16.50  --
2453.45/614.29	c  N dy 10001   2317121        50      4450         0    110676     31150   1558695     15.61     16.66  --
2479.81/620.89	c  N dy 10063   2339976        50      4450         0     74470     31150    922530     15.60     16.51  --
2518.95/630.68	c  N dy 10224   2360384        50      4450         0     92051     31150   1257642     15.62     16.45  --
2564.90/642.12	c  N dy 10345   2380507        50      4450         0    109304     31150   1581385     15.62     16.47  --
2601.26/651.21	c  N dy 10480   2400539        50      4450         0     69438     31150    832405     15.63     17.53  --
2634.00/659.45	c  N dy 10592   2420578        50      4450         0     86508     31150   1150854     15.64     16.50  --
2687.93/672.98	c  N dy 10721   2448215        50      4450         0    110060     31150   1587328     15.64     16.50  --
2723.48/681.81	c  N dy 10803   2468287        50      4450         0     69157     31150    807284     15.64     16.51  --
2759.04/690.70	c  N dy 10928   2488537        50      4450         0     86462     31150   1131881     15.65     16.74  --
2801.78/701.47	c  N dy 11044   2508610        50      4450         0    103658     31150   1452193     15.65     16.80  --
2844.52/712.12	c  N dy 11163   2528705        50      4450         0     61955     31150    675346     15.66     17.53  --
2900.46/726.15	c  N dy 11237   2577579        50      4450         0    103423     31150   1405790     15.63     16.46  --
2939.20/735.83	c  N dy 11327   2599711        50      4450         0     62696     31150    676889     15.63     16.53  --
2960.37/741.19	c  N dy 11384   2619770        50      4450         0     79762     31150    984893     15.63     17.70  --
2993.11/749.30	c  N dy 11478   2642705        50      4450         0     99253     31150   1342688     15.63     16.63  --
3036.28/760.12	c  N dy 11603   2666513        50      4450         0    119600     31150   1723203     15.64     16.50  --
3060.23/766.14	c  N dy 11686   2686842        50      4450         0     76378     31150    920571     15.64     16.47  --
3086.59/772.80	c  N dy 11775   2708285        50      4450         0     94548     31150   1248758     15.64     16.46  --
3092.18/774.10	c  S st 11803   2711385        50      4450         0     97231     31150   1300083     15.64     17.48  --
3093.40/774.43	c  S st 11803   2711889        50      4450         0     97675     31150   1308970     15.64   no data  --
3093.40/774.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3093.40/774.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3093.40/774.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
3093.80/774.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3093.80/774.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3093.80/774.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3093.80/774.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3373.81/844.64	c lits-rem:      4962  cl-subs:    13667  v-elim:      0  v-fix:    0  time: 280.04 s
3373.81/844.64	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3373.81/844.66	c vivif2 --  cl tried    84008 cl shrink        0 lits rem          0 time: 0.06
3375.03/844.99	c asymm  cl-useful: 0/420/4450 lits-rem:0 time: 1.31
3375.03/844.99	c calculated reachability. Time: 0.00
3375.03/844.99	c  N dy 11803   2711889        50      4450         0     84008     31150   1072837     15.64   no data  --
3408.96/853.41	c  N dy 11935   2733070        50      4450         0    102111     31150   1413446     15.64     16.51  --
3449.33/863.53	c  N dy 12070   2753412        50      4450         0    119562     31150   1741915     15.65     16.48  --
3470.48/868.80	c  N dy 12088   2774305        50      4450         0     76851     31150    917884     15.64     16.66  --
3500.04/876.22	c  N dy 12214   2794471        50      4450         0     94153     31150   1243089     15.65     16.51  --
3529.19/883.58	c  N dy 12264   2814528        50      4450         0    111129     31150   1543888     15.64     17.62  --
3571.14/894.00	c  N dy 12403   2840430        50      4450         0     71526     31150    823658     15.65     16.57  --
3609.09/903.54	c  N dy 12541   2860683        50      4450         0     88978     31150   1155202     15.66     16.50  --
3654.63/914.91	c  N dy 12667   2880755        50      4450         0    106223     31150   1481124     15.66     16.53  --
3701.37/926.63	c  N dy 12753   2900819        50      4450         0    123368     31150   1797662     15.66     16.96  --
3739.34/936.16	c  N dy 12896   2920823        50      4450         0     77564     31150    933985     15.67     17.47  --
3774.49/944.91	c  N dy 12970   2940930        50      4450         0     94792     31150   1250616     15.67     16.51  --
3820.00/956.33	c  N dy 13071   2960974        50      4450         0    111914     31150   1569736     15.67     18.16  --
3870.34/968.93	c  N dy 13134   2982509        50      4450         0     66264     31150    706957     15.67     16.54  --
3903.09/977.11	c  N dy 13220   3003354        50      4450         0     84100     31150   1037625     15.67     16.52  --
3943.04/987.10	c  N dy 13321   3023384        50      4450         0    101168     31150   1357254     15.68     17.25  --
3988.19/998.41	c  N dy 13398   3043395        50      4450         0    118186     31150   1671698     15.68     18.40  --
4040.51/1011.57	c  N dy 13559   3063430        50      4450         0     70549     31150    786755     15.69     17.39  --
4072.87/1019.67	c  N dy 13658   3083435        50      4450         0     87662     31150   1105912     15.69     17.03  --
4108.84/1028.61	c  N dy 13719   3105730        50      4450         0    106552     31150   1447851     15.69     16.59  --
4147.99/1038.41	c  N dy 13832   3126182        50      4450         0    123994     31150   1775722     15.69     16.56  --
4184.31/1047.54	c  N dy 13947   3148269        50      4450         0     77224     31150    901244     15.70     16.58  --
4213.90/1054.90	c  N dy 14069   3168427        50      4450         0     94499     31150   1227140     15.70     16.54  --
4249.45/1063.83	c  N dy 14198   3188446        50      4450         0    111585     31150   1549302     15.71     16.64  --
4291.38/1074.34	c  N dy 14280   3208520        50      4450         0    128681     31150   1866980     15.71     17.51  --
4300.96/1076.73	c  S st 14311   3211891        50      4450         0    131586     31150   1922864     15.71   no data  --
4302.95/1077.26	c  S st 14311   3212397        50      4450         0    132018     31150   1931347     15.71   no data  --
4302.95/1077.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4302.95/1077.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4303.35/1077.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.30
4303.75/1077.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4303.75/1077.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4303.75/1077.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4303.75/1077.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3175331-1304117712/watcher-3175331-1304117712 -o /tmp/evaluation-result-3175331-1304117712/solver-3175331-1304117712 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175331-1304117712.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: 8.08 8.10 8.02 5/180 31745
/proc/meminfo: memFree=24267696/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 602001961 52465664 352 33554432000 4194304 4650419 140736922076912 18446744073709551615 215988648945 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 12809 352 303 112 0 7774 0
[pid=31745/tid=31746] ppid=31743 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 602001962 52465664 352 33554432000 4194304 4650419 140736922076912 18446744073709551615 47636024698796 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602001962 52465664 352 33554432000 4194304 4650419 140736922076912 18446744073709551615 47636024698802 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602001962 52465664 352 33554432000 4194304 4650419 140736922076912 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.102799 s]
/proc/loadavg: 8.08 8.10 8.02 5/180 31745
/proc/meminfo: memFree=24267696/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=290708 CPUtime=0.38 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 1364 0 0 0 38 0 0 0 25 0 4 0 602001961 297684992 1224 33554432000 4194304 4650419 140736922076912 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 72677 1224 369 112 0 67642 0
[pid=31745/tid=31746] ppid=31743 vsize=290708 CPUtime=0.09 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 220 0 0 0 9 0 0 0 25 0 4 0 602001962 297684992 1224 33554432000 4194304 4650419 140736922076912 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=290708 CPUtime=0.09 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 251 0 0 0 9 0 0 0 25 0 4 0 602001962 297684992 1224 33554432000 4194304 4650419 140736922076912 18446744073709551615 4243472 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=290708 CPUtime=0.09 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 295 0 0 0 9 0 0 0 25 0 4 0 602001962 297684992 1224 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 290708

[startup+0.200733 s]
/proc/loadavg: 8.08 8.10 8.02 5/180 31745
/proc/meminfo: memFree=24267696/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=284256 CPUtime=0.77 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 2731 0 0 0 77 0 0 0 25 0 4 0 602001961 291078144 2366 33554432000 4194304 4650419 140736922076912 18446744073709551615 4315085 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 71064 2366 390 112 0 66029 0
[pid=31745/tid=31746] ppid=31743 vsize=284256 CPUtime=0.19 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 603 0 0 0 19 0 0 0 25 0 4 0 602001962 291078144 2366 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=284256 CPUtime=0.19 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 610 0 0 0 19 0 0 0 25 0 4 0 602001962 291078144 2366 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=284256 CPUtime=0.19 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 501 0 0 0 19 0 0 0 25 0 4 0 602001962 291078144 2366 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284256

[startup+0.300714 s]
/proc/loadavg: 8.08 8.10 8.02 5/180 31745
/proc/meminfo: memFree=24267696/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=284864 CPUtime=1.17 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 3308 0 0 0 117 0 0 0 25 0 4 0 602001961 291700736 2534 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 71216 2535 390 112 0 66181 0
[pid=31745/tid=31746] ppid=31743 vsize=284864 CPUtime=0.29 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 759 0 0 0 29 0 0 0 25 0 4 0 602001962 291700736 2535 33554432000 4194304 4650419 140736922076912 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=284864 CPUtime=0.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 787 0 0 0 29 0 0 0 25 0 4 0 602001962 291700736 2535 33554432000 4194304 4650419 140736922076912 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=284864 CPUtime=0.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 577 0 0 0 29 0 0 0 25 0 4 0 602001962 291700736 2535 33554432000 4194304 4650419 140736922076912 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284864

[startup+0.700646 s]
/proc/loadavg: 8.08 8.10 8.02 5/180 31745
/proc/meminfo: memFree=24267696/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=285932 CPUtime=2.77 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 5421 0 0 0 276 1 0 0 25 0 4 0 602001961 292794368 3163 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 71483 3163 390 112 0 66448 0
[pid=31745/tid=31746] ppid=31743 vsize=285932 CPUtime=0.69 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 1151 0 0 0 69 0 0 0 25 0 4 0 602001962 292794368 3163 33554432000 4194304 4650419 140736922076912 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=285932 CPUtime=0.69 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 1366 0 0 0 69 0 0 0 25 0 4 0 602001962 292794368 3163 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=285932 CPUtime=0.68 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 1150 0 0 0 68 0 0 0 25 0 4 0 602001962 292794368 3163 33554432000 4194304 4650419 140736922076912 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285932

[startup+1.50051 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 31749
/proc/meminfo: memFree=24252692/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=287352 CPUtime=5.96 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 9209 0 0 0 595 1 0 0 25 0 4 0 602001961 294248448 4673 33554432000 4194304 4650419 140736922076912 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 71838 4673 392 112 0 66803 0
[pid=31745/tid=31746] ppid=31743 vsize=287352 CPUtime=1.48 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 2067 0 0 0 148 0 0 0 25 0 4 0 602001962 294248448 4673 33554432000 4194304 4650419 140736922076912 18446744073709551615 4310571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=287352 CPUtime=1.49 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 2084 0 0 0 149 0 0 0 25 0 4 0 602001962 294248448 4673 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=287352 CPUtime=1.48 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 1847 0 0 0 148 0 0 0 25 0 4 0 602001962 294248448 4673 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287352

[startup+3.10023 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 31749
/proc/meminfo: memFree=24231240/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=291104 CPUtime=12.35 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 14835 0 0 0 1233 2 0 0 25 0 4 0 602001961 298090496 8942 33554432000 4194304 4650419 140736922076912 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 72776 8942 392 112 0 67741 0
[pid=31745/tid=31746] ppid=31743 vsize=291104 CPUtime=3.07 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 3335 0 0 0 307 0 0 0 25 0 4 0 602001962 298090496 8942 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=291104 CPUtime=3.09 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 3897 0 0 0 309 0 0 0 25 0 4 0 602001962 298090496 8942 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=291104 CPUtime=3.08 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 3913 0 0 0 308 0 0 0 25 0 4 0 602001962 298090496 8942 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 291104

[startup+6.30067 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 31750
/proc/meminfo: memFree=24218156/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=288840 CPUtime=25.15 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 22265 0 0 0 2511 4 0 0 25 0 4 0 602001961 295772160 11930 33554432000 4194304 4650419 140736922076912 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 72210 11930 392 112 0 67175 0
[pid=31745/tid=31746] ppid=31743 vsize=288840 CPUtime=6.26 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 5355 0 0 0 625 1 0 0 25 0 4 0 602001962 295772160 11930 33554432000 4194304 4650419 140736922076912 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=288840 CPUtime=6.28 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 5586 0 0 0 628 0 0 0 25 0 4 0 602001962 295772160 11930 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=288840 CPUtime=6.28 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 5682 0 0 0 628 0 0 0 25 0 4 0 602001962 295772160 11930 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 288840

[startup+12.7005 s]
/proc/loadavg: 8.06 8.09 8.02 9/184 31750
/proc/meminfo: memFree=24201300/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=306332 CPUtime=50.7 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 32311 0 0 0 5065 5 0 0 25 0 4 0 602001961 313683968 17057 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 76583 17057 392 112 0 71548 0
[pid=31745/tid=31746] ppid=31743 vsize=306332 CPUtime=12.62 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 7185 0 0 0 1261 1 0 0 25 0 4 0 602001962 313683968 17057 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=306332 CPUtime=12.68 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 8521 0 0 0 1268 0 0 0 25 0 4 0 602001962 313683968 17057 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=306332 CPUtime=12.68 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 9287 0 0 0 1267 1 0 0 25 0 4 0 602001962 313683968 17057 33554432000 4194304 4650419 140736922076912 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 306332

[startup+25.5003 s]
/proc/loadavg: 8.05 8.09 8.02 9/184 31750
/proc/meminfo: memFree=24165964/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=299636 CPUtime=101.83 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 46423 0 0 0 10174 9 0 0 25 0 4 0 602001961 306827264 22997 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 74909 22997 392 112 0 69874 0
[pid=31745/tid=31746] ppid=31743 vsize=299636 CPUtime=25.35 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 10379 0 0 0 2534 1 0 0 25 0 4 0 602001962 306827264 22997 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=299636 CPUtime=25.49 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 12542 0 0 0 2547 2 0 0 25 0 4 0 602001962 306827264 22997 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=299636 CPUtime=25.48 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 13150 0 0 0 2545 3 0 0 25 0 4 0 602001962 306827264 22997 33554432000 4194304 4650419 140736922076912 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 299636

[startup+51.1008 s]
/proc/loadavg: 8.03 8.08 8.02 9/184 31751
/proc/meminfo: memFree=24166312/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=302488 CPUtime=204.09 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 68081 0 0 0 20394 15 0 0 25 0 4 0 602001961 309747712 23246 33554432000 4194304 4650419 140736922076912 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 75622 23246 392 112 0 70587 0
[pid=31745/tid=31746] ppid=31743 vsize=302488 CPUtime=50.81 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 14796 0 0 0 5079 2 0 0 25 0 4 0 602001962 309747712 23246 33554432000 4194304 4650419 140736922076912 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=302488 CPUtime=51.08 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 18653 0 0 0 5105 3 0 0 25 0 4 0 602001962 309747712 23246 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=302488 CPUtime=51.08 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 20072 0 0 0 5103 5 0 0 25 0 4 0 602001962 309747712 23246 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 302488

[startup+102.301 s]
/proc/loadavg: 8.05 8.08 8.02 10/184 31783
/proc/meminfo: memFree=24496396/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=319084 CPUtime=408.63 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 105389 0 0 0 40835 28 0 0 25 0 4 0 602001961 326742016 28135 33554432000 4194304 4650419 140736922076912 18446744073709551615 4520109 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 79771 28135 392 112 0 74736 0
[pid=31745/tid=31746] ppid=31743 vsize=319084 CPUtime=101.74 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 23047 0 0 0 10169 5 0 0 25 0 4 0 602001962 326742016 28135 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=319084 CPUtime=102.28 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 28343 0 0 0 10221 7 0 0 25 0 4 0 602001962 326742016 28135 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=319084 CPUtime=102.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 31906 0 0 0 10220 9 0 0 25 0 4 0 602001962 326742016 28135 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 319084

[startup+162.3 s]

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

[pid=31745] ppid=31743 vsize=411692 CPUtime=2565.7 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 313139 0 0 0 256457 113 0 0 25 0 4 0 602001961 421572608 58246 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 102923 58246 392 112 0 97888 0
[pid=31745/tid=31746] ppid=31743 vsize=411692 CPUtime=638.8 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 58747 0 0 0 63861 19 0 0 25 0 4 0 602001962 421572608 58246 33554432000 4194304 4650419 140736922076912 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=411692 CPUtime=642.28 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 88418 0 0 0 64196 32 0 0 25 0 4 0 602001962 421572608 58246 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=411692 CPUtime=642.28 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 91172 0 0 0 64198 30 0 0 25 0 4 0 602001962 421572608 58246 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 411692

[startup+702.301 s]
/proc/loadavg: 8.08 8.09 8.03 10/184 31808
/proc/meminfo: memFree=24149300/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=411940 CPUtime=2805.37 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 319999 0 0 0 280421 116 0 0 25 0 4 0 602001961 421826560 58387 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 102985 58387 392 112 0 97950 0
[pid=31745/tid=31746] ppid=31743 vsize=411940 CPUtime=698.47 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 58767 0 0 0 69828 19 0 0 25 0 4 0 602001962 421826560 58387 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=411940 CPUtime=702.28 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 92707 0 0 0 70194 34 0 0 25 0 4 0 602001962 421826560 58387 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=411940 CPUtime=702.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 91195 0 0 0 70199 30 0 0 25 0 4 0 602001962 421826560 58387 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 411940

[startup+762.3 s]
/proc/loadavg: 8.07 8.09 8.03 9/184 31810
/proc/meminfo: memFree=24136252/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=424396 CPUtime=3045.06 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 336890 0 0 0 304383 123 0 0 25 0 4 0 602001961 434581504 64044 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 106099 64044 392 112 0 101064 0
[pid=31745/tid=31746] ppid=31743 vsize=424396 CPUtime=758.15 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 59784 0 0 0 75795 20 0 0 25 0 4 0 602001962 434581504 64044 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=424396 CPUtime=762.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 98734 0 0 0 76193 36 0 0 25 0 4 0 602001962 434581504 64044 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=424396 CPUtime=762.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 95371 0 0 0 76197 32 0 0 25 0 4 0 602001962 434581504 64044 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 424396

[startup+822.301 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 31841
/proc/meminfo: memFree=24291720/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=430596 CPUtime=3284.73 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 354807 0 0 0 328340 133 0 0 25 0 4 0 602001961 440930304 67789 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 107649 67789 392 112 0 102614 0
[pid=31745/tid=31746] ppid=31743 vsize=430596 CPUtime=817.82 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 61947 0 0 0 81760 22 0 0 25 0 4 0 602001962 440930304 67789 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=430596 CPUtime=822.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 103171 0 0 0 82189 40 0 0 25 0 4 0 602001962 440930304 67789 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=430596 CPUtime=822.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 98739 0 0 0 82195 34 0 0 25 0 4 0 602001962 440930304 67789 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 430596

[startup+882.306 s]
/proc/loadavg: 8.08 8.08 8.03 9/184 31843
/proc/meminfo: memFree=24229416/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=484476 CPUtime=3524.42 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 365840 0 0 0 352306 136 0 0 25 0 4 0 602001961 496103424 67170 33554432000 4194304 4650419 140736922076912 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 121119 67170 392 112 0 116084 0
[pid=31745/tid=31746] ppid=31743 vsize=484476 CPUtime=877.5 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 61961 0 0 0 87728 22 0 0 25 0 4 0 602001962 496103424 67170 33554432000 4194304 4650419 140736922076912 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=484476 CPUtime=882.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 106864 0 0 0 88189 40 0 0 25 0 4 0 602001962 496103424 67170 33554432000 4194304 4650419 140736922076912 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=484476 CPUtime=882.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 100938 0 0 0 88194 35 0 0 25 0 4 0 602001962 496103424 67170 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 484476

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 8.03 9/184 31844
/proc/meminfo: memFree=24145932/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=484584 CPUtime=3764.08 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 375029 0 0 0 376266 142 0 0 25 0 4 0 602001961 496214016 71806 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 121146 71806 392 112 0 116111 0
[pid=31745/tid=31746] ppid=31743 vsize=484584 CPUtime=937.17 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 62068 0 0 0 93695 22 0 0 25 0 4 0 602001962 496214016 71806 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=484584 CPUtime=942.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 110763 0 0 0 94186 43 0 0 25 0 4 0 602001962 496214016 71806 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=484584 CPUtime=942.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 101871 0 0 0 94193 36 0 0 25 0 4 0 602001962 496214016 71806 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 484584

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 8.03 9/184 31846
/proc/meminfo: memFree=24127168/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=484640 CPUtime=4003.76 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 378899 0 0 0 400231 145 0 0 25 0 4 0 602001961 496271360 71113 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 121160 71113 392 112 0 116125 0
[pid=31745/tid=31746] ppid=31743 vsize=484640 CPUtime=996.84 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 62068 0 0 0 99662 22 0 0 25 0 4 0 602001962 496271360 71113 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=484640 CPUtime=1002.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 113810 0 0 0 100185 44 0 0 25 0 4 0 602001962 496271360 71113 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=484640 CPUtime=1002.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 101874 0 0 0 100193 36 0 0 25 0 4 0 602001962 496271360 71113 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 484640

[startup+1062.3 s]
/proc/loadavg: 8.11 8.08 8.03 9/184 31848
/proc/meminfo: memFree=24018248/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=484740 CPUtime=4243.44 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 388436 0 0 0 424193 151 0 0 25 0 4 0 602001961 496373760 75577 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 121185 75577 392 112 0 116150 0
[pid=31745/tid=31746] ppid=31743 vsize=484740 CPUtime=1056.52 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 62483 0 0 0 105630 22 0 0 25 0 4 0 602001962 496373760 75577 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=484740 CPUtime=1062.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 118238 0 0 0 106182 47 0 0 25 0 4 0 602001962 496373760 75577 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=484740 CPUtime=1062.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 104388 0 0 0 106192 37 0 0 25 0 4 0 602001962 496373760 75577 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 484740

[startup+1122.3 s]
/proc/loadavg: 8.11 8.08 8.03 9/184 31849
/proc/meminfo: memFree=24016076/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=484740 CPUtime=4483.11 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 395285 0 0 0 448157 154 0 0 25 0 4 0 602001961 496373760 76769 33554432000 4194304 4650419 140736922076912 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 121185 76769 392 112 0 116150 0
[pid=31745/tid=31746] ppid=31743 vsize=484740 CPUtime=1116.19 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 62487 0 0 0 111597 22 0 0 25 0 4 0 602001962 496373760 76769 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=484740 CPUtime=1122.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 121527 0 0 0 112181 48 0 0 25 0 4 0 602001962 496373760 76769 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=484740 CPUtime=1122.3 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 106313 0 0 0 112191 39 0 0 25 0 4 0 602001962 496373760 76769 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 484740

[startup+1182.3 s]
/proc/loadavg: 8.04 8.06 8.02 9/184 31851
/proc/meminfo: memFree=23980796/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=490300 CPUtime=4722.8 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 401638 0 0 0 472123 157 0 0 25 0 4 0 602001961 502067200 75996 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 122575 75996 392 112 0 117540 0
[pid=31745/tid=31746] ppid=31743 vsize=490300 CPUtime=1175.87 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 62970 0 0 0 117565 22 0 0 25 0 4 0 602001962 502067200 75996 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=490300 CPUtime=1182.29 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 124635 0 0 0 118180 49 0 0 25 0 4 0 602001962 502067200 75996 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=490300 CPUtime=1182.29 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 109075 0 0 0 118189 40 0 0 25 0 4 0 602001962 502067200 75996 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 490300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.03 8.06 8.02 9/184 31851
/proc/meminfo: memFree=23957100/32950940 swapFree=67111364/67111528
[pid=31745] ppid=31743 vsize=490348 CPUtime=4800.31 cores=1,3,5,7
/proc/31745/stat : 31745 (strangenight1-m) R 31743 31745 31608 0 -1 4202496 404260 0 0 0 479872 159 0 0 25 0 4 0 602001961 502116352 75945 33554432000 4194304 4650419 140736922076912 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31745/statm: 122587 75945 392 112 0 117552 0
[pid=31745/tid=31746] ppid=31743 vsize=490348 CPUtime=1195.16 cores=1,3,5,7
/proc/31745/task/31746/stat : 31746 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 63622 0 0 0 119493 23 0 0 25 0 4 0 602001962 502116352 75945 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31745/tid=31747] ppid=31743 vsize=490348 CPUtime=1201.7 cores=1,3,5,7
/proc/31745/task/31747/stat : 31747 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 126605 0 0 0 120119 51 0 0 25 0 4 0 602001962 502116352 75945 33554432000 4194304 4650419 140736922076912 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31745/tid=31748] ppid=31743 vsize=490348 CPUtime=1201.7 cores=1,3,5,7
/proc/31745/task/31748/stat : 31748 (strangenight1-m) R 31743 31745 31608 0 -1 4202560 109075 0 0 0 120130 40 0 0 25 0 4 0 602001962 502116352 75945 33554432000 4194304 4650419 140736922076912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 490348

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.35
CPU user time (s): 4798.75
CPU system time (s): 1.60576
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 490348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.75
system time used= 1.60575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404261
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= 180
involuntary context switches= 32420

runsolver used 1.83072 second user time and 4.74428 second system time

The end

Launcher Data

Begin job on node117 at 2011-04-30 00:55:12
IDJOB=3175331
IDBENCH=82949
IDSOLVER=1588
FILE ID=node117/3175331-1304117712
RUNJOBID= node117-1304116508-31627
PBS_JOBID= 13170714
Free space on /tmp= 71676 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175331-1304117712/watcher-3175331-1304117712 -o /tmp/evaluation-result-3175331-1304117712/solver-3175331-1304117712 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175331-1304117712.cnf

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

MD5SUM BENCH= 7b433874f4dba1bf060f64be4ba91fb7
RANDOM SEED=890548302

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24267976 kB
Buffers:       1864500 kB
Cached:        5792340 kB
SwapCached:        160 kB
Active:        1088076 kB
Inactive:      7035528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24267976 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:      466332 kB
Mapped:          15536 kB
Slab:           495340 kB
PageTables:       5636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   708552 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= 71668 MiB
End job on node117 at 2011-04-30 01:15:16