Trace number 3174142

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-2-mt? (TO) 4800.17 1201.84

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
MD5SUMeac2f4cbe4e61cc8bd9f28b333bf1b8e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.03578
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
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 53195
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174142-1304102694.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.06/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.06/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.06/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.06/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.06/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.06/0.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.06/0.23	c Finding binary XORs  T:     0.00 s  found:       0
0.06/0.23	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.06/0.23	c calculated reachability. Time: 0.00
0.06/0.23	c Calc default polars -  time:   0.00 s pos:      79 undec:       4 neg:      67
0.06/0.23	c =========================================================================================
0.06/0.23	c types(t): F = full restart, N = normal restart
0.06/0.23	c types(t): S = simplification begin/end, E = solution found
0.06/0.23	c restart types(rt): st = static, dy = dynamic
0.06/0.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.06/0.23	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.06/0.23	c Decided on static restart strategy
0.06/0.23	c  N st     8      4918       150      3195         0      4683     15975    141782   no data   no data
0.06/0.83	c  N st    10     11300       150      3195         0      4349     15975     99013   no data   no data
0.06/0.83	c  N st    11     17044       150      3195         0      9816     15975    264816   no data   no data
3.79/1.03	c  F st    12     25000       150      3195         0     12050     15975    330098   no data   no data
3.79/1.03	c  N st    12     25000       150      3195         0     12050     15975    330098   no data   no data
4.59/1.23	c Decided on static restart strategy
4.59/1.23	c  N st    18     30001       150      3195         0     10311     15975    261898   no data   no data
4.59/1.23	c  S st    18     30001       150      3195         0     10311     15975    261898   no data   no data
4.99/1.33	c  S st    18     30503       150      3195         0     10802     15975    276336   no data   no data
4.99/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.99/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.99/1.33	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.99/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.99/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.99/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.99/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.99/1.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.99/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.39/1.44	c lits-rem:       137  cl-subs:     1232  v-elim:      0  v-fix:    0  time:  0.19 s
5.79/1.48	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.79/1.48	c calculated reachability. Time: 0.00
5.79/1.48	c  N st    18     30503       150      3195         0      9570     15975    235337   no data   no data
7.18/1.84	c  N st    20     37615       150      3195         0      8824     15975    194478   no data   no data
8.37/2.16	c  N st    21     44014       150      3195         0     14927     15975    368544   no data   no data
8.76/2.26	c  S st    22     45756       150      3195         0     16597     15975    417346   no data   no data
9.16/2.32	c  S st    22     46260       150      3195         0      8563     15975    167270   no data   no data
9.16/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.16/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.36	c lits-rem:        20  cl-subs:      249  v-elim:      0  v-fix:    0  time:  0.03 s
9.16/2.36	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.16/2.36	c vivif2 --  cl tried     8314 cl shrink        0 lits rem          0 time: 0.00
9.16/2.40	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.57/2.40	c calculated reachability. Time: 0.00
9.57/2.40	c  N st    22     46260       150      3195         0      8314     15975    160191   no data   no data
12.76/3.22	c  N st    23     60657       150      3195         0     12536     15975    270125   no data   no data
14.76/3.73	c  N st    24     69391       150      3195         0     20834     15975    529100   no data   no data
14.76/3.73	c  S st    24     69391       150      3195         0     20834     15975    529100   no data   no data
14.76/3.78	c  S st    24     69892       150      3195         0     10862     15975    205015   no data   no data
14.76/3.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.76/3.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.76/3.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.83	c lits-rem:        23  cl-subs:      219  v-elim:      0  v-fix:    0  time:  0.04 s
15.16/3.83	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
15.16/3.83	c vivif2 --  cl tried    10643 cl shrink        0 lits rem          0 time: 0.00
15.16/3.88	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
15.16/3.88	c calculated reachability. Time: 0.00
15.16/3.88	c  N st    24     69892       150      3195         0     10643     15975    197863   no data   no data
19.56/4.94	c  F st    25     87500       150      3195         0     16051     15975    355450   no data   no data
19.56/4.94	c  N st    25     87500       150      3195         0     16051     15975    355450   no data   no data
20.75/5.27	c Decided on static restart strategy
21.54/5.47	c  N st    32     95542       150      3195         0     23730     15975    590970   no data   no data
23.94/6.08	c  N st    34    104839       150      3195         0     20122     15975    463451   no data   no data
23.94/6.08	c  S st    34    104839       150      3195         0     20122     15975    463451   no data   no data
24.36/6.13	c  S st    34    105344       150      3195         0     20623     15975    477938   no data   no data
24.36/6.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.36/6.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.36/6.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.36/6.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.36/6.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.36/6.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.36/6.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.36/6.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.36/6.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.59	c lits-rem:       329  cl-subs:     1426  v-elim:      0  v-fix:    0  time:  0.43 s
25.95/6.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.95/6.60	c vivif2 --  cl tried    19197 cl shrink        0 lits rem          0 time: 0.00
26.34/6.67	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.07
26.34/6.67	c calculated reachability. Time: 0.00
26.34/6.67	c  N st    34    105344       150      3195         0     19197     15975    430764   no data   no data
29.16/7.34	c  N st    35    114944       150      3195         0     15021     15975    295495   no data   no data
33.55/8.44	c  N st    36    129342       150      3195         0     14427     15975    253297   no data   no data
39.53/9.98	c  N st    37    150937       150      3195         0     19680     15975    392542   no data   no data
41.52/10.47	c  S st    38    158016       150      3195         0     26395     15975    602452   no data   no data
41.94/10.54	c  S st    38    158519       150      3195         0     26884     15975    616884   no data   no data
41.94/10.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.94/10.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
41.94/10.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.94/10.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.94/10.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.94/10.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
41.94/10.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.94/10.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
41.94/10.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.91/11.50	c lits-rem:       692  cl-subs:     1946  v-elim:      0  v-fix:    0  time:  0.93 s
45.91/11.50	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.91/11.51	c vivif2 --  cl tried    24938 cl shrink        0 lits rem          0 time: 0.01
46.33/11.61	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
46.33/11.61	c calculated reachability. Time: 0.00
46.33/11.61	c  N st    38    158519       150      3195         0     24938     15975    552919   no data   no data
63.49/16.00	c  N st    39    207107       150      3195         0     19899     15975    349151   no data   no data
76.28/19.10	c  N st    40    237778       150      3195         0     30037     15975    647098   no data   no data
76.28/19.10	c  S st    40    237778       150      3195         0     30037     15975    647098   no data   no data
76.28/19.16	c  S st    40    238281       150      3195         0     30531     15975    662050   no data   no data
76.28/19.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.28/19.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.28/19.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.28/19.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.28/19.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.28/19.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
76.28/19.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.28/19.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.68/19.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.07/20.36	c lits-rem:       654  cl-subs:     2258  v-elim:      0  v-fix:    0  time:  1.17 s
81.07/20.36	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.07/20.37	c vivif2 --  cl tried    28273 cl shrink        0 lits rem          0 time: 0.01
81.49/20.49	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.49/20.49	c calculated reachability. Time: 0.00
81.49/20.49	c  N st    40    238281       150      3195         0     28273     15975    590550   no data   no data
108.26/27.12	c  F st    41    306250       150      3195         0     30156     15975    598688   no data   no data
108.26/27.12	c  N st    41    306250       150      3195         0     30156     15975    598688   no data   no data
110.24/27.65	c Decided on static restart strategy
120.23/30.18	c  N st    51    334550       150      3195         0     34361     15975    704178   no data   no data
130.61/32.76	c  N st    53    357421       150      3195         0     32325     15975    614339   no data   no data
130.61/32.76	c  S st    53    357421       150      3195         0     32325     15975    614339   no data   no data
131.01/32.84	c  S st    53    357922       150      3195         0     32818     15975    629327   no data   no data
131.01/32.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.01/32.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
131.01/32.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.01/32.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.01/32.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.01/32.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
131.01/32.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.01/32.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
131.01/32.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.81/33.58	c lits-rem:       372  cl-subs:     1495  v-elim:      0  v-fix:    0  time:  0.70 s
133.81/33.58	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
133.81/33.59	c vivif2 --  cl tried    31323 cl shrink        0 lits rem          0 time: 0.01
134.63/33.72	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
134.63/33.72	c calculated reachability. Time: 0.00
134.63/33.72	c  N st    53    357922       150      3195         0     31323     15975    581378   no data   no data
148.19/37.19	c  N st    54    390314       150      3195         0     37396     15975    770151   no data   no data
174.96/43.87	c  N st    55    438903       150      3195         0     31335     15975    547077   no data   no data
208.93/52.38	c  N st    56    511785       150      3195         0     44443     15975    897268   no data   no data
221.30/55.46	c  N st    57    536884       150      3195         0     38816     15975    709614   no data   no data
221.30/55.46	c  S st    57    536884       150      3195         0     38816     15975    709614   no data   no data
221.71/55.56	c  S st    57    537386       150      3195         0     39313     15975    724179   no data   no data
221.71/55.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
221.71/55.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
221.71/55.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
221.71/55.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
221.71/55.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
221.71/55.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
221.71/55.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
221.71/55.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
222.12/55.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.11/56.60	c lits-rem:      1631  cl-subs:     1756  v-elim:      0  v-fix:    0  time:  1.00 s
226.11/56.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
226.11/56.61	c vivif2 --  cl tried    37557 cl shrink        0 lits rem          0 time: 0.01
226.52/56.78	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
226.52/56.79	c calculated reachability. Time: 0.00
226.52/56.79	c  N st    57    537386       150      3195         0     37557     15975    669025   no data   no data
318.00/79.68	c  N st    58    701371       150      3195         0     66088     15975   1516341   no data   no data
381.92/95.66	c  N st    59    806079       150      3195         0     60073     15975   1252086   no data   no data
381.92/95.66	c  S st    59    806079       150      3195         0     60073     15975   1252086   no data   no data
382.72/95.84	c  S st    59    806583       150      3195         0     60566     15975   1266618   no data   no data
382.72/95.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
382.72/95.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
382.72/95.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
382.72/95.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
382.72/95.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.72/95.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
382.72/95.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
382.72/95.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
383.12/95.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
408.27/102.25	c lits-rem:      1115  cl-subs:     4402  v-elim:      0  v-fix:    0  time:  6.33 s
408.27/102.25	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
408.27/102.26	c vivif2 --  cl tried    56164 cl shrink        0 lits rem          0 time: 0.01
409.48/102.56	c asymm  cl-useful: 0/2984/3195 lits-rem:0 time: 0.30
409.48/102.56	c calculated reachability. Time: 0.00
409.48/102.56	c  N st    59    806583       150      3195         0     56164     15975   1126859   no data   no data
580.87/145.44	c  F st    60   1071875       150      3195         0     71214     15975   1493779   no data   no data
580.87/145.44	c  N st    60   1071875       150      3195         0     71214     15975   1493779   no data   no data
585.27/146.56	c Decided on static restart strategy
604.46/151.34	c  N st    70   1100184       150      3195         0     55761     15975    974124   no data   no data
633.20/158.57	c  N st    72   1136176       150      3195         0     46408     15975    672531   no data   no data
657.60/164.61	c  N st    73   1168568       150      3195         0     77092     15975   1605417   no data   no data
689.94/172.75	c  N st    74   1209874       150      3195         0     71729     15975   1450318   no data   no data
689.94/172.75	c  S st    74   1209874       150      3195         0     71729     15975   1450318   no data   no data
691.14/173.02	c  S st    74   1210377       150      3195         0     72221     15975   1464995   no data   no data
691.14/173.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
691.14/173.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
691.14/173.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
691.14/173.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
691.14/173.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
691.14/173.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
691.14/173.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
691.53/173.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
691.53/173.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
747.85/187.29	c lits-rem:      1864  cl-subs:     4432  v-elim:      0  v-fix:    0  time: 14.14 s
747.85/187.29	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
748.26/187.31	c vivif2 --  cl tried    67789 cl shrink        0 lits rem          0 time: 0.02
750.25/187.89	c asymm  cl-useful: 0/2593/3195 lits-rem:0 time: 0.58
750.65/187.90	c calculated reachability. Time: 0.00
750.65/187.90	c  N st    74   1210377       150      3195         0     67789     15975   1317145   no data   no data
824.95/206.51	c  N st    75   1283260       150      3195         0     91482     15975   2063900   no data   no data
924.02/231.34	c  N st    76   1392585       150      3195         0     53090     15975    782779   no data   no data
1074.23/268.91	c  N st    77   1556569       150      3195         0     57741     15975    876170   no data   no data
1216.04/304.44	c  N st    78   1710377       150      3195         0     97722     15975   2054879   no data   no data
1216.04/304.44	c  S st    78   1710377       150      3195         0     97722     15975   2054879   no data   no data
1217.24/304.75	c  S st    78   1710880       150      3195         0     98212     15975   2069766   no data   no data
1217.24/304.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1217.64/304.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1217.64/304.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1217.64/304.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1217.64/304.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1217.64/304.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1217.64/304.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1217.64/304.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1217.64/304.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1330.69/333.17	c lits-rem:      3251  cl-subs:    11564  v-elim:      0  v-fix:    0  time: 28.27 s
1330.69/333.17	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1330.69/333.19	c vivif2 --  cl tried    86648 cl shrink        0 lits rem          0 time: 0.02
1331.49/333.32	c asymm  cl-useful: 0/602/3195 lits-rem:0 time: 0.13
1331.49/333.32	c calculated reachability. Time: 0.00
1331.49/333.32	c  N st    78   1710880       150      3195         0     86648     15975   1720894   no data   no data
1699.81/425.53	c  N st    79   2079846       150      3195         0     98426     15975   1945833   no data   no data
1829.65/458.04	c  N st    80   2210880       150      3195         0    102747     15975   2095564   no data   no data
1829.65/458.04	c  S st    80   2210880       150      3195         0    102747     15975   2095564   no data   no data
1830.87/458.35	c  S st    80   2211385       150      3195         0    103240     15975   2110265   no data   no data
1830.87/458.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1831.24/458.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1831.24/458.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1831.24/458.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1831.24/458.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1831.24/458.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1831.24/458.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1831.24/458.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1831.64/458.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1913.53/479.09	c lits-rem:      3642  cl-subs:     8017  v-elim:      0  v-fix:    0  time: 20.60 s
1913.53/479.09	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1913.95/479.12	c vivif2 --  cl tried    95223 cl shrink        0 lits rem          0 time: 0.03
1915.13/479.47	c asymm  cl-useful: 0/1771/3195 lits-rem:0 time: 0.36
1915.13/479.48	c calculated reachability. Time: 0.00
1915.13/479.48	c  N st    80   2211385       150      3195         0     95223     15975   1867975   no data   no data
2461.22/616.16	c  N st    81   2711387       150      3195         0    118149     15975   2494667   no data   no data
2461.22/616.16	c  S st    81   2711387       150      3195         0    118149     15975   2494667   no data   no data
2462.82/616.52	c  S st    81   2711892       150      3195         0    118644     15975   2509239   no data   no data
2462.82/616.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2462.82/616.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2462.82/616.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2462.82/616.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2462.82/616.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2462.82/616.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2462.82/616.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2463.23/616.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2463.23/616.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2594.25/649.49	c lits-rem:      3709  cl-subs:    10367  v-elim:      0  v-fix:    0  time: 32.79 s
2594.25/649.49	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2594.64/649.52	c vivif2 --  cl tried   108277 cl shrink        0 lits rem          0 time: 0.03
2596.24/649.91	c asymm  cl-useful: 0/1390/3195 lits-rem:0 time: 0.39
2596.24/649.92	c calculated reachability. Time: 0.00
2596.24/649.92	c  N st    81   2711892       150      3195         0    108277     15975   2188404   no data   no data
3280.95/821.36	c  N st    82   3211892       150      3195         0     85106     15975   1282044   no data   no data
3280.95/821.36	c  S st    82   3211892       150      3195         0     85106     15975   1282044   no data   no data
3282.13/821.61	c  S st    82   3212393       150      3195         0     85597     15975   1296524   no data   no data
3282.13/821.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3282.13/821.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3282.13/821.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3282.13/821.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3282.13/821.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3282.13/821.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3282.13/821.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3282.13/821.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3282.53/821.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3292.92/824.38	c lits-rem:       599  cl-subs:     2530  v-elim:      0  v-fix:    0  time:  2.66 s
3292.92/824.39	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3293.32/824.40	c vivif2 --  cl tried    83067 cl shrink        0 lits rem          0 time: 0.02
3294.52/824.74	c asymm  cl-useful: 0/1999/3195 lits-rem:0 time: 0.34
3294.52/824.74	c calculated reachability. Time: 0.00
3294.52/824.74	c  N st    82   3212393       150      3195         0     83067     15975   1223121   no data   no data
4001.58/1001.76	c  N st    83   3712394       150      3195         0     93273     15975   1432764   no data   no data
4001.58/1001.76	c  S st    83   3712394       150      3195         0     93273     15975   1432764   no data   no data
4002.76/1002.04	c  S st    83   3712894       150      3195         0     93764     15975   1447362   no data   no data
4002.76/1002.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4003.16/1002.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
4003.16/1002.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4003.16/1002.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4003.16/1002.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4003.16/1002.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4003.16/1002.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4003.16/1002.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4003.16/1002.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4020.33/1006.46	c lits-rem:       812  cl-subs:     3299  v-elim:      0  v-fix:    0  time:  4.29 s
4020.33/1006.46	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4020.33/1006.48	c vivif2 --  cl tried    90465 cl shrink        0 lits rem          0 time: 0.02
4021.53/1006.74	c asymm  cl-useful: 0/1196/3195 lits-rem:0 time: 0.26
4021.53/1006.74	c calculated reachability. Time: 0.00
4021.53/1006.74	c  N st    83   3712894       150      3195         0     90465     15975   1349969   no data   no data
4062.70/1017.07	c  F st    84   3751562       150      3195         0    127062     15975   2524700   no data   no data
4062.70/1017.07	c  N st    84   3751562       150      3195         0    127062     15975   2524700   no data   no data
4071.07/1019.13	c Decided on static restart strategy
4113.81/1029.87	c  N st    94   3779867       150      3195         0    153949     15975   3368761   no data   no data
4159.77/1041.33	c  N st    96   3815861       150      3195         0    108059     15975   1859970   no data   no data
4207.29/1053.29	c  N st    97   3848253       150      3195         0    138654     15975   2780321   no data   no data
4275.99/1070.41	c  N st    98   3896843       150      3195         0    103531     15975   1678626   no data   no data
4378.25/1096.05	c  N st    99   3969725       150      3195         0     90118     15975   1264767   no data   no data
4535.25/1135.33	c  N st   100   4079048       150      3195         0    110038     15975   1853798   no data   no data
4706.20/1178.33	c  N st   101   4212895       150      3195         0    152636     15975   3191356   no data   no data
4706.20/1178.33	c  S st   101   4212895       150      3195         0    152636     15975   3191356   no data   no data
4708.22/1178.87	c  S st   101   4213396       150      3195         0    153124     15975   3205899   no data   no data
4708.22/1178.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4708.60/1178.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4708.60/1178.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4708.60/1178.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4708.60/1178.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4708.60/1178.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4708.60/1178.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4709.00/1179.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4709.40/1179.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  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: 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-3174142-1304102694/watcher-3174142-1304102694 -o /tmp/evaluation-result-3174142-1304102694/solver-3174142-1304102694 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174142-1304102694.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.92 7.86 7.96 2/173 8298
/proc/meminfo: memFree=26080216/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 409 0 0 0 0 0 0 0 24 0 4 0 521869866 52441088 348 33554432000 4194304 4627427 140733545014560 18446744073709551615 48006373894060 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 12803 348 299 106 0 7774 0
[pid=8298/tid=8299] ppid=8296 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521869866 52441088 348 33554432000 4194304 4627427 140733545014560 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521869866 52441088 348 33554432000 4194304 4627427 140733545014560 18446744073709551615 230804197608 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521869866 52441088 348 33554432000 4194304 4627427 140733545014560 18446744073709551615 230804197608 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.022487 s]
/proc/loadavg: 6.92 7.86 7.96 2/173 8298
/proc/meminfo: memFree=26080216/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=281996 CPUtime=0.06 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) D 8296 8298 7348 0 -1 4202496 971 0 0 0 6 0 0 0 18 0 4 0 521869866 288763904 889 33554432000 4194304 4627427 140733545014560 18446744073709551615 230808826565 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 70499 889 369 106 0 65470 0
[pid=8298/tid=8299] ppid=8296 vsize=281996 CPUtime=0.01 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 126 0 0 0 1 0 0 0 25 0 4 0 521869866 288763904 889 33554432000 4194304 4627427 140733545014560 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=281996 CPUtime=0.01 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) D 8296 8298 7348 0 -1 4202560 131 0 0 0 1 0 0 0 18 0 4 0 521869866 288763904 889 33554432000 4194304 4627427 140733545014560 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=281996 CPUtime=0.01 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 151 0 0 0 1 0 0 0 18 0 4 0 521869866 288763904 889 33554432000 4194304 4627427 140733545014560 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 281996

[startup+0.345952 s]
/proc/loadavg: 6.92 7.86 7.96 2/173 8298
/proc/meminfo: memFree=26080216/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=286520 CPUtime=3.39 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 6535 0 0 0 338 1 0 0 18 0 4 0 521869866 293396480 3207 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 71630 3207 384 106 0 66601 0
[pid=8298/tid=8299] ppid=8296 vsize=286520 CPUtime=0.84 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1581 0 0 0 84 0 0 0 19 0 4 0 521869866 293396480 3207 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=286520 CPUtime=0.84 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1547 0 0 0 84 0 0 0 19 0 4 0 521869866 293396480 3207 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=286520 CPUtime=0.84 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1409 0 0 0 84 0 0 0 19 0 4 0 521869866 293396480 3207 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 286520

[startup+0.956178 s]
/proc/loadavg: 6.92 7.86 7.96 2/173 8298
/proc/meminfo: memFree=26080216/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=286820 CPUtime=3.79 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 6903 0 0 0 378 1 0 0 19 0 4 0 521869866 293703680 3575 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 71705 3575 385 106 0 66676 0
[pid=8298/tid=8299] ppid=8296 vsize=286820 CPUtime=0.94 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1685 0 0 0 94 0 0 0 19 0 4 0 521869866 293703680 3575 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=286820 CPUtime=0.94 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1624 0 0 0 94 0 0 0 19 0 4 0 521869866 293703680 3575 33554432000 4194304 4627427 140733545014560 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=286820 CPUtime=0.94 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1522 0 0 0 94 0 0 0 19 0 4 0 521869866 293703680 3575 33554432000 4194304 4627427 140733545014560 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 286820

[startup+1.03055 s]
/proc/loadavg: 6.92 7.86 7.96 2/173 8298
/proc/meminfo: memFree=26080216/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=296380 CPUtime=4.09 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 7757 0 0 0 408 1 0 0 19 0 4 0 521869866 303493120 3211 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 71887 3064 385 106 0 66858 0
[pid=8298/tid=8299] ppid=8296 vsize=287548 CPUtime=1.04 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1963 0 0 0 104 0 0 0 19 0 4 0 521869866 294449152 3065 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=287548 CPUtime=1.04 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1921 0 0 0 104 0 0 0 19 0 4 0 521869866 294449152 3065 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=287548 CPUtime=1.04 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 1790 0 0 0 104 0 0 0 19 0 4 0 521869866 294449152 3065 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 296380

[startup+1.50108 s]
/proc/loadavg: 6.92 7.86 7.96 2/173 8298
/proc/meminfo: memFree=26080216/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=294944 CPUtime=5.97 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 12798 0 0 0 595 2 0 0 19 0 4 0 521869866 302022656 6437 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 73736 6437 388 106 0 68707 0
[pid=8298/tid=8299] ppid=8296 vsize=294944 CPUtime=1.49 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 3848 0 0 0 148 1 0 0 20 0 4 0 521869866 302022656 6437 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=294944 CPUtime=1.49 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 2465 0 0 0 149 0 0 0 20 0 4 0 521869866 302022656 6437 33554432000 4194304 4627427 140733545014560 18446744073709551615 4310363 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=294944 CPUtime=1.49 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 2313 0 0 0 149 0 0 0 19 0 4 0 521869866 302022656 6437 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 294944

[startup+3.10079 s]
/proc/loadavg: 6.92 7.86 7.96 9/184 8310
/proc/meminfo: memFree=25985444/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=295664 CPUtime=12.36 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 22257 0 0 0 1232 4 0 0 25 0 4 0 521869866 302759936 10877 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 73916 10877 388 106 0 68887 0
[pid=8298/tid=8299] ppid=8296 vsize=295664 CPUtime=3.08 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 5190 0 0 0 307 1 0 0 25 0 4 0 521869866 302759936 10877 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=295664 CPUtime=3.08 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 5707 0 0 0 308 0 0 0 25 0 4 0 521869866 302759936 10877 33554432000 4194304 4627427 140733545014560 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=295664 CPUtime=3.08 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 5636 0 0 0 307 1 0 0 25 0 4 0 521869866 302759936 10877 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 295664

[startup+6.3012 s]
/proc/loadavg: 7.01 7.86 7.96 9/184 8310
/proc/meminfo: memFree=25960168/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=304300 CPUtime=25.14 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 35929 0 0 0 2508 6 0 0 25 0 4 0 521869866 311603200 16382 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 76075 16382 388 106 0 71046 0
[pid=8298/tid=8299] ppid=8296 vsize=304300 CPUtime=6.26 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 9186 0 0 0 625 1 0 0 25 0 4 0 521869866 311603200 16382 33554432000 4194304 4627427 140733545014560 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=304300 CPUtime=6.28 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 9000 0 0 0 628 0 0 0 25 0 4 0 521869866 311603200 16382 33554432000 4194304 4627427 140733545014560 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=304300 CPUtime=6.29 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 7945 0 0 0 627 2 0 0 25 0 4 0 521869866 311603200 16382 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 304300

[startup+12.701 s]
/proc/loadavg: 7.09 7.87 7.96 9/184 8310
/proc/meminfo: memFree=25916156/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=314992 CPUtime=50.73 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 53961 0 0 0 5063 10 0 0 25 0 4 0 521869866 322551808 21167 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 78748 21167 388 106 0 73719 0
[pid=8298/tid=8299] ppid=8296 vsize=314992 CPUtime=12.63 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 14349 0 0 0 1260 3 0 0 25 0 4 0 521869866 322551808 21167 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=314992 CPUtime=12.68 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 13183 0 0 0 1267 1 0 0 25 0 4 0 521869866 322551808 21167 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=314992 CPUtime=12.69 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 13455 0 0 0 1267 2 0 0 25 0 4 0 521869866 322551808 21167 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 314992

[startup+25.5007 s]
/proc/loadavg: 7.37 7.89 7.96 9/184 8310
/proc/meminfo: memFree=25860092/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=318320 CPUtime=101.85 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 82963 0 0 0 10168 17 0 0 25 0 4 0 521869866 325959680 29519 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 79580 29519 388 106 0 74551 0
[pid=8298/tid=8299] ppid=8296 vsize=318320 CPUtime=25.37 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 22207 0 0 0 2532 5 0 0 25 0 4 0 521869866 325959680 29519 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=318320 CPUtime=25.48 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 20985 0 0 0 2545 3 0 0 25 0 4 0 521869866 325959680 29519 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=318320 CPUtime=25.49 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 20795 0 0 0 2544 5 0 0 25 0 4 0 521869866 325959680 29519 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 318320

[startup+51.101 s]
/proc/loadavg: 7.58 7.89 7.96 9/184 8311
/proc/meminfo: memFree=25805252/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=329840 CPUtime=204.13 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 122845 0 0 0 20387 26 0 0 25 0 4 0 521869866 337756160 36773 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 82460 36773 388 106 0 77431 0
[pid=8298/tid=8299] ppid=8296 vsize=329840 CPUtime=50.85 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 32250 0 0 0 5079 6 0 0 25 0 4 0 521869866 337756160 36773 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=329840 CPUtime=51.07 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 32008 0 0 0 5102 5 0 0 25 0 4 0 521869866 337756160 36773 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=329840 CPUtime=51.09 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 30501 0 0 0 5101 8 0 0 25 0 4 0 521869866 337756160 36773 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 329840

[startup+102.301 s]
/proc/loadavg: 7.95 7.94 7.97 9/184 8312
/proc/meminfo: memFree=25737880/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=342480 CPUtime=408.67 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 187665 0 0 0 40821 46 0 0 25 0 4 0 521869866 350699520 48896 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 85620 48896 389 106 0 80591 0
[pid=8298/tid=8299] ppid=8296 vsize=342480 CPUtime=101.81 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 47242 0 0 0 10170 11 0 0 25 0 4 0 521869866 350699520 48896 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=342480 CPUtime=102.27 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 47860 0 0 0 10216 11 0 0 25 0 4 0 521869866 350699520 48896 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=342480 CPUtime=102.28 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 47270 0 0 0 10216 12 0 0 25 0 4 0 521869866 350699520 48896 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 342480

[startup+162.301 s]

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

[pid=8298] ppid=8296 vsize=700752 CPUtime=2805.56 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 571303 0 0 0 280372 184 0 0 25 0 4 0 521869866 717570048 106372 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 175188 106372 390 106 0 170159 0
[pid=8298/tid=8299] ppid=8296 vsize=700752 CPUtime=698.7 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 135711 0 0 0 69827 43 0 0 25 0 4 0 521869866 717570048 106372 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=700752 CPUtime=702.23 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 161959 0 0 0 70173 50 0 0 25 0 4 0 521869866 717570048 106372 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=700752 CPUtime=702.3 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 146270 0 0 0 70178 52 0 0 25 0 4 0 521869866 717570048 106372 33554432000 4194304 4627427 140733545014560 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.56
Current children cumulated vsize (KiB) 700752

[startup+762.301 s]
/proc/loadavg: 8.07 8.06 8.01 9/184 8330
/proc/meminfo: memFree=25317704/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=701004 CPUtime=3045.25 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 599409 0 0 0 304329 196 0 0 25 0 4 0 521869866 717828096 119471 33554432000 4194304 4627427 140733545014560 18446744073709551615 4340645 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 175251 119471 390 106 0 170222 0
[pid=8298/tid=8299] ppid=8296 vsize=701004 CPUtime=758.39 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 141797 0 0 0 75795 44 0 0 25 0 4 0 521869866 717828096 119471 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=701004 CPUtime=762.22 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 171038 0 0 0 76168 54 0 0 25 0 4 0 521869866 717828096 119471 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=701004 CPUtime=762.3 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 151609 0 0 0 76176 54 0 0 25 0 4 0 521869866 717828096 119471 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.25
Current children cumulated vsize (KiB) 701004

[startup+822.301 s]
/proc/loadavg: 8.09 8.06 8.01 9/184 8331
/proc/meminfo: memFree=25281332/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=647348 CPUtime=3284.94 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 617955 0 0 0 328290 204 0 0 25 0 4 0 521869866 662884352 121311 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 161837 121311 390 106 0 156808 0
[pid=8298/tid=8299] ppid=8296 vsize=647348 CPUtime=818.07 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 147803 0 0 0 81761 46 0 0 25 0 4 0 521869866 662884352 121311 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=647348 CPUtime=822.22 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 175111 0 0 0 82167 55 0 0 25 0 4 0 521869866 662884352 121311 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=647348 CPUtime=822.31 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 152893 0 0 0 82176 55 0 0 25 0 4 0 521869866 662884352 121311 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.94
Current children cumulated vsize (KiB) 647348

[startup+882.301 s]
/proc/loadavg: 8.10 8.06 8.01 9/184 8333
/proc/meminfo: memFree=25237156/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=674400 CPUtime=3524.61 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 642808 0 0 0 352247 214 0 0 25 0 4 0 521869866 690585600 125942 33554432000 4194304 4627427 140733545014560 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 168600 125942 390 106 0 163571 0
[pid=8298/tid=8299] ppid=8296 vsize=674400 CPUtime=877.75 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 156319 0 0 0 87725 50 0 0 25 0 4 0 521869866 690585600 125942 33554432000 4194304 4627427 140733545014560 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=674400 CPUtime=882.22 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 183792 0 0 0 88164 58 0 0 25 0 4 0 521869866 690585600 125942 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=674400 CPUtime=882.31 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 156866 0 0 0 88174 57 0 0 25 0 4 0 521869866 690585600 125942 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.61
Current children cumulated vsize (KiB) 674400

[startup+942.307 s]
/proc/loadavg: 8.10 8.07 8.01 9/184 8335
/proc/meminfo: memFree=25213444/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=796312 CPUtime=3764.32 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 671438 0 0 0 376207 225 0 0 25 0 4 0 521869866 815423488 131251 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 199078 131251 390 106 0 194049 0
[pid=8298/tid=8299] ppid=8296 vsize=796312 CPUtime=937.44 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 166642 0 0 0 93691 53 0 0 25 0 4 0 521869866 815423488 131251 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=796312 CPUtime=942.22 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 191785 0 0 0 94160 62 0 0 25 0 4 0 521869866 815423488 131251 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=796312 CPUtime=942.31 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 164464 0 0 0 94171 60 0 0 25 0 4 0 521869866 815423488 131251 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.32
Current children cumulated vsize (KiB) 796312

[startup+1002.3 s]
/proc/loadavg: 8.09 8.07 8.01 9/184 8345
/proc/meminfo: memFree=25216272/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=661612 CPUtime=4003.96 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 691945 0 0 0 400162 234 0 0 25 0 4 0 521869866 677490688 130186 33554432000 4194304 4627427 140733545014560 18446744073709551615 4468043 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 165403 130186 390 106 0 160374 0
[pid=8298/tid=8299] ppid=8296 vsize=661612 CPUtime=997.12 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 171447 0 0 0 99657 55 0 0 25 0 4 0 521869866 677490688 130186 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=661612 CPUtime=1002.21 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 199254 0 0 0 100156 65 0 0 25 0 4 0 521869866 677490688 130186 33554432000 4194304 4627427 140733545014560 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=661612 CPUtime=1002.3 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 167040 0 0 0 100169 61 0 0 25 0 4 0 521869866 677490688 130186 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.96
Current children cumulated vsize (KiB) 661612

[startup+1062.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/184 8347
/proc/meminfo: memFree=25150736/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=803888 CPUtime=4243.63 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 721812 0 0 0 424116 247 0 0 25 0 4 0 521869866 823181312 141268 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 200972 141268 390 106 0 195943 0
[pid=8298/tid=8299] ppid=8296 vsize=803888 CPUtime=1056.79 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 180192 0 0 0 105621 58 0 0 25 0 4 0 521869866 823181312 141268 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=803888 CPUtime=1062.2 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 208350 0 0 0 106152 68 0 0 25 0 4 0 521869866 823181312 141268 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=803888 CPUtime=1062.3 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 174598 0 0 0 106166 64 0 0 25 0 4 0 521869866 823181312 141268 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.63
Current children cumulated vsize (KiB) 803888

[startup+1122.3 s]
/proc/loadavg: 8.14 8.08 8.01 9/184 8348
/proc/meminfo: memFree=25177332/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=733708 CPUtime=4483.31 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 750326 0 0 0 448073 258 0 0 25 0 4 0 521869866 751316992 133508 33554432000 4194304 4627427 140733545014560 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 183427 133508 390 106 0 178398 0
[pid=8298/tid=8299] ppid=8296 vsize=733708 CPUtime=1116.48 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 188202 0 0 0 111587 61 0 0 25 0 4 0 521869866 751316992 133508 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=733708 CPUtime=1122.2 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 216247 0 0 0 112149 71 0 0 25 0 4 0 521869866 751316992 133508 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=733708 CPUtime=1122.31 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 182895 0 0 0 112163 68 0 0 25 0 4 0 521869866 751316992 133508 33554432000 4194304 4627427 140733545014560 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.31
Current children cumulated vsize (KiB) 733708

[startup+1182.3 s]
/proc/loadavg: 8.37 8.16 8.04 9/184 8353
/proc/meminfo: memFree=25170464/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=786556 CPUtime=4722.18 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 782721 0 0 0 471947 271 0 0 25 0 4 0 521869866 805433344 132853 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 196639 132853 390 106 0 191610 0
[pid=8298/tid=8299] ppid=8296 vsize=786556 CPUtime=1175.49 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 196198 0 0 0 117485 64 0 0 25 0 4 0 521869866 805433344 132853 33554432000 4194304 4627427 140733545014560 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=786556 CPUtime=1182.18 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 222918 0 0 0 118145 73 0 0 25 0 4 0 521869866 805433344 132853 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=786556 CPUtime=1182.31 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 190851 0 0 0 118160 71 0 0 25 0 4 0 521869866 805433344 132853 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.18
Current children cumulated vsize (KiB) 786556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.35 8.16 8.04 5/180 8355
/proc/meminfo: memFree=25548800/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=729008 CPUtime=4800.11 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 789614 0 0 0 479736 275 0 0 25 0 4 0 521869866 746504192 131198 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 182252 131198 390 106 0 177223 0
[pid=8298/tid=8299] ppid=8296 vsize=729008 CPUtime=1194.89 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 198920 0 0 0 119424 65 0 0 25 0 4 0 521869866 746504192 131198 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=729008 CPUtime=1201.69 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 225841 0 0 0 120094 75 0 0 25 0 4 0 521869866 746504192 131198 33554432000 4194304 4627427 140733545014560 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=729008 CPUtime=1201.82 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 192099 0 0 0 120110 72 0 0 25 0 4 0 521869866 746504192 131198 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 729008

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

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

[startup+1201.8 s]
/proc/loadavg: 8.35 8.16 8.04 5/180 8355
/proc/meminfo: memFree=25548800/32951124 swapFree=67111524/67111528
[pid=8298] ppid=8296 vsize=729008 CPUtime=4800.11 cores=0,2,4,6
/proc/8298/stat : 8298 (strangenight2-m) R 8296 8298 7348 0 -1 4202496 789614 0 0 0 479736 275 0 0 25 0 4 0 521869866 746504192 131198 33554432000 4194304 4627427 140733545014560 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8298/statm: 182252 131198 390 106 0 177223 0
[pid=8298/tid=8299] ppid=8296 vsize=729008 CPUtime=1194.89 cores=0,2,4,6
/proc/8298/task/8299/stat : 8299 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 198920 0 0 0 119424 65 0 0 25 0 4 0 521869866 746504192 131198 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8298/tid=8300] ppid=8296 vsize=729008 CPUtime=1201.69 cores=0,2,4,6
/proc/8298/task/8300/stat : 8300 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 225841 0 0 0 120094 75 0 0 25 0 4 0 521869866 746504192 131198 33554432000 4194304 4627427 140733545014560 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8298/tid=8301] ppid=8296 vsize=729008 CPUtime=1201.82 cores=0,2,4,6
/proc/8298/task/8301/stat : 8301 (strangenight2-m) R 8296 8298 7348 0 -1 4202560 192099 0 0 0 120110 72 0 0 25 0 4 0 521869866 746504192 131198 33554432000 4194304 4627427 140733545014560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 729008

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.84
CPU time (s): 4800.17
CPU user time (s): 4797.39
CPU system time (s): 2.77958
CPU usage (%): 399.4
Max. virtual memory (cumulated for all children) (KiB): 877392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.39
system time used= 2.77958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 789614
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= 721
involuntary context switches= 22549

runsolver used 1.86472 second user time and 4.44232 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 20:44:54
IDJOB=3174142
IDBENCH=82960
IDSOLVER=1586
FILE ID=node104/3174142-1304102694
RUNJOBID= node104-1304102694-8283
PBS_JOBID= 13170596
Free space on /tmp= 71548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174142-1304102694/watcher-3174142-1304102694 -o /tmp/evaluation-result-3174142-1304102694/solver-3174142-1304102694 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174142-1304102694.cnf

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

MD5SUM BENCH= eac2f4cbe4e61cc8bd9f28b333bf1b8e
RANDOM SEED=1723218545

node104.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.855
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.71
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.855
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26081984 kB
Buffers:       1888216 kB
Cached:        4373964 kB
SwapCached:          4 kB
Active:         175932 kB
Inactive:      6150284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26081984 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6696 kB
Writeback:           0 kB
AnonPages:       64140 kB
Mapped:          14424 kB
Slab:           480048 kB
PageTables:       4444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187188 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= 71540 MiB
End job on node104 at 2011-04-29 21:04:58