Trace number 3369245

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.19 1203.95

General information on the benchmark

NameSAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
MD5SUMfc993d9544ccd8eaeaa4882599387947
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark437.97
Satisfiable
(Un)Satisfiability was proved
Number of variables4499
Number of clauses18603
Sum of the clauses size54454
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21355
Number of clauses of size 317248
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369245-1305416363.cnf'
0.00/0.01	c -- header says num vars:           4499
0.00/0.01	c -- header says num clauses:       18603
0.03/0.05	c -- clauses added:            0 learnts,        18603 normals,            0 xors
0.03/0.05	c -- vars added       4499
0.03/0.05	c Parsing time:  0.02 s
0.03/0.05	c  N st     0         0      4499     17248      1355         0     54454         0   no data   no data  --
0.03/0.05	c asymm  cl-useful: 0/17248/17248 lits-rem:0 time: 0.12
0.03/0.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
0.03/0.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.03/0.08	c subs with bin:      369  lits-rem:       246  v-fix:    0  time:  0.00 s
0.03/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4499 time:  0.01 s
0.03/0.08	c Removed useless bin:       3  fixed:     0  props:   0.33M  time:  0.01 s
0.35/0.11	c lits-rem:         0  cl-subs:        0  v-elim:   1499  v-fix:    0  time:  0.13 s
2.35/0.67	c Finding binary XORs  T:     0.00 s  found:       0
2.35/0.67	c Finding non-binary XORs:     0.03 s (found:    2566, avg size: 3.6)
2.35/0.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1128 locsubst:   122 time:   0.05
2.35/0.67	c Replacing       20 vars Replaced      120 lits Time:     0.00 s 
2.35/0.67	c calculated reachability. Time: 0.00
2.35/0.67	c Calc default polars -  time:   0.00 s pos:       4 undec:    2768 neg:    1727
2.35/0.67	c =========================================================================================
2.35/0.67	c types(t): F = full restart, N = normal restart
2.35/0.67	c types(t): S = simplification begin/end, E = solution found
2.35/0.67	c restart types(rt): st = static, dy = dynamic
2.35/0.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.35/0.67	c  B st     0         0      1852       619      1598         0     11994         0   no data   no data  --
2.35/0.67	c Decided on static restart strategy
2.35/0.67	c  N st     8      4915      1852       619      1598      4608     11994    155239   no data   no data  --
2.35/0.67	c  N st    10     11299      1852       619      1601      4312     11994     85251   no data   no data  --
3.56/0.91	c  N st    11     17042      1852       619      1601      9678     11994    281593   no data   no data  --
4.40/1.13	c  F st    12     25001      1852       619      1601     11746     11994    271332   no data   no data  --
4.40/1.13	c  N st    12     25001      1852       619      1601     11746     11994    271332   no data   no data  --
5.54/1.43	c Decided on static restart strategy
5.54/1.43	c  N st    18     30000      1852       619      1601     10100     11994    238795   no data   no data  --
5.54/1.43	c  S st    18     30000      1852       619      1601     10100     11994    238795   no data   no data  --
5.54/1.43	c  S st    18     30505      1852       619      1601     10558     11994    248690   no data   no data  --
5.54/1.43	c x-sub:    20 x-cut:      0 vfix:      0 v-elim:    552 locsubst:     0 time:   0.09
5.54/1.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.94/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      3 BRemN:      0 P:  0.4M T:  0.07
5.94/1.53	c bin-w-bin subsume rem          243 bins  time:  0.00 s
5.94/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.94/1.53	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:   1300 time:  0.01 s
5.94/1.53	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
5.94/1.53	c lits-rem:        28  cl-subs:       27  v-elim:     88  v-fix:    0  time:  0.00 s
5.94/1.53	c asymm  cl-useful: 0/537/537 lits-rem:0 time: 0.01
5.94/1.53	c calculated reachability. Time: 0.00
5.94/1.53	c  N st    18     30505      1212       537      1422       236     10272      2838   no data   no data  --
6.74/1.73	c  N st    20     37615      1212       537      1422      4514     10272    180906   no data   no data  --
6.74/1.73	c Finding binary XORs  T:     0.00 s  found:       0
9.52/2.46	c  N st    21     44014      1212       537      1422     10565     10272    551742   no data   no data  --
9.92/2.56	c  S st    22     45757      1212       537      1422      6455     10272    286706   no data   no data  --
9.92/2.58	c  S st    22     46260      1212       537      1422      6903     10272    300420   no data   no data  --
10.33/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    282 locsubst:     0 time:   0.14
10.33/2.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.33/2.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:    163 P:  0.2M T:  0.04
10.33/2.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.33/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.33/2.63	c Subs w/ non-existent bins:      0 l-rem:      9 v-fix:     0 done:    930 time:  0.00 s
10.33/2.63	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
10.33/2.65	c lits-rem:        43  cl-subs:       51  v-elim:      4  v-fix:    0  time:  0.07 s
10.33/2.65	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
10.33/2.65	c vivif2 --  cl tried      901 cl shrink        2 lits rem          2 time: 0.00
10.33/2.65	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.01
10.33/2.65	c calculated reachability. Time: 0.00
10.33/2.65	c  N st    22     46260       926       561      1235       901      9406     52576   no data   no data  --
13.92/3.54	c  N st    23     60657       926       561      1235      9249      9406    481822   no data   no data  --
16.32/4.15	c  N st    24     69391       926       561      1235      9377      9406    464657   no data   no data  --
16.32/4.15	c  S st    24     69391       926       561      1235      9377      9406    464657   no data   no data  --
16.32/4.17	c  S st    24     69894       926       561      1235      9818      9406    480017   no data   no data  --
16.72/4.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    148 locsubst:     0 time:   0.25
16.72/4.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.72/4.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
16.72/4.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.72/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.72/4.25	c Subs w/ non-existent bins:      0 l-rem:    296 v-fix:     0 done:    778 time:  0.01 s
16.72/4.26	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.00 s
24.69/6.22	c lits-rem:        92  cl-subs:     5674  v-elim:      0  v-fix:    0  time:  7.80 s
24.69/6.22	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
24.69/6.22	c vivif2 --  cl tried     2612 cl shrink      112 lits rem        205 time: 0.01
24.69/6.22	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.01
24.69/6.22	c calculated reachability. Time: 0.00
24.69/6.22	c  N st    24     69894       778       561      1235      2612      9110    112156   no data   no data  --
29.07/7.35	c  F st    25     87500       778       561      1235      9587      9110    476610   no data   no data  --
29.07/7.35	c  N st    25     87500       778       561      1235      9587      9110    476610   no data   no data  --
30.29/7.66	c Decided on static restart strategy
31.06/7.85	c  N st    32     95537       778       561      1235     17087      9110    903041   no data   no data  --
33.46/8.49	c  N st    34    104843       778       561      1235     14795      9110    757107   no data   no data  --
33.46/8.49	c  S st    34    104843       778       561      1235     14795      9110    757107   no data   no data  --
33.86/8.51	c  S st    34    105344       778       561      1235     15238      9110    782967   no data   no data  --
33.86/8.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     45 locsubst:     0 time:   0.29
33.86/8.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.26/8.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.07
34.26/8.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34.26/8.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
34.26/8.63	c Subs w/ non-existent bins:      0 l-rem:    455 v-fix:     0 done:    733 time:  0.01 s
34.26/8.63	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.00 s
80.50/20.24	c lits-rem:       103  cl-subs:     8387  v-elim:      0  v-fix:    0  time: 46.21 s
80.50/20.24	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
80.50/20.24	c vivif2 --  cl tried     6666 cl shrink      172 lits rem        348 time: 0.02
80.50/20.25	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.01
80.50/20.25	c calculated reachability. Time: 0.00
80.50/20.25	c  N st    34    105344       733       561      1235      6666      9020    325457   no data   no data  --
82.92/20.81	c  N st    35    114942       733       561      1235     15579      9020    823001   no data   no data  --
86.89/21.82	c  N st    36    129339       733       561      1235     16902      9020    860759   no data   no data  --
92.86/23.35	c  N st    37    150936       733       561      1235     23320      9020   1197849   no data   no data  --
95.26/23.91	c  S st    38    158018       733       561      1235     15361      9020    753393   no data   no data  --
95.26/23.93	c  S st    38    158521       733       561      1235     15817      9020    778919   no data   no data  --
95.66/24.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.31
95.66/24.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.66/24.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.08
95.66/24.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.66/24.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
95.66/24.06	c Subs w/ non-existent bins:      0 l-rem:    313 v-fix:     0 done:    728 time:  0.01 s
95.66/24.06	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.00 s
145.88/36.67	c lits-rem:        80  cl-subs:     7098  v-elim:      0  v-fix:    0  time: 50.22 s
145.88/36.67	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
145.88/36.68	c vivif2 --  cl tried     8701 cl shrink      145 lits rem        383 time: 0.03
145.88/36.68	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.02
145.88/36.68	c calculated reachability. Time: 0.00
145.88/36.68	c  N st    38    158521       728       561      1235      8701      9010    409689   no data   no data  --
161.86/40.68	c  N st    39    207109       728       561      1235     21972      9010   1092277   no data   no data  --
172.60/43.39	c  N st    40    237783       728       561      1235     32506      9010   1658783   no data   no data  --
172.60/43.39	c  S st    40    237783       728       561      1235     32506      9010   1658783   no data   no data  --
173.00/43.44	c  S st    40    238285       728       561      1235     32955      9010   1683584   no data   no data  --
173.40/43.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.32
173.40/43.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.40/43.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.16
173.80/43.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
173.80/43.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
173.80/43.64	c Subs w/ non-existent bins:      0 l-rem:    874 v-fix:     0 done:    728 time:  0.03 s
173.80/43.64	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.00 s
448.49/112.53	c lits-rem:       192  cl-subs:    17094  v-elim:      0  v-fix:    0  time: 274.23 s
448.49/112.53	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
448.49/112.54	c vivif2 --  cl tried    15861 cl shrink      392 lits rem       1258 time: 0.05
448.49/112.54	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.02
448.49/112.54	c calculated reachability. Time: 0.00
448.49/112.54	c  N st    40    238285       728       561      1235     15861      9010    797358   no data   no data  --
471.62/118.30	c  F st    41    306251       728       561      1235     21703      9010   1052588   no data   no data  --
471.62/118.30	c  N st    41    306251       728       561      1235     21703      9010   1052588   no data   no data  --
480.40/120.58	c  N dy    48    333184       728       561      1235     25254      9010   1233282     51.30     54.02  --
485.58/121.86	c  N dy    54    353226       728       561      1235     43495      9010   2315085     50.85     54.76  --
487.17/122.24	c  S st    87    357427       728       561      1235     25493      9010   1268657     51.12     50.11  --
487.17/122.27	c  S st    87    357928       728       561      1235     25905      9010   1291801     51.12   no data  --
487.57/122.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.31
487.57/122.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
487.57/122.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.11
487.97/122.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
487.97/122.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
487.97/122.42	c Subs w/ non-existent bins:      0 l-rem:    691 v-fix:     0 done:    728 time:  0.03 s
487.97/122.42	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.00 s
520.27/130.50	c lits-rem:       178  cl-subs:     2931  v-elim:      0  v-fix:    0  time: 32.16 s
520.27/130.50	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
520.27/130.51	c vivif2 --  cl tried    22974 cl shrink      328 lits rem        947 time: 0.06
520.27/130.52	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.02
520.27/130.52	c calculated reachability. Time: 0.00
520.27/130.52	c  N dy    87    357928       728       561      1235     22974      9010   1136903     51.12   no data  --
539.46/135.32	c  N dy   129    424692       728       561      1235     37709      9010   1961486     50.32     53.13  --
575.30/144.31	c  N dy   179    536893       728       561      1235     35239      9010   1784802     49.00     47.02  --
575.30/144.31	c  S st   179    536893       728       561      1235     35239      9010   1784802     49.00     47.02  --
575.30/144.35	c  S st   179    537393       728       561      1235     35676      9010   1809228     49.00   no data  --
575.70/144.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.31
575.70/144.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
575.70/144.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
575.70/144.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
576.10/144.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
576.10/144.52	c Subs w/ non-existent bins:      0 l-rem:     34 v-fix:     0 done:    550 time:  0.02 s
576.10/144.52	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.00 s
602.81/151.28	c lits-rem:       232  cl-subs:      976  v-elim:      0  v-fix:    0  time: 26.92 s
602.81/151.28	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
603.21/151.30	c vivif2 --  cl tried    34700 cl shrink       14 lits rem         63 time: 0.08
603.21/151.30	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.02
603.21/151.30	c calculated reachability. Time: 0.00
603.21/151.30	c  N dy   179    537393       728       561      1235     34700      9010   1756744     49.00   no data  --
609.22/152.83	c  N dy   378    557488       728       561      1235     53021      9010   2807700     49.45     55.21  --
615.18/154.37	c  N dy   548    577506       728       561      1235     43347      9010   2213726     49.79     53.13  --
631.93/158.52	c  N dy   683    624382       728       561      1235     56925      9010   3159064     49.76     52.43  --
698.91/175.37	c  N dy   832    806089       728       561      1235     62371      9010   3293448     48.92     45.46  --
698.91/175.37	c  S st   832    806089       728       561      1235     62371      9010   3293448     48.92     45.46  --
699.31/175.45	c  S st   832    806590       728       561      1235     62830      9010   3320240     48.92   no data  --
699.71/175.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.35
699.71/175.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
700.11/175.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.26
700.52/175.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
700.52/175.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
700.52/175.77	c Subs w/ non-existent bins:      0 l-rem:     95 v-fix:     0 done:    336 time:  0.04 s
700.52/175.77	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.00 s
1610.73/404.08	c lits-rem:       351  cl-subs:     2177  v-elim:      0  v-fix:    0  time: 910.04 s
1610.73/404.08	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
1611.13/404.12	c vivif2 --  cl tried    60653 cl shrink      105 lits rem        246 time: 0.18
1611.13/404.13	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.02
1611.13/404.13	c calculated reachability. Time: 0.00
1611.13/404.13	c  N dy   832    806590       728       561      1235     60653      9010   3197041     48.92   no data  --
1619.50/406.29	c  N dy  1031    826680       728       561      1235     45055      9010   2210667     49.14     54.10  --
1641.03/411.69	c  N dy  1126    887519       728       561      1235     62252      9010   3236340     49.07     51.73  --
1649.81/413.86	c  N dy  1325    907543       728       561      1235     45816      9010   2212621     49.26     53.92  --
1714.45/430.06	c  F st  1366   1071875       728       561      1235     40595      9010   1852818     48.70     44.92  --
1714.45/430.07	c  N st  1366   1071875       728       561      1235     40595      9010   1852818     48.70     44.92  --
1716.41/430.50	c Decided on static restart strategy
1726.39/433.01	c  N st  1376   1100177       728       561      1235     66488      9010   3284693     48.70   no data  --
1744.74/437.66	c  N st  1378   1136171       728       561      1235     59241      9010   3096650     48.70   no data  --
1763.47/442.30	c  N st  1379   1168564       728       561      1235     47414      9010   2355975     48.70   no data  --
1786.20/448.01	c  N st  1380   1209886       728       561      1235     85409      9010   4412942     48.70   no data  --
1786.20/448.01	c  S st  1380   1209886       728       561      1235     85409      9010   4412942     48.70   no data  --
1786.60/448.11	c  S st  1380   1210389       728       561      1235     85862      9010   4438080     48.70   no data  --
1787.00/448.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.34
1787.00/448.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1787.00/448.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.28
1787.80/448.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1787.80/448.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
1787.80/448.42	c Subs w/ non-existent bins:      0 l-rem:   2077 v-fix:     0 done:    728 time:  0.04 s
1787.80/448.42	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.00 s
4331.96/1086.54	c lits-rem:       148  cl-subs:    57364  v-elim:      0  v-fix:    0  time: 2543.48 s
4331.96/1086.54	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
4331.96/1086.57	c vivif2 --  cl tried    28498 cl shrink      843 lits rem       3224 time: 0.10
4331.96/1086.57	c asymm  cl-useful: 0/561/561 lits-rem:0 time: 0.02
4331.96/1086.57	c calculated reachability. Time: 0.00
4331.96/1086.57	c  N st  1380   1210389       728       561      1235     28498      9010   1449427     48.70   no data  --
4367.88/1095.53	c  N st  1381   1283271       728       561      1235     54776      9010   2713988     48.70   no data  --
4426.88/1110.30	c  N st  1382   1392595       728       561      1235     66967      9010   3328590     48.70   no data  --
4520.61/1133.86	c  N st  1383   1556580       728       561      1235     79060      9010   3966086     48.70   no data  --
4619.09/1158.53	c  N st  1384   1710390       728       561      1235     71295      9010   3540027     48.70   no data  --
4619.09/1158.53	c  S st  1384   1710390       728       561      1235     71295      9010   3540027     48.70   no data  --
4619.49/1158.64	c  S st  1384   1710894       728       561      1235     71747      9010   3564273     48.70   no data  --
4619.88/1158.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.35
4619.88/1158.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4619.88/1158.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
4620.28/1158.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4620.28/1158.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
4620.68/1158.90	c Subs w/ non-existent bins:      0 l-rem:   1229 v-fix:     0 done:    706 time:  0.04 s
4620.68/1158.90	c Removed useless bin:       0  fixed:     0  props:   0.10M  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-3369245-1305416363/watcher-3369245-1305416363 -o /tmp/evaluation-result-3369245-1305416363/solver-3369245-1305416363 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369245-1305416363.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.03 7.47 6/367 8619
/proc/meminfo: memFree=30204844/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 634052581 52465664 352 33554432000 4194304 4650419 140734320474304 18446744073709551615 46937652942760 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 12809 352 303 112 0 7774 0
[pid=8619/tid=8620] ppid=8617 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 634052581 52465664 357 33554432000 4194304 4650419 140734320474304 18446744073709551615 46937652942764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 634052581 52465664 357 33554432000 4194304 4650419 140734320474304 18446744073709551615 46937652942355 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 634052581 52465664 357 33554432000 4194304 4650419 140734320474304 18446744073709551615 46937652942365 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.01877 s]
/proc/loadavg: 8.08 8.03 7.47 6/367 8619
/proc/meminfo: memFree=30204844/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=285936 CPUtime=0.03 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 2632 0 0 0 3 0 0 0 18 0 4 0 634052581 292798464 2144 33554432000 4194304 4650419 140734320474304 18446744073709551615 212039760366 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 71484 2146 343 112 0 66449 0
[pid=8619/tid=8620] ppid=8617 vsize=285936 CPUtime=0 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 459 0 0 0 0 0 0 0 25 0 4 0 634052581 292798464 2147 33554432000 4194304 4650419 140734320474304 18446744073709551615 212039760415 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=285936 CPUtime=0.01 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 641 0 0 0 1 0 0 0 18 0 4 0 634052581 292798464 2147 33554432000 4194304 4650419 140734320474304 18446744073709551615 212039760415 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=285936 CPUtime=0 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 504 0 0 0 0 0 0 0 18 0 4 0 634052581 292798464 2147 33554432000 4194304 4650419 140734320474304 18446744073709551615 212039760415 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 285936

[startup+0.100759 s]
/proc/loadavg: 8.08 8.03 7.47 6/367 8619
/proc/meminfo: memFree=30204844/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=290516 CPUtime=0.35 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 6868 0 0 0 32 3 0 0 18 0 4 0 634052581 297488384 5929 33554432000 4194304 4650419 140734320474304 18446744073709551615 212039316513 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 72629 5931 387 112 0 67594 0
[pid=8619/tid=8620] ppid=8617 vsize=290516 CPUtime=0.08 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 1625 0 0 0 7 1 0 0 25 0 4 0 634052581 297488384 5932 33554432000 4194304 4650419 140734320474304 18446744073709551615 4420852 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=290516 CPUtime=0.08 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 1990 0 0 0 8 0 0 0 18 0 4 0 634052581 297488384 5932 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=290516 CPUtime=0.08 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 822 0 0 0 7 1 0 0 18 0 4 0 634052581 297488384 5932 33554432000 4194304 4650419 140734320474304 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 290516

[startup+0.300721 s]
/proc/loadavg: 8.08 8.03 7.47 6/367 8619
/proc/meminfo: memFree=30204844/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=292732 CPUtime=1.16 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 9656 0 0 0 112 4 0 0 18 0 4 0 634052581 299757568 7635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 73183 7635 394 112 0 68148 0
[pid=8619/tid=8620] ppid=8617 vsize=292732 CPUtime=0.27 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 2373 0 0 0 26 1 0 0 18 0 4 0 634052581 299757568 7635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4367017 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=292732 CPUtime=0.28 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 2834 0 0 0 28 0 0 0 18 0 4 0 634052581 299757568 7635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4364170 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=292732 CPUtime=0.28 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 1215 0 0 0 27 1 0 0 18 0 4 0 634052581 299757568 7635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 292732

[startup+0.700651 s]
/proc/loadavg: 8.08 8.03 7.47 6/367 8619
/proc/meminfo: memFree=30204844/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=292904 CPUtime=2.76 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 11528 0 0 0 271 5 0 0 18 0 4 0 634052581 299933696 8147 33554432000 4194304 4650419 140734320474304 18446744073709551615 4315464 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 73226 8147 394 112 0 68191 0
[pid=8619/tid=8620] ppid=8617 vsize=292904 CPUtime=0.67 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 2825 0 0 0 66 1 0 0 18 0 4 0 634052581 299933696 8147 33554432000 4194304 4650419 140734320474304 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=292904 CPUtime=0.69 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 3269 0 0 0 68 1 0 0 18 0 4 0 634052581 299933696 8148 33554432000 4194304 4650419 140734320474304 18446744073709551615 4315066 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=292904 CPUtime=0.68 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 1633 0 0 0 67 1 0 0 18 0 4 0 634052581 299933696 8148 33554432000 4194304 4650419 140734320474304 18446744073709551615 4331947 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 292904

[startup+1.50051 s]
/proc/loadavg: 8.23 8.06 7.48 9/371 8623
/proc/meminfo: memFree=30169596/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=284988 CPUtime=5.94 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 13854 0 0 0 588 6 0 0 20 0 4 0 634052581 291827712 9428 33554432000 4194304 4650419 140734320474304 18446744073709551615 4229514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 71247 9428 395 112 0 66212 0
[pid=8619/tid=8620] ppid=8617 vsize=284988 CPUtime=1.45 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 3399 0 0 0 144 1 0 0 19 0 4 0 634052581 291827712 9428 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=284988 CPUtime=1.49 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 3951 0 0 0 148 1 0 0 19 0 4 0 634052581 291827712 9428 33554432000 4194304 4650419 140734320474304 18446744073709551615 4360410 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=284988 CPUtime=1.48 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 2116 0 0 0 147 1 0 0 20 0 4 0 634052581 291827712 9428 33554432000 4194304 4650419 140734320474304 18446744073709551615 4229486 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 284988

[startup+3.10022 s]
/proc/loadavg: 8.23 8.06 7.48 9/371 8623
/proc/meminfo: memFree=30163180/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=295808 CPUtime=12.33 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 19365 0 0 0 1226 7 0 0 25 0 4 0 634052581 302907392 12248 33554432000 4194304 4650419 140734320474304 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 73952 12248 395 112 0 68917 0
[pid=8619/tid=8620] ppid=8617 vsize=295808 CPUtime=3.04 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 5321 0 0 0 303 1 0 0 25 0 4 0 634052581 302907392 12248 33554432000 4194304 4650419 140734320474304 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=295808 CPUtime=3.08 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 4944 0 0 0 307 1 0 0 25 0 4 0 634052581 302907392 12248 33554432000 4194304 4650419 140734320474304 18446744073709551615 4331301 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=295808 CPUtime=3.08 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 3121 0 0 0 307 1 0 0 25 0 4 0 634052581 302907392 12248 33554432000 4194304 4650419 140734320474304 18446744073709551615 4229508 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 295808

[startup+6.30065 s]
/proc/loadavg: 8.21 8.06 7.49 9/371 8623
/proc/meminfo: memFree=30127368/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=291548 CPUtime=25.09 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 32630 0 0 0 2499 10 0 0 25 0 4 0 634052581 298545152 17999 33554432000 4194304 4650419 140734320474304 18446744073709551615 4363500 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 72887 17999 395 112 0 67852 0
[pid=8619/tid=8620] ppid=8617 vsize=291548 CPUtime=6.21 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 8812 0 0 0 618 3 0 0 25 0 4 0 634052581 298545152 17999 33554432000 4194304 4650419 140734320474304 18446744073709551615 4364061 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=291548 CPUtime=6.29 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 7790 0 0 0 627 2 0 0 25 0 4 0 634052581 298545152 17999 33554432000 4194304 4650419 140734320474304 18446744073709551615 4364001 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=291548 CPUtime=6.28 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 6868 0 0 0 626 2 0 0 25 0 4 0 634052581 298545152 17999 33554432000 4194304 4650419 140734320474304 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 291548

[startup+12.7005 s]
/proc/loadavg: 8.20 8.06 7.49 9/371 8623
/proc/meminfo: memFree=30094176/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=310564 CPUtime=50.59 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 47120 0 0 0 5044 15 0 0 25 0 4 0 634052581 318017536 24430 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 77641 24430 395 112 0 72606 0
[pid=8619/tid=8620] ppid=8617 vsize=310564 CPUtime=12.52 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 12012 0 0 0 1249 3 0 0 25 0 4 0 634052581 318017536 24430 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=310564 CPUtime=12.69 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 13745 0 0 0 1263 6 0 0 25 0 4 0 634052581 318017536 24430 33554432000 4194304 4650419 140734320474304 18446744073709551615 4367017 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=310564 CPUtime=12.68 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 7918 0 0 0 1266 2 0 0 25 0 4 0 634052581 318017536 24430 33554432000 4194304 4650419 140734320474304 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 310564

[startup+25.5012 s]
/proc/loadavg: 8.17 8.05 7.49 9/371 8623
/proc/meminfo: memFree=30010608/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=378676 CPUtime=101.64 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 70835 0 0 0 10138 26 0 0 25 0 4 0 634052581 387764224 36098 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 94669 36098 395 112 0 89634 0
[pid=8619/tid=8620] ppid=8617 vsize=378676 CPUtime=25.15 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 18800 0 0 0 2508 7 0 0 25 0 4 0 634052581 387764224 36098 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=378676 CPUtime=25.49 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 21829 0 0 0 2541 8 0 0 25 0 4 0 634052581 387764224 36098 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=378676 CPUtime=25.48 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 10958 0 0 0 2544 4 0 0 25 0 4 0 634052581 387764224 36098 33554432000 4194304 4650419 140734320474304 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 378676

[startup+51.1007 s]
/proc/loadavg: 8.20 8.08 7.52 9/371 8624
/proc/meminfo: memFree=29884940/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=394856 CPUtime=203.7 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 92613 0 0 0 20334 36 0 0 25 0 4 0 634052581 404332544 50333 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 98714 50333 395 112 0 93679 0
[pid=8619/tid=8620] ppid=8617 vsize=394856 CPUtime=50.42 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 24065 0 0 0 5033 9 0 0 25 0 4 0 634052581 404332544 50333 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=394856 CPUtime=51.09 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 21829 0 0 0 5101 8 0 0 25 0 4 0 634052581 404332544 50333 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=394856 CPUtime=51.08 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 16749 0 0 0 5099 9 0 0 25 0 4 0 634052581 404332544 50333 33554432000 4194304 4650419 140734320474304 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 394856

[startup+102.316 s]
/proc/loadavg: 8.14 8.08 7.55 9/371 8625
/proc/meminfo: memFree=29799092/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=476808 CPUtime=407.88 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 136654 0 0 0 40717 71 0 0 25 0 4 0 634052581 488251392 53970 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 119202 53970 395 112 0 114167 0
[pid=8619/tid=8620] ppid=8617 vsize=476808 CPUtime=100.94 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 41056 0 0 0 10068 26 0 0 25 0 4 0 634052581 488251392 53970 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=476808 CPUtime=102.3 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 43218 0 0 0 10209 21 0 0 25 0 4 0 634052581 488251392 53970 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=476808 CPUtime=102.3 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 22410 0 0 0 10217 13 0 0 25 0 4 0 634052581 488251392 53970 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.88
Current children cumulated vsize (KiB) 476808

[startup+162.301 s]

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

[pid=8619] ppid=8617 vsize=781536 CPUtime=2800.09 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 439084 0 0 0 279806 203 0 0 25 0 4 0 634052581 800292864 147174 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 195384 147174 403 112 0 190349 0
[pid=8619/tid=8620] ppid=8617 vsize=781536 CPUtime=693.15 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 122403 0 0 0 69261 54 0 0 25 0 4 0 634052581 800292864 147174 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=781536 CPUtime=702.3 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 135476 0 0 0 70160 70 0 0 25 0 4 0 634052581 800292864 147174 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=781536 CPUtime=702.3 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 57779 0 0 0 70197 33 0 0 25 0 4 0 634052581 800292864 147174 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.09
Current children cumulated vsize (KiB) 781536

[startup+762.316 s]
/proc/loadavg: 8.22 8.15 7.84 9/371 8643
/proc/meminfo: memFree=29114172/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=781536 CPUtime=3039.36 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 441744 0 0 0 303731 205 0 0 25 0 4 0 634052581 800292864 149834 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 195384 149834 403 112 0 190349 0
[pid=8619/tid=8620] ppid=8617 vsize=781536 CPUtime=752.37 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 122403 0 0 0 75183 54 0 0 25 0 4 0 634052581 800292864 149834 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=781536 CPUtime=762.32 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 135476 0 0 0 76162 70 0 0 25 0 4 0 634052581 800292864 149834 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=781536 CPUtime=762.31 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 60439 0 0 0 76196 35 0 0 25 0 4 0 634052581 800292864 149834 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3039.36
Current children cumulated vsize (KiB) 781536

[startup+822.301 s]
/proc/loadavg: 8.22 8.16 7.85 9/371 8645
/proc/meminfo: memFree=29085856/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=800808 CPUtime=3278.56 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 465800 0 0 0 327634 222 0 0 25 0 4 0 634052581 820027392 151969 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 200202 151969 403 112 0 195167 0
[pid=8619/tid=8620] ppid=8617 vsize=800808 CPUtime=811.6 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 143304 0 0 0 81092 68 0 0 25 0 4 0 634052581 820027392 151969 33554432000 4194304 4650419 140734320474304 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=800808 CPUtime=822.31 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 135476 0 0 0 82161 70 0 0 25 0 4 0 634052581 820027392 151969 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=800808 CPUtime=822.3 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 63594 0 0 0 82193 37 0 0 25 0 4 0 634052581 820027392 151969 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3278.56
Current children cumulated vsize (KiB) 800808

[startup+882.301 s]
/proc/loadavg: 8.21 8.16 7.87 9/371 8646
/proc/meminfo: memFree=29089540/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=801792 CPUtime=3517.79 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 495020 0 0 0 351542 237 0 0 25 0 4 0 634052581 821035008 152490 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 200448 152490 403 112 0 195413 0
[pid=8619/tid=8620] ppid=8617 vsize=801792 CPUtime=870.84 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 169484 0 0 0 87002 82 0 0 25 0 4 0 634052581 821035008 152490 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=801792 CPUtime=882.31 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 135476 0 0 0 88161 70 0 0 25 0 4 0 634052581 821035008 152490 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=801792 CPUtime=882.3 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 66634 0 0 0 88191 39 0 0 25 0 4 0 634052581 821035008 152490 33554432000 4194304 4650419 140734320474304 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3517.79
Current children cumulated vsize (KiB) 801792

[startup+942.3 s]
/proc/loadavg: 8.20 8.16 7.89 9/371 8648
/proc/meminfo: memFree=29031804/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=802712 CPUtime=3756.98 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 500771 0 0 0 375460 238 0 0 25 0 4 0 634052581 821977088 155669 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 200678 155669 403 112 0 195643 0
[pid=8619/tid=8620] ppid=8617 vsize=802712 CPUtime=930.03 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 169484 0 0 0 92921 82 0 0 25 0 4 0 634052581 821977088 155669 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=802712 CPUtime=942.31 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 135476 0 0 0 94161 70 0 0 25 0 4 0 634052581 821977088 155669 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=802712 CPUtime=942.31 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 72385 0 0 0 94190 41 0 0 25 0 4 0 634052581 821977088 155669 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3756.98
Current children cumulated vsize (KiB) 802712

[startup+1002.3 s]
/proc/loadavg: 8.12 8.14 7.90 9/371 8649
/proc/meminfo: memFree=28958096/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=802712 CPUtime=3996.2 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 501439 0 0 0 399380 240 0 0 25 0 4 0 634052581 821977088 156156 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 200678 156156 403 112 0 195643 0
[pid=8619/tid=8620] ppid=8617 vsize=802712 CPUtime=989.23 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 169484 0 0 0 98841 82 0 0 25 0 4 0 634052581 821977088 156156 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=802712 CPUtime=1002.31 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 135476 0 0 0 100161 70 0 0 25 0 4 0 634052581 821977088 156156 33554432000 4194304 4650419 140734320474304 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=802712 CPUtime=1002.31 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 73053 0 0 0 100189 42 0 0 25 0 4 0 634052581 821977088 156156 33554432000 4194304 4650419 140734320474304 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3996.2
Current children cumulated vsize (KiB) 802712

[startup+1062.3 s]
/proc/loadavg: 8.14 8.14 7.91 9/371 8651
/proc/meminfo: memFree=28985432/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=802712 CPUtime=4235.46 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 501584 0 0 0 423306 240 0 0 25 0 4 0 634052581 821977088 156160 33554432000 4194304 4650419 140734320474304 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 200678 156160 403 112 0 195643 0
[pid=8619/tid=8620] ppid=8617 vsize=802712 CPUtime=1048.49 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 169484 0 0 0 104767 82 0 0 25 0 4 0 634052581 821977088 156160 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=802712 CPUtime=1062.31 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 135476 0 0 0 106161 70 0 0 25 0 4 0 634052581 821977088 156160 33554432000 4194304 4650419 140734320474304 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=802712 CPUtime=1062.31 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 73198 0 0 0 106189 42 0 0 25 0 4 0 634052581 821977088 156160 33554432000 4194304 4650419 140734320474304 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4235.46
Current children cumulated vsize (KiB) 802712

[startup+1122.3 s]
/proc/loadavg: 8.10 8.13 7.92 9/371 8653
/proc/meminfo: memFree=28880360/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=987644 CPUtime=4474.74 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 544573 0 0 0 447209 265 0 0 25 0 4 0 634052581 1011347456 168431 33554432000 4194304 4650419 140734320474304 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 246911 168431 395 112 0 241876 0
[pid=8619/tid=8620] ppid=8617 vsize=987644 CPUtime=1107.77 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 169484 0 0 0 110695 82 0 0 25 0 4 0 634052581 1011347456 168431 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=987644 CPUtime=1122.32 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 163628 0 0 0 112147 85 0 0 25 0 4 0 634052581 1011347456 168431 33554432000 4194304 4650419 140734320474304 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=987644 CPUtime=1122.31 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 73534 0 0 0 112189 42 0 0 25 0 4 0 634052581 1011347456 168431 33554432000 4194304 4650419 140734320474304 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4474.74
Current children cumulated vsize (KiB) 987644

[startup+1182.3 s]
/proc/loadavg: 8.12 8.13 7.93 9/371 8654
/proc/meminfo: memFree=28969340/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=978368 CPUtime=4713.98 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 576373 0 0 0 471111 287 0 0 25 0 4 0 634052581 1001848832 158484 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 244592 158484 395 112 0 239557 0
[pid=8619/tid=8620] ppid=8617 vsize=978368 CPUtime=1167 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 171937 0 0 0 116616 84 0 0 25 0 4 0 634052581 1001848832 158484 33554432000 4194304 4650419 140734320474304 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=978368 CPUtime=1182.31 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 177768 0 0 0 118137 94 0 0 25 0 4 0 634052581 1001848832 158484 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=978368 CPUtime=1182.31 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 73913 0 0 0 118188 43 0 0 25 0 4 0 634052581 1001848832 158484 33554432000 4194304 4650419 140734320474304 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4713.98
Current children cumulated vsize (KiB) 978368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 7.85 8.07 7.91 5/363 8673
/proc/meminfo: memFree=29689164/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=978644 CPUtime=4800.11 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 589607 0 0 0 479714 297 0 0 25 0 4 0 634052581 1002131456 155634 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 244661 155634 395 112 0 239626 0
[pid=8619/tid=8620] ppid=8617 vsize=978644 CPUtime=1188.32 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 183781 0 0 0 118738 94 0 0 25 0 4 0 634052581 1002131456 155635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4313058 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=978644 CPUtime=1203.93 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 177768 0 0 0 120299 94 0 0 25 0 4 0 634052581 1002131456 155635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=978644 CPUtime=1203.93 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 75304 0 0 0 120349 44 0 0 25 0 4 0 634052581 1002131456 155635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 978644

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

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

[startup+1203.9 s]
/proc/loadavg: 7.85 8.07 7.91 5/363 8673
/proc/meminfo: memFree=29689164/32951124 swapFree=51873460/67111528
[pid=8619] ppid=8617 vsize=978644 CPUtime=4800.11 cores=1,3,5,7
/proc/8619/stat : 8619 (strangenight1-m) R 8617 8619 8076 0 -1 4202496 589607 0 0 0 479714 297 0 0 25 0 4 0 634052581 1002131456 155634 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8619/statm: 244661 155634 395 112 0 239626 0
[pid=8619/tid=8620] ppid=8617 vsize=978644 CPUtime=1188.32 cores=1,3,5,7
/proc/8619/task/8620/stat : 8620 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 183781 0 0 0 118738 94 0 0 25 0 4 0 634052581 1002131456 155635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4313058 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8619/tid=8621] ppid=8617 vsize=978644 CPUtime=1203.93 cores=1,3,5,7
/proc/8619/task/8621/stat : 8621 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 177768 0 0 0 120299 94 0 0 25 0 4 0 634052581 1002131456 155635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8619/tid=8622] ppid=8617 vsize=978644 CPUtime=1203.93 cores=1,3,5,7
/proc/8619/task/8622/stat : 8622 (strangenight1-m) R 8617 8619 8076 0 -1 4202560 75304 0 0 0 120349 44 0 0 25 0 4 0 634052581 1002131456 155635 33554432000 4194304 4650419 140734320474304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 978644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.95
CPU time (s): 4800.19
CPU user time (s): 4797.19
CPU system time (s): 2.99854
CPU usage (%): 398.705
Max. virtual memory (cumulated for all children) (KiB): 1053188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.19
system time used= 2.99854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589608
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= 2108
involuntary context switches= 32347

runsolver used 3.39248 second user time and 12.2261 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-15 01:39:23
IDJOB=3369245
IDBENCH=84762
IDSOLVER=1846
FILE ID=node146/3369245-1305416363
RUNJOBID= node146-1305415150-8469
PBS_JOBID= 13324516
Free space on /tmp= 73264 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT04/handmade/marijn/equilarge-l/equilarge_l4.used-as.sat04-896.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369245-1305416363/watcher-3369245-1305416363 -o /tmp/evaluation-result-3369245-1305416363/solver-3369245-1305416363 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369245-1305416363.cnf

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

MD5SUM BENCH= fc993d9544ccd8eaeaa4882599387947
RANDOM SEED=1916330257

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30205124 kB
Buffers:         70172 kB
Cached:         108448 kB
SwapCached:      56096 kB
Active:         842936 kB
Inactive:      1681884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30205124 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:           13008 kB
Writeback:         184 kB
AnonPages:     2296812 kB
Mapped:          17728 kB
Slab:            96732 kB
PageTables:      59044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81956608 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= 73268 MiB
End job on node146 at 2011-05-15 01:59:29