Trace number 3175367

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.3 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf
MD5SUM14f99f1ef2d8eb11eba1a00a818c14a6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.037993
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
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 55340

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-3175367-1304121329.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.00	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.00	c -- vars added         60
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.38/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.38/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.38/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.38/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.38/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.38/0.14	c calculated reachability. Time: 0.00
0.38/0.14	c Calc default polars -  time:   0.00 s pos:      33 undec:       1 neg:      26
0.38/0.14	c =========================================================================================
0.38/0.14	c types(t): F = full restart, N = normal restart
0.38/0.14	c types(t): S = simplification begin/end, E = solution found
0.38/0.14	c restart types(rt): st = static, dy = dynamic
0.38/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
1.18/0.35	c  N dy    10      7402        60      5340         0      4347     37380     86422     17.96     18.98  --
1.97/0.53	c  N dy    24     12446        60      5340         0      5083     37380     95094     17.90     18.89  --
2.77/0.70	c  N dy    45     16461        60      5340         0      8667     37380    172031     18.11     19.68  --
3.18/0.88	c  N dy    56     20876        60      5340         0      7583     37380    138869     18.11     19.13  --
3.99/1.07	c  F st    67     25002        60      5340         0     11273     37380    217302     18.12     18.11  --
3.99/1.07	c  N st    67     25002        60      5340         0     11273     37380    217302     18.12     18.11  --
4.77/1.28	c  N dy    73     30000        60      5340         0      9659     37380    175915     18.12   no data  --
4.77/1.28	c  S st    73     30000        60      5340         0      9659     37380    175915     18.12   no data  --
5.17/1.31	c  S st    73     30503        60      5340         0     10118     37380    186018     18.12   no data  --
5.17/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.17/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.27	c lits-rem:      1344  cl-subs:      989  v-elim:      0  v-fix:    0  time:  3.76 s
9.97/2.53	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.05
9.97/2.53	c calculated reachability. Time: 0.00
9.97/2.53	c  N dy    73     30503        60      5340         0      9129     37380    162924     18.12   no data  --
10.77/2.76	c  N dy    96     34568        60      5340         0     12780     37380    241516     18.26     19.31  --
11.97/3.07	c  N dy   103     41221        60      5340         0     11643     37380    202946     18.07     19.06  --
13.19/3.33	c  N dy   119     45755        60      5340         0     15685     37380    288837     18.11     17.55  --
13.19/3.33	c  S st   119     45755        60      5340         0     15685     37380    288837     18.11     17.55  --
13.19/3.38	c  S st   119     46257        60      5340         0      8195     37380    125133     18.11   no data  --
13.19/3.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.19/3.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.19/3.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.19/3.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.19/3.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.19/3.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.19/3.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.16	c lits-rem:       147  cl-subs:       58  v-elim:      0  v-fix:    0  time:  3.09 s
16.36/4.16	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.36/4.16	c vivif2 --  cl tried     8137 cl shrink        0 lits rem          0 time: 0.00
17.18/4.38	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.89
17.18/4.38	c calculated reachability. Time: 0.00
17.18/4.38	c  N dy   119     46257        60      5340         0      8137     37380    123676     18.11   no data  --
17.96/4.59	c  N dy   148     50425        60      5340         0     11849     37380    203863     18.22     19.19  --
19.55/4.94	c  N dy   154     56345        60      5340         0     17097     37380    313356     18.11     19.16  --
22.35/5.68	c  N dy   167     69386        60      5340         0     10043     37380    145236     17.94     14.98  --
22.35/5.68	c  S st   167     69386        60      5340         0     10043     37380    145236     17.94     14.98  --
22.75/5.71	c  S st   167     69887        60      5340         0     10499     37380    155440     17.94   no data  --
22.75/5.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.75/5.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.75/5.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
22.75/5.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.75/5.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.75/5.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.75/5.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.97/6.56	c lits-rem:       351  cl-subs:      152  v-elim:      0  v-fix:    0  time:  3.35 s
25.97/6.56	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.97/6.56	c vivif2 --  cl tried    10347 cl shrink        0 lits rem          0 time: 0.00
27.15/6.83	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.08
27.15/6.83	c calculated reachability. Time: 0.00
27.15/6.83	c  N dy   167     69887        60      5340         0     10347     37380    151892     17.94   no data  --
27.94/7.10	c  N dy   191     74399        60      5340         0     14409     37380    239001     17.99     19.72  --
29.94/7.58	c  N dy   201     81906        60      5340         0     21030     37380    376513     17.93     18.88  --
31.54/7.91	c  N dy   212     87160        60      5340         0     15066     37380    241718     17.93     18.88  --
31.54/7.93	c  F st   216     87501        60      5340         0     15371     37380    248235     17.94   no data  --
33.94/8.53	c  N dy   223     95984        60      5340         0     22927     37380    410054     17.90     18.89  --
35.54/8.95	c  N dy   260    102131        60      5340         0     16874     37380    271940     17.97     19.96  --
36.34/9.17	c  S st   278    104832        60      5340         0     19264     37380    323484     18.00     17.34  --
36.74/9.22	c  S st   278    105336        60      5340         0     19722     37380    333455     18.00   no data  --
36.74/9.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.74/9.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.74/9.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.74/9.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.74/9.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.74/9.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.74/9.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.13/10.86	c lits-rem:      2103  cl-subs:     1716  v-elim:      0  v-fix:    0  time:  6.46 s
43.13/10.86	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.13/10.86	c vivif2 --  cl tried    18006 cl shrink        0 lits rem          0 time: 0.01
44.72/11.22	c asymm  cl-useful: 0/4261/5340 lits-rem:0 time: 1.43
44.72/11.23	c calculated reachability. Time: 0.00
44.72/11.23	c  N dy   278    105336        60      5340         0     18006     37380    293391     18.00   no data  --
47.53/11.94	c  N dy   327    114034        60      5340         0     13330     37380    184140     18.04     19.01  --
50.72/12.70	c  N dy   348    125884        60      5340         0     23809     37380    400991     17.94     18.96  --
56.31/14.20	c  N dy   389    146411        60      5340         0     14590     37380    191370     17.80     18.76  --
59.11/14.88	c  N dy   441    155828        60      5340         0     22959     37380    370281     17.85     18.79  --
59.91/15.08	c  S st   455    158004        60      5340         0     24885     37380    412081     17.87     16.88  --
60.31/15.14	c  S st   455    158508        60      5340         0     25337     37380    422113     17.87   no data  --
60.31/15.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.31/15.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.31/15.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
60.31/15.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.31/15.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.31/15.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.31/15.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.30/17.14	c lits-rem:      2465  cl-subs:     2592  v-elim:      0  v-fix:    0  time:  7.88 s
68.30/17.14	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
68.30/17.14	c vivif2 --  cl tried    22745 cl shrink        0 lits rem          0 time: 0.02
68.70/17.29	c asymm  cl-useful: 0/1079/5340 lits-rem:0 time: 0.60
68.70/17.30	c calculated reachability. Time: 0.00
68.70/17.30	c  N dy   455    158508        60      5340         0     22745     37380    364483     17.87   no data  --
73.49/18.41	c  N dy   542    168698        60      5340         0     16920     37380    232608     17.98     20.43  --
76.69/19.28	c  N dy   561    180261        60      5340         0     27210     37380    448658     17.95     19.03  --
81.08/20.39	c  N dy   617    191937        60      5340         0     21677     37380    324703     18.00     18.97  --
87.49/21.94	c  N dy   683    205779        60      5340         0     17093     37380    215357     18.05     19.00  --
91.88/23.10	c  N dy   724    219009        60      5340         0     28837     37380    462336     18.04     19.14  --
98.26/24.63	c  N dy   827    233355        60      5340         0     23891     37380    352524     18.12     19.26  --
99.86/25.02	c  S st   835    237762        60      5340         0     27793     37380    433233     18.11     17.16  --
99.86/25.09	c  S st   835    238268        60      5340         0     28242     37380    442892     18.11   no data  --
99.86/25.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
99.86/25.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.26/25.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
100.26/25.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.26/25.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.26/25.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
100.26/25.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
110.24/27.62	c lits-rem:      1887  cl-subs:     2584  v-elim:      0  v-fix:    0  time:  9.98 s
110.24/27.62	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
110.24/27.62	c vivif2 --  cl tried    25658 cl shrink        0 lits rem          0 time: 0.02
111.84/28.00	c asymm  cl-useful: 0/3392/5340 lits-rem:0 time: 1.50
111.84/28.00	c calculated reachability. Time: 0.00
111.84/28.00	c  N dy   835    238268        60      5340         0     25658     37380    385727     18.11   no data  --
119.83/30.08	c  N dy   877    261147        60      5340         0     27393     37380    404484     18.03     19.13  --
127.04/31.86	c  N dy   932    278336        60      5340         0     23248     37380    314117     18.04     18.99  --
135.02/33.82	c  N dy  1017    296136        60      5340         0     39091     37380    653668     18.07     19.14  --
139.41/34.90	c  F st  1072    306250        60      5340         0     27676     37380    399402     18.10   no data  --
143.40/35.90	c  N dy  1104    315298        60      5340         0     35723     37380    572120     18.11     19.10  --
151.80/38.06	c  N dy  1135    336136        60      5340         0     32791     37380    492074     18.06     19.04  --
161.38/40.42	c  N dy  1200    356150        60      5340         0     28454     37380    396360     18.07     21.25  --
161.78/40.55	c  S st  1206    357403        60      5340         0     29565     37380    420120     18.07   no data  --
162.20/40.63	c  S st  1206    357904        60      5340         0     30027     37380    430058     18.07   no data  --
162.20/40.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
162.20/40.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.20/40.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
162.20/40.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.20/40.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.20/40.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
162.20/40.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
171.39/42.95	c lits-rem:      1491  cl-subs:     1904  v-elim:      0  v-fix:    0  time:  9.18 s
171.39/42.95	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
171.39/42.96	c vivif2 --  cl tried    28123 cl shrink        0 lits rem          0 time: 0.02
172.96/43.33	c asymm  cl-useful: 0/1948/5340 lits-rem:0 time: 1.47
172.96/43.33	c calculated reachability. Time: 0.00
172.96/43.33	c  N dy  1206    357904        60      5340         0     28123     37380    388347     18.07   no data  --
186.95/46.83	c  N dy  1299    378946        60      5340         0     23821     37380    287549     18.09     19.09  --
196.94/49.32	c  N dy  1372    399327        60      5340         0     41841     37380    669516     18.10     19.12  --
208.12/52.11	c  N dy  1459    422418        60      5340         0     38365     37380    586929     18.11     19.09  --
220.50/55.24	c  N dy  1484    450307        60      5340         0     38183     37380    554219     18.02     19.06  --
230.89/57.81	c  N dy  1522    470323        60      5340         0     30207     37380    385084     17.97     19.65  --
242.08/60.62	c  N dy  1635    490410        60      5340         0     48126     37380    770821     18.00     19.10  --
253.66/63.56	c  N dy  1750    511798        60      5340         0     40607     37380    599033     18.02     19.06  --
267.25/66.94	c  N dy  1786    536858        60      5340         0     35166     37380    470249     17.98     15.99  --
267.25/66.94	c  S st  1786    536858        60      5340         0     35166     37380    470249     17.98     15.99  --
267.66/67.04	c  S st  1786    537360        60      5340         0     35616     37380    480071     17.98   no data  --
267.66/67.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
267.66/67.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
267.66/67.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
267.66/67.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.66/67.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.66/67.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
267.66/67.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
276.85/69.32	c lits-rem:       890  cl-subs:     2569  v-elim:      0  v-fix:    0  time:  9.00 s
276.85/69.32	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
276.85/69.32	c vivif2 --  cl tried    33047 cl shrink        0 lits rem          0 time: 0.02
278.43/69.70	c asymm  cl-useful: 0/2920/5340 lits-rem:0 time: 1.49
278.43/69.70	c calculated reachability. Time: 0.00
278.43/69.70	c  N dy  1786    537360        60      5340         0     33047     37380    429096     17.98   no data  --
290.81/72.80	c  N dy  1900    557364        60      5340         0     50871     37380    813546     18.01     20.80  --
303.22/75.98	c  N dy  1944    582082        60      5340         0     44507     37380    661666     17.99     19.00  --
317.58/79.50	c  N dy  2019    603947        60      5340         0     34707     37380    440685     17.98     18.93  --
330.36/82.73	c  N dy  2122    624133        60      5340         0     52657     37380    826302     18.01     19.02  --
344.34/86.26	c  N dy  2256    644181        60      5340         0     40417     37380    563652     18.05     20.50  --
359.52/90.07	c  N dy  2336    665275        60      5340         0     59135     37380    962148     18.05     19.03  --
372.71/93.39	c  N dy  2417    685613        60      5340         0     46140     37380    670770     18.06     19.02  --
389.48/97.59	c  N dy  2505    705703        60      5340         0     32078     37380    359276     18.08     19.44  --
402.67/100.85	c  N dy  2596    725758        60      5340         0     49861     37380    740717     18.09     19.10  --
419.05/104.99	c  N dy  2695    745841        60      5340         0     34870     37380    407962     18.11     19.48  --
430.66/107.85	c  N dy  2765    765898        60      5340         0     52549     37380    781829     18.11     20.92  --
445.82/111.62	c  N dy  2832    785928        60      5340         0     36611     37380    435886     18.11     19.23  --
456.62/114.39	c  N dy  2865    806040        60      5340         0     54320     37380    806263     18.09     17.49  --
456.62/114.39	c  S st  2865    806040        60      5340         0     54320     37380    806263     18.09     17.49  --
457.40/114.53	c  S st  2865    806542        60      5340         0     54785     37380    816839     18.09   no data  --
457.40/114.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.40/114.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
457.40/114.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
457.40/114.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
457.40/114.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.40/114.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
457.40/114.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
486.17/121.74	c lits-rem:      3356  cl-subs:     5923  v-elim:      0  v-fix:    0  time: 28.61 s
486.17/121.74	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
486.17/121.75	c vivif2 --  cl tried    48862 cl shrink        0 lits rem          0 time: 0.03
486.97/121.99	c asymm  cl-useful: 0/813/5340 lits-rem:0 time: 0.98
486.97/121.99	c calculated reachability. Time: 0.00
486.97/121.99	c  N dy  2865    806542        60      5340         0     48862     37380    694509     18.09   no data  --
506.54/126.84	c  N dy  2995    826638        60      5340         0     66756     37380   1085368     18.12     19.29  --
519.31/130.09	c  N dy  3086    846661        60      5340         0     50391     37380    722324     18.14     19.89  --
538.89/134.97	c  N dy  3112    874628        60      5340         0     39711     37380    473369     18.09     19.31  --
558.86/139.99	c  N dy  3193    903991        60      5340         0     65613     37380   1019232     18.09     19.13  --
574.45/143.85	c  N dy  3269    924235        60      5340         0     47421     37380    635155     18.09     19.07  --
597.23/149.54	c  N dy  3309    955563        60      5340         0     37927     37380    420615     18.06     19.25  --
612.00/153.22	c  N dy  3429    977076        60      5340         0     57058     37380    833838     18.07     19.05  --
630.38/157.87	c  N dy  3527    997134        60      5340         0     74849     37380   1216262     18.08     20.25  --
644.75/161.40	c  N dy  3598   1018022        60      5340         0     55194     37380    776172     18.08     19.13  --
665.93/166.77	c  N dy  3650   1044830        60      5340         0     39950     37380    444245     18.06     19.14  --
681.51/170.65	c  N dy  3775   1066154        60      5340         0     58846     37380    853833     18.08     19.25  --
686.31/171.80	c  F st  3793   1071875        60      5340         0     63886     37380    959454     18.08     16.12  --
700.68/175.49	c  N dy  3870   1086255        60      5340         0     76575     37380   1237887     18.09     21.03  --
716.28/179.37	c  N dy  3968   1106300        60      5340         0     54620     37380    751220     18.10     19.96  --
730.64/182.98	c  N dy  3999   1126315        60      5340         0     72188     37380   1118358     18.09     19.60  --
748.62/187.40	c  N dy  4058   1146326        60      5340         0     49216     37380    614904     18.08     19.05  --
766.19/191.86	c  N dy  4167   1166565        60      5340         0     67180     37380   1003225     18.09     19.14  --
792.97/198.53	c  N dy  4241   1189431        60      5340         0     45879     37380    537896     18.09     19.11  --
814.53/203.96	c  N dy  4326   1209813        60      5340         0     63881     37380    924381     18.10     18.22  --
814.53/203.96	c  S st  4326   1209813        60      5340         0     63881     37380    924381     18.10     18.22  --
815.73/204.22	c  S st  4326   1210314        60      5340         0     64340     37380    934451     18.10   no data  --
815.73/204.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
815.73/204.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
815.73/204.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
815.73/204.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
815.73/204.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
815.73/204.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
815.73/204.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
890.43/222.94	c lits-rem:      2773  cl-subs:     6234  v-elim:      0  v-fix:    0  time: 74.46 s
890.43/222.94	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
890.43/222.95	c vivif2 --  cl tried    58106 cl shrink        0 lits rem          0 time: 0.04
891.64/223.30	c asymm  cl-useful: 0/670/5340 lits-rem:0 time: 1.38
891.64/223.30	c calculated reachability. Time: 0.00
892.04/223.30	c  N dy  4326   1210314        60      5340         0     58106     37380    804422     18.10   no data  --
915.98/229.35	c  N dy  4405   1234545        60      5340         0     79529     37380   1257599     18.09     19.11  --
931.59/233.27	c  N dy  4437   1255106        60      5340         0     55577     37380    729238     18.08     19.12  --
951.15/238.11	c  N dy  4543   1275337        60      5340         0     73509     37380   1114147     18.09     19.31  --
973.12/243.63	c  N dy  4625   1295350        60      5340         0     48100     37380    571875     18.09     20.63  --
994.69/249.03	c  N dy  4753   1315372        60      5340         0     65826     37380    958135     18.11     19.91  --
1023.46/256.28	c  N dy  4830   1337904        60      5340         0     85740     37380   1382602     18.11     19.09  --
1043.42/261.21	c  N dy  4903   1358088        60      5340         0     59401     37380    797988     18.12     19.17  --
1066.99/267.10	c  N dy  5021   1378098        60      5340         0     77179     37380   1185344     18.13     19.09  --
1089.78/272.84	c  N dy  5100   1398210        60      5340         0     49897     37380    586946     18.14     19.15  --
1106.54/277.05	c  N dy  5186   1418433        60      5340         0     67797     37380    970912     18.14     19.13  --
1134.09/283.96	c  N dy  5266   1444013        60      5340         0     90302     37380   1449852     18.14     19.23  --
1151.67/288.30	c  N dy  5358   1464105        60      5340         0     62163     37380    839634     18.14     21.68  --
1169.64/292.81	c  N dy  5404   1484278        60      5340         0     79921     37380   1216701     18.14     19.30  --
1190.02/297.90	c  N dy  5439   1504527        60      5340         0     50985     37380    588402     18.13     19.09  --
1207.19/302.24	c  N dy  5523   1524606        60      5340         0     68798     37380    968700     18.13     20.01  --
1231.16/308.27	c  N dy  5581   1547917        60      5340         0     89278     37380   1401924     18.13     19.12  --
1255.13/314.23	c  N dy  5673   1572417        60      5340         0     63260     37380    842341     18.13     19.17  --
1284.29/321.54	c  N dy  5727   1602872        60      5340         0     89973     37380   1404584     18.12     19.13  --
1307.46/327.35	c  N dy  5864   1622896        60      5340         0     59260     37380    756125     18.13     19.12  --
1328.61/332.69	c  N dy  5956   1644186        60      5340         0     78037     37380   1159481     18.14     19.19  --
1356.97/339.77	c  N dy  6080   1664191        60      5340         0     95724     37380   1544295     18.15     20.67  --
1377.34/344.87	c  N dy  6193   1684336        60      5340         0     64180     37380    848559     18.16     19.24  --
1403.71/351.42	c  N dy  6282   1710314        60      5340         0     87022     37380   1333767     18.16     15.33  --
1403.71/351.42	c  S st  6282   1710314        60      5340         0     87022     37380   1333767     18.16     15.33  --
1404.91/351.73	c  S st  6282   1710817        60      5340         0     87489     37380   1344503     18.16   no data  --
1404.91/351.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1404.91/351.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1404.91/351.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1405.31/351.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1405.31/351.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.31/351.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1405.31/351.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1615.01/404.34	c lits-rem:      6369  cl-subs:    10403  v-elim:      0  v-fix:    0  time: 209.71 s
1615.01/404.34	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1615.01/404.36	c vivif2 --  cl tried    77086 cl shrink        0 lits rem          0 time: 0.07
1617.03/404.80	c asymm  cl-useful: 0/498/5340 lits-rem:0 time: 1.79
1617.03/404.81	c calculated reachability. Time: 0.00
1617.03/404.81	c  N dy  6282   1710817        60      5340         0     77086     37380   1123162     18.16   no data  --
1652.18/413.62	c  N dy  6366   1730867        60      5340         0     94709     37380   1500554     18.16     20.30  --
1694.10/424.13	c  N dy  6480   1762549        60      5340         0     72924     37380   1019025     18.15     19.18  --
1730.46/433.24	c  N dy  6585   1782839        60      5340         0     90846     37380   1404379     18.16     19.12  --
1762.81/441.35	c  N dy  6662   1802883        60      5340         0     57729     37380    689877     18.16     19.54  --
1793.97/449.10	c  N dy  6788   1822933        60      5340         0     75524     37380   1077117     18.17     20.23  --
1827.12/457.41	c  N dy  6871   1842998        60      5340         0     93259     37380   1455999     18.18     19.68  --
1864.27/466.72	c  N dy  6981   1865378        60      5340         0     61037     37380    748410     18.18     19.21  --
1889.05/472.98	c  N dy  7047   1886255        60      5340         0     79528     37380   1145155     18.18     19.14  --
1928.18/482.71	c  N dy  7116   1911980        60      5340         0    102142     37380   1627477     18.18     19.20  --
1955.74/489.69	c  N dy  7225   1933328        60      5340         0     68121     37380    894247     18.19     19.23  --
1980.91/495.93	c  N dy  7315   1953331        60      5340         0     85848     37380   1277338     18.19     19.44  --
2005.27/502.07	c  N dy  7357   1973377        60      5340         0    103488     37380   1652869     18.19     21.11  --
2028.04/507.72	c  N dy  7466   1993468        60      5340         0     67383     37380    864444     18.19     19.70  --
2053.21/514.09	c  N dy  7587   2014492        60      5340         0     86057     37380   1270543     18.20     19.25  --
2080.37/520.86	c  N dy  7664   2034547        60      5340         0    103731     37380   1651761     18.21     19.17  --
2104.76/526.94	c  N dy  7744   2057184        60      5340         0     68877     37380    883901     18.21     19.21  --
2128.31/532.81	c  N dy  7836   2077412        60      5340         0     86821     37380   1271893     18.21     19.36  --
2159.07/540.56	c  N dy  7923   2100284        60      5340         0    107020     37380   1705563     18.21     19.18  --
2182.24/546.38	c  N dy  8009   2120315        60      5340         0     69073     37380    879757     18.22     22.34  --
2207.01/552.55	c  N dy  8114   2140693        60      5340         0     87104     37380   1268966     18.22     19.20  --
2234.98/559.53	c  N dy  8188   2160725        60      5340         0    104660     37380   1643227     18.22     20.74  --
2260.14/565.82	c  N dy  8246   2180836        60      5340         0     65906     37380    796694     18.22     19.28  --
2289.32/573.12	c  N dy  8319   2210818        60      5340         0     92123     37380   1347973     18.21     15.90  --
2289.32/573.12	c  S st  8319   2210818        60      5340         0     92123     37380   1347973     18.21     15.90  --
2290.49/573.40	c  S st  8319   2211321        60      5340         0     92571     37380   1358128     18.21   no data  --
2290.49/573.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2290.49/573.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2290.49/573.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
2290.49/573.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2290.49/573.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2290.49/573.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2290.49/573.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2391.95/598.87	c lits-rem:      5975  cl-subs:    11341  v-elim:      0  v-fix:    0  time: 101.36 s
2391.95/598.87	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2391.95/598.89	c vivif2 --  cl tried    81230 cl shrink        0 lits rem          0 time: 0.06
2393.15/599.18	c asymm  cl-useful: 0/677/5340 lits-rem:0 time: 1.16
2393.15/599.18	c calculated reachability. Time: 0.00
2393.15/599.18	c  N dy  8319   2211321        60      5340         0     81230     37380   1129899     18.21   no data  --
2417.12/605.19	c  N dy  8375   2231368        60      5340         0     98779     37380   1501241     18.21     19.85  --
2451.50/613.71	c  N dy  8472   2256675        60      5340         0     64565     37380    770796     18.21     19.27  --
2480.24/620.95	c  N dy  8502   2284985        60      5340         0     89347     37380   1287301     18.20     19.23  --
2529.77/633.32	c  N dy  8557   2326019        60      5340         0     67708     37380    816935     18.18     19.40  --
2555.73/639.88	c  N dy  8672   2346062        60      5340         0     85366     37380   1200346     18.19     19.20  --
2587.71/647.80	c  N dy  8750   2366144        60      5340         0    103109     37380   1582394     18.19     20.62  --
2627.65/657.87	c  N dy  8832   2386230        60      5340         0     62106     37380    692459     18.19     19.76  --
2673.17/669.25	c  N dy  8958   2418818        60      5340         0     90802     37380   1305310     18.19     19.30  --
2748.27/688.09	c  N dy  9093   2458480        60      5340         0     65852     37380    756590     18.19     19.26  --
2773.84/694.49	c  N dy  9124   2478495        60      5340         0     83409     37380   1125072     18.18     19.33  --
2808.58/703.19	c  N dy  9204   2498622        60      5340         0    101084     37380   1505500     18.18     19.16  --
2849.33/713.33	c  N dy  9284   2518747        60      5340         0    118805     37380   1886945     18.19     19.15  --
2883.68/721.99	c  N dy  9425   2538875        60      5340         0     75992     37380    978648     18.20     19.28  --
2920.84/731.25	c  N dy  9554   2558963        60      5340         0     93724     37380   1366103     18.20     21.01  --
2965.58/742.41	c  N dy  9694   2578976        60      5340         0    111432     37380   1754387     18.21     19.85  --
3003.52/751.91	c  N dy  9786   2599049        60      5340         0     67510     37380    777262     18.22     20.01  --
3031.49/758.91	c  N dy  9897   2619068        60      5340         0     85257     37380   1162912     18.22     19.26  --
3064.23/767.17	c  N dy  9991   2639265        60      5340         0    103079     37380   1544779     18.22     19.21  --
3101.80/776.53	c  N dy 10048   2661251        60      5340         0    122407     37380   1957869     18.22     19.20  --
3135.73/785.03	c  N dy 10157   2691189        60      5340         0     86132     37380   1166609     18.22     19.21  --
3165.70/792.57	c  N dy 10260   2711219        60      5340         0    103791     37380   1549000     18.22     19.61  --
3166.10/792.62	c  S st 10262   2711322        60      5340         0    103883     37380   1551053     18.22   no data  --
3167.30/792.95	c  S st 10262   2711824        60      5340         0    104332     37380   1560952     18.22   no data  --
3167.30/792.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3167.30/792.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3167.71/793.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3167.71/793.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3167.71/793.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3167.71/793.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3167.71/793.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3549.57/888.69	c lits-rem:      5427  cl-subs:    11526  v-elim:      0  v-fix:    0  time: 382.01 s
3549.57/888.70	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3549.98/888.71	c vivif2 --  cl tried    92806 cl shrink        0 lits rem          0 time: 0.06
3551.16/889.04	c asymm  cl-useful: 0/468/5340 lits-rem:0 time: 1.32
3551.16/889.05	c calculated reachability. Time: 0.00
3551.16/889.05	c  N dy 10262   2711824        60      5340         0     92806     37380   1317610     18.22   no data  --
3581.52/896.64	c  N dy 10306   2733492        60      5340         0    111775     37380   1718683     18.22     19.33  --
3615.89/905.21	c  N dy 10387   2753498        60      5340         0     66720     37380    750471     18.22     19.58  --
3638.26/910.84	c  N dy 10485   2773574        60      5340         0     84382     37380   1132748     18.23     19.88  --
3667.00/918.08	c  N dy 10586   2793585        60      5340         0    102112     37380   1518184     18.23     20.10  --
3705.35/927.68	c  N dy 10727   2813623        60      5340         0    119816     37380   1907826     18.24     22.36  --
3740.10/936.39	c  N dy 10832   2833641        60      5340         0     73484     37380    884240     18.25     19.33  --
3769.67/943.71	c  N dy 10905   2854148        60      5340         0     91574     37380   1269935     18.25     19.31  --
3808.01/953.36	c  N dy 11021   2874932        60      5340         0    109879     37380   1667606     18.25     19.35  --
3866.35/967.93	c  N dy 11078   2907424        60      5340         0     73227     37380    855167     18.24     19.29  --
3899.89/976.35	c  N dy 11152   2927979        60      5340         0     91382     37380   1242548     18.24     19.21  --
3943.42/987.28	c  N dy 11256   2948881        60      5340         0    109861     37380   1642271     18.24     19.23  --
3988.56/998.53	c  N dy 11332   2969014        60      5340         0    127570     37380   2022225     18.24     19.24  --
4028.92/1008.64	c  N dy 11464   2989087        60      5340         0     79326     37380    988174     18.25     20.09  --
4073.27/1019.75	c  N dy 11483   3019709        60      5340         0    105893     37380   1542956     18.24     19.33  --
4120.78/1031.60	c  N dy 11597   3039738        60      5340         0    123564     37380   1929904     18.25     19.40  --
4156.35/1040.56	c  N dy 11620   3061161        60      5340         0     75526     37380    888334     18.24     19.35  --
4210.65/1054.14	c  N dy 11693   3098336        60      5340         0    108117     37380   1569169     18.23     19.21  --
4255.79/1065.44	c  N dy 11778   3118523        60      5340         0    125877     37380   1949308     18.23     19.24  --
4316.50/1080.68	c  N dy 11876   3153802        60      5340         0     89361     37380   1174455     18.22     19.28  --
4357.25/1090.87	c  N dy 12021   3173835        60      5340         0    107125     37380   1566477     18.23     20.48  --
4398.79/1101.26	c  N dy 12070   3194640        60      5340         0    125354     37380   1951949     18.23     19.21  --
4443.13/1112.31	c  S st 12182   3211824        60      5340         0     71954     37380    801488     18.23   no data  --
4443.93/1112.59	c  S st 12182   3212326        60      5340         0     72399     37380    811421     18.23   no data  --
4444.33/1112.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4444.33/1112.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4444.33/1112.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
4444.33/1112.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4444.33/1112.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4444.33/1112.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4444.33/1112.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4550.58/1139.27	c lits-rem:       606  cl-subs:      817  v-elim:      0  v-fix:    0  time: 106.23 s
4550.58/1139.27	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4550.58/1139.29	c vivif2 --  cl tried    71582 cl shrink        0 lits rem          0 time: 0.05
4552.20/1139.66	c asymm  cl-useful: 0/582/5340 lits-rem:0 time: 1.49
4552.20/1139.66	c calculated reachability. Time: 0.00
4552.20/1139.66	c  N dy 12182   3212326        60      5340         0     71582     37380    792148     18.23   no data  --
4582.14/1147.10	c  N dy 12270   3238683        60      5340         0     94794     37380   1287792     18.23     19.22  --
4614.10/1155.16	c  N dy 12394   3258758        60      5340         0    112533     37380   1675457     18.24     19.82  --
4652.86/1164.86	c  N dy 12475   3280996        60      5340         0    132077     37380   2098427     18.24     19.30  --
4683.62/1172.56	c  N dy 12528   3302419        60      5340         0     81395     37380    985530     18.23     19.25  --
4716.76/1180.81	c  N dy 12670   3324277        60      5340         0    100683     37380   1406364     18.24     19.25  --
4774.28/1195.29	c  N dy 12795   3360222        60      5340         0    132240     37380   2073899     18.24     19.31  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.50 7.91 7.63 6/180 32072
/proc/meminfo: memFree=24664236/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=281788 CPUtime=0 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 779 0 0 0 0 0 0 0 25 0 4 0 602363669 288550912 695 33554432000 4194304 4650419 140734010567280 18446744073709551615 4373896 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 70447 697 343 112 0 65412 0
[pid=32072/tid=32073] ppid=32070 vsize=281788 CPUtime=0 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 73 0 0 0 0 0 0 0 25 0 4 0 602363670 288550912 700 33554432000 4194304 4650419 140734010567280 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=281788 CPUtime=0 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 77 0 0 0 0 0 0 0 25 0 4 0 602363670 288550912 702 33554432000 4194304 4650419 140734010567280 18446744073709551615 215988289291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=281788 CPUtime=0 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 112 0 0 0 0 0 0 0 25 0 4 0 602363670 288550912 704 33554432000 4194304 4650419 140734010567280 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0925219 s]
/proc/loadavg: 7.50 7.91 7.63 6/180 32072
/proc/meminfo: memFree=24664236/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=281908 CPUtime=0.35 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 1315 0 0 0 35 0 0 0 25 0 4 0 602363669 288673792 1231 33554432000 4194304 4650419 140734010567280 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 70477 1231 366 112 0 65442 0
[pid=32072/tid=32073] ppid=32070 vsize=281908 CPUtime=0.08 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 193 0 0 0 8 0 0 0 25 0 4 0 602363670 288673792 1231 33554432000 4194304 4650419 140734010567280 18446744073709551615 4370637 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=281908 CPUtime=0.08 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 177 0 0 0 8 0 0 0 25 0 4 0 602363670 288673792 1231 33554432000 4194304 4650419 140734010567280 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=281908 CPUtime=0.08 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 322 0 0 0 8 0 0 0 25 0 4 0 602363670 288673792 1231 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 281908

[startup+0.10052 s]
/proc/loadavg: 7.50 7.91 7.63 6/180 32072
/proc/meminfo: memFree=24664236/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=281908 CPUtime=0.38 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 1323 0 0 0 38 0 0 0 25 0 4 0 602363669 288673792 1239 33554432000 4194304 4650419 140734010567280 18446744073709551615 4370892 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 70477 1239 366 112 0 65442 0
[pid=32072/tid=32073] ppid=32070 vsize=281908 CPUtime=0.09 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 193 0 0 0 9 0 0 0 25 0 4 0 602363670 288673792 1239 33554432000 4194304 4650419 140734010567280 18446744073709551615 4371151 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=281908 CPUtime=0.09 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 178 0 0 0 9 0 0 0 25 0 4 0 602363670 288673792 1239 33554432000 4194304 4650419 140734010567280 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=281908 CPUtime=0.09 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 328 0 0 0 9 0 0 0 25 0 4 0 602363670 288673792 1239 33554432000 4194304 4650419 140734010567280 18446744073709551615 4360332 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 281908

[startup+0.300487 s]
/proc/loadavg: 7.50 7.91 7.63 6/180 32072
/proc/meminfo: memFree=24664236/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=285416 CPUtime=1.18 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 3634 0 0 0 118 0 0 0 25 0 4 0 602363669 292265984 2694 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 71354 2694 390 112 0 66319 0
[pid=32072/tid=32073] ppid=32070 vsize=285416 CPUtime=0.29 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 863 0 0 0 29 0 0 0 18 0 4 0 602363670 292265984 2694 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=285416 CPUtime=0.29 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 822 0 0 0 29 0 0 0 18 0 4 0 602363670 292265984 2694 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=285416 CPUtime=0.29 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 641 0 0 0 29 0 0 0 25 0 4 0 602363670 292265984 2694 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365538 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 285416

[startup+0.700417 s]
/proc/loadavg: 7.50 7.91 7.63 6/180 32072
/proc/meminfo: memFree=24664236/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=286528 CPUtime=2.77 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 5617 0 0 0 277 0 0 0 25 0 4 0 602363669 293404672 3492 33554432000 4194304 4650419 140734010567280 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 71632 3492 390 112 0 66597 0
[pid=32072/tid=32073] ppid=32070 vsize=286528 CPUtime=0.69 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 1305 0 0 0 69 0 0 0 18 0 4 0 602363670 293404672 3492 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=286528 CPUtime=0.69 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 1270 0 0 0 69 0 0 0 18 0 4 0 602363670 293404672 3492 33554432000 4194304 4650419 140734010567280 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=286528 CPUtime=0.69 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 1277 0 0 0 69 0 0 0 25 0 4 0 602363670 293404672 3492 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286528

[startup+1.50028 s]
/proc/loadavg: 7.50 7.91 7.63 9/184 32076
/proc/meminfo: memFree=24637740/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=287620 CPUtime=5.98 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 10005 0 0 0 596 2 0 0 25 0 4 0 602363669 294522880 5382 33554432000 4194304 4650419 140734010567280 18446744073709551615 4439111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 71905 5382 392 112 0 66870 0
[pid=32072/tid=32073] ppid=32070 vsize=287620 CPUtime=1.49 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 2113 0 0 0 149 0 0 0 19 0 4 0 602363670 294522880 5382 33554432000 4194304 4650419 140734010567280 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=287620 CPUtime=1.48 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 2084 0 0 0 148 0 0 0 19 0 4 0 602363670 294522880 5382 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=287620 CPUtime=1.49 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 2094 0 0 0 149 0 0 0 25 0 4 0 602363670 294522880 5382 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 287620

[startup+3.101 s]
/proc/loadavg: 7.50 7.91 7.63 9/184 32076
/proc/meminfo: memFree=24611328/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=286396 CPUtime=12.37 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 16574 0 0 0 1234 3 0 0 25 0 4 0 602363669 293269504 10142 33554432000 4194304 4650419 140734010567280 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 71599 10142 392 112 0 66564 0
[pid=32072/tid=32073] ppid=32070 vsize=286396 CPUtime=3.09 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 3660 0 0 0 309 0 0 0 24 0 4 0 602363670 293269504 10142 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=286396 CPUtime=3.07 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 4284 0 0 0 307 0 0 0 25 0 4 0 602363670 293269504 10142 33554432000 4194304 4650419 140734010567280 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=286396 CPUtime=3.08 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 4413 0 0 0 308 0 0 0 25 0 4 0 602363670 293269504 10142 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 286396

[startup+6.30044 s]
/proc/loadavg: 7.62 7.92 7.64 9/184 32076
/proc/meminfo: memFree=24578352/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=315056 CPUtime=25.15 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 24058 0 0 0 2510 5 0 0 25 0 4 0 602363669 322617344 13234 33554432000 4194304 4650419 140734010567280 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 78764 13234 392 112 0 73729 0
[pid=32072/tid=32073] ppid=32070 vsize=315056 CPUtime=6.29 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 6172 0 0 0 628 1 0 0 25 0 4 0 602363670 322617344 13234 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=315056 CPUtime=6.26 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 5810 0 0 0 625 1 0 0 25 0 4 0 602363670 322617344 13234 33554432000 4194304 4650419 140734010567280 18446744073709551615 4229242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=315056 CPUtime=6.29 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 6390 0 0 0 628 1 0 0 25 0 4 0 602363670 322617344 13234 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 315056

[startup+12.7003 s]
/proc/loadavg: 7.65 7.93 7.64 9/184 32076
/proc/meminfo: memFree=24546380/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=315764 CPUtime=50.72 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 35619 0 0 0 5064 8 0 0 25 0 4 0 602363669 323342336 18659 33554432000 4194304 4650419 140734010567280 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 78941 18659 392 112 0 73906 0
[pid=32072/tid=32073] ppid=32070 vsize=315764 CPUtime=12.69 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 9154 0 0 0 1267 2 0 0 25 0 4 0 602363670 323342336 18659 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=315764 CPUtime=12.63 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 7957 0 0 0 1262 1 0 0 25 0 4 0 602363670 323342336 18659 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=315764 CPUtime=12.68 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 9873 0 0 0 1267 1 0 0 25 0 4 0 602363670 323342336 18660 33554432000 4194304 4650419 140734010567280 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 315764

[startup+25.5011 s]
/proc/loadavg: 7.72 7.93 7.64 10/184 32077
/proc/meminfo: memFree=24510804/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=311592 CPUtime=101.85 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 53420 0 0 0 10173 12 0 0 25 0 4 0 602363669 319070208 23425 33554432000 4194304 4650419 140734010567280 18446744073709551615 4432399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 77898 23425 392 112 0 72863 0
[pid=32072/tid=32073] ppid=32070 vsize=311592 CPUtime=25.48 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 14180 0 0 0 2545 3 0 0 25 0 4 0 602363670 319070208 23425 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=311592 CPUtime=25.36 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 11021 0 0 0 2534 2 0 0 25 0 4 0 602363670 319070208 23425 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=311592 CPUtime=25.49 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 14606 0 0 0 2547 2 0 0 25 0 4 0 602363670 319070208 23425 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 311592

[startup+51.1006 s]
/proc/loadavg: 7.96 7.97 7.66 9/184 32107
/proc/meminfo: memFree=24484416/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=292904 CPUtime=204.13 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 79200 0 0 0 20394 19 0 0 25 0 4 0 602363669 299933696 25568 33554432000 4194304 4650419 140734010567280 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 73226 25569 392 112 0 68191 0
[pid=32072/tid=32073] ppid=32070 vsize=292904 CPUtime=51.08 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 21188 0 0 0 5104 4 0 0 25 0 4 0 602363670 299933696 25569 33554432000 4194304 4650419 140734010567280 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=292904 CPUtime=50.84 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 17089 0 0 0 5080 4 0 0 25 0 4 0 602363670 299933696 25569 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=292904 CPUtime=51.08 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 22317 0 0 0 5104 4 0 0 25 0 4 0 602363670 299933696 25569 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 292904

[startup+102.307 s]
/proc/loadavg: 8.03 7.98 7.68 9/184 32109
/proc/meminfo: memFree=24400360/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=304412 CPUtime=408.68 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 119935 0 0 0 40837 31 0 0 25 0 4 0 602363669 311717888 30013 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 76103 30013 392 112 0 71068 0
[pid=32072/tid=32073] ppid=32070 vsize=304412 CPUtime=102.3 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 31231 0 0 0 10223 7 0 0 25 0 4 0 602363670 311717888 30013 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=304412 CPUtime=101.78 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 26879 0 0 0 10171 7 0 0 25 0 4 0 602363670 311717888 30013 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=304412 CPUtime=102.3 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 35527 0 0 0 10221 9 0 0 25 0 4 0 602363670 311717888 30013 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 304412

[startup+162.301 s]

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

[pid=32072] ppid=32070 vsize=474012 CPUtime=2805.39 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 374697 0 0 0 280418 121 0 0 25 0 4 0 602363669 485388288 67326 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 118503 67326 392 112 0 113468 0
[pid=32072/tid=32073] ppid=32070 vsize=474012 CPUtime=702.3 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 96776 0 0 0 70204 26 0 0 25 0 4 0 602363670 485388288 67326 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=474012 CPUtime=698.59 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 75403 0 0 0 69831 28 0 0 25 0 4 0 602363670 485388288 67326 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=474012 CPUtime=702.3 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 108995 0 0 0 70197 33 0 0 25 0 4 0 602363670 485388288 67326 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 474012

[startup+762.306 s]
/proc/loadavg: 8.01 8.06 7.87 9/184 32135
/proc/meminfo: memFree=24063740/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=367612 CPUtime=3045.08 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 403976 0 0 0 304380 128 0 0 25 0 4 0 602363669 376434688 67367 33554432000 4194304 4650419 140734010567280 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 91903 67367 392 112 0 86868 0
[pid=32072/tid=32073] ppid=32070 vsize=367612 CPUtime=762.31 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 104411 0 0 0 76203 28 0 0 25 0 4 0 602363670 376434688 67367 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=367612 CPUtime=758.26 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 80175 0 0 0 75797 29 0 0 25 0 4 0 602363670 376434688 67367 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=367612 CPUtime=762.3 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 121286 0 0 0 76196 34 0 0 25 0 4 0 602363670 376434688 67367 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 367612

[startup+822.301 s]
/proc/loadavg: 8.00 8.05 7.88 9/184 32137
/proc/meminfo: memFree=24059468/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=379968 CPUtime=3284.73 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 418876 0 0 0 328339 134 0 0 25 0 4 0 602363669 389087232 72040 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 94992 72040 392 112 0 89957 0
[pid=32072/tid=32073] ppid=32070 vsize=379968 CPUtime=822.31 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 108007 0 0 0 82201 30 0 0 25 0 4 0 602363670 389087232 72040 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=379968 CPUtime=817.94 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 85396 0 0 0 81763 31 0 0 25 0 4 0 602363670 389087232 72040 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=379968 CPUtime=822.29 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 123634 0 0 0 82194 35 0 0 25 0 4 0 602363670 389087232 72040 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 379968

[startup+882.301 s]
/proc/loadavg: 8.00 8.04 7.88 9/184 32138
/proc/meminfo: memFree=24038484/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=380020 CPUtime=3524.4 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 422660 0 0 0 352304 136 0 0 25 0 4 0 602363669 389140480 72705 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 95005 72705 392 112 0 89970 0
[pid=32072/tid=32073] ppid=32070 vsize=380020 CPUtime=882.3 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 108388 0 0 0 88200 30 0 0 25 0 4 0 602363670 389140480 72705 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=380020 CPUtime=877.6 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 88490 0 0 0 87729 31 0 0 25 0 4 0 602363670 389140480 72705 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=380020 CPUtime=882.29 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 123838 0 0 0 88194 35 0 0 25 0 4 0 602363670 389140480 72705 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 380020

[startup+942.301 s]
/proc/loadavg: 8.05 8.04 7.90 9/184 32140
/proc/meminfo: memFree=24011664/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=515732 CPUtime=3764.06 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 441864 0 0 0 376262 144 0 0 25 0 4 0 602363669 528109568 73993 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 128933 73993 392 112 0 123898 0
[pid=32072/tid=32073] ppid=32070 vsize=515732 CPUtime=942.31 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 113376 0 0 0 94199 32 0 0 25 0 4 0 602363670 528109568 73993 33554432000 4194304 4650419 140734010567280 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=515732 CPUtime=937.28 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 93521 0 0 0 93695 33 0 0 25 0 4 0 602363670 528109568 73993 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=515732 CPUtime=942.3 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 127919 0 0 0 94192 38 0 0 25 0 4 0 602363670 528109568 73993 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 515732

[startup+1002.3 s]
/proc/loadavg: 8.13 8.06 7.91 9/184 32142
/proc/meminfo: memFree=23989664/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=515848 CPUtime=4003.74 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 450884 0 0 0 400225 149 0 0 25 0 4 0 602363669 528228352 77806 33554432000 4194304 4650419 140734010567280 18446744073709551615 4313463 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 128962 77806 392 112 0 123927 0
[pid=32072/tid=32073] ppid=32070 vsize=515848 CPUtime=1002.31 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 113378 0 0 0 100199 32 0 0 25 0 4 0 602363670 528228352 77806 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=515848 CPUtime=996.96 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 98014 0 0 0 99660 36 0 0 25 0 4 0 602363670 528228352 77806 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=515848 CPUtime=1002.29 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 128959 0 0 0 100191 38 0 0 25 0 4 0 602363670 528228352 77806 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 515848

[startup+1062.3 s]
/proc/loadavg: 8.15 8.08 7.92 9/184 32143
/proc/meminfo: memFree=23987620/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=515916 CPUtime=4243.41 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 456656 0 0 0 424188 153 0 0 25 0 4 0 602363669 528297984 75860 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 128979 75860 392 112 0 123944 0
[pid=32072/tid=32073] ppid=32070 vsize=515916 CPUtime=1062.31 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 113378 0 0 0 106199 32 0 0 25 0 4 0 602363670 528297984 75860 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=515916 CPUtime=1056.63 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 101316 0 0 0 105625 38 0 0 25 0 4 0 602363670 528297984 75860 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=515916 CPUtime=1062.29 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 129022 0 0 0 106191 38 0 0 25 0 4 0 602363670 528297984 75860 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 515916

[startup+1122.3 s]
/proc/loadavg: 8.09 8.08 7.93 9/184 32145
/proc/meminfo: memFree=23973440/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=523312 CPUtime=4483.07 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 466566 0 0 0 448150 157 0 0 25 0 4 0 602363669 535871488 77936 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 130828 77936 392 112 0 125793 0
[pid=32072/tid=32073] ppid=32070 vsize=523312 CPUtime=1122.31 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 116198 0 0 0 112198 33 0 0 25 0 4 0 602363670 535871488 77936 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=523312 CPUtime=1116.3 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 104996 0 0 0 111591 39 0 0 25 0 4 0 602363670 535871488 77936 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=523312 CPUtime=1122.3 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 129022 0 0 0 112192 38 0 0 25 0 4 0 602363670 535871488 77936 33554432000 4194304 4650419 140734010567280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 523312

[startup+1182.3 s]
/proc/loadavg: 8.07 8.07 7.93 9/184 32146
/proc/meminfo: memFree=23960620/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=525504 CPUtime=4722.74 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 479634 0 0 0 472111 163 0 0 25 0 4 0 602363669 538116096 79279 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 131376 79279 392 112 0 126341 0
[pid=32072/tid=32073] ppid=32070 vsize=525504 CPUtime=1182.31 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 119687 0 0 0 118196 35 0 0 25 0 4 0 602363670 538116096 79279 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=525504 CPUtime=1175.98 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 108828 0 0 0 117557 41 0 0 25 0 4 0 602363670 538116096 79279 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=525504 CPUtime=1182.31 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 132083 0 0 0 118191 40 0 0 25 0 4 0 602363670 538116096 79279 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 525504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 8.07 7.93 9/184 32147
/proc/meminfo: memFree=23950320/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=525556 CPUtime=4800.26 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 486183 0 0 0 479860 166 0 0 25 0 4 0 602363669 538169344 83057 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 131389 83057 392 112 0 126354 0
[pid=32072/tid=32073] ppid=32070 vsize=525556 CPUtime=1201.72 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 121722 0 0 0 120137 35 0 0 25 0 4 0 602363670 538169344 83057 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=525556 CPUtime=1195.28 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 110709 0 0 0 119486 42 0 0 25 0 4 0 602363670 538169344 83057 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=525556 CPUtime=1201.71 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 132838 0 0 0 120131 40 0 0 25 0 4 0 602363670 538169344 83057 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 525556

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

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

[startup+1201.7 s]
/proc/loadavg: 8.05 8.07 7.93 9/184 32147
/proc/meminfo: memFree=23950320/32950940 swapFree=67111364/67111528
[pid=32072] ppid=32070 vsize=525556 CPUtime=4800.26 cores=0,2,4,6
/proc/32072/stat : 32072 (strangenight1-m) R 32070 32072 31608 0 -1 4202496 486183 0 0 0 479860 166 0 0 25 0 4 0 602363669 538169344 83057 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32072/statm: 131389 83057 392 112 0 126354 0
[pid=32072/tid=32073] ppid=32070 vsize=525556 CPUtime=1201.72 cores=0,2,4,6
/proc/32072/task/32073/stat : 32073 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 121722 0 0 0 120137 35 0 0 25 0 4 0 602363670 538169344 83057 33554432000 4194304 4650419 140734010567280 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32072/tid=32074] ppid=32070 vsize=525556 CPUtime=1195.28 cores=0,2,4,6
/proc/32072/task/32074/stat : 32074 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 110709 0 0 0 119486 42 0 0 25 0 4 0 602363670 538169344 83057 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32072/tid=32075] ppid=32070 vsize=525556 CPUtime=1201.71 cores=0,2,4,6
/proc/32072/task/32075/stat : 32075 (strangenight1-m) R 32070 32072 31608 0 -1 4202560 132838 0 0 0 120131 40 0 0 25 0 4 0 602363670 538169344 83057 33554432000 4194304 4650419 140734010567280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 525556

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.3
CPU user time (s): 4798.62
CPU system time (s): 1.67774
CPU usage (%): 399.45
Max. virtual memory (cumulated for all children) (KiB): 528668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.62
system time used= 1.67774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486183
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237
involuntary context switches= 23922

runsolver used 1.86772 second user time and 4.5953 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 01:55:29
IDJOB=3175367
IDBENCH=82985
IDSOLVER=1588
FILE ID=node117/3175367-1304121329
RUNJOBID= node117-1304120125-31952
PBS_JOBID= 13170714
Free space on /tmp= 71676 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175367-1304121329/watcher-3175367-1304121329 -o /tmp/evaluation-result-3175367-1304121329/solver-3175367-1304121329 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175367-1304121329.cnf

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

MD5SUM BENCH= 14f99f1ef2d8eb11eba1a00a818c14a6
RANDOM SEED=1102064278

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24664392 kB
Buffers:       1865872 kB
Cached:        5792520 kB
SwapCached:        160 kB
Active:         693868 kB
Inactive:      7033968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24664392 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12468 kB
Writeback:           0 kB
AnonPages:       69296 kB
Mapped:          15468 kB
Slab:           495312 kB
PageTables:       4636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   277696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71668 MiB
End job on node117 at 2011-04-30 02:15:33