Trace number 3173912

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.29 1201.93

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf
MD5SUM7bcc4ef0cfce2800562872a802fb17f2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark619.499
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3173912-1304073274.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     245 undec:      47 neg:     208
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       486      2116         0         0      6439         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4920       486      2116         0      4845      6439    107535   no data   no data
3.17/0.80	c  N st    10     11303       486      2116         0      4479      6439     72695   no data   no data
3.17/0.80	c  N st    11     17046       486      2116         0     10094      6439    205556   no data   no data
3.99/1.10	c  F st    12     25000       486      2116         0     12416      6439    264692   no data   no data
3.99/1.10	c  N st    12     25000       486      2116         0     12416      6439    264692   no data   no data
5.17/1.33	c Decided on static restart strategy
5.17/1.33	c  N st    18     30000       486      2116         0     10670      6439    195122   no data   no data
5.17/1.33	c  S st    18     30000       486      2116         0     10670      6439    195122   no data   no data
5.17/1.36	c  S st    18     30501       486      2116         0     11170      6439    206062   no data   no data
5.17/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.36	c blocked clauses removed:        9 vars:      2 tried:         486 T: 0.00 s
5.17/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
5.17/1.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.41	c lits-rem:       100  cl-subs:      381  v-elim:      0  v-fix:    0  time:  0.04 s
5.57/1.42	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.01
5.57/1.42	c calculated reachability. Time: 0.00
5.57/1.42	c  N st    18     30501       484      2107         0     10772      6412    196078   no data   no data
7.17/1.83	c  N st    20     37615       484      2107         0     10014      6412    160667   no data   no data
8.38/2.19	c  N st    21     44014       484      2107         0     16260      6412    300300   no data   no data
9.16/2.30	c  S st    22     45751       484      2107         0      9244      6412    127550   no data   no data
9.16/2.33	c  S st    22     46256       484      2107         0      9749      6412    138637   no data   no data
9.16/2.33	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:    484 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.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.34	c lits-rem:        10  cl-subs:       84  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.35	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
9.16/2.35	c vivif2 --  cl tried     9665 cl shrink        0 lits rem          0 time: 0.00
9.16/2.35	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.01
9.16/2.35	c calculated reachability. Time: 0.00
9.16/2.35	c  N st    22     46256       484      2107         0      9665      6412    136780   no data   no data
12.78/3.26	c  N st    23     60653       484      2107         0     14022      6412    228882   no data   no data
15.15/3.89	c  N st    24     69387       484      2107         0     11808      6412    169728   no data   no data
15.15/3.89	c  S st    24     69387       484      2107         0     11808      6412    169728   no data   no data
15.55/3.93	c  S st    24     69893       484      2107         0     12314      6412    180760   no data   no data
15.55/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
15.55/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.96	c lits-rem:        71  cl-subs:      115  v-elim:      0  v-fix:    0  time:  0.02 s
15.55/3.96	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
15.55/3.96	c vivif2 --  cl tried    12199 cl shrink        0 lits rem          0 time: 0.00
15.55/3.97	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.01
15.55/3.97	c calculated reachability. Time: 0.00
15.55/3.97	c  N st    24     69893       484      2107         0     12199      6412    177688   no data   no data
20.75/5.26	c  F st    25     87500       484      2107         0     17642      6412    301771   no data   no data
20.75/5.26	c  N st    25     87500       484      2107         0     17642      6412    301771   no data   no data
22.34/5.67	c Decided on static restart strategy
23.54/5.93	c  N st    32     95537       484      2107         0     25566      6412    505137   no data   no data
25.96/6.60	c  N st    34    104841       484      2107         0     21916      6412    383012   no data   no data
25.96/6.60	c  S st    34    104841       484      2107         0     21916      6412    383012   no data   no data
26.36/6.66	c  S st    34    105342       484      2107         0     22416      6412    394349   no data   no data
26.36/6.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.36/6.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
26.36/6.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.36/6.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.86	c lits-rem:       163  cl-subs:      920  v-elim:      0  v-fix:    0  time:  0.18 s
27.14/6.86	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
27.14/6.87	c vivif2 --  cl tried    21496 cl shrink        0 lits rem          0 time: 0.00
27.14/6.88	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.01
27.14/6.88	c calculated reachability. Time: 0.00
27.14/6.88	c  N st    34    105342       484      2107         0     21496      6412    370675   no data   no data
30.76/7.70	c  N st    35    114940       484      2107         0     17213      6412    243879   no data   no data
35.93/9.02	c  N st    36    129337       484      2107         0     16665      6412    219719   no data   no data
43.12/10.86	c  N st    37    150933       484      2107         0     22089      6412    333449   no data   no data
45.91/11.50	c  S st    38    158013       484      2107         0     28971      6412    490071   no data   no data
45.91/11.58	c  S st    38    158515       484      2107         0     29473      6412    501194   no data   no data
45.91/11.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.91/11.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.91/11.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.91/11.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.91/11.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.91/11.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
45.91/11.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.91/11.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.31/11.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.52/11.99	c lits-rem:       359  cl-subs:     1513  v-elim:      0  v-fix:    0  time:  0.38 s
47.52/11.99	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
47.52/11.99	c vivif2 --  cl tried    27960 cl shrink        0 lits rem          0 time: 0.00
47.93/12.01	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.02
47.93/12.01	c calculated reachability. Time: 0.00
47.93/12.01	c  N st    38    158515       484      2107         0     27960      6412    467546   no data   no data
67.08/16.84	c  N st    39    207103       484      2107         0     22662      6412    310573   no data   no data
80.26/20.19	c  N st    40    237772       484      2107         0     33053      6412    519425   no data   no data
80.26/20.19	c  S st    40    237772       484      2107         0     33053      6412    519425   no data   no data
80.66/20.28	c  S st    40    238282       484      2107         0     33563      6412    530871   no data   no data
80.66/20.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.66/20.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.66/20.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.66/20.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.66/20.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.66/20.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
80.66/20.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.06/20.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.06/20.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.08/20.86	c lits-rem:       163  cl-subs:     2219  v-elim:      0  v-fix:    0  time:  0.55 s
83.08/20.86	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
83.08/20.87	c vivif2 --  cl tried    31344 cl shrink        0 lits rem          0 time: 0.01
83.08/20.89	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.02
83.08/20.89	c calculated reachability. Time: 0.00
83.08/20.89	c  N st    40    238282       484      2107         0     31344      6412    483827   no data   no data
115.02/28.83	c  F st    41    306250       484      2107         0     33301      6412    488278   no data   no data
115.02/28.84	c  N st    41    306250       484      2107         0     33301      6412    488278   no data   no data
117.41/29.47	c Decided on static restart strategy
128.60/32.27	c  N st    51    334552       484      2107         0     37539      6412    574397   no data   no data
140.60/35.26	c  N st    53    357423       484      2107         0     35445      6412    515743   no data   no data
140.60/35.26	c  S st    53    357423       484      2107         0     35445      6412    515743   no data   no data
140.98/35.34	c  S st    53    357925       484      2107         0     35947      6412    526508   no data   no data
140.98/35.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.98/35.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
140.98/35.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.98/35.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.98/35.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.98/35.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
140.98/35.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
140.98/35.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.98/35.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.58/35.71	c lits-rem:       237  cl-subs:     1354  v-elim:      0  v-fix:    0  time:  0.33 s
142.58/35.71	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
142.58/35.71	c vivif2 --  cl tried    34593 cl shrink        0 lits rem          0 time: 0.01
142.58/35.74	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.02
142.58/35.74	c calculated reachability. Time: 0.00
142.58/35.74	c  N st    53    357925       484      2107         0     34593      6412    496245   no data   no data
160.15/40.10	c  N st    54    390321       484      2107         0     40798      6412    622105   no data   no data
184.92/46.30	c  N st    55    438909       484      2107         0     34528      6412    436649   no data   no data
227.26/56.91	c  N st    56    511791       484      2107         0     48038      6412    751210   no data   no data
242.44/60.74	c  N st    57    536887       484      2107         0     42394      6412    602918   no data   no data
242.44/60.74	c  S st    57    536887       484      2107         0     42394      6412    602918   no data   no data
242.84/60.86	c  S st    57    537391       484      2107         0     42897      6412    614983   no data   no data
242.84/60.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
242.84/60.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
242.84/60.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.84/60.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.84/60.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.84/60.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
242.84/60.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
242.84/60.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.24/60.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.84/61.36	c lits-rem:       135  cl-subs:     1389  v-elim:      0  v-fix:    0  time:  0.46 s
244.84/61.36	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
244.84/61.37	c vivif2 --  cl tried    41508 cl shrink        0 lits rem          0 time: 0.01
244.84/61.39	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.03
244.84/61.39	c calculated reachability. Time: 0.00
244.84/61.39	c  N st    57    537391       484      2107         0     41508      6412    580841   no data   no data
356.28/89.23	c  N st    58    701376       484      2107         0     35586      6412    351598   no data   no data
428.18/107.26	c  N st    59    806086       484      2107         0     64357      6412    971894   no data   no data
428.18/107.26	c  S st    59    806086       484      2107         0     64357      6412    971894   no data   no data
428.98/107.45	c  S st    59    806588       484      2107         0     64858      6412    983210   no data   no data
428.98/107.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
428.98/107.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
428.98/107.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
428.98/107.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
428.98/107.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
428.98/107.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
428.98/107.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
428.98/107.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
429.38/107.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.97/110.42	c lits-rem:       312  cl-subs:     6113  v-elim:      0  v-fix:    0  time:  2.89 s
440.97/110.42	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
440.97/110.43	c vivif2 --  cl tried    58745 cl shrink        0 lits rem          0 time: 0.01
440.97/110.48	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.05
440.97/110.48	c calculated reachability. Time: 0.00
440.97/110.48	c  N st    59    806588       484      2107         0     58745      6412    859023   no data   no data
656.28/164.39	c  F st    60   1071876       484      2107         0     74943      6412   1180854   no data   no data
656.28/164.39	c  N st    60   1071876       484      2107         0     74943      6412   1180854   no data   no data
661.87/165.73	c Decided on static restart strategy
682.64/170.91	c  N st    70   1100179       484      2107         0     58733      6412    754191   no data   no data
716.21/179.40	c  N st    72   1136171       484      2107         0     49016      6412    531373   no data   no data
746.16/186.88	c  N st    73   1168565       484      2107         0     80612      6412   1300839   no data   no data
781.30/195.63	c  N st    74   1209882       484      2107         0     75082      6412   1147594   no data   no data
781.30/195.63	c  S st    74   1209882       484      2107         0     75082      6412   1147594   no data   no data
782.13/195.86	c  S st    74   1210383       484      2107         0     75583      6412   1159630   no data   no data
782.13/195.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
782.51/195.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
782.51/195.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
782.51/195.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
782.51/195.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
782.51/195.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
782.51/195.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
782.51/195.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
782.51/195.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.47/201.41	c lits-rem:       622  cl-subs:     3977  v-elim:      0  v-fix:    0  time:  5.46 s
804.47/201.41	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
804.47/201.43	c vivif2 --  cl tried    71606 cl shrink        0 lits rem          0 time: 0.02
804.87/201.54	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.11
804.87/201.54	c calculated reachability. Time: 0.00
804.87/201.54	c  N st    74   1210383       484      2107         0     71606      6412   1067648   no data   no data
887.18/222.18	c  N st    75   1283265       484      2107         0     47953      6412    448478   no data   no data
997.04/249.63	c  N st    76   1392591       484      2107         0     56179      6412    610267   no data   no data
1169.17/292.91	c  N st    77   1556578       484      2107         0     61006      6412    668889   no data   no data
1330.56/333.32	c  N st    78   1710384       484      2107         0    102360      6412   1557506   no data   no data
1330.56/333.32	c  S st    78   1710384       484      2107         0    102360      6412   1557506   no data   no data
1331.74/333.67	c  S st    78   1710890       484      2107         0    102864      6412   1568197   no data   no data
1331.74/333.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1332.14/333.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1332.14/333.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1332.14/333.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1332.14/333.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1332.14/333.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
1332.14/333.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1332.14/333.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1332.55/333.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1368.10/342.78	c lits-rem:       641  cl-subs:    10977  v-elim:      0  v-fix:    0  time:  8.98 s
1368.10/342.78	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
1368.50/342.80	c vivif2 --  cl tried    91887 cl shrink        0 lits rem          0 time: 0.02
1368.50/342.90	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.09
1368.90/342.90	c calculated reachability. Time: 0.00
1368.90/342.90	c  N st    78   1710890       484      2107         0     91887      6412   1361055   no data   no data
1815.49/454.70	c  N st    79   2079855       484      2107         0    103536      6412   1571776   no data   no data
1988.86/498.15	c  N st    80   2210890       484      2107         0    107783      6412   1619232   no data   no data
1988.86/498.15	c  S st    80   2210890       484      2107         0    107783      6412   1619232   no data   no data
1990.05/498.49	c  S st    80   2211394       484      2107         0    108285      6412   1631205   no data   no data
1990.45/498.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1990.45/498.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1990.45/498.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1990.45/498.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1990.45/498.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1990.45/498.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
1990.45/498.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1990.45/498.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1990.85/498.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2022.80/506.61	c lits-rem:       714  cl-subs:     8240  v-elim:      0  v-fix:    0  time:  7.98 s
2022.80/506.61	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
2022.80/506.63	c vivif2 --  cl tried   100045 cl shrink        0 lits rem          0 time: 0.02
2023.20/506.74	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.10
2023.20/506.74	c calculated reachability. Time: 0.00
2023.20/506.74	c  N st    80   2211394       484      2107         0    100045      6412   1464822   no data   no data
2717.46/680.50	c  N st    81   2711394       484      2107         0    123021      6412   1808847   no data   no data
2717.46/680.50	c  S st    81   2711394       484      2107         0    123021      6412   1808847   no data   no data
2719.08/680.93	c  S st    81   2711899       484      2107         0    123526      6412   1820920   no data   no data
2719.08/680.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2719.08/680.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2719.08/680.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2719.08/680.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2719.08/680.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2719.08/680.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
2719.08/680.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2719.46/681.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2719.46/681.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2778.17/695.75	c lits-rem:       833  cl-subs:    14321  v-elim:      0  v-fix:    0  time: 14.67 s
2778.17/695.75	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
2778.17/695.77	c vivif2 --  cl tried   109205 cl shrink        0 lits rem          0 time: 0.02
2778.58/695.89	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.11
2778.58/695.89	c calculated reachability. Time: 0.00
2778.58/695.89	c  N st    81   2711899       484      2107         0    109205      6412   1543641   no data   no data
3502.79/877.17	c  N st    82   3211899       484      2107         0     85991      6412    892619   no data   no data
3502.79/877.17	c  S st    82   3211899       484      2107         0     85991      6412    892619   no data   no data
3503.99/877.44	c  S st    82   3212403       484      2107         0     86494      6412    904782   no data   no data
3503.99/877.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3503.99/877.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3503.99/877.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3503.99/877.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3503.99/877.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3503.99/877.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
3503.99/877.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3504.39/877.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3504.39/877.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3507.18/878.20	c lits-rem:       155  cl-subs:     2483  v-elim:      0  v-fix:    0  time:  0.66 s
3507.18/878.20	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
3507.18/878.22	c vivif2 --  cl tried    84011 cl shrink        0 lits rem          0 time: 0.02
3507.18/878.29	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.07
3507.18/878.30	c calculated reachability. Time: 0.00
3507.18/878.30	c  N st    82   3212403       484      2107         0     84011      6412    863990   no data   no data
4292.14/1074.77	c  N st    83   3712403       484      2107         0     94102      6412   1007415   no data   no data
4292.14/1074.77	c  S st    83   3712403       484      2107         0     94102      6412   1007415   no data   no data
4293.31/1075.05	c  S st    83   3712909       484      2107         0     94607      6412   1019288   no data   no data
4293.31/1075.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4293.71/1075.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
4293.71/1075.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4293.71/1075.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4293.71/1075.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4293.71/1075.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
4293.71/1075.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4293.71/1075.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4293.71/1075.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4298.10/1076.26	c lits-rem:       150  cl-subs:     3365  v-elim:      0  v-fix:    0  time:  1.10 s
4298.10/1076.26	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
4298.10/1076.27	c vivif2 --  cl tried    91242 cl shrink        0 lits rem          0 time: 0.02
4298.50/1076.36	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.09
4298.50/1076.36	c calculated reachability. Time: 0.00
4298.50/1076.36	c  N st    83   3712909       484      2107         0     91242      6412    957269   no data   no data
4358.42/1091.37	c  F st    84   3751562       484      2107         0    128834      6412   1828617   no data   no data
4358.42/1091.38	c  N st    84   3751562       484      2107         0    128834      6412   1828617   no data   no data
4369.61/1094.20	c Decided on static restart strategy
4421.94/1107.25	c  N st    94   3779859       484      2107         0    156332      6412   2474714   no data   no data
4479.06/1121.56	c  N st    96   3815854       484      2107         0    109082      6412   1323431   no data   no data
4534.98/1135.58	c  N st    97   3848248       484      2107         0    140436      6412   2014763   no data   no data
4616.48/1155.93	c  N st    98   3896838       484      2107         0    104363      6412   1218786   no data   no data
4748.71/1189.03	c  N st    99   3969720       484      2107         0     90850      6412    893989   no data   no data

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

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

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


[startup+0 s]
/proc/loadavg: 8.08 8.05 7.37 3/176 18930
/proc/meminfo: memFree=18415220/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 597558042 52441088 347 33554432000 4194304 4627427 140734699015152 18446744073709551615 47265854019504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 12803 347 299 106 0 7774 0
[pid=18930/tid=18934] ppid=18928 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 597558043 52441088 347 33554432000 4194304 4627427 140734699015152 18446744073709551615 47265854019506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 597558043 52441088 347 33554432000 4194304 4627427 140734699015152 18446744073709551615 47265854019500 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 597558043 52441088 347 33554432000 4194304 4627427 140734699015152 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0141721 s]
/proc/loadavg: 8.08 8.05 7.37 3/176 18930
/proc/meminfo: memFree=18415220/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=282204 CPUtime=0.03 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 1223 0 0 0 3 0 0 0 18 0 4 0 597558042 288976896 1120 33554432000 4194304 4627427 140734699015152 18446744073709551615 4329669 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 70551 1120 384 106 0 65522 0
[pid=18930/tid=18934] ppid=18928 vsize=282204 CPUtime=0.01 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 230 0 0 0 1 0 0 0 18 0 4 0 597558043 288976896 1120 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=282204 CPUtime=0 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 222 0 0 0 0 0 0 0 18 0 4 0 597558043 288976896 1121 33554432000 4194304 4627427 140734699015152 18446744073709551615 4321535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=282204 CPUtime=0 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 127 0 0 0 0 0 0 0 25 0 4 0 597558043 288976896 1123 33554432000 4194304 4627427 140734699015152 18446744073709551615 4299712 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 282204

[startup+0.101153 s]
/proc/loadavg: 8.08 8.05 7.37 3/176 18930
/proc/meminfo: memFree=18415220/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=282348 CPUtime=0.38 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 1660 0 0 0 38 0 0 0 18 0 4 0 597558042 289124352 1557 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 70587 1557 384 106 0 65558 0
[pid=18930/tid=18934] ppid=18928 vsize=282348 CPUtime=0.09 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 335 0 0 0 9 0 0 0 18 0 4 0 597558043 289124352 1557 33554432000 4194304 4627427 140734699015152 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=282348 CPUtime=0.09 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 325 0 0 0 9 0 0 0 18 0 4 0 597558043 289124352 1557 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=282348 CPUtime=0.09 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 255 0 0 0 9 0 0 0 25 0 4 0 597558043 289124352 1557 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282348

[startup+0.30112 s]
/proc/loadavg: 8.08 8.05 7.37 3/176 18930
/proc/meminfo: memFree=18415220/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=283772 CPUtime=1.18 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 2727 0 0 0 118 0 0 0 18 0 4 0 597558042 290582528 2077 33554432000 4194304 4627427 140734699015152 18446744073709551615 4329636 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 70943 2077 385 106 0 65914 0
[pid=18930/tid=18934] ppid=18928 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 609 0 0 0 29 0 0 0 18 0 4 0 597558043 290582528 2077 33554432000 4194304 4627427 140734699015152 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 586 0 0 0 29 0 0 0 18 0 4 0 597558043 290582528 2077 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 520 0 0 0 29 0 0 0 25 0 4 0 597558043 290582528 2077 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283772

[startup+0.701054 s]
/proc/loadavg: 8.08 8.05 7.37 3/176 18930
/proc/meminfo: memFree=18415220/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=284528 CPUtime=2.78 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 4264 0 0 0 278 0 0 0 18 0 4 0 597558042 291356672 2771 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 71132 2771 385 106 0 66103 0
[pid=18930/tid=18934] ppid=18928 vsize=284528 CPUtime=0.69 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 998 0 0 0 69 0 0 0 18 0 4 0 597558043 291356672 2771 33554432000 4194304 4627427 140734699015152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=284528 CPUtime=0.69 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 987 0 0 0 69 0 0 0 18 0 4 0 597558043 291356672 2771 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=284528 CPUtime=0.69 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 891 0 0 0 69 0 0 0 25 0 4 0 597558043 291356672 2771 33554432000 4194304 4627427 140734699015152 18446744073709551615 4332706 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284528

[startup+1.50092 s]
/proc/loadavg: 8.39 8.12 7.39 10/184 18938
/proc/meminfo: memFree=18393968/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=291252 CPUtime=5.97 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 8484 0 0 0 597 0 0 0 20 0 4 0 597558042 298242048 4614 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 72813 4614 389 106 0 67784 0
[pid=18930/tid=18934] ppid=18928 vsize=291252 CPUtime=1.49 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 1719 0 0 0 149 0 0 0 19 0 4 0 597558043 298242048 4614 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=291252 CPUtime=1.49 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 1733 0 0 0 149 0 0 0 20 0 4 0 597558043 298242048 4614 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=291252 CPUtime=1.48 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 1627 0 0 0 148 0 0 0 25 0 4 0 597558043 298242048 4614 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291252

[startup+3.10066 s]
/proc/loadavg: 8.39 8.12 7.39 9/184 18938
/proc/meminfo: memFree=18366440/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=282840 CPUtime=12.36 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 17503 0 0 0 1234 2 0 0 25 0 4 0 597558042 289628160 8590 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 70710 8590 389 106 0 65681 0
[pid=18930/tid=18934] ppid=18928 vsize=282840 CPUtime=3.09 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 4022 0 0 0 309 0 0 0 25 0 4 0 597558043 289628160 8590 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=282840 CPUtime=3.09 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 4646 0 0 0 308 1 0 0 25 0 4 0 597558043 289628160 8590 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=282840 CPUtime=3.07 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 4292 0 0 0 307 0 0 0 25 0 4 0 597558043 289628160 8590 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309540 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 282840

[startup+6.30112 s]
/proc/loadavg: 8.36 8.12 7.39 9/184 18938
/proc/meminfo: memFree=18310788/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=284972 CPUtime=25.15 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 26850 0 0 0 2511 4 0 0 25 0 4 0 597558042 291811328 12050 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 71243 12050 389 106 0 66214 0
[pid=18930/tid=18934] ppid=18928 vsize=284972 CPUtime=6.29 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 7455 0 0 0 628 1 0 0 25 0 4 0 597558043 291811328 12051 33554432000 4194304 4627427 140734699015152 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=284972 CPUtime=6.29 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 6617 0 0 0 628 1 0 0 25 0 4 0 597558043 291811328 12051 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=284972 CPUtime=6.26 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 6139 0 0 0 625 1 0 0 25 0 4 0 597558043 291811328 12052 33554432000 4194304 4627427 140734699015152 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 284972

[startup+12.7011 s]
/proc/loadavg: 8.33 8.12 7.40 9/184 18938
/proc/meminfo: memFree=18240788/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=290408 CPUtime=50.71 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 42891 0 0 0 5064 7 0 0 25 0 4 0 597558042 297377792 20985 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 72602 20985 389 106 0 67573 0
[pid=18930/tid=18934] ppid=18928 vsize=290408 CPUtime=12.69 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 11491 0 0 0 1267 2 0 0 25 0 4 0 597558043 297377792 20985 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=290408 CPUtime=12.68 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 9543 0 0 0 1267 1 0 0 25 0 4 0 597558043 297377792 20985 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=290408 CPUtime=12.62 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 10871 0 0 0 1260 2 0 0 25 0 4 0 597558043 297377792 20985 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 290408

[startup+25.5009 s]
/proc/loadavg: 8.26 8.11 7.40 9/184 18938
/proc/meminfo: memFree=18177412/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=320020 CPUtime=101.83 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 62834 0 0 0 10171 12 0 0 25 0 4 0 597558042 327700480 27265 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 80005 27265 389 106 0 74976 0
[pid=18930/tid=18934] ppid=18928 vsize=320020 CPUtime=25.49 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 16687 0 0 0 2546 3 0 0 25 0 4 0 597558043 327700480 27265 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=320020 CPUtime=25.49 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 15514 0 0 0 2546 3 0 0 25 0 4 0 597558043 327700480 27265 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=320020 CPUtime=25.35 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 14485 0 0 0 2532 3 0 0 25 0 4 0 597558043 327700480 27265 33554432000 4194304 4627427 140734699015152 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 320020

[startup+51.1007 s]
/proc/loadavg: 8.24 8.12 7.42 9/184 18938
/proc/meminfo: memFree=18141836/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=321368 CPUtime=204.1 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 90193 0 0 0 20389 21 0 0 25 0 4 0 597558042 329080832 28488 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 80342 28488 390 106 0 75313 0
[pid=18930/tid=18934] ppid=18928 vsize=321368 CPUtime=51.09 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 22333 0 0 0 5104 5 0 0 25 0 4 0 597558043 329080832 28488 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=321368 CPUtime=51.08 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 23796 0 0 0 5103 5 0 0 25 0 4 0 597558043 329080832 28488 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=321368 CPUtime=50.8 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 21947 0 0 0 5075 5 0 0 25 0 4 0 597558043 329080832 28488 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 321368

[startup+102.307 s]
/proc/loadavg: 8.18 8.11 7.46 9/184 18940
/proc/meminfo: memFree=18081188/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=323040 CPUtime=408.64 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 142435 0 0 0 40828 36 0 0 25 0 4 0 597558042 330792960 36636 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 80760 36636 389 106 0 75731 0
[pid=18930/tid=18934] ppid=18928 vsize=323040 CPUtime=102.3 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 35992 0 0 0 10222 8 0 0 25 0 4 0 597558043 330792960 36636 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=323040 CPUtime=102.29 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 36620 0 0 0 10220 9 0 0 25 0 4 0 597558043 330792960 36636 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=323040 CPUtime=101.73 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 35617 0 0 0 10164 9 0 0 25 0 4 0 597558043 330792960 36636 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 323040

[startup+162.301 s]

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

[pid=18930] ppid=18928 vsize=521548 CPUtime=2804.54 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 427074 0 0 0 280290 164 0 0 25 0 4 0 597558042 534065152 87275 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 130387 87275 389 106 0 125358 0
[pid=18930/tid=18934] ppid=18928 vsize=521548 CPUtime=702.3 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 114598 0 0 0 70185 45 0 0 25 0 4 0 597558043 534065152 87275 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=521548 CPUtime=701.46 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 111684 0 0 0 70103 43 0 0 25 0 4 0 597558043 534065152 87275 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=521548 CPUtime=698.46 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 122700 0 0 0 69798 48 0 0 25 0 4 0 597558043 534065152 87275 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.54
Current children cumulated vsize (KiB) 521548

[startup+762.307 s]
/proc/loadavg: 8.06 8.10 7.77 9/184 18961
/proc/meminfo: memFree=17586760/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=523012 CPUtime=3044.23 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 444649 0 0 0 304249 174 0 0 25 0 4 0 597558042 535564288 88041 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 130753 88041 389 106 0 125724 0
[pid=18930/tid=18934] ppid=18928 vsize=523012 CPUtime=762.3 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 121389 0 0 0 76181 49 0 0 25 0 4 0 597558043 535564288 88041 33554432000 4194304 4627427 140734699015152 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=523012 CPUtime=761.46 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 115380 0 0 0 76102 44 0 0 25 0 4 0 597558043 535564288 88041 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=523012 CPUtime=758.14 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 129476 0 0 0 75762 52 0 0 25 0 4 0 597558043 535564288 88041 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.23
Current children cumulated vsize (KiB) 523012

[startup+822.301 s]
/proc/loadavg: 8.11 8.11 7.80 9/184 18963
/proc/meminfo: memFree=17518036/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=535396 CPUtime=3283.89 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 469629 0 0 0 328204 185 0 0 25 0 4 0 597558042 548245504 94720 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 133849 94720 389 106 0 128820 0
[pid=18930/tid=18934] ppid=18928 vsize=535396 CPUtime=822.29 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 131357 0 0 0 82177 52 0 0 25 0 4 0 597558043 548245504 94720 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=535396 CPUtime=821.46 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 120960 0 0 0 82099 47 0 0 25 0 4 0 597558043 548245504 94720 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=535396 CPUtime=817.8 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 136126 0 0 0 81725 55 0 0 25 0 4 0 597558043 548245504 94720 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.89
Current children cumulated vsize (KiB) 535396

[startup+882.301 s]
/proc/loadavg: 8.20 8.13 7.82 9/184 18963
/proc/meminfo: memFree=17470896/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=601728 CPUtime=3523.56 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 489749 0 0 0 352163 193 0 0 25 0 4 0 597558042 616169472 101191 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 150432 101191 389 106 0 145403 0
[pid=18930/tid=18934] ppid=18928 vsize=601728 CPUtime=882.3 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 137551 0 0 0 88174 56 0 0 25 0 4 0 597558043 616169472 101191 33554432000 4194304 4627427 140734699015152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=601728 CPUtime=881.46 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 123901 0 0 0 88097 49 0 0 25 0 4 0 597558043 616169472 101191 33554432000 4194304 4627427 140734699015152 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=601728 CPUtime=877.48 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 146901 0 0 0 87689 59 0 0 25 0 4 0 597558043 616169472 101191 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.56
Current children cumulated vsize (KiB) 601728

[startup+942.301 s]
/proc/loadavg: 8.14 8.12 7.84 9/184 18965
/proc/meminfo: memFree=17449288/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=601916 CPUtime=3763.24 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 508478 0 0 0 376120 204 0 0 25 0 4 0 597558042 616361984 101250 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 150479 101250 389 106 0 145450 0
[pid=18930/tid=18934] ppid=18928 vsize=601916 CPUtime=942.3 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 143870 0 0 0 94170 60 0 0 25 0 4 0 597558043 616361984 101250 33554432000 4194304 4627427 140734699015152 18446744073709551615 4329590 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=601916 CPUtime=941.45 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 130015 0 0 0 94093 52 0 0 25 0 4 0 597558043 616361984 101250 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=601916 CPUtime=937.15 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 153013 0 0 0 93653 62 0 0 25 0 4 0 597558043 616361984 101250 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.24
Current children cumulated vsize (KiB) 601916

[startup+1002.3 s]
/proc/loadavg: 8.09 8.11 7.85 9/184 18967
/proc/meminfo: memFree=17365812/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=667652 CPUtime=4002.91 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 528079 0 0 0 400078 213 0 0 25 0 4 0 597558042 683675648 108196 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 166913 108196 389 106 0 161884 0
[pid=18930/tid=18934] ppid=18928 vsize=667652 CPUtime=1002.3 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 152383 0 0 0 100167 63 0 0 25 0 4 0 597558043 683675648 108196 33554432000 4194304 4627427 140734699015152 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=667652 CPUtime=1001.45 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 134981 0 0 0 100091 54 0 0 25 0 4 0 597558043 683675648 108196 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=667652 CPUtime=996.82 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 158943 0 0 0 99616 66 0 0 25 0 4 0 597558043 683675648 108196 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.91
Current children cumulated vsize (KiB) 667652

[startup+1062.3 s]
/proc/loadavg: 8.03 8.09 7.85 9/184 18969
/proc/meminfo: memFree=17331064/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=602216 CPUtime=4242.59 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 542870 0 0 0 424040 219 0 0 25 0 4 0 597558042 616669184 112367 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 150554 112367 389 106 0 145525 0
[pid=18930/tid=18934] ppid=18928 vsize=602216 CPUtime=1062.3 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 156769 0 0 0 106165 65 0 0 25 0 4 0 597558043 616669184 112367 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=602216 CPUtime=1061.45 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 137351 0 0 0 106090 55 0 0 25 0 4 0 597558043 616669184 112367 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=602216 CPUtime=1056.5 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 166978 0 0 0 105582 68 0 0 25 0 4 0 597558043 616669184 112367 33554432000 4194304 4627427 140734699015152 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.59
Current children cumulated vsize (KiB) 602216

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 7.86 9/184 18971
/proc/meminfo: memFree=17339596/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=670812 CPUtime=4482.26 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 557834 0 0 0 447995 231 0 0 25 0 4 0 597558042 686911488 115810 33554432000 4194304 4627427 140734699015152 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 167703 115810 389 106 0 162674 0
[pid=18930/tid=18934] ppid=18928 vsize=670812 CPUtime=1122.31 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 162489 0 0 0 112162 69 0 0 25 0 4 0 597558043 686911488 115810 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=670812 CPUtime=1121.45 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 141925 0 0 0 112086 59 0 0 25 0 4 0 597558043 686911488 115810 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=670812 CPUtime=1116.17 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 171638 0 0 0 111545 72 0 0 25 0 4 0 597558043 686911488 115810 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.26
Current children cumulated vsize (KiB) 670812

[startup+1182.3 s]
/proc/loadavg: 8.03 8.07 7.87 9/184 18971
/proc/meminfo: memFree=17305604/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=605432 CPUtime=4721.94 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 571554 0 0 0 471956 238 0 0 25 0 4 0 597558042 619962368 113079 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 151358 113079 389 106 0 146329 0
[pid=18930/tid=18934] ppid=18928 vsize=605432 CPUtime=1182.3 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 167216 0 0 0 118160 70 0 0 25 0 4 0 597558043 619962368 113079 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=605432 CPUtime=1181.45 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 144175 0 0 0 118084 61 0 0 25 0 4 0 597558043 619962368 113079 33554432000 4194304 4627427 140734699015152 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=605432 CPUtime=1175.85 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 177537 0 0 0 117509 76 0 0 25 0 4 0 597558043 619962368 113079 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.94
Current children cumulated vsize (KiB) 605432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.02 8.06 7.87 5/179 18974
/proc/meminfo: memFree=17963956/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=605512 CPUtime=4800.24 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 577440 0 0 0 479784 240 0 0 25 0 4 0 597558042 620044288 112293 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 151378 112293 389 106 0 146349 0
[pid=18930/tid=18934] ppid=18928 vsize=605512 CPUtime=1201.91 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 169516 0 0 0 120120 71 0 0 25 0 4 0 597558043 620044288 112293 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=605512 CPUtime=1201.05 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 145332 0 0 0 120044 61 0 0 25 0 4 0 597558043 620044288 112293 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=605512 CPUtime=1195.34 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 179966 0 0 0 119457 77 0 0 25 0 4 0 597558043 620044288 112293 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 605512

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

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

[startup+1201.9 s]
/proc/loadavg: 8.02 8.06 7.87 5/179 18974
/proc/meminfo: memFree=17963956/32951124 swapFree=67110396/67111528
[pid=18930] ppid=18928 vsize=605512 CPUtime=4800.24 cores=1,3,5,7
/proc/18930/stat : 18930 (strangenight2-m) R 18928 18930 18381 0 -1 4202496 577440 0 0 0 479784 240 0 0 25 0 4 0 597558042 620044288 112293 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18930/statm: 151378 112293 389 106 0 146349 0
[pid=18930/tid=18934] ppid=18928 vsize=605512 CPUtime=1201.91 cores=1,3,5,7
/proc/18930/task/18934/stat : 18934 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 169516 0 0 0 120120 71 0 0 25 0 4 0 597558043 620044288 112293 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18930/tid=18935] ppid=18928 vsize=605512 CPUtime=1201.05 cores=1,3,5,7
/proc/18930/task/18935/stat : 18935 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 145332 0 0 0 120044 61 0 0 25 0 4 0 597558043 620044288 112293 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18930/tid=18936] ppid=18928 vsize=605512 CPUtime=1195.34 cores=1,3,5,7
/proc/18930/task/18936/stat : 18936 (strangenight2-m) R 18928 18930 18381 0 -1 4202560 179966 0 0 0 119457 77 0 0 25 0 4 0 597558043 620044288 112293 33554432000 4194304 4627427 140734699015152 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 605512

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.29
CPU user time (s): 4797.87
CPU system time (s): 2.42463
CPU usage (%): 399.381
Max. virtual memory (cumulated for all children) (KiB): 722200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.42463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577442
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= 235
involuntary context switches= 33978

runsolver used 1.78773 second user time and 4.78427 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 12:34:34
IDJOB=3173912
IDBENCH=82730
IDSOLVER=1586
FILE ID=node118/3173912-1304073274
RUNJOBID= node118-1304072069-18818
PBS_JOBID= 13170468
Free space on /tmp= 71616 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173912-1304073274/watcher-3173912-1304073274 -o /tmp/evaluation-result-3173912-1304073274/solver-3173912-1304073274 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173912-1304073274.cnf

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

MD5SUM BENCH= 7bcc4ef0cfce2800562872a802fb17f2
RANDOM SEED=1591948504

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18415400 kB
Buffers:       1901284 kB
Cached:       12033708 kB
SwapCached:        600 kB
Active:        9488988 kB
Inactive:      4511304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18415400 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           11296 kB
Writeback:           0 kB
AnonPages:       63532 kB
Mapped:          14776 kB
Slab:           471816 kB
PageTables:       4288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   198084 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= 71612 MiB
End job on node118 at 2011-04-29 12:54:38