Trace number 3369007

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.22 1203.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
MD5SUMdea41a8eae52b60f8e05be01aec1734d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark299.825
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369007-1305410123.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:        1917
1.17/0.37	c -- clauses added:            0 learnts,         1917 normals,            0 xors
1.17/0.37	c -- vars added        450
1.17/0.37	c Parsing time:  0.00 s
1.17/0.37	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
1.17/0.37	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
1.17/0.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1.17/0.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
1.17/0.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.37	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.01 s
1.17/0.37	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.37	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.17/0.37	c calculated reachability. Time: 0.00
1.17/0.37	c Calc default polars -  time:   0.00 s pos:     195 undec:      63 neg:     192
1.17/0.37	c =========================================================================================
1.17/0.37	c types(t): F = full restart, N = normal restart
1.17/0.37	c types(t): S = simplification begin/end, E = solution found
1.17/0.37	c restart types(rt): st = static, dy = dynamic
1.17/0.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/0.37	c  B st     0         0       442      1913         0         0      5781         0   no data   no data  --
1.17/0.37	c Decided on static restart strategy
1.17/0.37	c  N st     8      4918       442      1913         0      4857      5781    110142   no data   no data  --
1.57/0.40	c  N st    10     11303       442      1913         0      4449      5781     70475   no data   no data  --
2.37/0.66	c  N st    11     17048       442      1913         0     10032      5781    188116   no data   no data  --
3.97/1.05	c  F st    12     25000       442      1913         0     12257      5781    230006   no data   no data  --
3.97/1.05	c  N st    12     25000       442      1913         0     12257      5781    230006   no data   no data  --
4.81/1.29	c Decided on static restart strategy
4.81/1.29	c  N st    18     30001       442      1913         0     10574      5781    188714   no data   no data  --
4.81/1.29	c  S st    18     30001       442      1913         0     10574      5781    188714   no data   no data  --
5.16/1.32	c  S st    18     30504       442      1913         0     11076      5781    198726   no data   no data  --
5.16/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.16/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
5.16/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.96/1.51	c lits-rem:       193  cl-subs:      863  v-elim:      0  v-fix:    0  time:  0.71 s
5.96/1.52	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.03
5.96/1.52	c calculated reachability. Time: 0.00
5.96/1.52	c  N st    18     30504       442      1913         0     10213      5780    179997   no data   no data  --
7.55/1.90	c  N st    20     37614       442      1913         0      9502      5780    143533   no data   no data  --
8.78/2.25	c  N st    21     44014       442      1913         0     15723      5780    278184   no data   no data  --
9.19/2.37	c  S st    22     45756       442      1913         0     17415      5780    312801   no data   no data  --
9.54/2.41	c  S st    22     46260       442      1913         0      9205      5780    123609   no data   no data  --
9.54/2.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.54/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.54/2.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
9.54/2.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.48	c lits-rem:        31  cl-subs:      101  v-elim:      0  v-fix:    0  time:  0.25 s
9.54/2.48	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
9.54/2.48	c vivif2 --  cl tried     9104 cl shrink        0 lits rem          0 time: 0.01
9.54/2.49	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.02
9.54/2.49	c calculated reachability. Time: 0.00
9.54/2.49	c  N st    22     46260       442      1913         0      9104      5780    121590   no data   no data  --
13.16/3.31	c  N st    23     60657       442      1913         0     13459      5780    206809   no data   no data  --
15.53/3.98	c  N st    24     69391       442      1913         0     11208      5780    147763   no data   no data  --
15.53/3.98	c  S st    24     69391       442      1913         0     11208      5780    147763   no data   no data  --
15.94/4.01	c  S st    24     69897       442      1913         0     11713      5780    159046   no data   no data  --
15.94/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.94/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
15.94/4.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.15	c lits-rem:        55  cl-subs:      147  v-elim:      0  v-fix:    0  time:  0.56 s
16.33/4.15	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
16.33/4.16	c vivif2 --  cl tried    11566 cl shrink        0 lits rem          0 time: 0.00
16.33/4.17	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.04
16.33/4.17	c calculated reachability. Time: 0.00
16.33/4.17	c  N st    24     69897       442      1913         0     11566      5780    156324   no data   no data  --
21.12/5.39	c  F st    25     87500       442      1913         0     17005      5780    260557   no data   no data  --
21.12/5.39	c  N st    25     87500       442      1913         0     17005      5780    260557   no data   no data  --
23.11/5.80	c Decided on static restart strategy
23.91/6.06	c  N st    32     95536       442      1913         0     24804      5780    429739   no data   no data  --
26.33/6.70	c  N st    34    104845       442      1913         0     21234      5780    345901   no data   no data  --
26.33/6.70	c  S st    34    104845       442      1913         0     21234      5780    345901   no data   no data  --
26.74/6.76	c  S st    34    105346       442      1913         0     21734      5780    356610   no data   no data  --
26.74/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
26.74/6.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.74/6.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
26.74/6.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.89/7.53	c lits-rem:       372  cl-subs:     1142  v-elim:      0  v-fix:    0  time:  2.99 s
29.89/7.53	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
29.89/7.53	c vivif2 --  cl tried    20592 cl shrink        0 lits rem          0 time: 0.01
29.89/7.55	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.06
29.89/7.55	c calculated reachability. Time: 0.00
29.89/7.55	c  N st    34    105346       442      1913         0     20592      5780    330905   no data   no data  --
33.08/8.39	c  N st    35    114945       442      1913         0     16322      5780    216773   no data   no data  --
37.87/9.57	c  N st    36    129343       442      1913         0     15776      5780    190962   no data   no data  --
45.45/11.43	c  N st    37    150938       442      1913         0     21217      5780    299964   no data   no data  --
47.45/12.00	c  S st    38    158020       442      1913         0     28103      5780    454044   no data   no data  --
47.85/12.07	c  S st    38    158524       442      1913         0     28605      5780    464508   no data   no data  --
47.85/12.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.85/12.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.85/12.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
47.85/12.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.85/12.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.85/12.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
47.85/12.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.82/13.51	c lits-rem:       939  cl-subs:     1750  v-elim:      0  v-fix:    0  time:  5.64 s
53.82/13.51	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
53.82/13.51	c vivif2 --  cl tried    26855 cl shrink        0 lits rem          0 time: 0.02
53.82/13.53	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.08
53.82/13.53	c calculated reachability. Time: 0.00
53.82/13.53	c  N st    38    158524       442      1913         0     26855      5780    424284   no data   no data  --
72.17/18.12	c  N st    39    207112       442      1913         0     21672      5780    276549   no data   no data  --
84.13/21.15	c  N st    40    237788       442      1913         0     31960      5780    486699   no data   no data  --
84.13/21.15	c  S st    40    237788       442      1913         0     31960      5780    486699   no data   no data  --
84.53/21.24	c  S st    40    238295       442      1913         0     32466      5780    497848   no data   no data  --
84.53/21.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.53/21.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.53/21.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
84.53/21.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.53/21.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.53/21.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
84.53/21.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.33/22.96	c lits-rem:       698  cl-subs:     2353  v-elim:      0  v-fix:    0  time:  6.74 s
91.33/22.96	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
91.33/22.96	c vivif2 --  cl tried    30113 cl shrink        0 lits rem          0 time: 0.02
91.33/22.99	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.09
91.33/22.99	c calculated reachability. Time: 0.00
91.33/22.99	c  N st    40    238295       442      1913         0     30113      5780    448042   no data   no data  --
122.44/30.75	c  F st    41    306251       442      1913         0     31988      5780    441829   no data   no data  --
122.44/30.75	c  N st    41    306251       442      1913         0     31988      5780    441829   no data   no data  --
124.83/31.31	c Decided on static restart strategy
135.60/34.02	c  N st    51    334559       442      1913         0     36292      5780    519446   no data   no data  --
147.57/37.09	c  N st    53    357442       442      1913         0     34260      5780    466367   no data   no data  --
147.57/37.09	c  S st    53    357442       442      1913         0     34260      5780    466367   no data   no data  --
147.97/37.18	c  S st    53    357945       442      1913         0     34762      5780    477652   no data   no data  --
147.97/37.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
147.97/37.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.97/37.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
148.37/37.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.37/37.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.37/37.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
148.37/37.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.99/38.61	c lits-rem:       490  cl-subs:     1212  v-elim:      0  v-fix:    0  time:  5.59 s
153.99/38.61	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
153.99/38.62	c vivif2 --  cl tried    33550 cl shrink        0 lits rem          0 time: 0.02
153.99/38.65	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.11
153.99/38.65	c calculated reachability. Time: 0.00
153.99/38.65	c  N st    53    357945       442      1913         0     33550      5780    452526   no data   no data  --
169.11/42.40	c  N st    54    390338       442      1913         0     39810      5780    587932   no data   no data  --
195.84/49.13	c  N st    55    438926       442      1913         0     33557      5780    411043   no data   no data  --
236.94/59.42	c  N st    56    511810       442      1913         0     46835      5780    676294   no data   no data  --
251.69/63.17	c  N st    57    536917       442      1913         0     41236      5780    559514   no data   no data  --
251.69/63.17	c  S st    57    536917       442      1913         0     41236      5780    559514   no data   no data  --
252.09/63.28	c  S st    57    537425       442      1913         0     41742      5780    570474   no data   no data  --
252.09/63.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
252.09/63.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
252.49/63.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
252.49/63.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.49/63.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.49/63.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
252.49/63.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
258.88/64.98	c lits-rem:       600  cl-subs:     1402  v-elim:      0  v-fix:    0  time:  6.61 s
258.88/64.98	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
258.88/64.98	c vivif2 --  cl tried    40340 cl shrink        0 lits rem          0 time: 0.02
259.30/65.02	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.14
259.30/65.02	c calculated reachability. Time: 0.00
259.30/65.02	c  N st    57    537425       442      1913         0     40340      5780    538532   no data   no data  --
362.58/90.99	c  N st    58    701409       442      1913         0     69487      5780   1167618   no data   no data  --
438.80/110.06	c  N st    59    806137       442      1913         0     63135      5780    891659   no data   no data  --
438.80/110.06	c  S st    59    806137       442      1913         0     63135      5780    891659   no data   no data  --
439.57/110.25	c  S st    59    806640       442      1913         0     63638      5780    902927   no data   no data  --
439.57/110.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.57/110.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.57/110.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
439.97/110.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
439.97/110.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.97/110.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
439.97/110.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
455.13/114.11	c lits-rem:       919  cl-subs:     6289  v-elim:      0  v-fix:    0  time: 15.13 s
455.13/114.11	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
455.13/114.12	c vivif2 --  cl tried    57349 cl shrink        0 lits rem          0 time: 0.04
455.13/114.18	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.25
455.13/114.18	c calculated reachability. Time: 0.00
455.13/114.18	c  N st    59    806640       442      1913         0     57349      5780    786924   no data   no data  --
656.18/164.55	c  F st    60   1071875       442      1913         0     73028      5780   1021167   no data   no data  --
656.18/164.56	c  N st    60   1071875       442      1913         0     73028      5780   1021167   no data   no data  --
660.97/165.78	c Decided on static restart strategy
678.92/170.27	c  N st    70   1100176       442      1913         0     57116      5780    702298   no data   no data  --
708.04/177.50	c  N st    72   1136168       442      1913         0     47566      5780    483091   no data   no data  --
729.58/182.99	c  N st    73   1168560       442      1913         0     79047      5780   1187642   no data   no data  --
759.90/190.58	c  N st    74   1209961       442      1913         0     73732      5780   1080827   no data   no data  --
759.90/190.58	c  S st    74   1209961       442      1913         0     73732      5780   1080827   no data   no data  --
761.10/190.81	c  S st    74   1210463       442      1913         0     74234      5780   1092499   no data   no data  --
761.10/190.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
761.10/190.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
761.10/190.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
761.10/190.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
761.10/190.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
761.10/190.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
761.10/190.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
773.87/194.01	c lits-rem:       593  cl-subs:     4075  v-elim:      0  v-fix:    0  time: 12.47 s
773.87/194.01	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
773.87/194.02	c vivif2 --  cl tried    70159 cl shrink        0 lits rem          0 time: 0.05
774.27/194.11	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.33
774.27/194.11	c calculated reachability. Time: 0.00
774.27/194.11	c  N st    74   1210463       442      1913         0     70159      5780   1004807   no data   no data  --
845.28/211.94	c  N st    75   1283345       442      1913         0     94253      5780   1491587   no data   no data  --
969.75/243.13	c  N st    76   1392669       442      1913         0     54727      5780    569270   no data   no data  --
1120.92/281.08	c  N st    77   1556653       442      1913         0     59435      5780    621882   no data   no data  --
1280.90/321.10	c  N st    78   1710463       442      1913         0    100614      5780   1471989   no data   no data  --
1280.90/321.10	c  S st    78   1710463       442      1913         0    100614      5780   1471989   no data   no data  --
1282.09/321.41	c  S st    78   1710964       442      1913         0    101114      5780   1483411   no data   no data  --
1282.09/321.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1282.09/321.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1282.09/321.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1282.49/321.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1282.49/321.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1282.49/321.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
1282.49/321.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1323.17/331.78	c lits-rem:        58  cl-subs:    11332  v-elim:      0  v-fix:    0  time: 40.97 s
1323.17/331.78	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
1323.57/331.80	c vivif2 --  cl tried    89782 cl shrink        0 lits rem          0 time: 0.06
1323.97/331.91	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.46
1323.97/331.92	c calculated reachability. Time: 0.00
1323.97/331.92	c  N st    78   1710964       442      1913         0     89782      5780   1265656   no data   no data  --
1715.31/430.04	c  N st    79   2079928       442      1913         0    102278      5780   1539724   no data   no data  --
1860.12/466.30	c  N st    80   2210965       442      1913         0    106388      5780   1561047   no data   no data  --
1860.12/466.30	c  S st    80   2210965       442      1913         0    106388      5780   1561047   no data   no data  --
1861.31/466.66	c  S st    80   2211468       442      1913         0    106888      5780   1572808   no data   no data  --
1861.31/466.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1861.31/466.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1861.71/466.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1861.71/466.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1861.71/466.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1861.71/466.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
1861.71/466.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1894.82/475.08	c lits-rem:      1189  cl-subs:     6450  v-elim:      0  v-fix:    0  time: 33.16 s
1894.82/475.08	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
1895.22/475.10	c vivif2 --  cl tried   100438 cl shrink        0 lits rem          0 time: 0.08
1895.64/475.23	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.51
1895.64/475.23	c calculated reachability. Time: 0.00
1895.64/475.23	c  N st    80   2211468       442      1913         0    100438      5780   1446182   no data   no data  --
2485.62/623.19	c  N st    81   2711468       442      1913         0    123504      5780   1886408   no data   no data  --
2485.62/623.19	c  S st    81   2711468       442      1913         0    123504      5780   1886408   no data   no data  --
2487.62/623.61	c  S st    81   2711970       442      1913         0    124005      5780   1897597   no data   no data  --
2487.62/623.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2487.62/623.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2487.62/623.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
2488.03/623.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2488.03/623.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2488.03/623.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
2488.03/623.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2553.85/640.22	c lits-rem:       716  cl-subs:    10749  v-elim:      0  v-fix:    0  time: 65.70 s
2553.85/640.22	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
2553.85/640.24	c vivif2 --  cl tried   113256 cl shrink        0 lits rem          0 time: 0.09
2554.27/640.38	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.58
2554.27/640.39	c calculated reachability. Time: 0.00
2554.27/640.39	c  N st    81   2711970       442      1913         0    113256      5780   1663955   no data   no data  --
3249.95/814.71	c  N st    82   3211972       442      1913         0     88669      5780    959210   no data   no data  --
3249.95/814.71	c  S st    82   3211972       442      1913         0     88669      5780    959210   no data   no data  --
3251.14/815.00	c  S st    82   3212478       442      1913         0     89175      5780    970364   no data   no data  --
3251.14/815.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3251.14/815.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3251.14/815.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3251.14/815.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3251.14/815.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3251.14/815.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
3251.14/815.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3265.49/818.61	c lits-rem:       958  cl-subs:     3356  v-elim:      0  v-fix:    0  time: 14.06 s
3265.49/818.61	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
3265.49/818.62	c vivif2 --  cl tried    85819 cl shrink        0 lits rem          0 time: 0.05
3265.89/818.72	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.40
3265.89/818.73	c calculated reachability. Time: 0.00
3265.89/818.73	c  N st    82   3212478       442      1913         0     85819      5780    907754   no data   no data  --
3975.17/996.61	c  N st    83   3712479       442      1913         0     96515      5780   1047157   no data   no data  --
3975.17/996.61	c  S st    83   3712479       442      1913         0     96515      5780   1047157   no data   no data  --
3976.76/996.94	c  S st    83   3712980       442      1913         0     97014      5780   1058407   no data   no data  --
3976.76/996.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3976.76/996.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3976.76/996.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
3977.16/997.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3977.16/997.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3977.16/997.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
3977.16/997.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3989.18/1000.04	c lits-rem:       309  cl-subs:     3563  v-elim:      0  v-fix:    0  time: 12.02 s
3989.18/1000.04	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
3989.18/1000.06	c vivif2 --  cl tried    93451 cl shrink        0 lits rem          0 time: 0.06
3989.53/1000.17	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.44
3989.53/1000.17	c calculated reachability. Time: 0.00
3989.53/1000.17	c  N st    83   3712980       442      1913         0     93451      5780    989184   no data   no data  --
4037.44/1012.17	c  F st    84   3751562       442      1913         0    130793      5780   1834964   no data   no data  --
4037.44/1012.17	c  N st    84   3751562       442      1913         0    130793      5780   1834964   no data   no data  --
4046.97/1014.53	c Decided on static restart strategy
4087.66/1024.72	c  N st    94   3779863       442      1913         0    158099      5780   2423904   no data   no data  --
4139.12/1037.66	c  N st    96   3815855       442      1913         0    111248      5780   1383067   no data   no data  --
4203.35/1053.78	c  N st    97   3848249       442      1913         0    142546      5780   2061067   no data   no data  --
4268.38/1070.00	c  N st    98   3896838       442      1913         0    106662      5780   1254674   no data   no data  --
4372.89/1096.23	c  N st    99   3969721       442      1913         0     92854      5780    935279   no data   no data  --
4514.51/1131.74	c  N st   100   4079044       442      1913         0    113878      5780   1412121   no data   no data  --
4721.15/1183.55	c  N st   101   4212980       442      1913         0    156405      5780   2144507   no data   no data  --
4721.15/1183.55	c  S st   101   4212980       442      1913         0    156405      5780   2144507   no data   no data  --
4723.14/1184.08	c  S st   101   4213480       442      1913         0    156905      5780   2155866   no data   no data  --
4723.14/1184.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4723.14/1184.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4723.54/1184.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4723.94/1184.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4723.94/1184.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4723.94/1184.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
4723.94/1184.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369007-1305410123/watcher-3369007-1305410123 -o /tmp/evaluation-result-3369007-1305410123/solver-3369007-1305410123 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369007-1305410123.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: 3.43 4.27 5.84 4/338 13448
/proc/meminfo: memFree=18163464/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 652610267 52465664 352 33554432000 4194304 4650419 140735606769456 18446744073709551615 47536938198962 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 12809 352 303 112 0 7774 0
[pid=13446/tid=13449] ppid=13443 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652610267 52465664 352 33554432000 4194304 4650419 140735606769456 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652610267 52465664 352 33554432000 4194304 4650419 140735606769456 18446744073709551615 47536938198966 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652610267 52465664 352 33554432000 4194304 4650419 140735606769456 18446744073709551615 47536938198966 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.116152 s]
/proc/loadavg: 3.43 4.27 5.84 4/338 13448
/proc/meminfo: memFree=18163464/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=282572 CPUtime=0.43 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 1701 0 0 0 43 0 0 0 18 0 4 0 652610267 289353728 1575 33554432000 4194304 4650419 140735606769456 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 70643 1576 391 112 0 65608 0
[pid=13446/tid=13449] ppid=13443 vsize=282572 CPUtime=0.1 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 364 0 0 0 10 0 0 0 19 0 4 0 652610267 289353728 1576 33554432000 4194304 4650419 140735606769456 18446744073709551615 4349924 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=282572 CPUtime=0.1 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 324 0 0 0 10 0 0 0 18 0 4 0 652610267 289353728 1576 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=282572 CPUtime=0.11 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 255 0 0 0 11 0 0 0 18 0 4 0 652610267 289353728 1576 33554432000 4194304 4650419 140735606769456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282572

[startup+0.201138 s]
/proc/loadavg: 3.43 4.27 5.84 4/338 13448
/proc/meminfo: memFree=18163464/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=283632 CPUtime=0.77 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 2319 0 0 0 77 0 0 0 18 0 4 0 652610267 290439168 1663 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 70908 1663 393 112 0 65873 0
[pid=13446/tid=13449] ppid=13443 vsize=283632 CPUtime=0.18 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 516 0 0 0 18 0 0 0 20 0 4 0 652610267 290439168 1663 33554432000 4194304 4650419 140735606769456 18446744073709551615 4333213 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=283632 CPUtime=0.19 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 474 0 0 0 19 0 0 0 18 0 4 0 652610267 290439168 1663 33554432000 4194304 4650419 140735606769456 18446744073709551615 4333273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=283632 CPUtime=0.19 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 412 0 0 0 19 0 0 0 18 0 4 0 652610267 290439168 1664 33554432000 4194304 4650419 140735606769456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283632

[startup+0.301119 s]
/proc/loadavg: 3.43 4.27 5.84 4/338 13448
/proc/meminfo: memFree=18163464/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=283632 CPUtime=1.17 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 2687 0 0 0 117 0 0 0 18 0 4 0 652610267 290439168 2031 33554432000 4194304 4650419 140735606769456 18446744073709551615 4333024 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 70908 2031 393 112 0 65873 0
[pid=13446/tid=13449] ppid=13443 vsize=283632 CPUtime=0.28 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 607 0 0 0 28 0 0 0 20 0 4 0 652610267 290439168 2031 33554432000 4194304 4650419 140735606769456 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=283632 CPUtime=0.29 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 563 0 0 0 29 0 0 0 18 0 4 0 652610267 290439168 2031 33554432000 4194304 4650419 140735606769456 18446744073709551615 4331103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=283632 CPUtime=0.29 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 506 0 0 0 29 0 0 0 18 0 4 0 652610267 290439168 2031 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283632

[startup+0.701051 s]
/proc/loadavg: 3.43 4.27 5.84 4/338 13448
/proc/meminfo: memFree=18163464/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=284740 CPUtime=2.77 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 4438 0 0 0 277 0 0 0 18 0 4 0 652610267 291573760 2495 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 71185 2495 393 112 0 66150 0
[pid=13446/tid=13449] ppid=13443 vsize=284740 CPUtime=0.68 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 993 0 0 0 68 0 0 0 21 0 4 0 652610267 291573760 2495 33554432000 4194304 4650419 140735606769456 18446744073709551615 4313331 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=284740 CPUtime=0.69 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 1086 0 0 0 69 0 0 0 18 0 4 0 652610267 291573760 2495 33554432000 4194304 4650419 140735606769456 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=284740 CPUtime=0.69 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 981 0 0 0 69 0 0 0 18 0 4 0 652610267 291573760 2495 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284740

[startup+1.50091 s]
/proc/loadavg: 3.43 4.27 5.84 9/346 13456
/proc/meminfo: memFree=18137108/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=285796 CPUtime=5.96 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 8170 0 0 0 595 1 0 0 19 0 4 0 652610267 292655104 4521 33554432000 4194304 4650419 140735606769456 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 71449 4521 395 112 0 66414 0
[pid=13446/tid=13449] ppid=13443 vsize=285796 CPUtime=1.47 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 1721 0 0 0 147 0 0 0 23 0 4 0 652610267 292655104 4521 33554432000 4194304 4650419 140735606769456 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=285796 CPUtime=1.48 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 1700 0 0 0 148 0 0 0 20 0 4 0 652610267 292655104 4521 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=285796 CPUtime=1.49 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 1526 0 0 0 149 0 0 0 20 0 4 0 652610267 292655104 4521 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285796

[startup+3.10063 s]
/proc/loadavg: 3.43 4.27 5.84 9/346 13456
/proc/meminfo: memFree=18098464/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=281676 CPUtime=12.34 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 15903 0 0 0 1231 3 0 0 25 0 4 0 652610267 288436224 9090 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 70419 9090 395 112 0 65384 0
[pid=13446/tid=13449] ppid=13443 vsize=281676 CPUtime=3.05 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 3839 0 0 0 305 0 0 0 25 0 4 0 652610267 288436224 9090 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=281676 CPUtime=3.08 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 4188 0 0 0 308 0 0 0 25 0 4 0 652610267 288436224 9090 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=281676 CPUtime=3.09 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 3568 0 0 0 308 1 0 0 25 0 4 0 652610267 288436224 9090 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 281676

[startup+6.30107 s]
/proc/loadavg: 3.79 4.33 5.85 9/346 13456
/proc/meminfo: memFree=18069704/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=289224 CPUtime=25.11 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 24674 0 0 0 2506 5 0 0 25 0 4 0 652610267 296165376 12642 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 72306 12642 395 112 0 67271 0
[pid=13446/tid=13449] ppid=13443 vsize=289224 CPUtime=6.22 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 6623 0 0 0 621 1 0 0 25 0 4 0 652610267 296165376 12642 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=289224 CPUtime=6.29 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 6847 0 0 0 628 1 0 0 25 0 4 0 652610267 296165376 12642 33554432000 4194304 4650419 140735606769456 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=289224 CPUtime=6.28 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 4735 0 0 0 627 1 0 0 25 0 4 0 652610267 296165376 12642 33554432000 4194304 4650419 140735606769456 18446744073709551615 4334630 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 289224

[startup+12.701 s]
/proc/loadavg: 4.13 4.40 5.86 9/346 13456
/proc/meminfo: memFree=18029548/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=293988 CPUtime=50.64 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 37313 0 0 0 5056 8 0 0 25 0 4 0 652610267 301043712 17253 33554432000 4194304 4650419 140735606769456 18446744073709551615 4438383 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 73497 17253 395 112 0 68462 0
[pid=13446/tid=13449] ppid=13443 vsize=293988 CPUtime=12.54 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 9989 0 0 0 1253 1 0 0 25 0 4 0 652610267 301043712 17253 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=293988 CPUtime=12.68 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 9724 0 0 0 1267 1 0 0 25 0 4 0 652610267 301043712 17253 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=293988 CPUtime=12.69 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 6807 0 0 0 1267 2 0 0 25 0 4 0 652610267 301043712 17253 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 293988

[startup+25.5007 s]
/proc/loadavg: 5.13 4.60 5.90 9/346 13456
/proc/meminfo: memFree=17980384/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=304240 CPUtime=101.69 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 57343 0 0 0 10156 13 0 0 25 0 4 0 652610267 311541760 22572 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 76060 22572 395 112 0 71025 0
[pid=13446/tid=13449] ppid=13443 vsize=304240 CPUtime=25.2 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 16063 0 0 0 2517 3 0 0 25 0 4 0 652610267 311541760 22572 33554432000 4194304 4650419 140735606769456 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=304240 CPUtime=25.49 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 15412 0 0 0 2546 3 0 0 25 0 4 0 652610267 311541760 22572 33554432000 4194304 4650419 140735606769456 18446744073709551615 4334212 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=304240 CPUtime=25.49 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 9867 0 0 0 2546 3 0 0 25 0 4 0 652610267 311541760 22572 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 304240

[startup+51.1012 s]
/proc/loadavg: 6.11 4.87 5.96 9/346 13457
/proc/meminfo: memFree=17959176/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=323024 CPUtime=203.82 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 85033 0 0 0 20360 22 0 0 25 0 4 0 652610267 330776576 28691 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 80756 28691 395 112 0 75721 0
[pid=13446/tid=13449] ppid=13443 vsize=323024 CPUtime=50.52 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 22354 0 0 0 5048 4 0 0 25 0 4 0 652610267 330776576 28691 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=323024 CPUtime=51.08 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 24821 0 0 0 5102 6 0 0 25 0 4 0 652610267 330776576 28691 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=323024 CPUtime=51.09 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 13858 0 0 0 5105 4 0 0 25 0 4 0 652610267 330776576 28691 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 323024

[startup+102.301 s]
/proc/loadavg: 7.18 5.35 6.06 9/346 13518
/proc/meminfo: memFree=17892284/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=321092 CPUtime=408.09 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 122156 0 0 0 40774 35 0 0 25 0 4 0 652610267 328798208 37652 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 80273 37652 395 112 0 75238 0
[pid=13446/tid=13449] ppid=13443 vsize=321092 CPUtime=101.18 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 24797 0 0 0 10112 6 0 0 25 0 4 0 652610267 328798208 37654 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=321092 CPUtime=102.29 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 37713 0 0 0 10218 11 0 0 25 0 4 0 652610267 328798208 37654 33554432000 4194304 4650419 140735606769456 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=321092 CPUtime=102.29 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 21657 0 0 0 10223 6 0 0 25 0 4 0 652610267 328798208 37654 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 321092

[startup+162.301 s]

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

[pid=13446] ppid=13443 vsize=604224 CPUtime=2562.21 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 299100 0 0 0 256101 120 0 0 25 0 4 0 652610267 618725376 88354 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 151056 88354 395 112 0 146021 0
[pid=13446/tid=13449] ppid=13443 vsize=604224 CPUtime=635.29 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 47118 0 0 0 63512 17 0 0 25 0 4 0 652610267 618725376 88354 33554432000 4194304 4650419 140735606769456 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=604224 CPUtime=642.3 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 105382 0 0 0 64188 42 0 0 25 0 4 0 652610267 618725376 88354 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=604224 CPUtime=642.3 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 63029 0 0 0 64199 31 0 0 25 0 4 0 652610267 618725376 88354 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2562.21
Current children cumulated vsize (KiB) 604224

[startup+702.301 s]
/proc/loadavg: 8.13 7.76 7.02 9/346 13546
/proc/meminfo: memFree=17455236/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=592276 CPUtime=2801.55 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 317038 0 0 0 280026 129 0 0 25 0 4 0 652610267 606490624 95206 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148069 95206 395 112 0 143034 0
[pid=13446/tid=13449] ppid=13443 vsize=592276 CPUtime=694.63 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 47937 0 0 0 69446 17 0 0 25 0 4 0 652610267 606490624 95206 33554432000 4194304 4650419 140735606769456 18446744073709551615 4313315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=592276 CPUtime=702.3 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 112895 0 0 0 70184 46 0 0 25 0 4 0 652610267 606490624 95206 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=592276 CPUtime=702.29 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 66441 0 0 0 70197 32 0 0 25 0 4 0 652610267 606490624 95206 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.55
Current children cumulated vsize (KiB) 592276

[startup+762.301 s]
/proc/loadavg: 8.09 7.81 7.08 9/346 13548
/proc/meminfo: memFree=17439096/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=592380 CPUtime=3040.93 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 330402 0 0 0 303956 137 0 0 25 0 4 0 652610267 606597120 93152 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148095 93152 395 112 0 143060 0
[pid=13446/tid=13449] ppid=13443 vsize=592380 CPUtime=753.98 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 48133 0 0 0 75381 17 0 0 25 0 4 0 652610267 606597120 93153 33554432000 4194304 4650419 140735606769456 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=592380 CPUtime=762.31 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 119187 0 0 0 76182 49 0 0 25 0 4 0 652610267 606597120 93153 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=592380 CPUtime=762.31 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 68807 0 0 0 76197 34 0 0 25 0 4 0 652610267 606597120 93153 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.93
Current children cumulated vsize (KiB) 592380

[startup+822.301 s]
/proc/loadavg: 8.07 7.86 7.14 9/346 13550
/proc/meminfo: memFree=17439204/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=592500 CPUtime=3280.26 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 345770 0 0 0 327880 146 0 0 25 0 4 0 652610267 606720000 96557 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148125 96557 395 112 0 143090 0
[pid=13446/tid=13449] ppid=13443 vsize=592500 CPUtime=813.32 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 48231 0 0 0 81315 17 0 0 25 0 4 0 652610267 606720000 96557 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=592500 CPUtime=822.3 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 125345 0 0 0 82177 53 0 0 25 0 4 0 652610267 606720000 96557 33554432000 4194304 4650419 140735606769456 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=592500 CPUtime=822.29 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 72644 0 0 0 82193 36 0 0 25 0 4 0 652610267 606720000 96557 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.26
Current children cumulated vsize (KiB) 592500

[startup+882.313 s]
/proc/loadavg: 8.06 7.90 7.20 9/346 13551
/proc/meminfo: memFree=17415992/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=592620 CPUtime=3519.65 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 360927 0 0 0 351812 153 0 0 25 0 4 0 652610267 606842880 95415 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148155 95415 395 112 0 143120 0
[pid=13446/tid=13449] ppid=13443 vsize=592620 CPUtime=872.68 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 49253 0 0 0 87250 18 0 0 25 0 4 0 652610267 606842880 95415 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=592620 CPUtime=882.31 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 133623 0 0 0 88175 56 0 0 25 0 4 0 652610267 606842880 95415 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=592620 CPUtime=882.31 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 74735 0 0 0 88193 38 0 0 25 0 4 0 652610267 606842880 95415 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.65
Current children cumulated vsize (KiB) 592620

[startup+942.301 s]
/proc/loadavg: 8.13 7.94 7.26 9/346 13553
/proc/meminfo: memFree=17393660/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=592692 CPUtime=3758.96 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 375726 0 0 0 375735 161 0 0 25 0 4 0 652610267 606916608 98510 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148173 98510 395 112 0 143138 0
[pid=13446/tid=13449] ppid=13443 vsize=592692 CPUtime=932.03 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 49351 0 0 0 93185 18 0 0 25 0 4 0 652610267 606916608 98510 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=592692 CPUtime=942.3 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 140343 0 0 0 94170 60 0 0 25 0 4 0 652610267 606916608 98510 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=592692 CPUtime=942.3 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 77919 0 0 0 94190 40 0 0 25 0 4 0 652610267 606916608 98510 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.96
Current children cumulated vsize (KiB) 592692

[startup+1002.3 s]
/proc/loadavg: 8.12 7.96 7.30 9/346 13554
/proc/meminfo: memFree=17366224/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=592804 CPUtime=3998.31 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 388001 0 0 0 399663 168 0 0 25 0 4 0 652610267 607031296 98550 33554432000 4194304 4650419 140735606769456 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148201 98550 395 112 0 143166 0
[pid=13446/tid=13449] ppid=13443 vsize=592804 CPUtime=991.37 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 49400 0 0 0 99119 18 0 0 25 0 4 0 652610267 607031296 98550 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=592804 CPUtime=1002.3 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 147089 0 0 0 100167 63 0 0 25 0 4 0 652610267 607031296 98550 33554432000 4194304 4650419 140735606769456 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=592804 CPUtime=1002.3 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 80426 0 0 0 100188 42 0 0 25 0 4 0 652610267 607031296 98550 33554432000 4194304 4650419 140735606769456 18446744073709551615 4333940 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3998.31
Current children cumulated vsize (KiB) 592804

[startup+1062.3 s]
/proc/loadavg: 8.11 7.99 7.35 9/346 13556
/proc/meminfo: memFree=17335448/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=592856 CPUtime=4237.66 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 404193 0 0 0 423589 177 0 0 25 0 4 0 652610267 607084544 109509 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148214 109509 395 112 0 143179 0
[pid=13446/tid=13449] ppid=13443 vsize=592856 CPUtime=1050.72 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 49476 0 0 0 105054 18 0 0 25 0 4 0 652610267 607084544 109509 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=592856 CPUtime=1062.31 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 154098 0 0 0 106164 67 0 0 25 0 4 0 652610267 607084544 109509 33554432000 4194304 4650419 140735606769456 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=592856 CPUtime=1062.29 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 85033 0 0 0 106185 44 0 0 25 0 4 0 652610267 607084544 109509 33554432000 4194304 4650419 140735606769456 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.66
Current children cumulated vsize (KiB) 592856

[startup+1122.3 s]
/proc/loadavg: 8.15 8.02 7.40 9/346 13558
/proc/meminfo: memFree=17356884/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=605880 CPUtime=4477 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 416942 0 0 0 447517 183 0 0 25 0 4 0 652610267 620421120 100384 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 151470 100384 395 112 0 146435 0
[pid=13446/tid=13449] ppid=13443 vsize=605880 CPUtime=1110.06 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 49601 0 0 0 110988 18 0 0 25 0 4 0 652610267 620421120 100384 33554432000 4194304 4650419 140735606769456 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=605880 CPUtime=1122.3 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 160977 0 0 0 112160 70 0 0 25 0 4 0 652610267 620421120 100384 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=605880 CPUtime=1122.3 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 87123 0 0 0 112185 45 0 0 25 0 4 0 652610267 620421120 100384 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4477
Current children cumulated vsize (KiB) 605880

[startup+1182.3 s]
/proc/loadavg: 8.21 8.06 7.45 9/346 13559
/proc/meminfo: memFree=17351280/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=593040 CPUtime=4716.37 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 433015 0 0 0 471446 191 0 0 25 0 4 0 652610267 607272960 102847 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148260 102847 395 112 0 143225 0
[pid=13446/tid=13449] ppid=13443 vsize=593040 CPUtime=1169.41 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 49601 0 0 0 116923 18 0 0 25 0 4 0 652610267 607272960 102847 33554432000 4194304 4650419 140735606769456 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=593040 CPUtime=1182.31 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 167322 0 0 0 118157 74 0 0 25 0 4 0 652610267 607272960 102847 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=593040 CPUtime=1182.3 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 90501 0 0 0 118184 46 0 0 25 0 4 0 652610267 607272960 102847 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4716.37
Current children cumulated vsize (KiB) 593040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.15 8.05 7.46 9/346 13560
/proc/meminfo: memFree=17344212/32951124 swapFree=67082152/67111528
[pid=13446] ppid=13443 vsize=593088 CPUtime=4800.15 cores=1,3,5,7
/proc/13446/stat : 13446 (strangenight1-m) R 13443 13446 13065 0 -1 4202496 439673 0 0 0 479822 193 0 0 25 0 4 0 652610267 607322112 100666 33554432000 4194304 4650419 140735606769456 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13446/statm: 148272 100666 395 112 0 143237 0
[pid=13446/tid=13449] ppid=13443 vsize=593088 CPUtime=1190.18 cores=1,3,5,7
/proc/13446/task/13449/stat : 13449 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 49601 0 0 0 119000 18 0 0 25 0 4 0 652610267 607322112 100667 33554432000 4194304 4650419 140735606769456 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13446/tid=13451] ppid=13443 vsize=593088 CPUtime=1203.32 cores=1,3,5,7
/proc/13446/task/13451/stat : 13451 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 169737 0 0 0 120257 75 0 0 25 0 4 0 652610267 607322112 100667 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13446/tid=13453] ppid=13443 vsize=593088 CPUtime=1203.31 cores=1,3,5,7
/proc/13446/task/13453/stat : 13453 (strangenight1-m) R 13443 13446 13065 0 -1 4202560 90652 0 0 0 120285 46 0 0 25 0 4 0 652610267 607322112 100667 33554432000 4194304 4650419 140735606769456 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 593088

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.34
CPU time (s): 4800.22
CPU user time (s): 4798.27
CPU system time (s): 1.9497
CPU usage (%): 398.909
Max. virtual memory (cumulated for all children) (KiB): 657536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.27
system time used= 1.9497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439674
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= 187
involuntary context switches= 32978

runsolver used 3.60845 second user time and 9.56954 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 23:55:23
IDJOB=3369007
IDBENCH=83016
IDSOLVER=1846
FILE ID=node136/3369007-1305410123
RUNJOBID= node136-1305410123-13430
PBS_JOBID= 13324500
Free space on /tmp= 72996 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369007-1305410123/watcher-3369007-1305410123 -o /tmp/evaluation-result-3369007-1305410123/solver-3369007-1305410123 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369007-1305410123.cnf

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

MD5SUM BENCH= dea41a8eae52b60f8e05be01aec1734d
RANDOM SEED=715927554

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18164024 kB
Buffers:        297108 kB
Cached:        5035420 kB
SwapCached:       2740 kB
Active:       10560140 kB
Inactive:      3886084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18164024 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           12440 kB
Writeback:          12 kB
AnonPages:     9111992 kB
Mapped:          27172 kB
Slab:           236708 kB
PageTables:      39092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69859716 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= 72984 MiB
End job on node136 at 2011-05-15 00:15:28