Trace number 3368813

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.15 1203.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf
MD5SUMc17bf9a7166c271aab493c355a187474
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05399
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.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-3368813-1305403538.cnf'
0.00/0.01	c -- header says num vars:             50
0.00/0.01	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.29/0.11	c Parsing time:  0.01 s
0.29/0.11	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.29/0.11	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
0.29/0.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.29/0.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.29/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.29/0.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.29/0.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3.57/0.93	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.93	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.57/0.93	c calculated reachability. Time: 0.00
3.57/0.93	c Calc default polars -  time:   0.00 s pos:      26 undec:       2 neg:      22
3.57/0.93	c =========================================================================================
3.57/0.93	c types(t): F = full restart, N = normal restart
3.57/0.93	c types(t): S = simplification begin/end, E = solution found
3.57/0.93	c restart types(rt): st = static, dy = dynamic
3.57/0.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.93	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.57/0.93	c  N dy     7      4591        50      4450         0      3957     31150     71865     15.19     15.99  --
3.57/0.93	c  N dy    23      8622        50      4450         0      5318     31150     93373     15.51     16.35  --
3.57/0.93	c  N dy    29     12704        50      4450         0      5168     31150     83699     15.19     17.16  --
3.57/0.93	c  N dy    54     16714        50      4450         0      8682     31150    148646     15.47     16.31  --
3.57/0.93	c  N dy    62     20868        50      4450         0      7360     31150    116659     15.23     16.05  --
3.99/1.03	c  N dy    82     24940        50      4450         0     10910     31150    180582     15.30     16.48  --
3.99/1.03	c  F st    83     25001        50      4450         0     10965     31150    181619     15.31   no data  --
4.75/1.22	c  N dy    89     30002        50      4450         0      9376     31150    150259     15.31   no data  --
4.75/1.22	c  S st    89     30002        50      4450         0      9376     31150    150259     15.31   no data  --
4.75/1.25	c  S st    89     30503        50      4450         0      9832     31150    158951     15.31   no data  --
4.75/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.75/1.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.75/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.75/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.75/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.75/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.75/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.80/2.22	c lits-rem:      1327  cl-subs:     1564  v-elim:      0  v-fix:    0  time:  3.80 s
9.54/2.43	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.86
9.54/2.43	c calculated reachability. Time: 0.00
9.54/2.43	c  N dy    89     30503        50      4450         0      8268     31150    131984     15.31   no data  --
11.14/2.88	c  N dy   106     40410        50      4450         0     10036     31150    151186     15.06     15.93  --
12.34/3.10	c  N dy   136     44415        50      4450         0     13531     31150    216142     15.21     16.73  --
12.34/3.19	c  S st   150     45756        50      4450         0     14691     31150    237984     15.27   no data  --
12.76/3.25	c  S st   150     46259        50      4450         0     15136     31150    246538     15.27   no data  --
12.76/3.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.76/3.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.76/3.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.76/3.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.76/3.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.76/3.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.76/3.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.92/4.58	c lits-rem:      1956  cl-subs:     2598  v-elim:      0  v-fix:    0  time:  5.25 s
17.92/4.58	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.92/4.58	c vivif2 --  cl tried    12538 cl shrink        0 lits rem          0 time: 0.01
19.11/4.89	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.22
19.11/4.89	c calculated reachability. Time: 0.00
19.11/4.89	c  N dy   150     46259        50      4450         0     12538     31150    200568     15.27   no data  --
20.31/5.14	c  N dy   177     50368        50      4450         0      8587     31150    121942     15.37     16.27  --
21.53/5.46	c  N dy   182     57040        50      4450         0     14347     31150    221534     15.20     16.11  --
22.70/5.75	c  N dy   221     61323        50      4450         0      9571     31150    132595     15.33     16.20  --
23.90/6.01	c  N dy   227     67053        50      4450         0     14537     31150    221509     15.25     16.09  --
24.30/6.18	c  S st   243     69389        50      4450         0     16589     31150    259269     15.28     13.62  --
24.70/6.22	c  S st   243     69889        50      4450         0     17038     31150    267875     15.28   no data  --
24.70/6.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.70/6.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.70/6.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
24.70/6.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.70/6.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.70/6.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
24.70/6.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.48/7.46	c lits-rem:      2331  cl-subs:     2529  v-elim:      0  v-fix:    0  time:  4.90 s
29.48/7.46	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
29.48/7.47	c vivif2 --  cl tried    14509 cl shrink        0 lits rem          0 time: 0.01
31.07/7.83	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.46
31.07/7.84	c calculated reachability. Time: 0.00
31.07/7.84	c  N dy   243     69889        50      4450         0     14509     31150    222931     15.28   no data  --
32.27/8.16	c  N dy   276     74355        50      4450         0     18416     31150    295904     15.37     16.23  --
33.47/8.46	c  N dy   315     79203        50      4450         0     13311     31150    195747     15.46     16.28  --
34.69/8.80	c  N dy   324     84467        50      4450         0     17870     31150    277041     15.42     16.33  --
35.85/9.05	c  F st   348     87503        50      4450         0     20509     31150    326611     15.47   no data  --
36.65/9.24	c  N st   353     90802        50      4450         0     13081     31150    183462     15.47   no data  --
40.23/10.11	c  N dy   381    104311        50      4450         0     13480     31150    181182     15.38     16.36  --
40.23/10.15	c  S st   387    104835        50      4450         0     13940     31150    189784     15.39   no data  --
40.23/10.19	c  S st   387    105340        50      4450         0     14394     31150    198562     15.39   no data  --
40.23/10.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.23/10.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.63/10.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
40.63/10.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.63/10.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.63/10.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
40.63/10.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.22/11.12	c lits-rem:       713  cl-subs:     1043  v-elim:      0  v-fix:    0  time:  3.65 s
44.22/11.12	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
44.22/11.12	c vivif2 --  cl tried    13351 cl shrink        0 lits rem          0 time: 0.00
45.42/11.42	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.20
45.42/11.42	c calculated reachability. Time: 0.00
45.42/11.42	c  N dy   387    105340        50      4450         0     13351     31150    181534     15.39   no data  --
47.02/11.87	c  N dy   417    112063        50      4450         0     19185     31150    288654     15.43     16.42  --
49.40/12.47	c  N dy   421    120723        50      4450         0     14614     31150    193913     15.32     16.27  --
52.22/13.14	c  N dy   450    130151        50      4450         0     22732     31150    339668     15.31     16.12  --
55.38/13.97	c  N dy   505    140703        50      4450         0     19001     31150    269711     15.37     16.27  --
58.57/14.74	c  N dy   533    149716        50      4450         0     26770     31150    407597     15.35     17.32  --
61.41/15.43	c  S st   598    158011        50      4450         0     20176     31150    287352     15.42     14.79  --
61.41/15.49	c  S st   598    158515        50      4450         0     20623     31150    295951     15.42   no data  --
61.41/15.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.41/15.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.41/15.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
61.76/15.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.76/15.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.76/15.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
61.76/15.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
66.15/16.68	c lits-rem:      1318  cl-subs:     1740  v-elim:      0  v-fix:    0  time:  4.70 s
66.15/16.68	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
66.15/16.68	c vivif2 --  cl tried    18883 cl shrink        0 lits rem          0 time: 0.01
67.75/17.04	c asymm  cl-useful: 0/3711/4450 lits-rem:0 time: 1.42
67.75/17.04	c calculated reachability. Time: 0.00
67.75/17.04	c  N dy   598    158515        50      4450         0     18883     31150    262224     15.42   no data  --
71.33/17.99	c  N dy   642    168718        50      4450         0     27601     31150    419506     15.42     17.70  --
75.32/18.93	c  N dy   701    179695        50      4450         0     22604     31150    323811     15.44     16.31  --
85.29/21.44	c  N dy   760    207617        50      4450         0     30959     31150    450729     15.34     16.19  --
90.07/22.64	c  N dy   832    220957        50      4450         0     26248     31150    375610     15.37     17.65  --
96.51/24.21	c  N dy   862    237773        50      4450         0     23451     31150    308857     15.31     15.38  --
96.51/24.21	c  S st   862    237773        50      4450         0     23451     31150    308857     15.31     15.38  --
96.51/24.28	c  S st   862    238277        50      4450         0     23907     31150    317506     15.31   no data  --
96.51/24.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.51/24.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.51/24.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.51/24.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.51/24.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.51/24.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
96.51/24.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.24/25.94	c lits-rem:      1083  cl-subs:     2514  v-elim:      0  v-fix:    0  time:  6.56 s
103.24/25.94	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
103.24/25.94	c vivif2 --  cl tried    21393 cl shrink        0 lits rem          0 time: 0.01
103.64/26.03	c asymm  cl-useful: 0/739/4450 lits-rem:0 time: 0.36
103.64/26.03	c calculated reachability. Time: 0.00
103.64/26.03	c  N dy   862    238277        50      4450         0     21393     31150    275945     15.31   no data  --
110.00/27.66	c  N dy   937    253576        50      4450         0     34658     31150    519883     15.35     17.17  --
118.78/29.80	c  N dy  1059    273762        50      4450         0     34264     31150    509376     15.41     16.25  --
125.96/31.68	c  N dy  1160    291368        50      4450         0     30591     31150    433770     15.45     16.27  --
133.94/33.64	c  F st  1270    306250        50      4450         0     23626     31150    297348     15.51   no data  --
135.56/34.08	c  N dy  1276    311441        50      4450         0     28066     31150    379232     15.51   no data  --
144.75/36.39	c  N dy  1320    332961        50      4450         0     25906     31150    329206     15.47     16.33  --
155.87/39.10	c  N dy  1380    357416        50      4450         0     25385     31150    313663     15.45     13.93  --
155.87/39.10	c  S st  1380    357416        50      4450         0     25385     31150    313663     15.45     13.93  --
155.87/39.17	c  S st  1380    357919        50      4450         0     25823     31150    322260     15.45   no data  --
155.87/39.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
155.87/39.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.87/39.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
155.87/39.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
155.87/39.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.87/39.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
155.87/39.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
163.43/41.05	c lits-rem:       917  cl-subs:     1336  v-elim:      0  v-fix:    0  time:  7.42 s
163.43/41.05	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
163.43/41.05	c vivif2 --  cl tried    24487 cl shrink        0 lits rem          0 time: 0.01
165.03/41.43	c asymm  cl-useful: 0/3034/4450 lits-rem:0 time: 1.51
165.03/41.43	c calculated reachability. Time: 0.00
165.03/41.43	c  N dy  1380    357919        50      4450         0     24487     31150    299955     15.45   no data  --
175.45/44.07	c  N dy  1470    377954        50      4450         0     41791     31150    615647     15.46     17.20  --
187.37/47.02	c  N dy  1588    398024        50      4450         0     36815     31150    520018     15.50     16.62  --
197.38/49.54	c  N dy  1614    419346        50      4450         0     31941     31150    414313     15.45     16.40  --
209.70/52.67	c  N dy  1735    439586        50      4450         0     25269     31150    288795     15.49     16.32  --
220.05/55.27	c  N dy  1826    460395        50      4450         0     43314     31150    621581     15.51     16.35  --
233.21/58.57	c  N dy  1930    484063        50      4450         0     38641     31150    522289     15.53     16.57  --
255.94/64.29	c  N dy  2053    526909        50      4450         0     49479     31150    692303     15.47     16.35  --
262.75/65.99	c  S st  2121    536878        50      4450         0     31483     31150    383028     15.49   no data  --
263.17/66.08	c  S st  2121    537380        50      4450         0     31921     31150    391332     15.49   no data  --
263.17/66.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
263.17/66.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
263.17/66.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
263.51/66.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.51/66.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.51/66.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
263.51/66.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
271.09/68.03	c lits-rem:       820  cl-subs:     1422  v-elim:      0  v-fix:    0  time:  7.68 s
271.09/68.03	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
271.09/68.04	c vivif2 --  cl tried    30499 cl shrink        0 lits rem          0 time: 0.02
272.28/68.30	c asymm  cl-useful: 0/1416/4450 lits-rem:0 time: 1.03
272.28/68.30	c calculated reachability. Time: 0.00
272.28/68.30	c  N dy  2121    537380        50      4450         0     30499     31150    363664     15.49   no data  --
286.24/71.80	c  N dy  2262    559632        50      4450         0     49806     31150    723462     15.53     16.39  --
298.25/74.86	c  N dy  2373    579695        50      4450         0     39634     31150    525669     15.55     17.67  --
311.76/78.27	c  N dy  2426    599784        50      4450         0     28470     31150    310356     15.54     16.39  --
323.33/81.14	c  N dy  2448    625600        50      4450         0     50478     31150    689036     15.46     16.35  --
340.08/85.38	c  N dy  2532    652681        50      4450         0     44417     31150    581819     15.43     16.25  --
356.42/89.41	c  N dy  2603    672693        50      4450         0     31680     31150    359581     15.43     17.64  --
370.38/92.91	c  N dy  2767    694204        50      4450         0     50329     31150    710217     15.47     16.44  --
386.33/96.97	c  N dy  2866    714237        50      4450         0     36628     31150    440680     15.48     17.86  --
400.28/100.47	c  N dy  2987    734318        50      4450         0     53957     31150    763158     15.50     16.98  --
415.83/104.33	c  N dy  3093    754323        50      4450         0     39328     31150    483537     15.52     17.47  --
432.18/108.48	c  N dy  3194    777794        50      4450         0     59478     31150    851024     15.52     16.44  --
447.38/112.24	c  N dy  3305    797851        50      4450         0     44045     31150    564864     15.54     17.28  --
453.31/113.79	c  S st  3356    806072        50      4450         0     51188     31150    699585     15.55     15.04  --
454.10/113.93	c  S st  3356    806577        50      4450         0     51633     31150    708267     15.55   no data  --
454.10/113.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
454.10/113.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
454.10/113.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
454.10/113.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
454.10/113.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
454.10/113.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
454.10/113.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
480.43/120.51	c lits-rem:      2476  cl-subs:     5572  v-elim:      0  v-fix:    0  time: 26.06 s
480.43/120.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
480.43/120.52	c vivif2 --  cl tried    46061 cl shrink        0 lits rem          0 time: 0.03
481.23/120.73	c asymm  cl-useful: 0/985/4450 lits-rem:0 time: 0.84
481.23/120.73	c calculated reachability. Time: 0.00
481.23/120.73	c  N dy  3356    806577        50      4450         0     46061     31150    606248     15.55   no data  --
496.77/124.67	c  N dy  3404    826614        50      4450         0     63280     31150    916693     15.54     16.38  --
512.33/128.59	c  N dy  3556    846674        50      4450         0     47430     31150    626701     15.57     16.43  --
530.71/133.12	c  N dy  3640    869648        50      4450         0     67210     31150    987484     15.57     16.45  --
544.62/136.66	c  N dy  3743    889753        50      4450         0     50201     31150    663302     15.58     16.51  --
568.55/142.60	c  N dy  3823    922666        50      4450         0     43107     31150    513061     15.56     16.41  --
584.08/146.55	c  N dy  3941    943422        50      4450         0     61037     31150    847191     15.57     16.40  --
603.63/151.42	c  N dy  3990    969346        50      4450         0     47049     31150    574282     15.55     16.42  --
624.76/156.78	c  N dy  4071    995675        50      4450         0     69697     31150    985511     15.54     16.45  --
641.10/160.82	c  N dy  4145   1016790        50      4450         0     50980     31150    649152     15.54     16.46  --
659.45/165.41	c  N dy  4180   1040451        50      4450         0     71180     31150   1008382     15.52     16.38  --
678.20/170.13	c  N dy  4303   1063910        50      4450         0     53669     31150    693091     15.53     16.54  --
684.56/171.77	c  F st  4345   1071878        50      4450         0     60540     31150    820663     15.53   no data  --
696.96/174.88	c  N dy  4405   1084042        50      4450         0     71038     31150   1019866     15.54     16.40  --
726.84/182.30	c  N dy  4561   1120206        50      4450         0     63271     31150    852526     15.54     16.38  --
765.11/191.92	c  N dy  4706   1165512        50      4450         0     62441     31150    809346     15.51     16.55  --
789.07/198.00	c  N dy  4781   1185666        50      4450         0     79616     31150   1121239     15.51     16.37  --
810.58/203.36	c  N dy  4941   1205939        50      4450         0     57009     31150    745227     15.53     16.36  --
815.39/204.60	c  S st  4964   1209865        50      4450         0     60384     31150    808141     15.54     14.48  --
816.55/204.85	c  S st  4964   1210366        50      4450         0     60822     31150    816785     15.54   no data  --
816.55/204.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
816.55/204.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
816.55/204.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
816.95/204.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
816.95/204.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
816.95/204.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
816.95/204.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
877.20/220.01	c lits-rem:      3172  cl-subs:     5868  v-elim:      0  v-fix:    0  time: 60.20 s
877.20/220.01	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
877.20/220.02	c vivif2 --  cl tried    54954 cl shrink        0 lits rem          0 time: 0.04
878.34/220.31	c asymm  cl-useful: 0/666/4450 lits-rem:0 time: 1.15
878.34/220.31	c calculated reachability. Time: 0.00
878.34/220.31	c  N dy  4964   1210366        50      4450         0     54954     31150    704830     15.54   no data  --
899.48/225.63	c  N dy  5090   1230441        50      4450         0     72233     31150   1029000     15.55     18.13  --
919.02/230.51	c  N dy  5160   1250462        50      4450         0     48667     31150    573699     15.55     16.97  --
934.22/234.36	c  N dy  5216   1270549        50      4450         0     65829     31150    883759     15.54     16.43  --
957.69/240.28	c  N dy  5317   1290810        50      4450         0     83285     31150   1206437     15.55     16.47  --
980.43/245.90	c  N dy  5400   1316874        50      4450         0     63784     31150    835925     15.55     16.47  --
1006.33/252.41	c  N dy  5479   1337136        50      4450         0     81119     31150   1152234     15.55     16.43  --
1036.24/259.93	c  N dy  5585   1367756        50      4450         0     64440     31150    838026     15.54     16.41  --
1064.96/267.16	c  N dy  5765   1389786        50      4450         0     83486     31150   1200819     15.56     16.49  --
1085.29/272.20	c  N dy  5908   1409801        50      4450         0     57158     31150    716048     15.58     17.07  --
1107.22/277.78	c  N dy  6051   1429861        50      4450         0     74460     31150   1044047     15.60     17.49  --
1133.92/284.43	c  N dy  6176   1450432        50      4450         0     47483     31150    524592     15.61     16.55  --
1151.07/288.76	c  N dy  6265   1470613        50      4450         0     64771     31150    843421     15.61     16.47  --
1174.20/294.57	c  N dy  6358   1490682        50      4450         0     81955     31150   1160139     15.61     17.01  --
1202.10/301.54	c  N dy  6498   1516002        50      4450         0     58186     31150    714371     15.62     16.46  --
1223.27/306.84	c  N dy  6596   1536005        50      4450         0     75278     31150   1032376     15.63     18.71  --
1253.15/314.37	c  N dy  6705   1559077        50      4450         0     48726     31150    530360     15.64     16.54  --
1269.10/318.37	c  N dy  6750   1579083        50      4450         0     65794     31150    835997     15.63     16.48  --
1292.62/324.26	c  N dy  6847   1599111        50      4450         0     82932     31150   1153042     15.63     16.48  --
1319.34/330.98	c  N dy  6993   1619169        50      4450         0     53128     31150    610484     15.65     17.47  --
1337.72/335.56	c  N dy  7081   1639576        50      4450         0     70526     31150    932957     15.65     16.52  --
1386.71/347.85	c  N dy  7152   1685420        50      4450         0     61515     31150    736929     15.61     16.54  --
1414.23/354.79	c  N dy  7297   1705438        50      4450         0     78745     31150   1063283     15.62     17.01  --
1422.60/356.89	c  S st  7321   1710368        50      4450         0     82982     31150   1142697     15.63     13.63  --
1424.20/357.25	c  S st  7321   1710874        50      4450         0     83437     31150   1151414     15.63   no data  --
1424.20/357.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1424.20/357.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1424.60/357.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.21
1424.60/357.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1424.60/357.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1424.60/357.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1424.60/357.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1580.88/396.53	c lits-rem:      3944  cl-subs:    12497  v-elim:      0  v-fix:    0  time: 156.15 s
1580.88/396.53	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1580.88/396.54	c vivif2 --  cl tried    70940 cl shrink        0 lits rem          0 time: 0.06
1582.48/396.91	c asymm  cl-useful: 0/510/4450 lits-rem:0 time: 1.48
1582.48/396.92	c calculated reachability. Time: 0.00
1582.48/396.92	c  N dy  7321   1710874        50      4450         0     70940     31150    939141     15.63   no data  --
1607.19/403.11	c  N dy  7411   1731036        50      4450         0     88225     31150   1258093     15.63     16.47  --
1638.70/411.07	c  N dy  7512   1762061        50      4450         0     66865     31150    845021     15.62     16.62  --
1659.82/416.39	c  N dy  7556   1782814        50      4450         0     84480     31150   1157278     15.62     16.60  --
1690.12/423.92	c  N dy  7654   1803113        50      4450         0     52844     31150    582370     15.62     16.46  --
1712.46/429.54	c  N dy  7768   1823189        50      4450         0     70146     31150    907362     15.63     17.24  --
1758.76/441.14	c  N dy  7917   1857435        50      4450         0     99381     31150   1442856     15.63     16.64  --
1779.85/446.41	c  N dy  8047   1877449        50      4450         0     66342     31150    829141     15.64     16.46  --
1803.36/452.37	c  N dy  8151   1897483        50      4450         0     83588     31150   1151379     15.64     18.08  --
1837.70/460.96	c  N dy  8288   1919422        50      4450         0    102334     31150   1501131     15.65     16.54  --
1854.82/465.28	c  N dy  8341   1939495        50      4450         0     68013     31150    835920     15.64     16.47  --
1878.72/471.29	c  N dy  8431   1959549        50      4450         0     85169     31150   1152518     15.65     17.61  --
1909.83/479.06	c  N dy  8527   1979644        50      4450         0    102413     31150   1471883     15.65     16.84  --
1930.14/484.15	c  N dy  8579   2000657        50      4450         0     68163     31150    835109     15.64     16.48  --
1955.71/490.55	c  N dy  8676   2022125        50      4450         0     86510     31150   1172102     15.65     16.48  --
1983.59/497.56	c  N dy  8716   2043876        50      4450         0    105083     31150   1506969     15.64     16.48  --
2003.96/502.71	c  N dy  8757   2066605        50      4450         0     71525     31150    887346     15.63     16.81  --
2030.26/509.22	c  N dy  8823   2089474        50      4450         0     91061     31150   1242225     15.62     16.62  --
2062.52/517.37	c  N dy  8914   2110058        50      4450         0     54936     31150    584848     15.63     16.47  --
2084.45/522.82	c  N dy  9024   2131702        50      4450         0     73557     31150    932523     15.63     16.48  --
2110.77/529.47	c  N dy  9113   2152797        50      4450         0     91542     31150   1263723     15.63     16.49  --
2138.29/536.36	c  N dy  9125   2177992        50      4450         0     58154     31150    631823     15.62     16.54  --
2161.84/542.26	c  N dy  9135   2204602        50      4450         0     80558     31150   1012046     15.59     16.48  --
2172.57/544.92	c  S st  9178   2210875        50      4450         0     85981     31150   1114873     15.59   no data  --
2173.77/545.25	c  S st  9178   2211378        50      4450         0     86434     31150   1123738     15.59   no data  --
2173.77/545.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2173.77/545.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2174.17/545.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
2174.17/545.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2174.17/545.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2174.17/545.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2174.17/545.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2349.21/589.20	c lits-rem:      2339  cl-subs:    13822  v-elim:      0  v-fix:    0  time: 174.87 s
2349.21/589.20	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2349.21/589.22	c vivif2 --  cl tried    72612 cl shrink        0 lits rem          0 time: 0.06
2350.85/589.64	c asymm  cl-useful: 0/494/4450 lits-rem:0 time: 1.70
2350.85/589.65	c calculated reachability. Time: 0.00
2350.85/589.65	c  N dy  9178   2211378        50      4450         0     72612     31150    907407     15.59   no data  --
2383.88/597.95	c  N dy  9273   2232327        50      4450         0     90493     31150   1238947     15.60     16.46  --
2428.94/609.28	c  N dy  9395   2252367        50      4450         0    107602     31150   1555870     15.60     16.44  --
2459.25/616.82	c  N dy  9496   2273486        50      4450         0     71383     31150    882294     15.61     16.58  --
2495.15/625.83	c  N dy  9608   2293518        50      4450         0     88599     31150   1203089     15.61     18.00  --
2542.97/637.82	c  N dy  9739   2314083        50      4450         0    106230     31150   1534865     15.62     16.45  --
2577.24/646.45	c  N dy  9855   2334184        50      4450         0     67639     31150    804976     15.63     17.84  --
2604.79/653.39	c  N dy  9877   2359776        50      4450         0     89253     31150   1186252     15.61     16.58  --
2635.90/661.18	c  N dy  9985   2379840        50      4450         0    106421     31150   1505296     15.62     17.29  --
2663.77/668.10	c  N dy 10089   2399906        50      4450         0     66689     31150    775182     15.62     17.51  --
2690.88/674.90	c  N dy 10200   2422267        50      4450         0     85763     31150   1129729     15.63     16.53  --
2719.24/682.05	c  N dy 10289   2442355        50      4450         0    102947     31150   1448072     15.63     17.80  --
2749.09/689.55	c  N dy 10343   2462436        50      4450         0     62155     31150    681107     15.62     17.31  --
2773.01/695.51	c  N dy 10460   2483537        50      4450         0     80182     31150   1019028     15.63     16.53  --
2800.93/702.53	c  N dy 10548   2503799        50      4450         0     97527     31150   1339803     15.63     16.48  --
2834.81/711.05	c  N dy 10638   2523811        50      4450         0    114576     31150   1654418     15.64     16.95  --
2862.33/717.92	c  N dy 10719   2548237        50      4450         0     76534     31150    936779     15.63     16.56  --
2884.26/723.48	c  N dy 10765   2568297        50      4450         0     93512     31150   1239373     15.63     16.51  --
2918.14/731.96	c  N dy 10866   2589100        50      4450         0    111297     31150   1571616     15.63     16.64  --
2949.24/739.74	c  N dy 10974   2609417        50      4450         0     68951     31150    795214     15.64     16.49  --
2977.16/746.75	c  N dy 11059   2633396        50      4450         0     89333     31150   1167208     15.64     16.47  --
3009.85/754.90	c  N dy 11176   2653399        50      4450         0    106547     31150   1491293     15.64     17.67  --
3047.76/764.47	c  N dy 11304   2673783        50      4450         0     63359     31150    685046     15.65     16.53  --
3068.06/769.50	c  N dy 11345   2694374        50      4450         0     80716     31150    998011     15.65     16.65  --
3093.17/775.89	c  S st 11463   2711380        50      4450         0     95320     31150   1275723     15.65     15.91  --
3094.78/776.20	c  S st 11463   2711888        50      4450         0     95771     31150   1284497     15.65   no data  --
3094.78/776.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3094.78/776.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3094.78/776.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
3094.78/776.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3094.78/776.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3094.78/776.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3094.78/776.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3470.35/870.40	c lits-rem:      4343  cl-subs:    11798  v-elim:      0  v-fix:    0  time: 375.11 s
3470.35/870.40	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3470.35/870.41	c vivif2 --  cl tried    83973 cl shrink        0 lits rem          0 time: 0.07
3471.95/870.86	c asymm  cl-useful: 0/418/4450 lits-rem:0 time: 1.79
3471.95/870.87	c calculated reachability. Time: 0.00
3471.95/870.87	c  N dy 11463   2711888        50      4450         0     83973     31150   1074966     15.65   no data  --
3508.26/879.93	c  N dy 11520   2731984        50      4450         0    101068     31150   1384347     15.65     17.06  --
3552.53/891.03	c  N dy 11572   2754262        50      4450         0    119851     31150   1719101     15.64     16.49  --
3585.58/899.33	c  N dy 11674   2774729        50      4450         0     77014     31150    939226     15.65     16.60  --
3623.05/908.77	c  N dy 11791   2794781        50      4450         0     94183     31150   1260586     15.65     17.41  --
3672.10/921.02	c  N dy 11931   2815201        50      4450         0    111682     31150   1594061     15.66     16.50  --
3720.33/933.18	c  N dy 12070   2835259        50      4450         0     66976     31150    743120     15.67     17.27  --
3751.44/940.98	c  N dy 12159   2855303        50      4450         0     84138     31150   1058981     15.67     17.09  --
3786.53/949.72	c  N dy 12183   2877425        50      4450         0    102810     31150   1392596     15.67     16.51  --
3830.78/960.87	c  N dy 12212   2901026        50      4450         0    122618     31150   1738579     15.65     16.48  --
3879.83/973.10	c  N dy 12291   2936684        50      4450         0     90143     31150   1131271     15.64     16.59  --
3922.89/983.99	c  N dy 12405   2965668        50      4450         0    114730     31150   1575483     15.64     16.49  --
3961.56/993.67	c  N dy 12541   2985747        50      4450         0     68240     31150    749633     15.65     16.82  --
3985.89/999.78	c  N dy 12609   3008333        50      4450         0     87448     31150   1098588     15.64     16.47  --
4018.17/1007.89	c  N dy 12723   3028450        50      4450         0    104668     31150   1420823     15.65     16.48  --
4058.45/1017.94	c  N dy 12851   3048542        50      4450         0    121873     31150   1746135     15.66     16.49  --
4092.34/1026.40	c  N dy 12962   3069023        50      4450         0     74702     31150    861508     15.66     16.49  --
4119.06/1033.15	c  N dy 13002   3094707        50      4450         0     96309     31150   1242615     15.65     16.60  --
4156.14/1042.43	c  N dy 13119   3115566        50      4450         0    114214     31150   1576134     15.65     16.56  --
4203.18/1054.28	c  N dy 13227   3137898        50      4450         0     67727     31150    721441     15.66     16.49  --
4230.30/1061.06	c  N dy 13362   3158408        50      4450         0     85303     31150   1052626     15.66     16.52  --
4266.18/1070.09	c  N dy 13493   3178470        50      4450         0    102468     31150   1378416     15.67     16.54  --
4316.02/1082.54	c  N dy 13625   3200403        50      4450         0    121309     31150   1733055     15.67     16.53  --
4347.11/1090.40	c  S st 13722   3211889        50      4450         0    131163     31150   1922523     15.68     14.14  --
4349.51/1090.91	c  S st 13722   3212392        50      4450         0    131604     31150   1931271     15.68   no data  --
4349.51/1090.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4349.51/1090.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4349.51/1090.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
4349.91/1091.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4349.91/1091.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4349.91/1091.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4349.91/1091.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368813-1305403538/watcher-3368813-1305403538 -o /tmp/evaluation-result-3368813-1305403538/solver-3368813-1305403538 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368813-1305403538.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: 6.90 7.84 7.99 2/378 11661
/proc/meminfo: memFree=14895780/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 413 0 0 0 1 0 0 0 24 0 4 0 730584422 52465664 353 33554432000 4194304 4650419 140734235852432 18446744073709551615 47405407385522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11661/statm: 12809 353 303 112 0 7774 0
[pid=11661/tid=11662] ppid=11659 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730584422 52465664 358 33554432000 4194304 4650419 140734235852432 18446744073709551615 47405407385113 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730584422 52465664 358 33554432000 4194304 4650419 140734235852432 18446744073709551615 47405407385111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 730584422 52465664 358 33554432000 4194304 4650419 140734235852432 18446744073709551615 47405407385113 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.079607 s]
/proc/loadavg: 6.90 7.84 7.99 2/378 11661
/proc/meminfo: memFree=14895780/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=281912 CPUtime=0.29 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 1200 0 0 0 29 0 0 0 25 0 4 0 730584422 288677888 1104 33554432000 4194304 4650419 140734235852432 18446744073709551615 4370658 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 70478 1104 366 112 0 65443 0
[pid=11661/tid=11662] ppid=11659 vsize=281912 CPUtime=0.06 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 172 0 0 0 6 0 0 0 18 0 4 0 730584422 288677888 1104 33554432000 4194304 4650419 140734235852432 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=281912 CPUtime=0.07 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 168 0 0 0 7 0 0 0 18 0 4 0 730584422 288677888 1104 33554432000 4194304 4650419 140734235852432 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=281912 CPUtime=0.07 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 265 0 0 0 7 0 0 0 18 0 4 0 730584422 288677888 1104 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 281912

[startup+0.133598 s]
/proc/loadavg: 6.90 7.84 7.99 2/378 11661
/proc/meminfo: memFree=14895780/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=283836 CPUtime=0.5 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 2402 0 0 0 50 0 0 0 25 0 4 0 730584422 290648064 2130 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 70959 2130 388 112 0 65924 0
[pid=11661/tid=11662] ppid=11659 vsize=283836 CPUtime=0.12 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 542 0 0 0 12 0 0 0 18 0 4 0 730584422 290648064 2130 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=283836 CPUtime=0.12 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 539 0 0 0 12 0 0 0 18 0 4 0 730584422 290648064 2130 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=283836 CPUtime=0.12 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 331 0 0 0 12 0 0 0 18 0 4 0 730584422 290648064 2130 33554432000 4194304 4650419 140734235852432 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 283836

[startup+0.300569 s]
/proc/loadavg: 6.90 7.84 7.99 2/378 11661
/proc/meminfo: memFree=14895780/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=284852 CPUtime=1.16 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 3299 0 0 0 116 0 0 0 25 0 4 0 730584422 291688448 2486 33554432000 4194304 4650419 140734235852432 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 71213 2486 390 112 0 66178 0
[pid=11661/tid=11662] ppid=11659 vsize=284852 CPUtime=0.28 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 764 0 0 0 28 0 0 0 18 0 4 0 730584422 291688448 2486 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=284852 CPUtime=0.29 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 754 0 0 0 29 0 0 0 18 0 4 0 730584422 291688448 2486 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=284852 CPUtime=0.29 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 576 0 0 0 29 0 0 0 18 0 4 0 730584422 291688448 2486 33554432000 4194304 4650419 140734235852432 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284852

[startup+0.7005 s]
/proc/loadavg: 6.90 7.84 7.99 2/378 11661
/proc/meminfo: memFree=14895780/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=285760 CPUtime=2.76 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 5078 0 0 0 276 0 0 0 25 0 4 0 730584422 292618240 3247 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 71440 3248 390 112 0 66405 0
[pid=11661/tid=11662] ppid=11659 vsize=285760 CPUtime=0.68 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 1174 0 0 0 68 0 0 0 18 0 4 0 730584422 292618240 3248 33554432000 4194304 4650419 140734235852432 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=285760 CPUtime=0.69 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 1150 0 0 0 69 0 0 0 18 0 4 0 730584422 292618240 3248 33554432000 4194304 4650419 140734235852432 18446744073709551615 4334278 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=285760 CPUtime=0.69 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 1147 0 0 0 69 0 0 0 18 0 4 0 730584422 292618240 3248 33554432000 4194304 4650419 140734235852432 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285760

[startup+1.50036 s]
/proc/loadavg: 6.90 7.84 7.99 9/390 11673
/proc/meminfo: memFree=14869888/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=296136 CPUtime=5.95 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 9274 0 0 0 594 1 0 0 25 0 4 0 730584422 303243264 4995 33554432000 4194304 4650419 140734235852432 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 74034 5010 392 112 0 68999 0
[pid=11661/tid=11662] ppid=11659 vsize=296136 CPUtime=1.48 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 2082 0 0 0 148 0 0 0 19 0 4 0 730584422 303243264 5011 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=296136 CPUtime=1.49 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 1889 0 0 0 149 0 0 0 19 0 4 0 730584422 303243264 5012 33554432000 4194304 4650419 140734235852432 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=296136 CPUtime=1.49 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 1870 0 0 0 149 0 0 0 19 0 4 0 730584422 303243264 5013 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 296136

[startup+3.10108 s]
/proc/loadavg: 6.90 7.84 7.99 9/390 11673
/proc/meminfo: memFree=14839756/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=285564 CPUtime=12.34 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 15031 0 0 0 1232 2 0 0 25 0 4 0 730584422 292417536 8906 33554432000 4194304 4650419 140734235852432 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 71391 8906 392 112 0 66356 0
[pid=11661/tid=11662] ppid=11659 vsize=285564 CPUtime=3.08 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 3375 0 0 0 308 0 0 0 25 0 4 0 730584422 292417536 8906 33554432000 4194304 4650419 140734235852432 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=285564 CPUtime=3.09 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 3871 0 0 0 309 0 0 0 24 0 4 0 730584422 292417536 8906 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=285564 CPUtime=3.09 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 3885 0 0 0 309 0 0 0 25 0 4 0 730584422 292417536 8906 33554432000 4194304 4650419 140734235852432 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 285564

[startup+6.30053 s]
/proc/loadavg: 6.99 7.84 7.99 9/390 11673
/proc/meminfo: memFree=14789748/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=294096 CPUtime=25.09 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 21908 0 0 0 2506 3 0 0 25 0 4 0 730584422 301154304 12024 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 73524 12024 392 112 0 68489 0
[pid=11661/tid=11662] ppid=11659 vsize=294096 CPUtime=6.28 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 5730 0 0 0 627 1 0 0 25 0 4 0 730584422 301154304 12024 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=294096 CPUtime=6.29 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 4950 0 0 0 629 0 0 0 25 0 4 0 730584422 301154304 12024 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=294096 CPUtime=6.28 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 5647 0 0 0 628 0 0 0 25 0 4 0 730584422 301154304 12024 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 294096

[startup+12.7004 s]
/proc/loadavg: 7.07 7.84 7.99 9/390 11673
/proc/meminfo: memFree=14736312/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=313016 CPUtime=50.6 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 31113 0 0 0 5055 5 0 0 25 0 4 0 730584422 320528384 17031 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 78254 17031 392 112 0 73219 0
[pid=11661/tid=11662] ppid=11659 vsize=313016 CPUtime=12.67 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 8100 0 0 0 1266 1 0 0 25 0 4 0 730584422 320528384 17031 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=313016 CPUtime=12.68 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 7054 0 0 0 1268 0 0 0 25 0 4 0 730584422 320528384 17031 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=313016 CPUtime=12.69 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 8877 0 0 0 1268 1 0 0 25 0 4 0 730584422 320528384 17031 33554432000 4194304 4650419 140734235852432 18446744073709551615 4313051 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 313016

[startup+25.5012 s]
/proc/loadavg: 7.44 7.88 8.00 9/390 11674
/proc/meminfo: memFree=14678908/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=294612 CPUtime=101.64 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 45439 0 0 0 10156 8 0 0 25 0 4 0 730584422 301682688 20151 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476466 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 73653 20151 392 112 0 68618 0
[pid=11661/tid=11662] ppid=11659 vsize=294612 CPUtime=25.47 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 12304 0 0 0 2544 3 0 0 25 0 4 0 730584422 301682688 20151 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=294612 CPUtime=25.49 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 9261 0 0 0 2548 1 0 0 25 0 4 0 730584422 301682688 20151 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=294612 CPUtime=25.49 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 13620 0 0 0 2547 2 0 0 25 0 4 0 730584422 301682688 20151 33554432000 4194304 4650419 140734235852432 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 294612

[startup+51.1007 s]
/proc/loadavg: 7.63 7.89 8.00 9/390 11674
/proc/meminfo: memFree=14628596/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=290732 CPUtime=203.71 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 69053 0 0 0 20357 14 0 0 25 0 4 0 730584422 297709568 24021 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 72683 24021 392 112 0 67648 0
[pid=11661/tid=11662] ppid=11659 vsize=290732 CPUtime=51.07 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 18931 0 0 0 5103 4 0 0 25 0 4 0 730584422 297709568 24021 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=290732 CPUtime=51.08 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 15277 0 0 0 5106 2 0 0 25 0 4 0 730584422 297709568 24021 33554432000 4194304 4650419 140734235852432 18446744073709551615 4331984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=290732 CPUtime=51.09 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 19711 0 0 0 5105 4 0 0 25 0 4 0 730584422 297709568 24021 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.71
Current children cumulated vsize (KiB) 290732

[startup+102.315 s]
/proc/loadavg: 7.95 7.94 8.01 9/390 11676
/proc/meminfo: memFree=14569808/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=312616 CPUtime=407.9 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 104576 0 0 0 40767 23 0 0 25 0 4 0 730584422 320118784 26763 33554432000 4194304 4650419 140734235852432 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 78154 26763 392 112 0 73119 0
[pid=11661/tid=11662] ppid=11659 vsize=312616 CPUtime=102.26 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 26977 0 0 0 10220 6 0 0 25 0 4 0 730584422 320118784 26763 33554432000 4194304 4650419 140734235852432 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=312616 CPUtime=102.29 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 23072 0 0 0 10225 4 0 0 25 0 4 0 730584422 320118784 26763 33554432000 4194304 4650419 140734235852432 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=312616 CPUtime=102.3 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 32203 0 0 0 10223 7 0 0 25 0 4 0 730584422 320118784 26763 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 312616

[startup+162.3 s]

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

[pid=11661] ppid=11659 vsize=351508 CPUtime=2800.13 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 346632 0 0 0 279904 109 0 0 25 0 4 0 730584422 359944192 57395 33554432000 4194304 4650419 140734235852432 18446744073709551615 4313051 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 87877 57395 392 112 0 82842 0
[pid=11661/tid=11662] ppid=11659 vsize=351508 CPUtime=702.14 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 85613 0 0 0 70188 26 0 0 25 0 4 0 730584422 359944192 57395 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=351508 CPUtime=702.3 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 78987 0 0 0 70203 27 0 0 25 0 4 0 730584422 359944192 57395 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=351508 CPUtime=702.3 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 100224 0 0 0 70200 30 0 0 25 0 4 0 730584422 359944192 57395 33554432000 4194304 4650419 140734235852432 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.13
Current children cumulated vsize (KiB) 351508

[startup+762.315 s]
/proc/loadavg: 8.00 8.02 8.01 9/390 11693
/proc/meminfo: memFree=14213016/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=364676 CPUtime=3039.41 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 356849 0 0 0 303828 113 0 0 25 0 4 0 730584422 373428224 60439 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 91169 60439 392 112 0 86134 0
[pid=11661/tid=11662] ppid=11659 vsize=364676 CPUtime=762.15 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 85923 0 0 0 76188 27 0 0 25 0 4 0 730584422 373428224 60439 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=364676 CPUtime=762.31 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 81316 0 0 0 76203 28 0 0 25 0 4 0 730584422 373428224 60439 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=364676 CPUtime=762.32 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 102711 0 0 0 76201 31 0 0 25 0 4 0 730584422 373428224 60439 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.41
Current children cumulated vsize (KiB) 364676

[startup+822.3 s]
/proc/loadavg: 8.12 8.05 8.01 9/390 11695
/proc/meminfo: memFree=14180876/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=344056 CPUtime=3278.59 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 371359 0 0 0 327740 119 0 0 25 0 4 0 730584422 352313344 57143 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 86014 57143 392 112 0 80979 0
[pid=11661/tid=11662] ppid=11659 vsize=344056 CPUtime=822.12 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 88316 0 0 0 82184 28 0 0 25 0 4 0 730584422 352313344 57143 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=344056 CPUtime=822.3 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 82057 0 0 0 82200 30 0 0 25 0 4 0 730584422 352313344 57143 33554432000 4194304 4650419 140734235852432 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=344056 CPUtime=822.3 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 105495 0 0 0 82198 32 0 0 25 0 4 0 730584422 352313344 57143 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3278.59
Current children cumulated vsize (KiB) 344056

[startup+882.301 s]
/proc/loadavg: 8.10 8.05 8.01 9/390 11696
/proc/meminfo: memFree=14200576/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=348952 CPUtime=3517.79 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 380054 0 0 0 351658 121 0 0 25 0 4 0 730584422 357326848 62541 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 87238 62541 392 112 0 82203 0
[pid=11661/tid=11662] ppid=11659 vsize=348952 CPUtime=882.11 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 90463 0 0 0 88182 29 0 0 25 0 4 0 730584422 357326848 62541 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=348952 CPUtime=882.3 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 82778 0 0 0 88200 30 0 0 25 0 4 0 730584422 357326848 62541 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=348952 CPUtime=882.3 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 107699 0 0 0 88197 33 0 0 25 0 4 0 730584422 357326848 62541 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3517.79
Current children cumulated vsize (KiB) 348952

[startup+942.3 s]
/proc/loadavg: 8.19 8.09 8.02 9/390 11698
/proc/meminfo: memFree=14204516/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=402200 CPUtime=3757.02 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 408170 0 0 0 375574 128 0 0 25 0 4 0 730584422 411852800 60847 33554432000 4194304 4650419 140734235852432 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 100550 60847 392 112 0 95515 0
[pid=11661/tid=11662] ppid=11659 vsize=402200 CPUtime=942.1 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 101084 0 0 0 94180 30 0 0 25 0 4 0 730584422 411852800 60847 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=402200 CPUtime=942.3 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 85202 0 0 0 94199 31 0 0 25 0 4 0 730584422 411852800 60847 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=402200 CPUtime=942.3 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 118543 0 0 0 94195 35 0 0 25 0 4 0 730584422 411852800 60847 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.02
Current children cumulated vsize (KiB) 402200

[startup+1002.3 s]
/proc/loadavg: 8.17 8.10 8.03 9/390 11700
/proc/meminfo: memFree=14179320/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=462212 CPUtime=3996.24 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 425685 0 0 0 399490 134 0 0 25 0 4 0 730584422 473305088 61354 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 115553 61354 392 112 0 110518 0
[pid=11661/tid=11662] ppid=11659 vsize=462212 CPUtime=1002.08 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 108055 0 0 0 100176 32 0 0 25 0 4 0 730584422 473305088 61354 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=462212 CPUtime=1002.3 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 88916 0 0 0 100198 32 0 0 25 0 4 0 730584422 473305088 61354 33554432000 4194304 4650419 140734235852432 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=462212 CPUtime=1002.3 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 122235 0 0 0 100194 36 0 0 25 0 4 0 730584422 473305088 61354 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3996.24
Current children cumulated vsize (KiB) 462212

[startup+1062.3 s]
/proc/loadavg: 8.11 8.09 8.03 9/390 11701
/proc/meminfo: memFree=14102668/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=527836 CPUtime=4235.48 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 442819 0 0 0 423408 140 0 0 25 0 4 0 730584422 540504064 71248 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 131959 71248 392 112 0 126924 0
[pid=11661/tid=11662] ppid=11659 vsize=527836 CPUtime=1062.08 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 113020 0 0 0 106174 34 0 0 25 0 4 0 730584422 540504064 71248 33554432000 4194304 4650419 140734235852432 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=527836 CPUtime=1062.3 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 93619 0 0 0 106196 34 0 0 25 0 4 0 730584422 540504064 71248 33554432000 4194304 4650419 140734235852432 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=527836 CPUtime=1062.3 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 127091 0 0 0 106193 37 0 0 25 0 4 0 730584422 540504064 71248 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4235.48
Current children cumulated vsize (KiB) 527836

[startup+1122.3 s]
/proc/loadavg: 8.14 8.10 8.03 9/390 11703
/proc/meminfo: memFree=14093984/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=527836 CPUtime=4474.71 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 451261 0 0 0 447329 142 0 0 25 0 4 0 730584422 540504064 77385 33554432000 4194304 4650419 140734235852432 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 131959 77385 392 112 0 126924 0
[pid=11661/tid=11662] ppid=11659 vsize=527836 CPUtime=1122.07 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 113337 0 0 0 112173 34 0 0 25 0 4 0 730584422 540504064 77385 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=527836 CPUtime=1122.3 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 94423 0 0 0 112196 34 0 0 25 0 4 0 730584422 540504064 77385 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=527836 CPUtime=1122.3 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 130072 0 0 0 112192 38 0 0 25 0 4 0 730584422 540504064 77385 33554432000 4194304 4650419 140734235852432 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4474.71
Current children cumulated vsize (KiB) 527836

[startup+1182.3 s]
/proc/loadavg: 8.14 8.11 8.04 9/390 11704
/proc/meminfo: memFree=14071268/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=527836 CPUtime=4713.94 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 459648 0 0 0 471249 145 0 0 25 0 4 0 730584422 540504064 75146 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 131959 75147 392 112 0 126924 0
[pid=11661/tid=11662] ppid=11659 vsize=527836 CPUtime=1182.05 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 115691 0 0 0 118170 35 0 0 25 0 4 0 730584422 540504064 75147 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=527836 CPUtime=1182.31 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 95261 0 0 0 118196 35 0 0 25 0 4 0 730584422 540504064 75147 33554432000 4194304 4650419 140734235852432 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=527836 CPUtime=1182.31 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 131296 0 0 0 118192 39 0 0 25 0 4 0 730584422 540504064 75147 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4713.94
Current children cumulated vsize (KiB) 527836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.26 8.14 8.05 9/390 11705
/proc/meminfo: memFree=14063824/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=527892 CPUtime=4800.08 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 465048 0 0 0 479862 146 0 0 25 0 4 0 730584422 540561408 74641 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 131973 74641 392 112 0 126938 0
[pid=11661/tid=11662] ppid=11659 vsize=527892 CPUtime=1203.66 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 115691 0 0 0 120331 35 0 0 25 0 4 0 730584422 540561408 74642 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=527892 CPUtime=1203.92 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 96911 0 0 0 120356 36 0 0 25 0 4 0 730584422 540561408 74642 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=527892 CPUtime=1203.92 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 131743 0 0 0 120353 39 0 0 25 0 4 0 730584422 540561408 74642 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 527892

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: 8.26 8.14 8.05 9/390 11705
/proc/meminfo: memFree=14063824/32951124 swapFree=65586204/67111528
[pid=11661] ppid=11659 vsize=527892 CPUtime=4800.08 cores=0,2,4,6
/proc/11661/stat : 11661 (strangenight1-m) R 11659 11661 11082 0 -1 4202496 465048 0 0 0 479862 146 0 0 25 0 4 0 730584422 540561408 74641 33554432000 4194304 4650419 140734235852432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11661/statm: 131973 74641 392 112 0 126938 0
[pid=11661/tid=11662] ppid=11659 vsize=527892 CPUtime=1203.66 cores=0,2,4,6
/proc/11661/task/11662/stat : 11662 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 115691 0 0 0 120331 35 0 0 25 0 4 0 730584422 540561408 74642 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11661/tid=11663] ppid=11659 vsize=527892 CPUtime=1203.92 cores=0,2,4,6
/proc/11661/task/11663/stat : 11663 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 96911 0 0 0 120356 36 0 0 25 0 4 0 730584422 540561408 74642 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11661/tid=11664] ppid=11659 vsize=527892 CPUtime=1203.92 cores=0,2,4,6
/proc/11661/task/11664/stat : 11664 (strangenight1-m) R 11659 11661 11082 0 -1 4202560 131743 0 0 0 120353 39 0 0 25 0 4 0 730584422 540561408 74642 33554432000 4194304 4650419 140734235852432 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 527892

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.93
CPU time (s): 4800.15
CPU user time (s): 4798.66
CPU system time (s): 1.48277
CPU usage (%): 398.705
Max. virtual memory (cumulated for all children) (KiB): 527892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.66
system time used= 1.48277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465049
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= 275
involuntary context switches= 23587

runsolver used 4.40433 second user time and 10.9753 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 22:05:38
IDJOB=3368813
IDBENCH=82822
IDSOLVER=1846
FILE ID=node119/3368813-1305403538
RUNJOBID= node119-1305403538-11646
PBS_JOBID= 13324462
Free space on /tmp= 73196 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368813-1305403538/watcher-3368813-1305403538 -o /tmp/evaluation-result-3368813-1305403538/solver-3368813-1305403538 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368813-1305403538.cnf

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

MD5SUM BENCH= c17bf9a7166c271aab493c355a187474
RANDOM SEED=855772755

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14896060 kB
Buffers:        283592 kB
Cached:        4559360 kB
SwapCached:       4756 kB
Active:       14700700 kB
Inactive:      3022352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14896060 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           12564 kB
Writeback:           0 kB
AnonPages:    12878188 kB
Mapped:          29616 kB
Slab:           210816 kB
PageTables:      56428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102457360 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= 73184 MiB
End job on node119 at 2011-05-14 22:25:44