Trace number 3175096

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.39 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
MD5SUM75e4af5315c8af778f17bf3a82042c9e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3175096-1304086608.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:     301 undec:      82 neg:     317
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       681      2962         0         0      8986         0   no data   no data  --
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4919       681      2962         0      4866      8986    135325   no data   no data  --
3.18/0.80	c  N st    10     11303       681      2962         0      4497      8986     87271   no data   no data  --
3.18/0.80	c  N st    11     17048       681      2962         0     10111      8986    240080   no data   no data  --
4.77/1.20	c  F st    12     25003       681      2962         0     12415      8986    315012   no data   no data  --
4.77/1.20	c  N st    12     25003       681      2962         0     12415      8986    315012   no data   no data  --
5.57/1.41	c Decided on static restart strategy
5.57/1.41	c  N st    18     30000       681      2962         0     10681      8986    235870   no data   no data  --
5.57/1.41	c  S st    18     30000       681      2962         0     10681      8986    235870   no data   no data  --
5.57/1.44	c  S st    18     30500       681      2962         0     11180      8986    249530   no data   no data  --
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.78/1.71	c lits-rem:       104  cl-subs:      460  v-elim:      0  v-fix:    0  time:  1.01 s
6.78/1.72	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.04
6.78/1.72	c calculated reachability. Time: 0.00
6.78/1.72	c  N st    18     30500       681      2962         0     10720      8986    235267   no data   no data  --
8.39/2.13	c  N st    20     37614       681      2962         0      9994      8986    201473   no data   no data  --
9.97/2.55	c  N st    21     44013       681      2962         0     16300      8986    405029   no data   no data  --
10.37/2.68	c  S st    22     45750       681      2962         0      9228      8986    155425   no data   no data  --
10.76/2.71	c  S st    22     46255       681      2962         0      9732      8986    169206   no data   no data  --
10.76/2.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.76/2.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.76/2.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
10.76/2.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.16/2.84	c lits-rem:        37  cl-subs:       33  v-elim:      0  v-fix:    0  time:  0.49 s
11.16/2.84	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
11.16/2.85	c vivif2 --  cl tried     9699 cl shrink        0 lits rem          0 time: 0.01
11.16/2.85	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.03
11.16/2.85	c calculated reachability. Time: 0.00
11.16/2.85	c  N st    22     46255       681      2962         0      9699      8986    167991   no data   no data  --
15.16/3.89	c  N st    23     60653       681      2962         0     14072      8986    285158   no data   no data  --
17.95/4.53	c  N st    24     69382       681      2962         0     11856      8986    205942   no data   no data  --
17.95/4.53	c  S st    24     69382       681      2962         0     11856      8986    205942   no data   no data  --
17.95/4.56	c  S st    24     69884       681      2962         0     12358      8986    220079   no data   no data  --
17.95/4.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.95/4.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.95/4.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.95/4.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.95/4.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.95/4.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
17.95/4.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.16/4.81	c lits-rem:        84  cl-subs:       85  v-elim:      0  v-fix:    0  time:  0.94 s
19.16/4.81	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
19.16/4.81	c vivif2 --  cl tried    12273 cl shrink        0 lits rem          0 time: 0.01
19.16/4.82	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.04
19.16/4.82	c calculated reachability. Time: 0.00
19.16/4.82	c  N st    24     69884       681      2962         0     12273      8986    217332   no data   no data  --
24.75/6.24	c  F st    25     87500       681      2962         0     17804      8986    398851   no data   no data  --
24.75/6.24	c  N st    25     87500       681      2962         0     17804      8986    398851   no data   no data  --
26.37/6.62	c Decided on static restart strategy
27.14/6.84	c  N st    32     95539       681      2962         0     25759      8986    640641   no data   no data  --
29.95/7.52	c  N st    34    104827       681      2962         0     22077      8986    487784   no data   no data  --
29.95/7.52	c  S st    34    104827       681      2962         0     22077      8986    487784   no data   no data  --
29.95/7.58	c  S st    34    105330       681      2962         0     22580      8986    501586   no data   no data  --
29.95/7.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.95/7.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.95/7.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.36/7.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.36/7.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.36/7.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
30.36/7.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.53/8.99	c lits-rem:       169  cl-subs:      575  v-elim:      0  v-fix:    0  time:  5.52 s
35.53/8.99	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
35.93/9.00	c vivif2 --  cl tried    22005 cl shrink        0 lits rem          0 time: 0.02
35.93/9.02	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.08
35.93/9.02	c calculated reachability. Time: 0.00
35.93/9.02	c  N st    34    105330       681      2962         0     22005      8986    481415   no data   no data  --
39.55/9.91	c  N st    35    114930       681      2962         0     17695      8986    323253   no data   no data  --
44.71/11.28	c  N st    36    129327       681      2962         0     17111      8986    286166   no data   no data  --
53.50/13.43	c  N st    37    150923       681      2962         0     22617      8986    438326   no data   no data  --
55.90/14.08	c  S st    38    157995       681      2962         0     29575      8986    653713   no data   no data  --
56.30/14.14	c  S st    38    158496       681      2962         0     30076      8986    667274   no data   no data  --
56.30/14.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.30/14.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.30/14.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
56.30/14.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.30/14.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.30/14.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
56.30/14.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
64.29/16.17	c lits-rem:       431  cl-subs:     1012  v-elim:      0  v-fix:    0  time:  7.97 s
64.29/16.17	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
64.29/16.18	c vivif2 --  cl tried    29064 cl shrink        0 lits rem          0 time: 0.02
64.69/16.21	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.10
64.69/16.21	c calculated reachability. Time: 0.00
64.69/16.21	c  N st    38    158496       681      2962         0     29064      8986    632945   no data   no data  --
84.66/21.27	c  N st    39    207085       681      2962         0     23758      8986    425434   no data   no data  --
98.24/24.65	c  N st    40    237748       681      2962         0     34161      8986    732758   no data   no data  --
98.24/24.65	c  S st    40    237748       681      2962         0     34161      8986    732758   no data   no data  --
98.64/24.74	c  S st    40    238248       681      2962         0     34660      8986    745900   no data   no data  --
98.64/24.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.64/24.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.64/24.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
98.64/24.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.64/24.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.64/24.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
98.64/24.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
108.24/27.10	c lits-rem:       618  cl-subs:     1181  v-elim:      0  v-fix:    0  time:  9.25 s
108.24/27.10	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
108.24/27.11	c vivif2 --  cl tried    33479 cl shrink        0 lits rem          0 time: 0.03
108.24/27.14	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.12
108.24/27.14	c calculated reachability. Time: 0.00
108.24/27.14	c  N st    40    238248       681      2962         0     33479      8986    704002   no data   no data  --
141.39/35.43	c  F st    41    306252       681      2962         0     35468      8986    738346   no data   no data  --
141.39/35.43	c  N st    41    306252       681      2962         0     35468      8986    738346   no data   no data  --
143.79/36.05	c Decided on static restart strategy
154.56/38.78	c  N st    51    334558       681      2962         0     39771      8986    810642   no data   no data  --
166.57/41.77	c  N st    53    357372       681      2962         0     37599      8986    727882   no data   no data  --
166.57/41.77	c  S st    53    357372       681      2962         0     37599      8986    727882   no data   no data  --
166.97/41.86	c  S st    53    357876       681      2962         0     38101      8986    742160   no data   no data  --
166.97/41.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.97/41.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.97/41.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
167.34/41.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.34/41.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.34/41.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
167.34/41.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
176.14/44.11	c lits-rem:       529  cl-subs:     1091  v-elim:      0  v-fix:    0  time:  8.79 s
176.14/44.11	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
176.14/44.12	c vivif2 --  cl tried    37010 cl shrink        0 lits rem          0 time: 0.04
176.14/44.15	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.15
176.14/44.15	c calculated reachability. Time: 0.00
176.14/44.15	c  N st    53    357876       681      2962         0     37010      8986    703018   no data   no data  --
195.31/48.95	c  N st    54    390268       681      2962         0     43317      8986    869796   no data   no data  --
224.10/56.15	c  N st    55    438858       681      2962         0     36957      8986    610815   no data   no data  --
266.82/66.83	c  N st    56    511741       681      2962         0     50638      8986   1014756   no data   no data  --
282.00/70.66	c  N st    57    536814       681      2962         0     44793      8986    801049   no data   no data  --
282.00/70.66	c  S st    57    536814       681      2962         0     44793      8986    801049   no data   no data  --
282.40/70.78	c  S st    57    537316       681      2962         0     45295      8986    814943   no data   no data  --
282.40/70.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.40/70.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.80/70.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
282.80/70.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.80/70.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.80/70.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
282.80/70.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
291.98/73.14	c lits-rem:       428  cl-subs:     1085  v-elim:      0  v-fix:    0  time:  9.23 s
291.98/73.14	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
291.98/73.15	c vivif2 --  cl tried    44210 cl shrink        0 lits rem          0 time: 0.04
292.37/73.20	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.20
292.37/73.20	c calculated reachability. Time: 0.00
292.37/73.20	c  N st    57    537316       681      2962         0     44210      8986    779154   no data   no data  --
402.63/100.87	c  N st    58    701302       681      2962         0     38528      8986    504339   no data   no data  --
488.11/122.25	c  N st    59    805974       681      2962         0     67229      8986   1321933   no data   no data  --
488.11/122.25	c  S st    59    805974       681      2962         0     67229      8986   1321933   no data   no data  --
488.91/122.44	c  S st    59    806480       681      2962         0     67734      8986   1337298   no data   no data  --
488.91/122.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
488.91/122.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
488.91/122.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
489.31/122.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
489.31/122.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
489.31/122.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
489.31/122.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
507.29/127.00	c lits-rem:        91  cl-subs:     3706  v-elim:      0  v-fix:    0  time: 17.88 s
507.29/127.00	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
507.29/127.01	c vivif2 --  cl tried    64028 cl shrink        0 lits rem          0 time: 0.06
507.29/127.09	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.32
507.29/127.09	c calculated reachability. Time: 0.00
507.29/127.09	c  N st    59    806480       681      2962         0     64028      8986   1231057   no data   no data  --
732.19/183.38	c  F st    60   1071877       681      2962         0     80110      8986   1666529   no data   no data  --
732.19/183.39	c  N st    60   1071877       681      2962         0     80110      8986   1666529   no data   no data  --
752.16/188.33	c  N dy   126   1092250       681      2962         0     56094      8986    791273     19.28     20.36  --
774.53/193.98	c  N dy   213   1113951       681      2962         0     77579      8986   1402760     19.28     20.42  --
798.90/200.03	c  N dy   267   1136159       681      2962         0     54228      8986    678435     18.99     20.26  --
820.87/205.51	c  N dy   346   1157943       681      2962         0     75802      8986   1271699     18.96     19.97  --
847.65/212.23	c  N dy   452   1178935       681      2962         0     50154      8986    532209     19.07     20.10  --
866.41/216.98	c  N dy   546   1199365       681      2962         0     70443      8986   1105998     19.13     20.83  --
879.18/220.19	c  S st   605   1209720       681      2962         0     80714      8986   1397077     19.19     15.35  --
880.38/220.42	c  S st   605   1210223       681      2962         0     81217      8986   1411788     19.19   no data  --
880.38/220.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
880.38/220.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
880.38/220.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
880.78/220.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
880.78/220.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
880.78/220.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
880.78/220.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
889.58/222.72	c lits-rem:       294  cl-subs:     1079  v-elim:      0  v-fix:    0  time:  8.85 s
889.58/222.72	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
889.58/222.74	c vivif2 --  cl tried    80138 cl shrink        0 lits rem          0 time: 0.08
889.98/222.86	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.45
889.98/222.86	c calculated reachability. Time: 0.00
889.98/222.86	c  N dy   605   1210223       681      2962         0     80138      8986   1377771     19.19   no data  --
916.74/229.51	c  N dy   680   1230383       681      2962         0     52573      8986    567197     19.19     20.25  --
935.93/234.37	c  N dy   751   1250413       681      2962         0     72426      8986   1128265     19.19     20.30  --
964.28/241.46	c  N dy   825   1271968       681      2962         0     93750      8986   1718012     19.13     20.15  --
984.26/246.46	c  N dy   899   1292161       681      2962         0     65232      8986    887975     19.14     20.17  --
1006.61/252.07	c  N dy   954   1312200       681      2962         0     85030      8986   1437513     19.09     21.79  --
1035.78/259.37	c  N dy  1010   1336652       681      2962         0     59717      8986    705103     18.99     20.06  --
1062.97/266.16	c  N dy  1106   1356939       681      2962         0     79845      8986   1274070     19.02     20.05  --
1093.71/273.90	c  N dy  1129   1380535       681      2962         0     52660      8986    484008     18.91     20.07  --
1112.87/278.62	c  N dy  1221   1400616       681      2962         0     72560      8986   1053812     18.93     20.35  --
1138.83/285.10	c  N dy  1316   1420903       681      2962         0     92649      8986   1624128     18.96     20.10  --
1161.60/290.80	c  N dy  1371   1440905       681      2962         0     60932      8986    684673     18.92     22.42  --
1207.54/302.36	c  N dy  1459   1478804       681      2962         0     98280      8986   1690720     18.81     19.96  --
1231.10/308.24	c  N dy  1583   1498828       681      2962         0     65746      8986    795975     18.86     21.43  --
1254.68/314.17	c  N dy  1683   1519347       681      2962         0     86046      8986   1367658     18.88     19.94  --
1287.84/322.43	c  N dy  1809   1539870       681      2962         0    106403      8986   1949713     18.94     20.19  --
1308.62/327.61	c  N dy  1881   1561345       681      2962         0     74247      8986   1018895     18.94     20.06  --
1334.97/334.30	c  N dy  2008   1581387       681      2962         0     94137      8986   1589494     18.98     22.15  --
1364.13/341.59	c  N dy  2094   1601536       681      2962         0     59616      8986    577864     18.99     20.05  --
1385.71/346.95	c  N dy  2205   1621576       681      2962         0     79458      8986   1137140     19.02     20.16  --
1418.46/355.18	c  N dy  2290   1644494       681      2962         0    102186      8986   1782650     19.01     20.14  --
1443.23/361.30	c  N dy  2349   1664938       681      2962         0     66939      8986    762399     19.00     20.11  --
1466.80/367.30	c  N dy  2457   1684939       681      2962         0     86731      8986   1324384     19.02     22.08  --
1498.37/375.11	c  N dy  2531   1705045       681      2962         0    106625      8986   1879497     19.02     20.13  --
1507.55/377.45	c  S st  2568   1710223       681      2962         0    111761      8986   2026202     19.03   no data  --
1508.75/377.78	c  S st  2568   1710726       681      2962         0    112264      8986   2040454     19.03   no data  --
1508.75/377.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1508.75/377.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1509.14/377.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1509.54/377.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1509.54/377.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1509.54/377.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
1509.54/377.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1527.91/382.51	c lits-rem:       556  cl-subs:     2392  v-elim:      0  v-fix:    0  time: 18.38 s
1527.91/382.51	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
1527.91/382.54	c vivif2 --  cl tried   109872 cl shrink        0 lits rem          0 time: 0.10
1528.73/382.70	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.66
1528.73/382.71	c calculated reachability. Time: 0.00
1528.73/382.71	c  N dy  2568   1710726       681      2962         0    109872      8986   1969905     19.03   no data  --
1551.88/388.51	c  N dy  2655   1730808       681      2962         0     73335      8986    912493     19.04     22.87  --
1576.65/394.80	c  N dy  2737   1750809       681      2962         0     93115      8986   1483375     19.04     22.79  --
1612.22/403.61	c  N dy  2876   1770902       681      2962         0    113030      8986   2055699     19.08     20.54  --
1638.98/410.39	c  N dy  2993   1790944       681      2962         0     75495      8986    957230     19.10     20.13  --
1671.72/418.58	c  N dy  3130   1811103       681      2962         0     95478      8986   1532932     19.14     20.23  --
1708.89/427.87	c  N dy  3232   1831733       681      2962         0    115890      8986   2113033     19.16     20.33  --
1730.45/433.26	c  N dy  3326   1851801       681      2962         0     77367      8986    984782     19.17     20.28  --
1757.63/440.06	c  N dy  3434   1871830       681      2962         0     97186      8986   1556083     19.18     20.73  --
1791.96/448.63	c  N dy  3492   1893434       681      2962         0    118489      8986   2151566     19.17     20.24  --
1814.35/454.27	c  N dy  3594   1914302       681      2962         0     79760      8986   1030104     19.18     20.44  --
1843.88/461.62	c  N dy  3719   1934352       681      2962         0     99662      8986   1606678     19.21     20.47  --
1878.64/470.38	c  N dy  3774   1954401       681      2962         0    119466      8986   2165363     19.20     22.78  --
1900.21/475.79	c  N dy  3826   1974485       681      2962         0     78948      8986    978854     19.19     20.27  --
1927.78/482.63	c  N dy  3878   1994593       681      2962         0     98802      8986   1543488     19.16     20.54  --
1962.13/491.21	c  N dy  3948   2014635       681      2962         0    118631      8986   2114964     19.16     20.64  --
1988.10/497.71	c  N dy  4063   2034707       681      2962         0     77214      8986    912717     19.18     22.65  --
2015.66/504.63	c  N dy  4164   2054805       681      2962         0     97100      8986   1480812     19.19     20.23  --
2049.22/513.03	c  N dy  4246   2074874       681      2962         0    116943      8986   2033893     19.18     21.54  --
2077.58/520.10	c  N dy  4306   2096164       681      2962         0     75640      8986    833797     19.17     20.25  --
2105.14/527.02	c  N dy  4413   2116219       681      2962         0     95486      8986   1396782     19.18     20.59  --
2139.51/535.61	c  N dy  4503   2136257       681      2962         0    115266      8986   1949560     19.19     21.24  --
2170.67/543.48	c  N dy  4601   2156269       681      2962         0     71797      8986    715221     19.20     22.09  --
2196.63/549.91	c  N dy  4725   2176511       681      2962         0     91854      8986   1294954     19.22     20.37  --
2240.98/561.04	c  N dy  4832   2203132       681      2962         0    118148      8986   2042437     19.22     20.29  --
2258.15/565.34	c  S st  4874   2210726       681      2962         0    125679      8986   2258282     19.23   no data  --
2259.73/565.77	c  S st  4874   2211229       681      2962         0    126182      8986   2272412     19.23   no data  --
2259.73/565.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2259.73/565.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2260.13/565.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.28
2260.53/565.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2260.53/565.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2260.53/565.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
2260.53/565.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2286.49/572.47	c lits-rem:       369  cl-subs:     2727  v-elim:      0  v-fix:    0  time: 26.13 s
2286.49/572.47	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
2286.89/572.50	c vivif2 --  cl tried   123455 cl shrink        0 lits rem          0 time: 0.12
2287.69/572.71	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.82
2287.69/572.71	c calculated reachability. Time: 0.00
2287.69/572.71	c  N dy  4874   2211229       681      2962         0    123455      8986   2190799     19.23   no data  --
2320.44/580.96	c  N dy  4980   2233512       681      2962         0     81218      8986    964115     19.24     20.34  --
2350.01/588.33	c  N dy  5049   2253607       681      2962         0    101066      8986   1519429     19.23     21.65  --
2384.36/596.90	c  N dy  5106   2273622       681      2962         0    120869      8986   2076996     19.23     21.84  --
2417.91/605.30	c  N dy  5193   2296022       681      2962         0     77725      8986    834602     19.23     20.26  --
2447.87/612.84	c  N dy  5328   2317073       681      2962         0     98579      8986   1433038     19.25     20.27  --
2483.42/621.72	c  N dy  5398   2337155       681      2962         0    118406      8986   1987049     19.24     20.39  --
2519.78/630.81	c  N dy  5500   2357225       681      2962         0     72006      8986    655871     19.25     20.69  --
2546.14/637.47	c  N dy  5577   2378538       681      2962         0     93058      8986   1244215     19.25     20.47  --
2587.29/647.74	c  N dy  5682   2403224       681      2962         0    117447      8986   1940964     19.25     20.46  --
2636.05/659.94	c  N dy  5774   2433765       681      2962         0     80338      8986    843170     19.23     20.30  --
2663.98/666.94	c  N dy  5872   2453766       681      2962         0    100146      8986   1409088     19.24     23.13  --
2699.94/675.94	c  N dy  5958   2473793       681      2962         0    120009      8986   1978115     19.24     22.04  --
2739.49/685.87	c  N dy  6080   2493872       681      2962         0     71675      8986    597649     19.25     20.44  --
2764.65/692.16	c  N dy  6190   2513922       681      2962         0     91495      8986   1162773     19.26     20.32  --
2796.61/700.13	c  N dy  6283   2533991       681      2962         0    111399      8986   1726412     19.27     21.83  --
2836.55/710.15	c  N dy  6398   2554019       681      2962         0    131236      8986   2296816     19.28     21.61  --
2868.93/718.23	c  N dy  6495   2574114       681      2962         0     81832      8986    862148     19.28     24.50  --
2896.07/725.03	c  N dy  6536   2594168       681      2962         0    101606      8986   1415542     19.27     20.37  --
2932.02/734.04	c  N dy  6614   2614436       681      2962         0    121634      8986   1979644     19.27     20.58  --
2975.16/744.88	c  N dy  6656   2638267       681      2962         0     74962      8986    640567     19.26     20.33  --
3003.93/752.06	c  N dy  6747   2658348       681      2962         0     94846      8986   1204298     19.26     20.43  --
3039.49/760.91	c  N dy  6823   2679343       681      2962         0    115589      8986   1787369     19.26     20.32  --
3084.24/772.11	c  N dy  6898   2701920       681      2962         0    137906      8986   2425405     19.26     20.30  --
3102.59/776.76	c  S st  6959   2711229       681      2962         0     75949      8986    648379     19.27     17.29  --
3103.39/776.96	c  S st  6959   2711731       681      2962         0     76451      8986    662738     19.27   no data  --
3103.39/776.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3103.39/776.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3103.39/776.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
3103.79/777.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3103.79/777.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3103.79/777.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
3103.79/777.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3112.98/779.35	c lits-rem:       321  cl-subs:      210  v-elim:      0  v-fix:    0  time:  9.33 s
3112.98/779.35	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
3112.98/779.37	c vivif2 --  cl tried    76241 cl shrink        0 lits rem          0 time: 0.04
3113.38/779.45	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.36
3113.38/779.46	c calculated reachability. Time: 0.00
3113.38/779.46	c  N dy  6959   2711731       681      2962         0     76241      8986    656250     19.27   no data  --
3140.54/786.29	c  N dy  7076   2731960       681      2962         0     96259      8986   1221846     19.28     20.38  --
3176.92/795.31	c  N dy  7226   2752017       681      2962         0    116132      8986   1801068     19.29     20.31  --
3218.04/805.64	c  N dy  7345   2772035       681      2962         0    135959      8986   2378674     19.31     20.73  --
3251.62/814.03	c  N dy  7415   2792352       681      2962         0     83769      8986    853578     19.31     20.35  --
3281.15/821.44	c  N dy  7517   2812587       681      2962         0    103772      8986   1419570     19.31     20.38  --
3319.91/831.18	c  N dy  7603   2833346       681      2962         0    124305      8986   2002868     19.31     20.34  --
3365.86/842.69	c  N dy  7696   2853910       681      2962         0    144617      8986   2578381     19.32     20.71  --
3393.41/849.56	c  N dy  7812   2873918       681      2962         0     91274      8986   1053760     19.33     22.47  --
3430.96/858.90	c  N dy  7901   2897939       681      2962         0    114956      8986   1726165     19.33     20.43  --
3472.50/869.38	c  N dy  7993   2918487       681      2962         0    135300      8986   2310006     19.34     20.44  --
3514.85/879.97	c  N dy  8058   2941812       681      2962         0     84211      8986    825339     19.33     20.35  --
3544.80/887.49	c  N dy  8109   2962609       681      2962         0    104752      8986   1401344     19.32     20.45  --
3582.35/896.86	c  N dy  8209   2982700       681      2962         0    124618      8986   1971155     19.33     22.63  --
3627.09/908.05	c  N dy  8313   3002717       681      2962         0    144420      8986   2541237     19.33     22.28  --
3661.04/916.55	c  N dy  8421   3022803       681      2962         0     89112      8986    925722     19.34     25.92  --
3691.80/924.24	c  N dy  8519   3042857       681      2962         0    108984      8986   1500496     19.34     22.27  --
3732.95/934.50	c  N dy  8648   3063305       681      2962         0    129225      8986   2088914     19.35     20.42  --
3796.08/950.33	c  N dy  8685   3089253       681      2962         0     78640      8986    613220     19.33     20.38  --
3822.45/956.91	c  N dy  8764   3109275       681      2962         0     98430      8986   1174350     19.34     21.99  --
3854.38/964.90	c  N dy  8799   3129466       681      2962         0    118332      8986   1731102     19.33     20.65  --
3897.55/975.78	c  N dy  8878   3150437       681      2962         0    139055      8986   2317872     19.33     20.81  --
3943.07/987.17	c  N dy  9022   3170470       681      2962         0     81862      8986    687498     19.34     22.10  --
3971.85/994.30	c  N dy  9148   3190518       681      2962         0    101714      8986   1262279     19.35     22.82  --
4012.97/1004.65	c  N dy  9275   3211731       681      2962         0    122727      8986   1863187     19.36     16.61  --
4012.97/1004.65	c  S st  9275   3211731       681      2962         0    122727      8986   1863187     19.36     16.61  --
4014.97/1005.13	c  S st  9275   3212235       681      2962         0    123229      8986   1879079     19.36   no data  --
4014.97/1005.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4014.97/1005.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4015.37/1005.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.32
4015.37/1005.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4015.37/1005.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4015.37/1005.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
4015.37/1005.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4046.55/1013.03	c lits-rem:       184  cl-subs:     1692  v-elim:      0  v-fix:    0  time: 30.88 s
4046.55/1013.03	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
4046.55/1013.05	c vivif2 --  cl tried   121537 cl shrink        0 lits rem          0 time: 0.10
4047.33/1013.26	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.84
4047.33/1013.27	c calculated reachability. Time: 0.00
4047.33/1013.27	c  N dy  9275   3212235       681      2962         0    121537      8986   1825432     19.36   no data  --
4092.06/1024.47	c  N dy  9372   3233359       681      2962         0    142418      8986   2423659     19.37     20.39  --
4136.40/1035.51	c  N dy  9470   3253457       681      2962         0     84204      8986    727614     19.37     20.47  --
4165.19/1042.78	c  N dy  9569   3273557       681      2962         0    104111      8986   1299377     19.38     21.05  --
4201.52/1051.84	c  N dy  9654   3293558       681      2962         0    123909      8986   1863315     19.38     20.57  --
4245.05/1062.73	c  N dy  9724   3313651       681      2962         0    143735      8986   2433689     19.38     20.45  --
4296.59/1075.61	c  N dy  9828   3339173       681      2962         0     89797      8986    856996     19.37     20.51  --
4330.55/1084.16	c  N dy  9928   3360967       681      2962         0    111338      8986   1463216     19.38     20.49  --
4370.49/1094.10	c  N dy 10028   3380985       681      2962         0    131154      8986   2031366     19.38     21.08  --
4413.24/1104.81	c  N dy 10102   3401246       681      2962         0    151172      8986   2604388     19.38     20.47  --
4450.39/1114.12	c  N dy 10183   3421271       681      2962         0     90867      8986    871759     19.38     22.31  --
4479.95/1121.55	c  N dy 10259   3441334       681      2962         0    110714      8986   1435409     19.38     21.01  --
4519.89/1131.57	c  N dy 10367   3461868       681      2962         0    131044      8986   2019703     19.39     20.52  --
4562.23/1142.11	c  N dy 10421   3482127       681      2962         0    151012      8986   2571054     19.38     20.73  --
4605.00/1152.82	c  N dy 10532   3502188       681      2962         0     89798      8986    828790     19.39     23.57  --
4640.52/1161.74	c  N dy 10642   3522221       681      2962         0    109627      8986   1399535     19.39     20.80  --
4677.28/1170.95	c  N dy 10712   3542308       681      2962         0    129516      8986   1982224     19.39     20.61  --
4719.24/1181.47	c  N dy 10777   3562321       681      2962         0    149275      8986   2535873     19.39     21.42  --
4763.56/1192.50	c  N dy 10836   3582347       681      2962         0     87003      8986    719961     19.38     20.51  --
4792.32/1199.75	c  N dy 10917   3602425       681      2962         0    106833      8986   1289904     19.39     20.51  --

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-3175096-1304086608/watcher-3175096-1304086608 -o /tmp/evaluation-result-3175096-1304086608/solver-3175096-1304086608 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175096-1304086608.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.17 3.75 6.26 7/180 29659
/proc/meminfo: memFree=30947304/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 4 0 520258745 52465664 353 33554432000 4194304 4650419 140733251377312 18446744073709551615 47408085546920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 12809 353 303 112 0 7774 0
[pid=29659/tid=29660] ppid=29657 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 520258746 52465664 353 33554432000 4194304 4650419 140733251377312 18446744073709551615 47408085546930 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 520258746 52465664 353 33554432000 4194304 4650419 140733251377312 18446744073709551615 47408085546930 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520258746 52465664 353 33554432000 4194304 4650419 140733251377312 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0321491 s]
/proc/loadavg: 0.17 3.75 6.26 7/180 29659
/proc/meminfo: memFree=30947304/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=282752 CPUtime=0.11 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 1610 0 0 0 11 0 0 0 18 0 4 0 520258745 289538048 1443 33554432000 4194304 4650419 140733251377312 18446744073709551615 4315143 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 70688 1444 390 112 0 65653 0
[pid=29659/tid=29660] ppid=29657 vsize=282752 CPUtime=0.02 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 361 0 0 0 2 0 0 0 18 0 4 0 520258746 289538048 1444 33554432000 4194304 4650419 140733251377312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=282752 CPUtime=0.02 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 316 0 0 0 2 0 0 0 18 0 4 0 520258746 289538048 1444 33554432000 4194304 4650419 140733251377312 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=282752 CPUtime=0.02 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 188 0 0 0 2 0 0 0 25 0 4 0 520258746 289538048 1444 33554432000 4194304 4650419 140733251377312 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 282752

[startup+0.101136 s]
/proc/loadavg: 0.17 3.75 6.26 7/180 29659
/proc/meminfo: memFree=30947304/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=282752 CPUtime=0.38 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 1950 0 0 0 38 0 0 0 18 0 4 0 520258745 289538048 1783 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 70688 1783 391 112 0 65653 0
[pid=29659/tid=29660] ppid=29657 vsize=282752 CPUtime=0.09 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 436 0 0 0 9 0 0 0 18 0 4 0 520258746 289538048 1783 33554432000 4194304 4650419 140733251377312 18446744073709551615 4333558 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=282752 CPUtime=0.09 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 406 0 0 0 9 0 0 0 18 0 4 0 520258746 289538048 1783 33554432000 4194304 4650419 140733251377312 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=282752 CPUtime=0.09 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 284 0 0 0 9 0 0 0 25 0 4 0 520258746 289538048 1783 33554432000 4194304 4650419 140733251377312 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282752

[startup+0.301102 s]
/proc/loadavg: 0.17 3.75 6.26 7/180 29659
/proc/meminfo: memFree=30947304/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=284316 CPUtime=1.18 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 3144 0 0 0 118 0 0 0 18 0 4 0 520258745 291139584 2296 33554432000 4194304 4650419 140733251377312 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 71079 2296 393 112 0 66044 0
[pid=29659/tid=29660] ppid=29657 vsize=284316 CPUtime=0.29 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 740 0 0 0 29 0 0 0 18 0 4 0 520258746 291139584 2296 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=284316 CPUtime=0.29 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 706 0 0 0 29 0 0 0 18 0 4 0 520258746 291139584 2296 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=284316 CPUtime=0.29 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 597 0 0 0 29 0 0 0 25 0 4 0 520258746 291139584 2296 33554432000 4194304 4650419 140733251377312 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284316

[startup+0.701032 s]
/proc/loadavg: 0.17 3.75 6.26 7/180 29659
/proc/meminfo: memFree=30947304/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=285300 CPUtime=2.78 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 4929 0 0 0 278 0 0 0 18 0 4 0 520258745 292147200 3061 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 71325 3062 393 112 0 66290 0
[pid=29659/tid=29660] ppid=29657 vsize=285300 CPUtime=0.69 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 1191 0 0 0 69 0 0 0 18 0 4 0 520258746 292147200 3062 33554432000 4194304 4650419 140733251377312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=285300 CPUtime=0.69 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 1170 0 0 0 69 0 0 0 18 0 4 0 520258746 292147200 3062 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=285300 CPUtime=0.69 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 1023 0 0 0 69 0 0 0 25 0 4 0 520258746 292147200 3062 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285300

[startup+1.5009 s]
/proc/loadavg: 0.17 3.75 6.26 9/184 29663
/proc/meminfo: memFree=30930904/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=286772 CPUtime=5.97 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 9803 0 0 0 596 1 0 0 20 0 4 0 520258745 293654528 5077 33554432000 4194304 4650419 140733251377312 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 71693 5077 395 112 0 66658 0
[pid=29659/tid=29660] ppid=29657 vsize=286772 CPUtime=1.49 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 2078 0 0 0 149 0 0 0 19 0 4 0 520258746 293654528 5077 33554432000 4194304 4650419 140733251377312 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=286772 CPUtime=1.49 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 2095 0 0 0 149 0 0 0 20 0 4 0 520258746 293654528 5077 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=286772 CPUtime=1.48 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 1820 0 0 0 148 0 0 0 25 0 4 0 520258746 293654528 5077 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286772

[startup+3.10062 s]
/proc/loadavg: 0.80 3.82 6.27 9/184 29663
/proc/meminfo: memFree=30899788/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=283136 CPUtime=12.37 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 18532 0 0 0 1233 4 0 0 25 0 4 0 520258745 289931264 10879 33554432000 4194304 4650419 140733251377312 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 70784 10879 395 112 0 65749 0
[pid=29659/tid=29660] ppid=29657 vsize=283136 CPUtime=3.09 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 4343 0 0 0 308 1 0 0 25 0 4 0 520258746 289931264 10879 33554432000 4194304 4650419 140733251377312 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=283136 CPUtime=3.09 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 5006 0 0 0 309 0 0 0 25 0 4 0 520258746 289931264 10879 33554432000 4194304 4650419 140733251377312 18446744073709551615 4451368 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=283136 CPUtime=3.07 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 4112 0 0 0 306 1 0 0 25 0 4 0 520258746 289931264 10879 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 283136

[startup+6.30106 s]
/proc/loadavg: 0.80 3.82 6.27 9/184 29663
/proc/meminfo: memFree=30851064/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=292396 CPUtime=25.15 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 28504 0 0 0 2510 5 0 0 25 0 4 0 520258745 299413504 14947 33554432000 4194304 4650419 140733251377312 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 73099 14947 395 112 0 68064 0
[pid=29659/tid=29660] ppid=29657 vsize=292396 CPUtime=6.29 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 7512 0 0 0 628 1 0 0 25 0 4 0 520258746 299413504 14947 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=292396 CPUtime=6.29 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 7318 0 0 0 628 1 0 0 25 0 4 0 520258746 299413504 14947 33554432000 4194304 4650419 140733251377312 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=292396 CPUtime=6.25 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 6041 0 0 0 624 1 0 0 25 0 4 0 520258746 299413504 14947 33554432000 4194304 4650419 140733251377312 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 292396

[startup+12.7009 s]
/proc/loadavg: 1.37 3.89 6.28 9/184 29664
/proc/meminfo: memFree=30808028/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=289392 CPUtime=50.71 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 42746 0 0 0 5062 9 0 0 25 0 4 0 520258745 296337408 21166 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 72348 21166 395 112 0 67313 0
[pid=29659/tid=29660] ppid=29657 vsize=289392 CPUtime=12.69 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 11710 0 0 0 1267 2 0 0 25 0 4 0 520258746 296337408 21166 33554432000 4194304 4650419 140733251377312 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=289392 CPUtime=12.68 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 10852 0 0 0 1267 1 0 0 25 0 4 0 520258746 296337408 21166 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=289392 CPUtime=12.62 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 8290 0 0 0 1260 2 0 0 25 0 4 0 520258746 296337408 21166 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 289392

[startup+25.5007 s]
/proc/loadavg: 2.84 4.09 6.30 9/184 29664
/proc/meminfo: memFree=30734860/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=302324 CPUtime=101.84 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 64902 0 0 0 10169 15 0 0 25 0 4 0 520258745 309579776 31403 33554432000 4194304 4650419 140733251377312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 75581 31403 395 112 0 70546 0
[pid=29659/tid=29660] ppid=29657 vsize=302324 CPUtime=25.49 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 18715 0 0 0 2546 3 0 0 25 0 4 0 520258746 309579776 31403 33554432000 4194304 4650419 140733251377312 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=302324 CPUtime=25.49 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 14310 0 0 0 2546 3 0 0 25 0 4 0 520258746 309579776 31403 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=302324 CPUtime=25.35 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 11178 0 0 0 2533 2 0 0 25 0 4 0 520258746 309579776 31403 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 302324

[startup+51.1012 s]
/proc/loadavg: 4.60 4.40 6.35 9/184 29665
/proc/meminfo: memFree=30676400/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=378104 CPUtime=204.11 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 94786 0 0 0 20387 24 0 0 25 0 4 0 520258745 387178496 40053 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 94526 40053 395 112 0 89491 0
[pid=29659/tid=29660] ppid=29657 vsize=378104 CPUtime=51.09 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 25495 0 0 0 5104 5 0 0 25 0 4 0 520258746 387178496 40053 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=378104 CPUtime=51.08 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 21094 0 0 0 5103 5 0 0 25 0 4 0 520258746 387178496 40053 33554432000 4194304 4650419 140733251377312 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=378104 CPUtime=50.8 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 16628 0 0 0 5076 4 0 0 25 0 4 0 520258746 387178496 40053 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 378104

[startup+102.306 s]
/proc/loadavg: 6.64 5.01 6.44 9/184 29666
/proc/meminfo: memFree=30602204/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=444292 CPUtime=408.64 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 127693 0 0 0 40824 40 0 0 25 0 4 0 520258745 454955008 48906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 111073 48906 395 112 0 106038 0
[pid=29659/tid=29660] ppid=29657 vsize=444292 CPUtime=102.29 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 28705 0 0 0 10223 6 0 0 25 0 4 0 520258746 454955008 48906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=444292 CPUtime=102.28 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 28879 0 0 0 10220 8 0 0 25 0 4 0 520258746 454955008 48906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=444292 CPUtime=101.73 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 26674 0 0 0 10164 9 0 0 25 0 4 0 520258746 454955008 48906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 444292

[startup+162.301 s]

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

[pid=29659] ppid=29657 vsize=548364 CPUtime=2805.4 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 357293 0 0 0 280385 155 0 0 25 0 4 0 520258745 561524736 97482 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 137091 97482 395 112 0 132056 0
[pid=29659/tid=29660] ppid=29657 vsize=548364 CPUtime=702.3 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 37241 0 0 0 70218 12 0 0 25 0 4 0 520258746 561524736 97482 33554432000 4194304 4650419 140733251377312 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=548364 CPUtime=702.29 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 139062 0 0 0 70169 60 0 0 25 0 4 0 520258746 561524736 97482 33554432000 4194304 4650419 140733251377312 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=548364 CPUtime=698.47 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 79533 0 0 0 69807 40 0 0 25 0 4 0 520258746 561524736 97482 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 548364

[startup+762.307 s]
/proc/loadavg: 8.00 7.72 7.26 9/184 29684
/proc/meminfo: memFree=30209444/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=548888 CPUtime=3045.09 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 373983 0 0 0 304346 163 0 0 25 0 4 0 520258745 562061312 93722 33554432000 4194304 4650419 140733251377312 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 137222 93722 395 112 0 132187 0
[pid=29659/tid=29660] ppid=29657 vsize=548888 CPUtime=762.31 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 37452 0 0 0 76219 12 0 0 25 0 4 0 520258746 562061312 93722 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=548888 CPUtime=762.29 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 149035 0 0 0 76164 65 0 0 25 0 4 0 520258746 562061312 93722 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=548888 CPUtime=758.14 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 82466 0 0 0 75773 41 0 0 25 0 4 0 520258746 562061312 93722 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 548888

[startup+822.3 s]
/proc/loadavg: 8.00 7.76 7.30 9/184 29685
/proc/meminfo: memFree=30144284/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=615496 CPUtime=3284.75 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 393201 0 0 0 328302 173 0 0 25 0 4 0 520258745 630267904 104769 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 153874 104769 395 112 0 148839 0
[pid=29659/tid=29660] ppid=29657 vsize=615496 CPUtime=822.3 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 37605 0 0 0 82218 12 0 0 25 0 4 0 520258746 630267904 104769 33554432000 4194304 4650419 140733251377312 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=615496 CPUtime=822.29 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 157444 0 0 0 82159 70 0 0 25 0 4 0 520258746 630267904 104769 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=615496 CPUtime=817.82 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 88312 0 0 0 81737 45 0 0 25 0 4 0 520258746 630267904 104769 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 615496

[startup+882.301 s]
/proc/loadavg: 8.00 7.81 7.34 9/184 29687
/proc/meminfo: memFree=30191360/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=602340 CPUtime=3524.43 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 407292 0 0 0 352262 181 0 0 25 0 4 0 520258745 616796160 98757 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 150585 98757 395 112 0 145550 0
[pid=29659/tid=29660] ppid=29657 vsize=602340 CPUtime=882.31 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 38059 0 0 0 88218 13 0 0 25 0 4 0 520258746 616796160 98757 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=602340 CPUtime=882.29 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 165684 0 0 0 88155 74 0 0 25 0 4 0 520258746 616796160 98757 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=602340 CPUtime=877.49 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 91092 0 0 0 87703 46 0 0 25 0 4 0 520258746 616796160 98757 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 602340

[startup+942.3 s]
/proc/loadavg: 8.00 7.84 7.38 9/184 29688
/proc/meminfo: memFree=30151640/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=683384 CPUtime=3764.11 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 428965 0 0 0 376220 191 0 0 25 0 4 0 520258745 699785216 105605 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 170846 105605 395 112 0 165811 0
[pid=29659/tid=29660] ppid=29657 vsize=683384 CPUtime=942.31 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 38953 0 0 0 94218 13 0 0 25 0 4 0 520258746 699785216 105605 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=683384 CPUtime=942.29 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 177701 0 0 0 94151 78 0 0 25 0 4 0 520258746 699785216 105605 33554432000 4194304 4650419 140733251377312 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=683384 CPUtime=937.16 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 95232 0 0 0 93668 48 0 0 25 0 4 0 520258746 699785216 105605 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 683384

[startup+1002.3 s]
/proc/loadavg: 8.04 7.88 7.42 9/184 29690
/proc/meminfo: memFree=30138920/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=617960 CPUtime=4003.79 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 442774 0 0 0 400182 197 0 0 25 0 4 0 520258745 632791040 102358 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 154490 102358 395 112 0 149455 0
[pid=29659/tid=29660] ppid=29657 vsize=617960 CPUtime=1002.31 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 39244 0 0 0 100218 13 0 0 25 0 4 0 520258746 632791040 102358 33554432000 4194304 4650419 140733251377312 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=617960 CPUtime=1002.29 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 185688 0 0 0 100148 81 0 0 25 0 4 0 520258746 632791040 102358 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=617960 CPUtime=996.83 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 98191 0 0 0 99634 49 0 0 25 0 4 0 520258746 632791040 102358 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 617960

[startup+1062.3 s]
/proc/loadavg: 8.09 7.93 7.46 9/184 29691
/proc/meminfo: memFree=30067596/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=758804 CPUtime=4243.46 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 465307 0 0 0 424137 209 0 0 25 0 4 0 520258745 777015296 118546 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 189701 118546 395 112 0 184666 0
[pid=29659/tid=29660] ppid=29657 vsize=758804 CPUtime=1062.31 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 44869 0 0 0 106214 17 0 0 25 0 4 0 520258746 777015296 118546 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=758804 CPUtime=1062.3 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 191894 0 0 0 106145 85 0 0 25 0 4 0 520258746 777015296 118546 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=758804 CPUtime=1056.52 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 104886 0 0 0 105600 52 0 0 25 0 4 0 520258746 777015296 118546 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 758804

[startup+1122.3 s]
/proc/loadavg: 8.10 7.97 7.50 9/184 29693
/proc/meminfo: memFree=30043120/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=788832 CPUtime=4483.14 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 486267 0 0 0 448094 220 0 0 25 0 4 0 520258745 807763968 126718 33554432000 4194304 4650419 140733251377312 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 197208 126718 395 112 0 192173 0
[pid=29659/tid=29660] ppid=29657 vsize=788832 CPUtime=1122.31 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 49543 0 0 0 112212 19 0 0 25 0 4 0 520258746 807763968 126718 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=788832 CPUtime=1122.3 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 200136 0 0 0 112141 89 0 0 25 0 4 0 520258746 807763968 126718 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=788832 CPUtime=1116.18 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 110419 0 0 0 111563 55 0 0 25 0 4 0 520258746 807763968 126718 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 788832

[startup+1182.3 s]
/proc/loadavg: 8.07 7.98 7.54 9/184 29695
/proc/meminfo: memFree=30006496/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=825804 CPUtime=4722.82 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 499503 0 0 0 472054 228 0 0 25 0 4 0 520258745 845623296 123535 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 206451 123535 395 112 0 201416 0
[pid=29659/tid=29660] ppid=29657 vsize=825804 CPUtime=1182.31 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 50727 0 0 0 118211 20 0 0 25 0 4 0 520258746 845623296 123535 33554432000 4194304 4650419 140733251377312 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=825804 CPUtime=1182.3 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 209322 0 0 0 118137 93 0 0 25 0 4 0 520258746 845623296 123535 33554432000 4194304 4650419 140733251377312 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=825804 CPUtime=1175.86 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 111759 0 0 0 117529 57 0 0 25 0 4 0 520258746 845623296 123535 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 825804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 7.98 7.55 5/179 29696
/proc/meminfo: memFree=30448820/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=723384 CPUtime=4800.33 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 506993 0 0 0 479801 232 0 0 25 0 4 0 520258745 740745216 125906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 180846 125906 395 112 0 175811 0
[pid=29659/tid=29660] ppid=29657 vsize=723384 CPUtime=1201.72 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 50727 0 0 0 120152 20 0 0 25 0 4 0 520258746 740745216 125906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=723384 CPUtime=1201.71 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 212568 0 0 0 120076 95 0 0 25 0 4 0 520258746 740745216 125906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=723384 CPUtime=1195.15 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 113928 0 0 0 119457 58 0 0 25 0 4 0 520258746 740745216 125906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 723384

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 7.98 7.55 5/179 29696
/proc/meminfo: memFree=30448820/32951124 swapFree=67111364/67111528
[pid=29659] ppid=29657 vsize=723384 CPUtime=4800.33 cores=1,3,5,7
/proc/29659/stat : 29659 (strangenight1-m) R 29657 29659 29618 0 -1 4202496 506993 0 0 0 479801 232 0 0 25 0 4 0 520258745 740745216 125906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29659/statm: 180846 125906 395 112 0 175811 0
[pid=29659/tid=29660] ppid=29657 vsize=723384 CPUtime=1201.72 cores=1,3,5,7
/proc/29659/task/29660/stat : 29660 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 50727 0 0 0 120152 20 0 0 25 0 4 0 520258746 740745216 125906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29659/tid=29661] ppid=29657 vsize=723384 CPUtime=1201.71 cores=1,3,5,7
/proc/29659/task/29661/stat : 29661 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 212568 0 0 0 120076 95 0 0 25 0 4 0 520258746 740745216 125906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29659/tid=29662] ppid=29657 vsize=723384 CPUtime=1195.15 cores=1,3,5,7
/proc/29659/task/29662/stat : 29662 (strangenight1-m) R 29657 29659 29618 0 -1 4202560 113928 0 0 0 119457 58 0 0 25 0 4 0 520258746 740745216 125906 33554432000 4194304 4650419 140733251377312 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 723384

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.39
CPU user time (s): 4798.03
CPU system time (s): 2.35164
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 890876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.03
system time used= 2.35164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506994
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= 198
involuntary context switches= 33787

runsolver used 1.92271 second user time and 4.65829 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 16:16:48
IDJOB=3175096
IDBENCH=82714
IDSOLVER=1588
FILE ID=node136/3175096-1304086608
RUNJOBID= node136-1304086607-29637
PBS_JOBID= 13170547
Free space on /tmp= 72328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175096-1304086608/watcher-3175096-1304086608 -o /tmp/evaluation-result-3175096-1304086608/solver-3175096-1304086608 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175096-1304086608.cnf

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

MD5SUM BENCH= 75e4af5315c8af778f17bf3a82042c9e
RANDOM SEED=1178915167

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30947584 kB
Buffers:        571848 kB
Cached:         935464 kB
SwapCached:          0 kB
Active:         134120 kB
Inactive:      1442460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30947584 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12428 kB
Writeback:           0 kB
AnonPages:       69280 kB
Mapped:          15320 kB
Slab:           359828 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   277900 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= 72328 MiB
End job on node136 at 2011-04-29 16:36:52