Trace number 3368940

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 (fixed)? (TO) 4800.28 1203.45

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-3368940-1305406993.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.00	c Parsing time:  0.01 s
0.00/0.00	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.38
0.38/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.38/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.38/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
0.38/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.12	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.38/0.12	c calculated reachability. Time: 0.00
0.38/0.12	c Calc default polars -  time:   0.00 s pos:      23 undec:       0 neg:      27
0.38/0.12	c =========================================================================================
0.38/0.12	c types(t): F = full restart, N = normal restart
0.38/0.12	c types(t): S = simplification begin/end, E = solution found
0.38/0.12	c restart types(rt): st = static, dy = dynamic
0.38/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.12	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.77/0.21	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.38/0.69	c  N dy    38     18212        50      4450         0      5032     31150     76707     15.13     15.94  --
3.58/0.93	c  N dy    50     24132        50      4450         0     10183     31150    169063     15.11     15.95  --
3.58/0.98	c  F st    59     25000        50      4450         0     10951     31150    183811     15.19   no data  --
4.41/1.13	c  N st    64     28302        50      4450         0      7905     31150    123879     15.19   no data  --
4.41/1.19	c  S st    65     30001        50      4450         0      9387     31150    151755     15.19   no data  --
4.76/1.22	c  S st    65     30503        50      4450         0      9829     31150    160282     15.19   no data  --
4.76/1.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.76/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.76/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.17	c lits-rem:      1351  cl-subs:     1638  v-elim:      0  v-fix:    0  time:  3.75 s
9.15/2.39	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.88
9.15/2.39	c calculated reachability. Time: 0.00
9.15/2.39	c  N dy    65     30503        50      4450         0      8191     31150    131906     15.19   no data  --
10.35/2.60	c  N dy    81     34559        50      4450         0     11720     31150    195738     15.24     16.60  --
11.15/2.87	c  N dy   100     39700        50      4450         0      9452     31150    144165     15.27     16.19  --
12.35/3.20	c  N dy   133     45754        50      4450         0     14699     31150    239517     15.34     12.90  --
12.35/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.15/4.32	c lits-rem:      1707  cl-subs:     2512  v-elim:      0  v-fix:    0  time:  4.22 s
17.15/4.32	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.15/4.32	c vivif2 --  cl tried    12633 cl shrink        0 lits rem          0 time: 0.01
18.32/4.62	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.20
18.32/4.62	c calculated reachability. Time: 0.00
18.32/4.62	c  N dy   133     46257        50      4450         0     12633     31150    202861     15.34   no data  --
19.12/4.85	c  N dy   143     50281        50      4450         0      8548     31150    122255     15.30     16.52  --
19.93/5.03	c  N dy   148     54300        50      4450         0     11997     31150    182628     15.25     17.63  --
20.73/5.27	c  N dy   176     58350        50      4450         0     15521     31150    248048     15.34     17.18  --
21.96/5.55	c  N dy   214     62410        50      4450         0     10500     31150    151230     15.47     17.01  --
23.12/5.83	c  N dy   230     67649        50      4450         0     15049     31150    233764     15.47     16.29  --
23.51/5.94	c  S st   236     69385        50      4450         0     16551     31150    261276     15.48     15.24  --
23.51/5.99	c  S st   236     69888        50      4450         0     16987     31150    269650     15.48   no data  --
23.51/5.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.51/5.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.51/5.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.91/6.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.91/6.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.91/6.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.91/6.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.70/7.21	c lits-rem:      1986  cl-subs:     2397  v-elim:      0  v-fix:    0  time:  4.83 s
28.70/7.21	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.70/7.21	c vivif2 --  cl tried    14590 cl shrink        0 lits rem          0 time: 0.01
29.90/7.54	c asymm  cl-useful: 0/4245/4450 lits-rem:0 time: 1.32
29.90/7.54	c calculated reachability. Time: 0.00
29.90/7.54	c  N dy   236     69888        50      4450         0     14590     31150    224927     15.48   no data  --
31.88/8.01	c  N dy   241     78340        50      4450         0     12564     31150    176886     15.33     16.26  --
33.89/8.53	c  F st   243     87501        50      4450         0     20475     31150    313268     15.16     13.00  --
33.89/8.53	c  N st   243     87501        50      4450         0     20475     31150    313268     15.16     13.00  --
35.12/8.84	c  N dy   253     93100        50      4450         0     15108     31150    223514     15.17     17.58  --
37.07/9.30	c  N dy   300     99044        50      4450         0     20307     31150    320047     15.26     17.44  --
38.67/9.75	c  S st   345    104833        50      4450         0     14123     31150    196991     15.34   no data  --
38.67/9.80	c  S st   345    105339        50      4450         0     14575     31150    205604     15.34   no data  --
38.67/9.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.67/9.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.67/9.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
39.10/9.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.10/9.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.10/9.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.10/9.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.06/10.83	c lits-rem:       833  cl-subs:      820  v-elim:      0  v-fix:    0  time:  4.09 s
43.06/10.83	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
43.06/10.84	c vivif2 --  cl tried    13755 cl shrink        0 lits rem          0 time: 0.01
44.25/11.16	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.27
44.25/11.16	c calculated reachability. Time: 0.00
44.25/11.16	c  N dy   345    105339        50      4450         0     13755     31150    189357     15.34   no data  --
46.25/11.63	c  N dy   388    112123        50      4450         0     19682     31150    299637     15.41     17.91  --
48.64/12.24	c  N dy   425    119344        50      4450         0     13827     31150    182020     15.45     16.73  --
51.44/12.92	c  N dy   457    129314        50      4450         0     22461     31150    340056     15.45     16.35  --
54.23/13.64	c  N dy   481    139121        50      4450         0     17985     31150    245248     15.40     16.25  --
57.41/14.45	c  N dy   543    148347        50      4450         0     26039     31150    395604     15.47     16.29  --
60.62/15.22	c  N dy   577    158008        50      4450         0     20452     31150    287216     15.47     14.33  --
60.62/15.22	c  S st   577    158008        50      4450         0     20452     31150    287216     15.47     14.33  --
60.62/15.27	c  S st   577    158515        50      4450         0     20897     31150    295932     15.47   no data  --
60.62/15.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.62/15.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.62/15.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.62/15.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.62/15.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.62/15.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
60.62/15.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
66.59/16.79	c lits-rem:      1518  cl-subs:     2158  v-elim:      0  v-fix:    0  time:  5.99 s
66.59/16.79	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
66.59/16.80	c vivif2 --  cl tried    18739 cl shrink        0 lits rem          0 time: 0.01
68.19/17.16	c asymm  cl-useful: 0/3720/4450 lits-rem:0 time: 1.44
68.19/17.16	c calculated reachability. Time: 0.00
68.19/17.16	c  N dy   577    158515        50      4450         0     18739     31150    257683     15.47   no data  --
72.18/18.11	c  N dy   623    168967        50      4450         0     27827     31150    423291     15.48     16.30  --
77.77/19.59	c  N dy   624    188671        50      4450         0     30115     31150    442212     15.28     16.14  --
82.56/20.74	c  N dy   722    200741        50      4450         0     25206     31150    368513     15.38     18.12  --
88.13/22.11	c  N dy   767    213667        50      4450         0     19978     31150    255986     15.37     16.20  --
96.13/24.14	c  N dy   807    237479        50      4450         0     23078     31150    295401     15.22     16.14  --
96.13/24.17	c  S st   810    237773        50      4450         0     23337     31150    300320     15.22   no data  --
96.55/24.23	c  S st   810    238274        50      4450         0     23785     31150    309119     15.22   no data  --
96.55/24.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.55/24.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.55/24.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.55/24.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.55/24.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.55/24.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
96.55/24.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.70/25.59	c lits-rem:       891  cl-subs:     3156  v-elim:      0  v-fix:    0  time:  5.36 s
101.70/25.59	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
102.10/25.60	c vivif2 --  cl tried    20629 cl shrink        0 lits rem          0 time: 0.01
102.10/25.68	c asymm  cl-useful: 0/730/4450 lits-rem:0 time: 0.34
102.10/25.68	c calculated reachability. Time: 0.00
102.10/25.68	c  N dy   810    238274        50      4450         0     20629     31150    262104     15.22   no data  --
108.88/27.40	c  N dy   916    253952        50      4450         0     34250     31150    515823     15.30     16.14  --
116.06/29.12	c  N dy   979    272019        50      4450         0     31927     31150    458437     15.30     16.11  --
125.64/31.50	c  N dy  1107    293374        50      4450         0     31593     31150    451859     15.36     16.28  --
131.66/33.04	c  F st  1143    306251        50      4450         0     22871     31150    279438     15.35     13.84  --
133.61/33.59	c  N dy  1153    312416        50      4450         0     28174     31150    377159     15.36     16.25  --
143.99/36.16	c  N dy  1230    336632        50      4450         0     28363     31150    374211     15.33     16.18  --
154.35/38.72	c  N dy  1342    356702        50      4450         0     24215     31150    295372     15.37     16.54  --
154.35/38.79	c  S st  1349    357412        50      4450         0     24824     31150    307042     15.38     16.11  --
154.75/38.85	c  S st  1349    357916        50      4450         0     25264     31150    315643     15.38   no data  --
154.75/38.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.75/38.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.75/38.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
154.75/38.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.75/38.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.75/38.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
154.75/38.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.74/40.39	c lits-rem:       849  cl-subs:      908  v-elim:      0  v-fix:    0  time:  6.07 s
160.74/40.39	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
160.74/40.39	c vivif2 --  cl tried    24356 cl shrink        0 lits rem          0 time: 0.01
162.38/40.73	c asymm  cl-useful: 0/2947/4450 lits-rem:0 time: 1.35
162.38/40.73	c calculated reachability. Time: 0.00
162.38/40.73	c  N dy  1349    357916        50      4450         0     24356     31150    297388     15.38   no data  --
173.10/43.40	c  N dy  1436    378380        50      4450         0     42019     31150    617262     15.38     16.20  --
187.47/47.03	c  N dy  1488    405376        50      4450         0     42727     31150    614112     15.34     16.26  --
197.48/49.54	c  N dy  1535    427446        50      4450         0     38408     31150    521155     15.30     16.20  --
209.42/52.57	c  N dy  1702    447517        50      4450         0     31866     31150    415211     15.37     17.62  --
221.38/55.60	c  N dy  1831    467534        50      4450         0     49239     31150    738324     15.41     17.91  --
232.17/58.25	c  N dy  1910    489751        50      4450         0     43299     31150    606922     15.40     16.22  --
244.51/61.36	c  N dy  2016    509809        50      4450         0     34707     31150    442904     15.42     16.61  --
259.27/65.09	c  N dy  2135    532910        50      4450         0     27905     31150    313855     15.45     16.28  --
260.86/65.48	c  S st  2143    536875        50      4450         0     31288     31150    373882     15.44   no data  --
261.26/65.57	c  S st  2143    537381        50      4450         0     31744     31150    382714     15.44   no data  --
261.26/65.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
261.26/65.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
261.26/65.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
261.26/65.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.26/65.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.26/65.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
261.26/65.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
268.84/67.42	c lits-rem:       687  cl-subs:     1770  v-elim:      0  v-fix:    0  time:  7.30 s
268.84/67.42	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
268.84/67.42	c vivif2 --  cl tried    29974 cl shrink        0 lits rem          0 time: 0.02
269.64/67.69	c asymm  cl-useful: 0/1503/4450 lits-rem:0 time: 1.07
269.64/67.69	c calculated reachability. Time: 0.00
269.64/67.69	c  N dy  2143    537381        50      4450         0     29974     31150    353182     15.44   no data  --
280.43/70.36	c  N dy  2175    559352        50      4450         0     48710     31150    681839     15.40     16.29  --
292.38/73.34	c  N dy  2275    579385        50      4450         0     38649     31150    503443     15.41     17.05  --
315.54/79.17	c  N dy  2397    619670        50      4450         0     44816     31150    580826     15.35     16.18  --
330.67/82.94	c  N dy  2536    639687        50      4450         0     32966     31150    390735     15.39     17.57  --
344.24/86.34	c  N dy  2693    659705        50      4450         0     50309     31150    717775     15.43     16.77  --
361.79/90.71	c  N dy  2835    681154        50      4450         0     38597     31150    483240     15.46     16.39  --
375.36/94.15	c  N dy  2925    701177        50      4450         0     55853     31150    797373     15.47     17.13  --
393.31/98.69	c  N dy  3051    725505        50      4450         0     45849     31150    609812     15.49     16.31  --
410.86/103.02	c  N dy  3187    745574        50      4450         0     63171     31150    936122     15.51     18.43  --
422.83/106.00	c  N dy  3241    766096        50      4450         0     48864     31150    654587     15.51     16.49  --
445.57/111.78	c  N dy  3355    797668        50      4450         0     43205     31150    533893     15.50     16.33  --
451.57/113.21	c  S st  3389    806071        50      4450         0     50390     31150    665955     15.50   no data  --
451.99/113.35	c  S st  3389    806578        50      4450         0     50832     31150    674674     15.50   no data  --
451.99/113.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
451.99/113.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
451.99/113.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
451.99/113.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
451.99/113.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.99/113.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
451.99/113.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
475.48/119.27	c lits-rem:      1868  cl-subs:     7235  v-elim:      0  v-fix:    0  time: 23.45 s
475.48/119.27	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
475.48/119.27	c vivif2 --  cl tried    43597 cl shrink        0 lits rem          0 time: 0.03
476.28/119.48	c asymm  cl-useful: 0/971/4450 lits-rem:0 time: 0.84
476.28/119.49	c calculated reachability. Time: 0.00
476.28/119.49	c  N dy  3389    806578        50      4450         0     43597     31150    557199     15.50   no data  --
491.06/123.18	c  N dy  3473    826595        50      4450         0     60765     31150    871126     15.50     16.76  --
507.40/127.23	c  N dy  3573    846627        50      4450         0     45050     31150    575127     15.52     16.89  --
522.55/131.01	c  N dy  3663    866669        50      4450         0     62258     31150    892473     15.52     16.40  --
537.71/134.82	c  N dy  3759    886736        50      4450         0     45371     31150    573688     15.53     16.91  --
552.50/138.52	c  N dy  3787    908257        50      4450         0     63571     31150    891095     15.50     16.41  --
570.05/142.98	c  N dy  3885    930932        50      4450         0     48079     31150    607966     15.50     16.44  --
588.02/147.43	c  N dy  4009    951011        50      4450         0     65412     31150    931606     15.52     17.20  --
602.34/151.01	c  N dy  4077    971041        50      4450         0     46601     31150    576270     15.52     16.39  --
630.67/158.11	c  N dy  4220   1004702        50      4450         0     38618     31150    421684     15.52     16.37  --
645.06/161.72	c  N dy  4316   1024841        50      4450         0     55970     31150    742837     15.53     16.39  --
665.37/166.80	c  N dy  4446   1045318        50      4450         0     73532     31150   1072274     15.55     16.44  --
685.31/171.81	c  F st  4564   1071875        50      4450         0     58614     31150    783761     15.55     12.69  --
685.31/171.81	c  N st  4564   1071875        50      4450         0     58614     31150    783761     15.55     12.69  --
705.67/176.92	c  N dy  4648   1091951        50      4450         0     75932     31150   1105067     15.56     17.01  --
722.01/181.08	c  N dy  4768   1112042        50      4450         0     54653     31150    711863     15.57     16.56  --
749.55/187.97	c  N dy  4854   1141772        50      4450         0     40536     31150    437070     15.56     16.42  --
768.68/192.71	c  N dy  4863   1174676        50      4450         0     68205     31150    905665     15.51     16.45  --
793.84/199.07	c  N dy  4973   1197322        50      4450         0     47500     31150    555198     15.51     16.36  --
806.59/202.29	c  S st  5067   1209867        50      4450         0     58384     31150    761077     15.53     15.60  --
807.42/202.49	c  S st  5067   1210369        50      4450         0     58834     31150    769849     15.53   no data  --
807.42/202.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
807.42/202.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
807.77/202.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
807.77/202.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
807.77/202.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
807.77/202.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
807.77/202.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
865.61/217.09	c lits-rem:      2916  cl-subs:     6062  v-elim:      0  v-fix:    0  time: 57.97 s
865.61/217.09	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
865.61/217.10	c vivif2 --  cl tried    52772 cl shrink        0 lits rem          0 time: 0.04
867.21/217.42	c asymm  cl-useful: 0/675/4450 lits-rem:0 time: 1.31
867.21/217.42	c calculated reachability. Time: 0.00
867.21/217.42	c  N dy  5067   1210369        50      4450         0     52772     31150    662035     15.53   no data  --
886.75/222.34	c  N dy  5139   1230499        50      4450         0     69939     31150    968358     15.52     16.34  --
909.89/228.10	c  N dy  5261   1250644        50      4450         0     46646     31150    540952     15.53     16.46  --
929.44/233.04	c  N dy  5407   1272351        50      4450         0     65368     31150    892421     15.55     16.39  --
952.22/238.77	c  N dy  5467   1294295        50      4450         0     42330     31150    450282     15.54     16.37  --
966.93/242.43	c  N dy  5507   1316199        50      4450         0     61029     31150    782864     15.53     16.38  --
992.47/248.82	c  N dy  5628   1336289        50      4450         0     78316     31150   1105105     15.54     16.47  --
1018.80/255.49	c  N dy  5773   1358096        50      4450         0     54317     31150    667191     15.56     16.38  --
1056.30/264.86	c  N dy  5805   1397464        50      4450         0     44180     31150    470318     15.51     16.47  --
1073.45/269.19	c  N dy  5933   1417558        50      4450         0     61452     31150    793777     15.52     16.76  --
1107.76/277.72	c  N dy  6105   1447861        50      4450         0     87390     31150   1276310     15.53     16.57  --
1126.11/282.36	c  N dy  6212   1468774        50      4450         0     60877     31150    772221     15.54     16.59  --
1149.69/288.29	c  N dy  6353   1489258        50      4450         0     78521     31150   1104430     15.56     16.44  --
1175.59/294.81	c  N dy  6486   1509287        50      4450         0     50237     31150    570389     15.57     17.11  --
1198.30/300.46	c  N dy  6577   1534734        50      4450         0     71917     31150    964458     15.57     16.44  --
1233.41/309.26	c  N dy  6591   1577287        50      4450         0     61707     31150    748985     15.52     16.37  --
1257.35/315.26	c  N dy  6759   1597380        50      4450         0     79078     31150   1080759     15.54     17.29  --
1285.30/322.23	c  N dy  6877   1617396        50      4450         0     49303     31150    541182     15.54     18.35  --
1306.41/327.58	c  N dy  7019   1639903        50      4450         0     68617     31150    899931     15.55     16.40  --
1330.34/333.59	c  N dy  7113   1659949        50      4450         0     85798     31150   1217125     15.56     17.43  --
1356.68/340.12	c  N dy  7240   1679959        50      4450         0     55059     31150    640998     15.57     17.51  --
1375.83/344.95	c  N dy  7343   1700000        50      4450         0     72154     31150    956490     15.57     17.32  --
1385.80/347.44	c  S st  7366   1710369        50      4450         0     81002     31150   1113754     15.57     13.82  --
1386.64/347.68	c  S st  7366   1710875        50      4450         0     81449     31150   1122589     15.57   no data  --
1386.64/347.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1386.64/347.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1386.99/347.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
1386.99/347.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1386.99/347.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1386.99/347.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1386.99/347.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1531.77/384.06	c lits-rem:      4917  cl-subs:    11333  v-elim:      0  v-fix:    0  time: 144.75 s
1531.77/384.06	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1531.77/384.07	c vivif2 --  cl tried    70116 cl shrink        0 lits rem          0 time: 0.06
1533.77/384.52	c asymm  cl-useful: 0/500/4450 lits-rem:0 time: 1.79
1533.77/384.52	c calculated reachability. Time: 0.00
1533.77/384.52	c  N dy  7366   1710875        50      4450         0     70116     31150    923058     15.57   no data  --
1569.27/393.40	c  N dy  7507   1731025        50      4450         0     87480     31150   1250925     15.58     16.49  --
1602.77/401.88	c  N dy  7633   1751037        50      4450         0     56669     31150    666056     15.59     17.97  --
1633.87/409.62	c  N dy  7694   1779387        50      4450         0     80735     31150   1085189     15.57     16.40  --
1670.58/418.80	c  N dy  7792   1799407        50      4450         0     97865     31150   1400589     15.57     16.99  --
1699.29/426.01	c  N dy  7909   1819413        50      4450         0     65846     31150    826338     15.58     17.28  --
1733.58/434.60	c  N dy  8012   1839418        50      4450         0     82986     31150   1145476     15.59     17.84  --
1773.07/444.55	c  N dy  8080   1859640        50      4450         0    100234     31150   1458945     15.58     16.53  --
1802.60/451.95	c  N dy  8210   1879692        50      4450         0     67183     31150    846374     15.60     16.75  --
1835.29/460.11	c  N dy  8333   1899994        50      4450         0     84618     31150   1173536     15.60     16.43  --
1866.41/467.94	c  N dy  8443   1920067        50      4450         0    101867     31150   1493794     15.61     17.90  --
1887.55/473.23	c  N dy  8569   1940073        50      4450         0     67703     31150    845102     15.62     17.27  --
1912.29/479.51	c  N dy  8691   1960100        50      4450         0     84947     31150   1169127     15.63     17.03  --
1943.84/487.36	c  N dy  8800   1980137        50      4450         0    102102     31150   1490431     15.63     18.51  --
1969.75/493.81	c  N dy  8858   2007034        50      4450         0     72757     31150    916999     15.63     16.46  --
1992.86/499.64	c  N dy  8916   2027114        50      4450         0     89855     31150   1228049     15.62     18.27  --
2021.19/506.73	c  N dy  8982   2047583        50      4450         0     54314     31150    582692     15.62     16.45  --
2052.71/514.60	c  N dy  9105   2080734        50      4450         0     82463     31150   1090590     15.62     16.63  --
2080.22/521.52	c  N dy  9185   2100913        50      4450         0     99735     31150   1408478     15.62     16.47  --
2108.55/528.69	c  N dy  9332   2120960        50      4450         0     63267     31150    745874     15.63     17.13  --
2135.28/535.39	c  N dy  9454   2143851        50      4450         0     82879     31150   1112967     15.64     16.46  --
2164.80/542.76	c  N dy  9528   2165761        50      4450         0    101575     31150   1452751     15.63     16.47  --
2201.90/552.07	c  N dy  9672   2194938        50      4450         0     71800     31150    888063     15.64     16.49  --
2223.04/557.39	c  S st  9784   2210876        50      4450         0     85455     31150   1146384     15.65   no data  --
2224.26/557.66	c  S st  9784   2211384        50      4450         0     85893     31150   1154801     15.65   no data  --
2224.26/557.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2224.26/557.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2224.26/557.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
2224.68/557.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2224.68/557.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2224.68/557.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2224.68/557.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2324.37/582.72	c lits-rem:      4862  cl-subs:    10157  v-elim:      0  v-fix:    0  time: 99.66 s
2324.37/582.72	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2324.37/582.73	c vivif2 --  cl tried    75736 cl shrink        0 lits rem          0 time: 0.05
2325.61/583.04	c asymm  cl-useful: 0/467/4450 lits-rem:0 time: 1.21
2325.61/583.04	c calculated reachability. Time: 0.00
2325.61/583.04	c  N dy  9784   2211384        50      4450         0     75736     31150    970787     15.65   no data  --
2354.29/590.29	c  N dy  9901   2231471        50      4450         0     92891     31150   1292255     15.65     16.74  --
2389.79/599.15	c  N dy  9939   2260468        50      4450         0     62633     31150    711058     15.64     16.50  --
2416.91/605.97	c  N dy  9988   2288453        50      4450         0     86480     31150   1142062     15.63     16.50  --
2452.86/614.97	c  N dy 10001   2317121        50      4450         0    110676     31150   1558695     15.61     16.66  --
2482.74/622.42	c  N dy 10063   2339976        50      4450         0     74470     31150    922530     15.60     16.51  --
2525.41/633.19	c  N dy 10224   2360384        50      4450         0     92051     31150   1257642     15.62     16.45  --
2570.90/644.54	c  N dy 10345   2380507        50      4450         0    109304     31150   1581385     15.62     16.47  --
2607.16/653.60	c  N dy 10480   2400539        50      4450         0     69438     31150    832405     15.63     17.53  --
2639.88/661.86	c  N dy 10592   2420578        50      4450         0     86508     31150   1150854     15.64     16.50  --
2693.32/675.28	c  N dy 10721   2448215        50      4450         0    110060     31150   1587328     15.64     16.50  --
2728.84/684.18	c  N dy 10803   2468287        50      4450         0     69157     31150    807284     15.64     16.51  --
2764.71/693.11	c  N dy 10928   2488537        50      4450         0     86462     31150   1131881     15.65     16.74  --
2806.99/703.73	c  N dy 11044   2508610        50      4450         0    103658     31150   1452193     15.65     16.80  --
2850.07/714.54	c  N dy 11163   2528705        50      4450         0     61955     31150    675346     15.66     17.53  --
2903.92/728.00	c  N dy 11237   2577579        50      4450         0    103423     31150   1405790     15.63     16.46  --
2942.62/737.71	c  N dy 11327   2599711        50      4450         0     62696     31150    676889     15.63     16.53  --
2964.16/743.11	c  N dy 11384   2619770        50      4450         0     79762     31150    984893     15.63     17.70  --
2996.06/751.10	c  N dy 11478   2642705        50      4450         0     99253     31150   1342688     15.63     16.63  --
3039.15/761.94	c  N dy 11603   2666513        50      4450         0    119600     31150   1723203     15.64     16.50  --
3063.07/767.97	c  N dy 11686   2686842        50      4450         0     76378     31150    920571     15.64     16.47  --
3089.81/774.67	c  N dy 11775   2708285        50      4450         0     94548     31150   1248758     15.64     16.46  --
3094.99/775.95	c  S st 11803   2711385        50      4450         0     97231     31150   1300083     15.64     17.48  --
3096.20/776.27	c  S st 11803   2711889        50      4450         0     97675     31150   1308970     15.64   no data  --
3096.20/776.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3096.20/776.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3096.60/776.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
3096.60/776.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3096.60/776.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3096.60/776.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3096.60/776.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3363.86/843.30	c lits-rem:      4962  cl-subs:    13667  v-elim:      0  v-fix:    0  time: 266.96 s
3363.86/843.30	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3363.86/843.32	c vivif2 --  cl tried    84008 cl shrink        0 lits rem          0 time: 0.06
3365.08/843.70	c asymm  cl-useful: 0/420/4450 lits-rem:0 time: 1.51
3365.08/843.70	c calculated reachability. Time: 0.00
3365.08/843.70	c  N dy 11803   2711889        50      4450         0     84008     31150   1072837     15.64   no data  --
3402.56/853.06	c  N dy 11935   2733070        50      4450         0    102111     31150   1413446     15.64     16.51  --
3442.85/863.10	c  N dy 12070   2753412        50      4450         0    119562     31150   1741915     15.65     16.48  --
3463.59/868.34	c  N dy 12088   2774305        50      4450         0     76851     31150    917884     15.64     16.66  --
3493.51/875.82	c  N dy 12214   2794471        50      4450         0     94153     31150   1243089     15.65     16.51  --
3523.06/883.22	c  N dy 12264   2814528        50      4450         0    111129     31150   1543888     15.64     17.62  --
3564.92/893.76	c  N dy 12403   2840430        50      4450         0     71526     31150    823658     15.65     16.57  --
3602.04/903.05	c  N dy 12541   2860683        50      4450         0     88978     31150   1155202     15.66     16.50  --
3647.47/914.49	c  N dy 12667   2880755        50      4450         0    106223     31150   1481124     15.66     16.53  --
3693.74/926.10	c  N dy 12753   2900819        50      4450         0    123368     31150   1797662     15.66     16.96  --
3732.02/935.65	c  N dy 12896   2920823        50      4450         0     77564     31150    933985     15.67     17.47  --
3766.32/944.29	c  N dy 12970   2940930        50      4450         0     94792     31150   1250616     15.67     16.51  --
3812.61/955.87	c  N dy 13071   2960974        50      4450         0    111914     31150   1569736     15.67     18.16  --
3862.84/968.42	c  N dy 13134   2982509        50      4450         0     66264     31150    706957     15.67     16.54  --
3895.15/976.59	c  N dy 13220   3003354        50      4450         0     84100     31150   1037625     15.67     16.52  --
3935.45/986.62	c  N dy 13321   3023384        50      4450         0    101168     31150   1357254     15.68     17.25  --
3980.49/997.92	c  N dy 13398   3043395        50      4450         0    118186     31150   1671698     15.68     18.40  --
4033.14/1011.11	c  N dy 13559   3063430        50      4450         0     70549     31150    786755     15.69     17.39  --
4062.68/1018.59	c  N dy 13658   3083435        50      4450         0     87662     31150   1105912     15.69     17.03  --
4098.96/1027.64	c  N dy 13719   3105730        50      4450         0    106552     31150   1447851     15.69     16.59  --
4138.85/1037.64	c  N dy 13832   3126182        50      4450         0    123994     31150   1775722     15.69     16.56  --
4175.16/1046.74	c  N dy 13947   3148269        50      4450         0     77224     31150    901244     15.70     16.58  --
4204.27/1054.07	c  N dy 14069   3168427        50      4450         0     94499     31150   1227140     15.70     16.54  --
4240.18/1063.04	c  N dy 14198   3188446        50      4450         0    111585     31150   1549302     15.71     16.64  --
4279.27/1072.80	c  N dy 14280   3208520        50      4450         0    128681     31150   1866980     15.71     17.51  --
4287.64/1074.90	c  S st 14311   3211891        50      4450         0    131586     31150   1922864     15.71   no data  --
4289.25/1075.35	c  S st 14311   3212397        50      4450         0    132018     31150   1931347     15.71   no data  --
4289.25/1075.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4289.25/1075.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4289.65/1075.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
4289.65/1075.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4289.65/1075.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4289.65/1075.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4289.65/1075.48	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368940-1305406993/watcher-3368940-1305406993 -o /tmp/evaluation-result-3368940-1305406993/solver-3368940-1305406993 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368940-1305406993.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: 7.61 8.04 8.06 3/335 13201
/proc/meminfo: memFree=18170600/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=216244 CPUtime=0.01 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 4 0 652297249 221433856 622 33554432000 4194304 4650419 140733268555616 18446744073709551615 4372510 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 54061 631 343 112 0 49026 0
[pid=13201/tid=13202] ppid=13199 vsize=216232 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 143 0 0 0 0 0 0 0 21 0 4 0 652297249 221421568 925 33554432000 4194304 4650419 140733268555616 18446744073709551615 4370596 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=216232 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 89 0 0 0 0 0 0 0 21 0 4 0 652297249 221421568 925 33554432000 4194304 4650419 140733268555616 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=216232 CPUtime=0 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 167 0 0 0 0 0 0 0 21 0 4 0 652297249 221421568 925 33554432000 4194304 4650419 140733268555616 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0741059 s]
/proc/loadavg: 7.61 8.04 8.06 3/335 13201
/proc/meminfo: memFree=18170600/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=216384 CPUtime=0.27 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 1177 0 0 0 27 0 0 0 20 0 4 0 652297249 221577216 1099 33554432000 4194304 4650419 140733268555616 18446744073709551615 4371148 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 54096 1099 366 112 0 49061 0
[pid=13201/tid=13202] ppid=13199 vsize=216384 CPUtime=0.06 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 152 0 0 0 6 0 0 0 21 0 4 0 652297249 221577216 1099 33554432000 4194304 4650419 140733268555616 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=216384 CPUtime=0.06 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 149 0 0 0 6 0 0 0 21 0 4 0 652297249 221577216 1099 33554432000 4194304 4650419 140733268555616 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=216384 CPUtime=0.06 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 264 0 0 0 6 0 0 0 21 0 4 0 652297249 221577216 1099 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 216384

[startup+0.101101 s]
/proc/loadavg: 7.61 8.04 8.06 3/335 13201
/proc/meminfo: memFree=18170600/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=216384 CPUtime=0.38 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 1223 0 0 0 38 0 0 0 20 0 4 0 652297249 221577216 1145 33554432000 4194304 4650419 140733268555616 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 54096 1145 366 112 0 49061 0
[pid=13201/tid=13202] ppid=13199 vsize=216384 CPUtime=0.09 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 158 0 0 0 9 0 0 0 21 0 4 0 652297249 221577216 1145 33554432000 4194304 4650419 140733268555616 18446744073709551615 4370604 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=216384 CPUtime=0.08 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 154 0 0 0 8 0 0 0 21 0 4 0 652297249 221577216 1145 33554432000 4194304 4650419 140733268555616 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=216384 CPUtime=0.09 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 295 0 0 0 9 0 0 0 21 0 4 0 652297249 221577216 1145 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364775 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) 216384

[startup+0.301068 s]
/proc/loadavg: 7.61 8.04 8.06 3/335 13201
/proc/meminfo: memFree=18170600/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=220584 CPUtime=1.17 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 3303 0 0 0 117 0 0 0 18 0 4 0 652297249 225878016 2544 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 55146 2544 390 112 0 50111 0
[pid=13201/tid=13202] ppid=13199 vsize=220584 CPUtime=0.29 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 774 0 0 0 29 0 0 0 21 0 4 0 652297249 225878016 2544 33554432000 4194304 4650419 140733268555616 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=220584 CPUtime=0.28 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 712 0 0 0 28 0 0 0 21 0 4 0 652297249 225878016 2544 33554432000 4194304 4650419 140733268555616 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=220584 CPUtime=0.29 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 573 0 0 0 29 0 0 0 21 0 4 0 652297249 225878016 2544 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366904 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) 220584

[startup+0.700998 s]
/proc/loadavg: 7.61 8.04 8.06 3/335 13201
/proc/meminfo: memFree=18170600/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=221472 CPUtime=2.78 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 5186 0 0 0 277 1 0 0 18 0 4 0 652297249 226787328 3183 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 55368 3183 390 112 0 50333 0
[pid=13201/tid=13202] ppid=13199 vsize=221472 CPUtime=0.69 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 1165 0 0 0 69 0 0 0 22 0 4 0 652297249 226787328 3183 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=221472 CPUtime=0.68 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 1052 0 0 0 68 0 0 0 22 0 4 0 652297249 226787328 3183 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=221472 CPUtime=0.69 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 1132 0 0 0 69 0 0 0 22 0 4 0 652297249 226787328 3183 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 221472

[startup+1.50086 s]
/proc/loadavg: 7.61 8.04 8.06 9/346 13213
/proc/meminfo: memFree=18140892/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=227088 CPUtime=5.96 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 9131 0 0 0 595 1 0 0 20 0 4 0 652297249 232538112 4608 33554432000 4194304 4650419 140733268555616 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 56772 4608 392 112 0 51737 0
[pid=13201/tid=13202] ppid=13199 vsize=227088 CPUtime=1.49 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 2017 0 0 0 149 0 0 0 25 0 4 0 652297249 232538112 4608 33554432000 4194304 4650419 140733268555616 18446744073709551615 4360602 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=227088 CPUtime=1.47 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 1922 0 0 0 147 0 0 0 25 0 4 0 652297249 232538112 4608 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=227088 CPUtime=1.49 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 1862 0 0 0 149 0 0 0 25 0 4 0 652297249 232538112 4608 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365325 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) 227088

[startup+3.10058 s]
/proc/loadavg: 7.61 8.04 8.06 9/346 13213
/proc/meminfo: memFree=18109024/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=234072 CPUtime=12.35 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 14658 0 0 0 1233 2 0 0 24 0 4 0 652297249 239689728 9047 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 58518 9047 392 112 0 53483 0
[pid=13201/tid=13202] ppid=13199 vsize=234072 CPUtime=3.08 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 3350 0 0 0 308 0 0 0 25 0 4 0 652297249 239689728 9047 33554432000 4194304 4650419 140733268555616 18446744073709551615 4520268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=234072 CPUtime=3.06 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 3617 0 0 0 306 0 0 0 25 0 4 0 652297249 239689728 9047 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=234072 CPUtime=3.09 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 3922 0 0 0 309 0 0 0 25 0 4 0 652297249 239689728 9047 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 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) 234072

[startup+6.30102 s]
/proc/loadavg: 7.72 8.05 8.07 9/346 13213
/proc/meminfo: memFree=18072544/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=227364 CPUtime=25.11 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 20603 0 0 0 2507 4 0 0 25 0 4 0 652297249 232820736 11701 33554432000 4194304 4650419 140733268555616 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 56841 11701 392 112 0 51806 0
[pid=13201/tid=13202] ppid=13199 vsize=227364 CPUtime=6.29 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 5328 0 0 0 628 1 0 0 25 0 4 0 652297249 232820736 11701 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=227364 CPUtime=6.22 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 4480 0 0 0 622 0 0 0 25 0 4 0 652297249 232820736 11701 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=227364 CPUtime=6.29 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 5648 0 0 0 628 1 0 0 25 0 4 0 652297249 232820736 11701 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 227364

[startup+12.7009 s]
/proc/loadavg: 7.82 8.07 8.07 9/346 13214
/proc/meminfo: memFree=18038432/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=246100 CPUtime=50.64 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 30080 0 0 0 5057 7 0 0 25 0 4 0 652297249 252006400 15594 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 61525 15594 392 112 0 56490 0
[pid=13201/tid=13202] ppid=13199 vsize=246100 CPUtime=12.69 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 7476 0 0 0 1267 2 0 0 25 0 4 0 652297249 252006400 15594 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=246100 CPUtime=12.54 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 6680 0 0 0 1254 0 0 0 25 0 4 0 652297249 252006400 15594 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=246100 CPUtime=12.69 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 9063 0 0 0 1267 2 0 0 25 0 4 0 652297249 252006400 15594 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 246100

[startup+25.5007 s]
/proc/loadavg: 7.86 8.06 8.07 9/346 13214
/proc/meminfo: memFree=17997764/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=251472 CPUtime=101.7 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 43871 0 0 0 10158 12 0 0 25 0 4 0 652297249 257507328 21878 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 62868 21878 392 112 0 57833 0
[pid=13201/tid=13202] ppid=13199 vsize=251472 CPUtime=25.48 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 11449 0 0 0 2546 2 0 0 25 0 4 0 652297249 257507328 21878 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=251472 CPUtime=25.2 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 9178 0 0 0 2519 1 0 0 25 0 4 0 652297249 257507328 21878 33554432000 4194304 4650419 140733268555616 18446744073709551615 4333980 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=251472 CPUtime=25.49 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 12817 0 0 0 2545 4 0 0 25 0 4 0 652297249 257507328 21878 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 251472

[startup+51.1012 s]
/proc/loadavg: 7.91 8.06 8.07 9/346 13215
/proc/meminfo: memFree=17975360/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=243268 CPUtime=203.83 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 65232 0 0 0 20365 18 0 0 25 0 4 0 652297249 249106432 22823 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 60817 22823 392 112 0 55782 0
[pid=13201/tid=13202] ppid=13199 vsize=243268 CPUtime=51.08 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 16529 0 0 0 5105 3 0 0 25 0 4 0 652297249 249106432 22823 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=243268 CPUtime=50.53 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 13808 0 0 0 5051 2 0 0 25 0 4 0 652297249 249106432 22823 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=243268 CPUtime=51.09 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 19104 0 0 0 5103 6 0 0 25 0 4 0 652297249 249106432 22823 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 243268

[startup+102.313 s]
/proc/loadavg: 8.24 8.12 8.09 9/346 13219
/proc/meminfo: memFree=17925928/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=247420 CPUtime=408.11 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 103610 0 0 0 40780 31 0 0 25 0 4 0 652297249 253358080 27188 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 61855 27188 392 112 0 56820 0
[pid=13201/tid=13202] ppid=13199 vsize=247420 CPUtime=102.3 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 24621 0 0 0 10223 7 0 0 25 0 4 0 652297249 253358080 27188 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=247420 CPUtime=101.18 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 23423 0 0 0 10112 6 0 0 25 0 4 0 652297249 253358080 27188 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=247420 CPUtime=102.3 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 30562 0 0 0 10220 10 0 0 25 0 4 0 652297249 253358080 27188 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 247420

[startup+162.301 s]

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

[pid=13201] ppid=13199 vsize=330780 CPUtime=2562.13 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 289088 0 0 0 256103 110 0 0 25 0 4 0 652297249 338718720 59696 33554432000 4194304 4650419 140733268555616 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 82695 59696 392 112 0 77660 0
[pid=13201/tid=13202] ppid=13199 vsize=330780 CPUtime=642.31 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 72408 0 0 0 64204 27 0 0 25 0 4 0 652297249 338718720 59696 33554432000 4194304 4650419 140733268555616 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=330780 CPUtime=635.19 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 62241 0 0 0 63497 22 0 0 25 0 4 0 652297249 338718720 59696 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=330780 CPUtime=642.3 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 75754 0 0 0 64202 28 0 0 25 0 4 0 652297249 338718720 59696 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2562.13
Current children cumulated vsize (KiB) 330780

[startup+702.301 s]
/proc/loadavg: 8.08 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17644928/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=331024 CPUtime=2801.41 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 307774 0 0 0 280024 117 0 0 25 0 4 0 652297249 338968576 58374 33554432000 4194304 4650419 140733268555616 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 82756 58374 392 112 0 77721 0
[pid=13201/tid=13202] ppid=13199 vsize=331024 CPUtime=702.3 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 76839 0 0 0 70202 28 0 0 25 0 4 0 652297249 338968576 58374 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=331024 CPUtime=694.47 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 66629 0 0 0 69423 24 0 0 25 0 4 0 652297249 338968576 58374 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=331024 CPUtime=702.29 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 81366 0 0 0 70200 29 0 0 25 0 4 0 652297249 338968576 58374 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.41
Current children cumulated vsize (KiB) 331024

[startup+762.314 s]
/proc/loadavg: 8.03 8.06 8.08 9/346 13267
/proc/meminfo: memFree=17783584/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=438104 CPUtime=3040.79 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 323952 0 0 0 303953 126 0 0 25 0 4 0 652297249 448618496 63349 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 109526 63349 392 112 0 104491 0
[pid=13201/tid=13202] ppid=13199 vsize=438104 CPUtime=762.31 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 81230 0 0 0 76201 30 0 0 25 0 4 0 652297249 448618496 63349 33554432000 4194304 4650419 140733268555616 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=438104 CPUtime=753.82 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 69291 0 0 0 75356 26 0 0 25 0 4 0 652297249 448618496 63349 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=438104 CPUtime=762.31 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 85874 0 0 0 76199 32 0 0 25 0 4 0 652297249 448618496 63349 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.79
Current children cumulated vsize (KiB) 438104

[startup+822.301 s]
/proc/loadavg: 8.13 8.08 8.08 9/346 13268
/proc/meminfo: memFree=17765900/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=438160 CPUtime=3280.09 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 336142 0 0 0 327876 133 0 0 25 0 4 0 652297249 448675840 63850 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 109540 63850 392 112 0 104505 0
[pid=13201/tid=13202] ppid=13199 vsize=438160 CPUtime=822.3 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 85121 0 0 0 82198 32 0 0 25 0 4 0 652297249 448675840 63850 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=438160 CPUtime=813.16 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 71651 0 0 0 81288 28 0 0 25 0 4 0 652297249 448675840 63850 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=438160 CPUtime=822.3 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 89249 0 0 0 82196 34 0 0 25 0 4 0 652297249 448675840 63850 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.09
Current children cumulated vsize (KiB) 438160

[startup+882.301 s]
/proc/loadavg: 8.05 8.06 8.08 9/346 13270
/proc/meminfo: memFree=17752916/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=438376 CPUtime=3519.44 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 346273 0 0 0 351805 139 0 0 25 0 4 0 652297249 448897024 60967 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 109594 60967 392 112 0 104559 0
[pid=13201/tid=13202] ppid=13199 vsize=438376 CPUtime=882.3 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 88097 0 0 0 88196 34 0 0 25 0 4 0 652297249 448897024 60967 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=438376 CPUtime=872.49 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 74871 0 0 0 87220 29 0 0 25 0 4 0 652297249 448897024 60967 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=438376 CPUtime=882.29 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 92380 0 0 0 88194 35 0 0 25 0 4 0 652297249 448897024 60967 33554432000 4194304 4650419 140733268555616 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.44
Current children cumulated vsize (KiB) 438376

[startup+942.301 s]
/proc/loadavg: 8.02 8.05 8.07 9/346 13271
/proc/meminfo: memFree=17685300/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=438420 CPUtime=3758.76 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 355625 0 0 0 375731 145 0 0 25 0 4 0 652297249 448942080 67202 33554432000 4194304 4650419 140733268555616 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 109605 67202 392 112 0 104570 0
[pid=13201/tid=13202] ppid=13199 vsize=438420 CPUtime=942.3 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 88195 0 0 0 94196 34 0 0 25 0 4 0 652297249 448942080 67202 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=438420 CPUtime=931.81 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 78080 0 0 0 93149 32 0 0 25 0 4 0 652297249 448942080 67202 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=438420 CPUtime=942.3 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 94555 0 0 0 94194 36 0 0 25 0 4 0 652297249 448942080 67202 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.76
Current children cumulated vsize (KiB) 438420

[startup+1002.3 s]
/proc/loadavg: 8.04 8.05 8.07 9/346 13273
/proc/meminfo: memFree=17679044/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=438484 CPUtime=3998.04 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 368723 0 0 0 399655 149 0 0 25 0 4 0 652297249 449007616 66218 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 109621 66218 392 112 0 104586 0
[pid=13201/tid=13202] ppid=13199 vsize=438484 CPUtime=1002.3 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 88195 0 0 0 100196 34 0 0 25 0 4 0 652297249 449007616 66218 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=438484 CPUtime=991.09 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 80850 0 0 0 99076 33 0 0 25 0 4 0 652297249 449007616 66218 33554432000 4194304 4650419 140733268555616 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=438484 CPUtime=1002.29 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 103659 0 0 0 100192 37 0 0 25 0 4 0 652297249 449007616 66218 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.04
Current children cumulated vsize (KiB) 438484

[startup+1062.3 s]
/proc/loadavg: 8.09 8.06 8.07 9/346 13275
/proc/meminfo: memFree=17629496/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=425872 CPUtime=4237.39 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 383044 0 0 0 423584 155 0 0 25 0 4 0 652297249 436092928 70016 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 106468 70016 392 112 0 101433 0
[pid=13201/tid=13202] ppid=13199 vsize=425872 CPUtime=1062.31 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 92089 0 0 0 106195 36 0 0 25 0 4 0 652297249 436092928 70016 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=425872 CPUtime=1050.45 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 83227 0 0 0 105009 36 0 0 25 0 4 0 652297249 436092928 70016 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=425872 CPUtime=1062.3 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 109429 0 0 0 106191 39 0 0 25 0 4 0 652297249 436092928 70016 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.39
Current children cumulated vsize (KiB) 425872

[startup+1122.3 s]
/proc/loadavg: 8.17 8.08 8.07 9/346 13276
/proc/meminfo: memFree=17581372/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=444264 CPUtime=4476.69 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 389879 0 0 0 447510 159 0 0 25 0 4 0 652297249 454926336 74534 33554432000 4194304 4650419 140733268555616 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 111066 74534 392 112 0 106031 0
[pid=13201/tid=13202] ppid=13199 vsize=444264 CPUtime=1122.31 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 93175 0 0 0 112194 37 0 0 25 0 4 0 652297249 454926336 74534 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=444264 CPUtime=1109.74 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 86439 0 0 0 110937 37 0 0 25 0 4 0 652297249 454926336 74534 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=444264 CPUtime=1122.3 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 111519 0 0 0 112190 40 0 0 25 0 4 0 652297249 454926336 74534 33554432000 4194304 4650419 140733268555616 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.69
Current children cumulated vsize (KiB) 444264

[startup+1182.3 s]
/proc/loadavg: 8.23 8.11 8.08 9/346 13278
/proc/meminfo: memFree=17576472/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=445740 CPUtime=4716.01 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 397166 0 0 0 471436 165 0 0 25 0 4 0 652297249 456437760 74823 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 111435 74823 392 112 0 106400 0
[pid=13201/tid=13202] ppid=13199 vsize=445740 CPUtime=1182.31 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 95450 0 0 0 118193 38 0 0 25 0 4 0 652297249 456437760 74823 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=445740 CPUtime=1169.05 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 89695 0 0 0 116865 40 0 0 25 0 4 0 652297249 456437760 74823 33554432000 4194304 4650419 140733268555616 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=445740 CPUtime=1182.29 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 113275 0 0 0 118188 41 0 0 25 0 4 0 652297249 456437760 74823 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.01
Current children cumulated vsize (KiB) 445740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.24 8.12 8.09 9/346 13278
/proc/meminfo: memFree=17577208/32951124 swapFree=67082152/67111528
[pid=13201] ppid=13199 vsize=445740 CPUtime=4800.21 cores=1,3,5,7
/proc/13201/stat : 13201 (strangenight1-m) R 13199 13201 13065 0 -1 4202496 399792 0 0 0 479855 166 0 0 25 0 4 0 652297249 456437760 77449 33554432000 4194304 4650419 140733268555616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13201/statm: 111435 77449 392 112 0 106400 0
[pid=13201/tid=13202] ppid=13199 vsize=445740 CPUtime=1203.43 cores=1,3,5,7
/proc/13201/task/13202/stat : 13202 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 96604 0 0 0 120305 38 0 0 25 0 4 0 652297249 456437760 77449 33554432000 4194304 4650419 140733268555616 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13201/tid=13203] ppid=13199 vsize=445740 CPUtime=1189.9 cores=1,3,5,7
/proc/13201/task/13203/stat : 13203 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 90349 0 0 0 118950 40 0 0 25 0 4 0 652297249 456437760 77449 33554432000 4194304 4650419 140733268555616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13201/tid=13204] ppid=13199 vsize=445740 CPUtime=1203.42 cores=1,3,5,7
/proc/13201/task/13204/stat : 13204 (strangenight1-m) R 13199 13201 13065 0 -1 4202560 114093 0 0 0 120300 42 0 0 25 0 4 0 652297249 456437760 77449 33554432000 4194304 4650419 140733268555616 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 445740

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): 1203.45
CPU time (s): 4800.28
CPU user time (s): 4798.6
CPU system time (s): 1.68274
CPU usage (%): 398.878
Max. virtual memory (cumulated for all children) (KiB): 450616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.6
system time used= 1.68274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399792
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= 254
involuntary context switches= 31239

runsolver used 3.74343 second user time and 9.81051 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 23:03:13
IDJOB=3368940
IDBENCH=82949
IDSOLVER=1846
FILE ID=node136/3368940-1305406993
RUNJOBID= node136-1305405787-13084
PBS_JOBID= 13324500
Free space on /tmp= 72996 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368940-1305406993/watcher-3368940-1305406993 -o /tmp/evaluation-result-3368940-1305406993/solver-3368940-1305406993 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368940-1305406993.cnf

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

MD5SUM BENCH= 7b433874f4dba1bf060f64be4ba91fb7
RANDOM SEED=566639741

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18170756 kB
Buffers:        296048 kB
Cached:        5029216 kB
SwapCached:       2740 kB
Active:       10552504 kB
Inactive:      3886528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18170756 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:            6304 kB
Writeback:           0 kB
AnonPages:     9111840 kB
Mapped:          27408 kB
Slab:           236604 kB
PageTables:      38904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69859700 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= 72984 MiB
End job on node136 at 2011-05-14 23:23:18