Trace number 3366551

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 (fixed)? (TO) 4800.25 1203.14

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-3366551-1305407564.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.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      79 undec:       4 neg:      67
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4918       150      3195         0      4683     15975    141782   no data   no data
1.17/0.37	c  N st    10     11300       150      3195         0      4349     15975     99013   no data   no data
2.37/0.61	c  N st    11     17044       150      3195         0      9816     15975    264816   no data   no data
3.57/0.98	c  F st    12     25000       150      3195         0     12050     15975    330098   no data   no data
3.57/0.98	c  N st    12     25000       150      3195         0     12050     15975    330098   no data   no data
4.38/1.20	c Decided on static restart strategy
4.38/1.20	c  N st    18     30001       150      3195         0     10311     15975    261898   no data   no data
4.38/1.20	c  S st    18     30001       150      3195         0     10311     15975    261898   no data   no data
4.80/1.23	c  S st    18     30503       150      3195         0     10802     15975    276336   no data   no data
4.80/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.80/1.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.80/1.24	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.80/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.80/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.80/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.80/1.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.80/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.44	c lits-rem:       137  cl-subs:     1232  v-elim:      0  v-fix:    0  time:  0.19 s
5.55/1.48	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.55/1.48	c calculated reachability. Time: 0.00
5.55/1.48	c  N st    18     30503       150      3195         0      9570     15975    235337   no data   no data
7.16/1.84	c  N st    20     37615       150      3195         0      8824     15975    194478   no data   no data
8.35/2.16	c  N st    21     44014       150      3195         0     14927     15975    368544   no data   no data
8.77/2.26	c  S st    22     45756       150      3195         0     16597     15975    417346   no data   no data
9.19/2.32	c  S st    22     46260       150      3195         0      8563     15975    167270   no data   no data
9.19/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.19/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.36	c lits-rem:        20  cl-subs:      249  v-elim:      0  v-fix:    0  time:  0.03 s
9.19/2.36	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.19/2.36	c vivif2 --  cl tried     8314 cl shrink        0 lits rem          0 time: 0.00
9.55/2.40	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.55/2.40	c calculated reachability. Time: 0.00
9.55/2.40	c  N st    22     46260       150      3195         0      8314     15975    160191   no data   no data
12.75/3.22	c  N st    23     60657       150      3195         0     12536     15975    270125   no data   no data
14.73/3.73	c  N st    24     69391       150      3195         0     20834     15975    529100   no data   no data
14.73/3.73	c  S st    24     69391       150      3195         0     20834     15975    529100   no data   no data
14.73/3.78	c  S st    24     69892       150      3195         0     10862     15975    205015   no data   no data
14.73/3.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.73/3.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.73/3.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.73/3.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.73/3.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.73/3.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.83	c lits-rem:        23  cl-subs:      219  v-elim:      0  v-fix:    0  time:  0.04 s
15.13/3.83	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
15.13/3.83	c vivif2 --  cl tried    10643 cl shrink        0 lits rem          0 time: 0.00
15.13/3.88	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.13/3.88	c calculated reachability. Time: 0.00
15.13/3.88	c  N st    24     69892       150      3195         0     10643     15975    197863   no data   no data
19.52/4.94	c  F st    25     87500       150      3195         0     16051     15975    355450   no data   no data
19.52/4.94	c  N st    25     87500       150      3195         0     16051     15975    355450   no data   no data
20.72/5.27	c Decided on static restart strategy
21.52/5.46	c  N st    32     95542       150      3195         0     23730     15975    590970   no data   no data
23.91/6.08	c  N st    34    104839       150      3195         0     20122     15975    463451   no data   no data
23.91/6.08	c  S st    34    104839       150      3195         0     20122     15975    463451   no data   no data
24.31/6.13	c  S st    34    105344       150      3195         0     20623     15975    477938   no data   no data
24.31/6.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.31/6.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.31/6.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.31/6.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.31/6.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.31/6.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.31/6.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.31/6.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.31/6.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.91/6.59	c lits-rem:       329  cl-subs:     1426  v-elim:      0  v-fix:    0  time:  0.43 s
25.91/6.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.91/6.60	c vivif2 --  cl tried    19197 cl shrink        0 lits rem          0 time: 0.00
26.32/6.67	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.07
26.32/6.67	c calculated reachability. Time: 0.00
26.32/6.67	c  N st    34    105344       150      3195         0     19197     15975    430764   no data   no data
29.10/7.34	c  N st    35    114944       150      3195         0     15021     15975    295495   no data   no data
33.48/8.45	c  N st    36    129342       150      3195         0     14427     15975    253297   no data   no data
39.50/10.00	c  N st    37    150937       150      3195         0     19680     15975    392542   no data   no data
41.47/10.49	c  S st    38    158016       150      3195         0     26395     15975    602452   no data   no data
41.87/10.56	c  S st    38    158519       150      3195         0     26884     15975    616884   no data   no data
41.87/10.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.87/10.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
41.87/10.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.87/10.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.87/10.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.87/10.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
41.87/10.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.87/10.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
41.87/10.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.86/11.51	c lits-rem:       692  cl-subs:     1946  v-elim:      0  v-fix:    0  time:  0.92 s
45.86/11.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.86/11.52	c vivif2 --  cl tried    24938 cl shrink        0 lits rem          0 time: 0.01
46.26/11.62	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
46.26/11.62	c calculated reachability. Time: 0.00
46.26/11.62	c  N st    38    158519       150      3195         0     24938     15975    552919   no data   no data
63.81/16.01	c  N st    39    207107       150      3195         0     19899     15975    349151   no data   no data
76.17/19.11	c  N st    40    237778       150      3195         0     30037     15975    647098   no data   no data
76.17/19.11	c  S st    40    237778       150      3195         0     30037     15975    647098   no data   no data
76.17/19.17	c  S st    40    238281       150      3195         0     30531     15975    662050   no data   no data
76.17/19.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.17/19.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.17/19.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.17/19.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.17/19.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.17/19.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
76.17/19.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.17/19.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.57/19.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.97/20.36	c lits-rem:       654  cl-subs:     2258  v-elim:      0  v-fix:    0  time:  1.15 s
80.97/20.36	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
80.97/20.37	c vivif2 --  cl tried    28273 cl shrink        0 lits rem          0 time: 0.01
81.37/20.49	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.37/20.49	c calculated reachability. Time: 0.00
81.37/20.49	c  N st    40    238281       150      3195         0     28273     15975    590550   no data   no data
108.10/27.12	c  F st    41    306250       150      3195         0     30156     15975    598688   no data   no data
108.10/27.12	c  N st    41    306250       150      3195         0     30156     15975    598688   no data   no data
110.14/27.65	c Decided on static restart strategy
120.07/30.19	c  N st    51    334550       150      3195         0     34361     15975    704178   no data   no data
130.44/32.77	c  N st    53    357421       150      3195         0     32325     15975    614339   no data   no data
130.44/32.77	c  S st    53    357421       150      3195         0     32325     15975    614339   no data   no data
130.84/32.86	c  S st    53    357922       150      3195         0     32818     15975    629327   no data   no data
130.84/32.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.84/32.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.84/32.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.84/32.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.84/32.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.84/32.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
130.84/32.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.84/32.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
130.84/32.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.64/33.59	c lits-rem:       372  cl-subs:     1495  v-elim:      0  v-fix:    0  time:  0.70 s
133.64/33.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
134.03/33.60	c vivif2 --  cl tried    31323 cl shrink        0 lits rem          0 time: 0.01
134.43/33.73	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
134.43/33.73	c calculated reachability. Time: 0.00
134.43/33.73	c  N st    53    357922       150      3195         0     31323     15975    581378   no data   no data
148.40/37.20	c  N st    54    390314       150      3195         0     37396     15975    770151   no data   no data
174.73/43.83	c  N st    55    438903       150      3195         0     31335     15975    547077   no data   no data
208.64/52.32	c  N st    56    511785       150      3195         0     44443     15975    897268   no data   no data
221.01/55.41	c  N st    57    536884       150      3195         0     38816     15975    709614   no data   no data
221.01/55.41	c  S st    57    536884       150      3195         0     38816     15975    709614   no data   no data
221.41/55.51	c  S st    57    537386       150      3195         0     39313     15975    724179   no data   no data
221.41/55.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
221.41/55.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
221.41/55.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
221.41/55.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
221.41/55.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
221.41/55.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
221.41/55.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
221.41/55.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
221.41/55.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
225.40/56.56	c lits-rem:      1631  cl-subs:     1756  v-elim:      0  v-fix:    0  time:  1.01 s
225.40/56.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
225.40/56.57	c vivif2 --  cl tried    37557 cl shrink        0 lits rem          0 time: 0.01
226.20/56.75	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
226.20/56.75	c calculated reachability. Time: 0.00
226.20/56.75	c  N st    57    537386       150      3195         0     37557     15975    669025   no data   no data
317.96/79.76	c  N st    58    701371       150      3195         0     66088     15975   1516341   no data   no data
381.82/95.72	c  N st    59    806079       150      3195         0     60073     15975   1252086   no data   no data
381.82/95.72	c  S st    59    806079       150      3195         0     60073     15975   1252086   no data   no data
382.60/95.90	c  S st    59    806583       150      3195         0     60566     15975   1266618   no data   no data
382.60/95.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
382.60/95.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
382.60/95.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
382.60/95.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
382.60/95.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.60/95.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
382.60/95.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
382.60/95.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
382.60/95.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
408.15/102.38	c lits-rem:      1115  cl-subs:     4402  v-elim:      0  v-fix:    0  time:  6.40 s
408.15/102.38	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
408.15/102.39	c vivif2 --  cl tried    56164 cl shrink        0 lits rem          0 time: 0.02
409.33/102.68	c asymm  cl-useful: 0/2984/3195 lits-rem:0 time: 0.29
409.33/102.69	c calculated reachability. Time: 0.00
409.33/102.69	c  N st    59    806583       150      3195         0     56164     15975   1126859   no data   no data
581.30/145.70	c  F st    60   1071875       150      3195         0     71214     15975   1493779   no data   no data
581.30/145.71	c  N st    60   1071875       150      3195         0     71214     15975   1493779   no data   no data
585.68/146.84	c Decided on static restart strategy
604.84/151.63	c  N st    70   1100184       150      3195         0     55761     15975    974124   no data   no data
633.56/158.86	c  N st    72   1136176       150      3195         0     46408     15975    672531   no data   no data
657.91/164.92	c  N st    73   1168568       150      3195         0     77092     15975   1605417   no data   no data
691.03/173.28	c  N st    74   1209874       150      3195         0     71729     15975   1450318   no data   no data
691.03/173.28	c  S st    74   1209874       150      3195         0     71729     15975   1450318   no data   no data
692.22/173.55	c  S st    74   1210377       150      3195         0     72221     15975   1464995   no data   no data
692.22/173.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
692.62/173.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
692.62/173.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
692.62/173.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
692.62/173.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
692.62/173.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
692.62/173.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
692.62/173.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
692.62/173.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
754.87/189.30	c lits-rem:      1864  cl-subs:     4432  v-elim:      0  v-fix:    0  time: 15.63 s
754.87/189.30	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
755.29/189.33	c vivif2 --  cl tried    67789 cl shrink        0 lits rem          0 time: 0.02
757.64/189.91	c asymm  cl-useful: 0/2593/3195 lits-rem:0 time: 0.58
757.64/189.91	c calculated reachability. Time: 0.00
757.64/189.91	c  N st    74   1210377       150      3195         0     67789     15975   1317145   no data   no data
828.25/207.68	c  N st    75   1283260       150      3195         0     91482     15975   2063900   no data   no data
925.21/231.96	c  N st    76   1392585       150      3195         0     53090     15975    782779   no data   no data
1077.22/270.08	c  N st    77   1556569       150      3195         0     57741     15975    876170   no data   no data
1219.66/305.74	c  N st    78   1710377       150      3195         0     97722     15975   2054879   no data   no data
1219.66/305.74	c  S st    78   1710377       150      3195         0     97722     15975   2054879   no data   no data
1220.86/306.06	c  S st    78   1710880       150      3195         0     98212     15975   2069766   no data   no data
1220.86/306.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1221.26/306.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1221.26/306.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1221.26/306.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1221.26/306.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1221.26/306.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1221.26/306.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1221.26/306.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1221.26/306.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1334.96/334.65	c lits-rem:      3251  cl-subs:    11564  v-elim:      0  v-fix:    0  time: 28.45 s
1334.96/334.65	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1334.96/334.67	c vivif2 --  cl tried    86648 cl shrink        0 lits rem          0 time: 0.02
1335.76/334.80	c asymm  cl-useful: 0/602/3195 lits-rem:0 time: 0.13
1335.76/334.80	c calculated reachability. Time: 0.00
1335.76/334.80	c  N st    78   1710880       150      3195         0     86648     15975   1720894   no data   no data
1704.03/427.17	c  N st    79   2079846       150      3195         0     98426     15975   1945833   no data   no data
1833.71/459.68	c  N st    80   2210880       150      3195         0    102747     15975   2095564   no data   no data
1833.71/459.68	c  S st    80   2210880       150      3195         0    102747     15975   2095564   no data   no data
1834.94/459.99	c  S st    80   2211385       150      3195         0    103240     15975   2110265   no data   no data
1834.94/459.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1835.30/460.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1835.30/460.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1835.30/460.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1835.30/460.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1835.30/460.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1835.30/460.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1835.30/460.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1835.70/460.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1918.69/480.92	c lits-rem:      3642  cl-subs:     8017  v-elim:      0  v-fix:    0  time: 20.78 s
1918.69/480.92	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1918.69/480.94	c vivif2 --  cl tried    95223 cl shrink        0 lits rem          0 time: 0.03
1920.29/481.31	c asymm  cl-useful: 0/1771/3195 lits-rem:0 time: 0.36
1920.29/481.31	c calculated reachability. Time: 0.00
1920.29/481.31	c  N st    80   2211385       150      3195         0     95223     15975   1867975   no data   no data
2465.71/618.03	c  N st    81   2711387       150      3195         0    118149     15975   2494667   no data   no data
2465.71/618.03	c  S st    81   2711387       150      3195         0    118149     15975   2494667   no data   no data
2466.95/618.39	c  S st    81   2711892       150      3195         0    118644     15975   2509239   no data   no data
2467.30/618.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2467.30/618.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2467.30/618.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2467.30/618.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2467.30/618.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2467.30/618.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2467.30/618.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2467.70/618.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2467.70/618.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2599.76/651.60	c lits-rem:      3709  cl-subs:    10367  v-elim:      0  v-fix:    0  time: 33.04 s
2599.76/651.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2599.76/651.64	c vivif2 --  cl tried   108277 cl shrink        0 lits rem          0 time: 0.03
2601.36/652.02	c asymm  cl-useful: 0/1390/3195 lits-rem:0 time: 0.38
2601.36/652.02	c calculated reachability. Time: 0.00
2601.36/652.02	c  N st    81   2711892       150      3195         0    108277     15975   2188404   no data   no data
3284.00/823.15	c  N st    82   3211892       150      3195         0     85106     15975   1282044   no data   no data
3284.00/823.15	c  S st    82   3211892       150      3195         0     85106     15975   1282044   no data   no data
3285.20/823.40	c  S st    82   3212393       150      3195         0     85597     15975   1296524   no data   no data
3285.20/823.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3285.20/823.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3285.20/823.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3285.20/823.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3285.20/823.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3285.20/823.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3285.20/823.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3285.20/823.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3285.60/823.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3296.00/826.17	c lits-rem:       599  cl-subs:     2530  v-elim:      0  v-fix:    0  time:  2.66 s
3296.00/826.17	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3296.00/826.18	c vivif2 --  cl tried    83067 cl shrink        0 lits rem          0 time: 0.02
3297.57/826.52	c asymm  cl-useful: 0/1999/3195 lits-rem:0 time: 0.34
3297.57/826.52	c calculated reachability. Time: 0.00
3297.57/826.52	c  N st    82   3212393       150      3195         0     83067     15975   1223121   no data   no data
4003.02/1003.37	c  N st    83   3712394       150      3195         0     93273     15975   1432764   no data   no data
4003.02/1003.37	c  S st    83   3712394       150      3195         0     93273     15975   1432764   no data   no data
4004.18/1003.65	c  S st    83   3712894       150      3195         0     93764     15975   1447362   no data   no data
4004.18/1003.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4004.57/1003.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
4004.57/1003.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4004.57/1003.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4004.57/1003.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4004.57/1003.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4004.57/1003.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4004.57/1003.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4004.57/1003.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4021.73/1008.09	c lits-rem:       812  cl-subs:     3299  v-elim:      0  v-fix:    0  time:  4.32 s
4021.73/1008.09	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4022.12/1008.11	c vivif2 --  cl tried    90465 cl shrink        0 lits rem          0 time: 0.02
4022.92/1008.37	c asymm  cl-useful: 0/1196/3195 lits-rem:0 time: 0.26
4022.92/1008.38	c calculated reachability. Time: 0.00
4022.92/1008.38	c  N st    83   3712894       150      3195         0     90465     15975   1349969   no data   no data
4064.46/1018.77	c  F st    84   3751562       150      3195         0    127062     15975   2524700   no data   no data
4064.46/1018.77	c  N st    84   3751562       150      3195         0    127062     15975   2524700   no data   no data
4072.82/1020.86	c Decided on static restart strategy
4109.91/1030.10	c  N st    94   3779867       150      3195         0    153949     15975   3368761   no data   no data
4161.37/1043.06	c  N st    96   3815861       150      3195         0    108059     15975   1859970   no data   no data
4209.30/1055.06	c  N st    97   3848253       150      3195         0    138654     15975   2780321   no data   no data
4277.89/1072.27	c  N st    98   3896843       150      3195         0    103531     15975   1678626   no data   no data
4380.47/1097.98	c  N st    99   3969725       150      3195         0     90118     15975   1264767   no data   no data
4537.63/1137.32	c  N st   100   4079048       150      3195         0    110038     15975   1853798   no data   no data
4709.21/1180.32	c  N st   101   4212895       150      3195         0    152636     15975   3191356   no data   no data
4709.21/1180.32	c  S st   101   4212895       150      3195         0    152636     15975   3191356   no data   no data
4711.19/1180.86	c  S st   101   4213396       150      3195         0    153124     15975   3205899   no data   no data
4711.19/1180.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4711.59/1180.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4711.59/1180.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4711.59/1180.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4711.59/1180.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4711.59/1180.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4711.59/1180.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4711.59/1181.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4711.99/1181.08	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366551-1305407564/watcher-3366551-1305407564 -o /tmp/evaluation-result-3366551-1305407564/solver-3366551-1305407564 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366551-1305407564.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: 8.20 8.15 7.86 5/320 14787
/proc/meminfo: memFree=27693616/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 4 0 652355238 52396032 351 33554432000 4194304 4580107 140737067859040 18446744073709551615 268272689083 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 12792 351 302 95 0 7774 0
[pid=14787/tid=14788] ppid=14785 vsize=281688 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 124 0 0 0 0 0 0 0 25 0 4 0 652355238 288448512 750 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=281688 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 64 0 0 0 0 0 0 0 25 0 4 0 652355238 288448512 750 33554432000 4194304 4580107 140737067859040 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=281688 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 109 0 0 0 0 0 0 0 25 0 4 0 652355238 288448512 750 33554432000 4194304 4580107 140737067859040 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.111719 s]
/proc/loadavg: 8.20 8.15 7.86 5/320 14787
/proc/meminfo: memFree=27693616/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=282716 CPUtime=0.41 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 2053 0 0 0 41 0 0 0 25 0 4 0 652355238 289501184 1876 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 70679 1876 376 95 0 65661 0
[pid=14787/tid=14788] ppid=14785 vsize=282716 CPUtime=0.1 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 469 0 0 0 10 0 0 0 25 0 4 0 652355238 289501184 1876 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=282716 CPUtime=0.1 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 450 0 0 0 10 0 0 0 25 0 4 0 652355238 289501184 1877 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=282716 CPUtime=0.1 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 278 0 0 0 10 0 0 0 25 0 4 0 652355238 289501184 1877 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282716

[startup+0.200704 s]
/proc/loadavg: 8.20 8.15 7.86 5/320 14787
/proc/meminfo: memFree=27693616/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=284544 CPUtime=0.77 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 2854 0 0 0 77 0 0 0 25 0 4 0 652355238 291373056 1960 33554432000 4194304 4580107 140737067859040 18446744073709551615 4322678 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 71136 1960 376 95 0 66118 0
[pid=14787/tid=14788] ppid=14785 vsize=284544 CPUtime=0.19 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 671 0 0 0 19 0 0 0 25 0 4 0 652355238 291373056 1960 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=284544 CPUtime=0.18 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 652 0 0 0 18 0 0 0 25 0 4 0 652355238 291373056 1960 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=284544 CPUtime=0.19 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 477 0 0 0 19 0 0 0 25 0 4 0 652355238 291373056 1960 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284544

[startup+0.300686 s]
/proc/loadavg: 8.20 8.15 7.86 5/320 14787
/proc/meminfo: memFree=27693616/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=284728 CPUtime=1.17 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 3342 0 0 0 117 0 0 0 25 0 4 0 652355238 291561472 2448 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 71182 2448 377 95 0 66164 0
[pid=14787/tid=14788] ppid=14785 vsize=284728 CPUtime=0.29 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 794 0 0 0 29 0 0 0 25 0 4 0 652355238 291561472 2448 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=284728 CPUtime=0.28 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 771 0 0 0 28 0 0 0 25 0 4 0 652355238 291561472 2448 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=284728 CPUtime=0.29 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 600 0 0 0 29 0 0 0 25 0 4 0 652355238 291561472 2448 33554432000 4194304 4580107 140737067859040 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284728

[startup+0.700616 s]
/proc/loadavg: 8.20 8.15 7.86 5/320 14787
/proc/meminfo: memFree=27693616/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=286728 CPUtime=2.77 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 6003 0 0 0 276 1 0 0 25 0 4 0 652355238 293609472 2674 33554432000 4194304 4580107 140737067859040 18446744073709551615 4322594 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 71682 2674 377 95 0 66664 0
[pid=14787/tid=14788] ppid=14785 vsize=286728 CPUtime=0.69 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 1469 0 0 0 69 0 0 0 25 0 4 0 652355238 293609472 2674 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=286728 CPUtime=0.68 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 1412 0 0 0 68 0 0 0 25 0 4 0 652355238 293609472 2674 33554432000 4194304 4580107 140737067859040 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=286728 CPUtime=0.69 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 1279 0 0 0 69 0 0 0 25 0 4 0 652355238 293609472 2674 33554432000 4194304 4580107 140737067859040 18446744073709551615 4324735 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286728

[startup+1.50048 s]
/proc/loadavg: 8.20 8.15 7.86 9/324 14791
/proc/meminfo: memFree=27680564/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=288208 CPUtime=5.95 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 12758 0 0 0 594 1 0 0 25 0 4 0 652355238 295124992 6193 33554432000 4194304 4580107 140737067859040 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 72052 6193 379 95 0 67034 0
[pid=14787/tid=14788] ppid=14785 vsize=288208 CPUtime=1.48 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 3827 0 0 0 148 0 0 0 25 0 4 0 652355238 295124992 6193 33554432000 4194304 4580107 140737067859040 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=288208 CPUtime=1.47 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 2445 0 0 0 147 0 0 0 25 0 4 0 652355238 295124992 6193 33554432000 4194304 4580107 140737067859040 18446744073709551615 4324255 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=288208 CPUtime=1.49 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 2326 0 0 0 149 0 0 0 25 0 4 0 652355238 295124992 6193 33554432000 4194304 4580107 140737067859040 18446744073709551615 4318437 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 288208

[startup+3.10019 s]
/proc/loadavg: 8.20 8.15 7.86 9/324 14791
/proc/meminfo: memFree=27649564/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=307344 CPUtime=12.34 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 22262 0 0 0 1231 3 0 0 25 0 4 0 652355238 314720256 11158 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 76836 11158 379 95 0 71818 0
[pid=14787/tid=14788] ppid=14785 vsize=307344 CPUtime=3.09 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 5198 0 0 0 308 1 0 0 25 0 4 0 652355238 314720256 11158 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=307344 CPUtime=3.05 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 5803 0 0 0 305 0 0 0 25 0 4 0 652355238 314720256 11158 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=307344 CPUtime=3.08 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 5418 0 0 0 308 0 0 0 25 0 4 0 652355238 314720256 11158 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 307344

[startup+6.30062 s]
/proc/loadavg: 8.18 8.15 7.86 9/324 14821
/proc/meminfo: memFree=27908856/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=313000 CPUtime=25.11 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 35660 0 0 0 2506 5 0 0 25 0 4 0 652355238 320512000 16583 33554432000 4194304 4580107 140737067859040 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 78250 16583 379 95 0 73232 0
[pid=14787/tid=14788] ppid=14785 vsize=313000 CPUtime=6.29 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 9096 0 0 0 628 1 0 0 25 0 4 0 652355238 320512000 16583 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=313000 CPUtime=6.22 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 8881 0 0 0 621 1 0 0 25 0 4 0 652355238 320512000 16583 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=313000 CPUtime=6.29 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 7678 0 0 0 628 1 0 0 25 0 4 0 652355238 320512000 16583 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 313000

[startup+12.7005 s]
/proc/loadavg: 8.17 8.14 7.86 9/324 14821
/proc/meminfo: memFree=27850804/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=321532 CPUtime=50.65 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 55036 0 0 0 5055 10 0 0 25 0 4 0 652355238 329248768 21784 33554432000 4194304 4580107 140737067859040 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 80383 21784 379 95 0 75365 0
[pid=14787/tid=14788] ppid=14785 vsize=321532 CPUtime=12.68 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 14255 0 0 0 1266 2 0 0 25 0 4 0 652355238 329248768 21785 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=321532 CPUtime=12.56 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 12977 0 0 0 1254 2 0 0 25 0 4 0 652355238 329248768 21785 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=321532 CPUtime=12.68 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 12850 0 0 0 1266 2 0 0 25 0 4 0 652355238 329248768 21785 33554432000 4194304 4580107 140737067859040 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 321532

[startup+25.5012 s]
/proc/loadavg: 8.13 8.14 7.86 9/324 14822
/proc/meminfo: memFree=27778928/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=312872 CPUtime=101.71 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 82822 0 0 0 10156 15 0 0 25 0 4 0 652355238 320380928 32372 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 78218 32372 379 95 0 73200 0
[pid=14787/tid=14788] ppid=14785 vsize=312872 CPUtime=25.49 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 22325 0 0 0 2545 4 0 0 25 0 4 0 652355238 320380928 32372 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=312872 CPUtime=25.23 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 19243 0 0 0 2520 3 0 0 25 0 4 0 652355238 320380928 32372 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=312872 CPUtime=25.48 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 19057 0 0 0 2545 3 0 0 25 0 4 0 652355238 320380928 32372 33554432000 4194304 4580107 140737067859040 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 312872

[startup+51.1007 s]
/proc/loadavg: 8.14 8.14 7.87 9/324 14822
/proc/meminfo: memFree=27725992/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=419480 CPUtime=203.85 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 119530 0 0 0 20359 26 0 0 25 0 4 0 652355238 429547520 40727 33554432000 4194304 4580107 140737067859040 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 104870 40727 379 95 0 99852 0
[pid=14787/tid=14788] ppid=14785 vsize=419480 CPUtime=51.08 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 32840 0 0 0 5102 6 0 0 25 0 4 0 652355238 429547520 40727 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=419480 CPUtime=50.56 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 29090 0 0 0 5050 6 0 0 25 0 4 0 652355238 429547520 40727 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=419480 CPUtime=51.08 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 26300 0 0 0 5102 6 0 0 25 0 4 0 652355238 429547520 40727 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 419480

[startup+102.301 s]
/proc/loadavg: 8.12 8.13 7.88 9/324 14824
/proc/meminfo: memFree=27676608/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=413488 CPUtime=408.15 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 180497 0 0 0 40773 42 0 0 25 0 4 0 652355238 423411712 47670 33554432000 4194304 4580107 140737067859040 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 103372 47670 379 95 0 98354 0
[pid=14787/tid=14788] ppid=14785 vsize=413488 CPUtime=102.29 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 47150 0 0 0 10220 9 0 0 25 0 4 0 652355238 423411712 47672 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=413488 CPUtime=101.25 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 41809 0 0 0 10115 10 0 0 25 0 4 0 652355238 423411712 47672 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=413488 CPUtime=102.29 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 41666 0 0 0 10219 10 0 0 25 0 4 0 652355238 423411712 47672 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 413488

[startup+162.301 s]

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

[pid=14787] ppid=14785 vsize=650036 CPUtime=2562.66 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 535031 0 0 0 256100 166 0 0 25 0 4 0 652355238 665636864 102883 33554432000 4194304 4580107 140737067859040 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 162509 102883 379 95 0 157491 0
[pid=14787/tid=14788] ppid=14785 vsize=650036 CPUtime=642.27 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 148845 0 0 0 64178 49 0 0 25 0 4 0 652355238 665636864 102883 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=650036 CPUtime=635.78 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 120722 0 0 0 63540 38 0 0 25 0 4 0 652355238 665636864 102883 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=650036 CPUtime=642.3 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 122086 0 0 0 64195 35 0 0 25 0 4 0 652355238 665636864 102883 33554432000 4194304 4580107 140737067859040 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.66
Current children cumulated vsize (KiB) 650036

[startup+702.301 s]
/proc/loadavg: 8.14 8.13 7.98 9/324 14840
/proc/meminfo: memFree=27309092/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=642088 CPUtime=2802.05 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 565499 0 0 0 280030 175 0 0 25 0 4 0 652355238 657498112 102541 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 160522 102541 379 95 0 155504 0
[pid=14787/tid=14788] ppid=14785 vsize=642088 CPUtime=702.26 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 158858 0 0 0 70174 52 0 0 25 0 4 0 652355238 657498112 102541 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=642088 CPUtime=695.18 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 128883 0 0 0 69477 41 0 0 25 0 4 0 652355238 657498112 102541 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=642088 CPUtime=702.3 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 127664 0 0 0 70194 36 0 0 25 0 4 0 652355238 657498112 102541 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.05
Current children cumulated vsize (KiB) 642088

[startup+762.301 s]
/proc/loadavg: 8.15 8.14 7.99 9/324 14841
/proc/meminfo: memFree=27252892/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=669896 CPUtime=3041.45 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 591563 0 0 0 303961 184 0 0 25 0 4 0 652355238 685973504 114159 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 167474 114159 379 95 0 162456 0
[pid=14787/tid=14788] ppid=14785 vsize=669896 CPUtime=762.26 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 168929 0 0 0 76171 55 0 0 25 0 4 0 652355238 685973504 114159 33554432000 4194304 4580107 140737067859040 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=669896 CPUtime=754.57 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 136426 0 0 0 75412 45 0 0 25 0 4 0 652355238 685973504 114159 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=669896 CPUtime=762.31 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 132144 0 0 0 76194 37 0 0 25 0 4 0 652355238 685973504 114159 33554432000 4194304 4580107 140737067859040 18446744073709551615 4406334 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.45
Current children cumulated vsize (KiB) 669896

[startup+822.3 s]
/proc/loadavg: 8.26 8.16 8.01 9/324 14843
/proc/meminfo: memFree=27229700/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=752432 CPUtime=3280.81 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 618530 0 0 0 327885 196 0 0 25 0 4 0 652355238 770490368 121301 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 188108 121301 379 95 0 183090 0
[pid=14787/tid=14788] ppid=14785 vsize=752432 CPUtime=822.24 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 176596 0 0 0 82166 58 0 0 25 0 4 0 652355238 770490368 121301 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=752432 CPUtime=813.96 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 144320 0 0 0 81347 49 0 0 25 0 4 0 652355238 770490368 121301 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=752432 CPUtime=822.3 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 136242 0 0 0 82192 38 0 0 25 0 4 0 652355238 770490368 121301 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.81
Current children cumulated vsize (KiB) 752432

[startup+882.312 s]
/proc/loadavg: 8.09 8.13 8.00 9/324 14845
/proc/meminfo: memFree=27184536/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=739508 CPUtime=3520.24 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 640595 0 0 0 351818 206 0 0 25 0 4 0 652355238 757256192 123758 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 184877 123758 379 95 0 179859 0
[pid=14787/tid=14788] ppid=14785 vsize=739508 CPUtime=882.25 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 185000 0 0 0 88162 63 0 0 25 0 4 0 652355238 757256192 123758 33554432000 4194304 4580107 140737067859040 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=739508 CPUtime=873.36 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 148648 0 0 0 87286 50 0 0 25 0 4 0 652355238 757256192 123758 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=739508 CPUtime=882.31 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 140295 0 0 0 88191 40 0 0 25 0 4 0 652355238 757256192 123758 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.24
Current children cumulated vsize (KiB) 739508

[startup+942.301 s]
/proc/loadavg: 8.15 8.13 8.01 9/324 14846
/proc/meminfo: memFree=27172368/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=726304 CPUtime=3759.59 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 665047 0 0 0 375744 215 0 0 25 0 4 0 652355238 743735296 125150 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 181576 125150 379 95 0 176558 0
[pid=14787/tid=14788] ppid=14785 vsize=726304 CPUtime=942.22 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 194878 0 0 0 94156 66 0 0 25 0 4 0 652355238 743735296 125150 33554432000 4194304 4580107 140737067859040 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=726304 CPUtime=932.76 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 155006 0 0 0 93223 53 0 0 25 0 4 0 652355238 743735296 125150 33554432000 4194304 4580107 140737067859040 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=726304 CPUtime=942.3 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 144323 0 0 0 94188 42 0 0 25 0 4 0 652355238 743735296 125150 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.59
Current children cumulated vsize (KiB) 726304

[startup+1002.3 s]
/proc/loadavg: 8.16 8.14 8.01 9/324 14848
/proc/meminfo: memFree=27172736/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=763348 CPUtime=3998.98 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 687487 0 0 0 399671 227 0 0 25 0 4 0 652355238 781668352 123411 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 190837 123411 379 95 0 185819 0
[pid=14787/tid=14788] ppid=14785 vsize=763348 CPUtime=1002.21 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 201870 0 0 0 100151 70 0 0 25 0 4 0 652355238 781668352 123411 33554432000 4194304 4580107 140737067859040 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=763348 CPUtime=992.16 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 159339 0 0 0 99161 55 0 0 25 0 4 0 652355238 781668352 123411 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=763348 CPUtime=1002.31 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 149583 0 0 0 100187 44 0 0 25 0 4 0 652355238 781668352 123411 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.98
Current children cumulated vsize (KiB) 763348

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 8.01 9/324 14849
/proc/meminfo: memFree=27101900/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=831524 CPUtime=4238.39 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 712973 0 0 0 423599 240 0 0 25 0 4 0 652355238 851480576 131682 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 207881 131682 379 95 0 202863 0
[pid=14787/tid=14788] ppid=14785 vsize=831524 CPUtime=1062.21 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 210485 0 0 0 106147 74 0 0 25 0 4 0 652355238 851480576 131682 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=831524 CPUtime=1051.57 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 164911 0 0 0 105099 58 0 0 25 0 4 0 652355238 851480576 131682 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=831524 CPUtime=1062.3 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 156681 0 0 0 106182 48 0 0 25 0 4 0 652355238 851480576 131682 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.39
Current children cumulated vsize (KiB) 831524

[startup+1122.3 s]
/proc/loadavg: 8.14 8.13 8.02 9/324 14851
/proc/meminfo: memFree=27117260/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=789480 CPUtime=4477.77 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 734395 0 0 0 447528 249 0 0 25 0 4 0 652355238 808427520 131307 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 197370 131307 379 95 0 192352 0
[pid=14787/tid=14788] ppid=14785 vsize=789480 CPUtime=1122.19 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 218587 0 0 0 112142 77 0 0 25 0 4 0 652355238 808427520 131307 33554432000 4194304 4580107 140737067859040 18446744073709551615 4320014 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=789480 CPUtime=1110.96 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 169228 0 0 0 111037 59 0 0 25 0 4 0 652355238 808427520 131307 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=789480 CPUtime=1122.31 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 161363 0 0 0 112181 50 0 0 25 0 4 0 652355238 808427520 131307 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.77
Current children cumulated vsize (KiB) 789480

[startup+1182.3 s]
/proc/loadavg: 8.10 8.12 8.02 9/324 14853
/proc/meminfo: memFree=27065164/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=863188 CPUtime=4717.18 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 756848 0 0 0 471459 259 0 0 25 0 4 0 652355238 883904512 142807 33554432000 4194304 4580107 140737067859040 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 215797 142807 379 95 0 210779 0
[pid=14787/tid=14788] ppid=14785 vsize=863188 CPUtime=1182.18 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 226980 0 0 0 118138 80 0 0 25 0 4 0 652355238 883904512 142808 33554432000 4194304 4580107 140737067859040 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=863188 CPUtime=1170.37 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 174095 0 0 0 116975 62 0 0 25 0 4 0 652355238 883904512 142808 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=863188 CPUtime=1182.31 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 162273 0 0 0 118180 51 0 0 25 0 4 0 652355238 883904512 142808 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.18
Current children cumulated vsize (KiB) 863188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.15 8.13 8.02 9/324 14853
/proc/meminfo: memFree=27074212/32950928 swapFree=60199044/67111528
[pid=14787] ppid=14785 vsize=848388 CPUtime=4800.18 cores=0,2,4,6
/proc/14787/stat : 14787 (strangenight2-m) R 14785 14787 14558 0 -1 4202496 759852 0 0 0 479758 260 0 0 25 0 4 0 652355238 868749312 140744 33554432000 4194304 4580107 140737067859040 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14787/statm: 212097 140744 379 95 0 207079 0
[pid=14787/tid=14788] ppid=14785 vsize=848388 CPUtime=1203 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 229042 0 0 0 120219 81 0 0 25 0 4 0 652355238 868749312 140745 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14787/tid=14789] ppid=14785 vsize=848388 CPUtime=1190.96 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 174792 0 0 0 119034 62 0 0 25 0 4 0 652355238 868749312 140745 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14787/tid=14790] ppid=14785 vsize=848388 CPUtime=1203.12 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (strangenight2-m) R 14785 14787 14558 0 -1 4202560 162518 0 0 0 120261 51 0 0 25 0 4 0 652355238 868749312 140745 33554432000 4194304 4580107 140737067859040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 848388

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.25
CPU user time (s): 4797.62
CPU system time (s): 2.6306
CPU usage (%): 398.977
Max. virtual memory (cumulated for all children) (KiB): 906080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.62
system time used= 2.6306
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 759853
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= 137
involuntary context switches= 23474

runsolver used 3.50347 second user time and 8.60269 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 23:12:44
IDJOB=3366551
IDBENCH=82960
IDSOLVER=1844
FILE ID=node122/3366551-1305407564
RUNJOBID= node122-1305405531-14576
PBS_JOBID= 13324494
Free space on /tmp= 73432 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366551-1305407564/watcher-3366551-1305407564 -o /tmp/evaluation-result-3366551-1305407564/solver-3366551-1305407564 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366551-1305407564.cnf

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

MD5SUM BENCH= eac2f4cbe4e61cc8bd9f28b333bf1b8e
RANDOM SEED=735190546

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27693780 kB
Buffers:        274856 kB
Cached:        3350192 kB
SwapCached:      50104 kB
Active:        1194272 kB
Inactive:      3854180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27693780 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:            5440 kB
Writeback:           0 kB
AnonPages:     1383988 kB
Mapped:          14276 kB
Slab:           112752 kB
PageTables:      32732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52959064 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= 73428 MiB
End job on node122 at 2011-05-14 23:32:50