Trace number 3175398

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.43 1201.73

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175398-1304122441.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1917/1917 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 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:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.01 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     195 undec:      63 neg:     192
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       442      1913         0         0      5781         0   no data   no data  --
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4918       442      1913         0      4857      5781    110142   no data   no data  --
0.00/0.80	c  N st    10     11303       442      1913         0      4449      5781     70475   no data   no data  --
0.00/0.80	c  N st    11     17048       442      1913         0     10032      5781    188116   no data   no data  --
4.00/1.09	c  F st    12     25000       442      1913         0     12257      5781    230006   no data   no data  --
4.00/1.09	c  N st    12     25000       442      1913         0     12257      5781    230006   no data   no data  --
4.80/1.29	c Decided on static restart strategy
4.80/1.29	c  N st    18     30001       442      1913         0     10574      5781    188714   no data   no data  --
4.80/1.29	c  S st    18     30001       442      1913         0     10574      5781    188714   no data   no data  --
5.20/1.32	c  S st    18     30504       442      1913         0     11076      5781    198726   no data   no data  --
5.20/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.20/1.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.20/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.20/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.20/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.20/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
5.20/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.98/1.51	c lits-rem:       193  cl-subs:      863  v-elim:      0  v-fix:    0  time:  0.72 s
5.98/1.52	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.03
5.98/1.52	c calculated reachability. Time: 0.00
5.98/1.52	c  N st    18     30504       442      1913         0     10213      5780    179997   no data   no data  --
7.59/1.90	c  N st    20     37614       442      1913         0      9502      5780    143533   no data   no data  --
8.76/2.25	c  N st    21     44014       442      1913         0     15723      5780    278184   no data   no data  --
9.16/2.38	c  S st    22     45756       442      1913         0     17415      5780    312801   no data   no data  --
9.57/2.41	c  S st    22     46260       442      1913         0      9205      5780    123609   no data   no data  --
9.57/2.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.57/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.57/2.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
9.57/2.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.48	c lits-rem:        31  cl-subs:      101  v-elim:      0  v-fix:    0  time:  0.25 s
9.57/2.48	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
9.57/2.49	c vivif2 --  cl tried     9104 cl shrink        0 lits rem          0 time: 0.00
9.57/2.49	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.03
9.57/2.49	c calculated reachability. Time: 0.00
9.57/2.49	c  N st    22     46260       442      1913         0      9104      5780    121590   no data   no data  --
13.16/3.32	c  N st    23     60657       442      1913         0     13459      5780    206809   no data   no data  --
15.57/3.98	c  N st    24     69391       442      1913         0     11208      5780    147763   no data   no data  --
15.57/3.98	c  S st    24     69391       442      1913         0     11208      5780    147763   no data   no data  --
15.98/4.01	c  S st    24     69897       442      1913         0     11713      5780    159046   no data   no data  --
15.98/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.98/4.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.98/4.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.98/4.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.98/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.98/4.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
15.98/4.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.38/4.16	c lits-rem:        55  cl-subs:      147  v-elim:      0  v-fix:    0  time:  0.56 s
16.38/4.16	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
16.38/4.17	c vivif2 --  cl tried    11566 cl shrink        0 lits rem          0 time: 0.01
16.38/4.17	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.04
16.38/4.17	c calculated reachability. Time: 0.00
16.38/4.17	c  N st    24     69897       442      1913         0     11566      5780    156324   no data   no data  --
21.55/5.40	c  F st    25     87500       442      1913         0     17005      5780    260557   no data   no data  --
21.55/5.40	c  N st    25     87500       442      1913         0     17005      5780    260557   no data   no data  --
23.15/5.82	c Decided on static restart strategy
23.95/6.07	c  N st    32     95536       442      1913         0     24804      5780    429739   no data   no data  --
26.74/6.72	c  N st    34    104845       442      1913         0     21234      5780    345901   no data   no data  --
26.74/6.72	c  S st    34    104845       442      1913         0     21234      5780    345901   no data   no data  --
26.74/6.78	c  S st    34    105346       442      1913         0     21734      5780    356610   no data   no data  --
26.74/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
26.74/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
26.74/6.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.93/7.54	c lits-rem:       372  cl-subs:     1142  v-elim:      0  v-fix:    0  time:  2.98 s
29.93/7.54	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
29.93/7.55	c vivif2 --  cl tried    20592 cl shrink        0 lits rem          0 time: 0.01
29.93/7.56	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.06
29.93/7.56	c calculated reachability. Time: 0.00
29.93/7.56	c  N st    34    105346       442      1913         0     20592      5780    330905   no data   no data  --
33.55/8.40	c  N st    35    114945       442      1913         0     16322      5780    216773   no data   no data  --
37.95/9.59	c  N st    36    129343       442      1913         0     15776      5780    190962   no data   no data  --
45.52/11.44	c  N st    37    150938       442      1913         0     21217      5780    299964   no data   no data  --
47.91/12.01	c  S st    38    158020       442      1913         0     28103      5780    454044   no data   no data  --
47.91/12.08	c  S st    38    158524       442      1913         0     28605      5780    464508   no data   no data  --
47.91/12.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.91/12.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.91/12.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
48.31/12.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.31/12.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.31/12.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
48.31/12.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.91/13.52	c lits-rem:       939  cl-subs:     1750  v-elim:      0  v-fix:    0  time:  5.63 s
53.91/13.52	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
53.91/13.52	c vivif2 --  cl tried    26855 cl shrink        0 lits rem          0 time: 0.02
53.91/13.54	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.08
53.91/13.54	c calculated reachability. Time: 0.00
53.91/13.54	c  N st    38    158524       442      1913         0     26855      5780    424284   no data   no data  --
72.29/18.13	c  N st    39    207112       442      1913         0     21672      5780    276549   no data   no data  --
84.27/21.17	c  N st    40    237788       442      1913         0     31960      5780    486699   no data   no data  --
84.27/21.17	c  S st    40    237788       442      1913         0     31960      5780    486699   no data   no data  --
84.67/21.26	c  S st    40    238295       442      1913         0     32466      5780    497848   no data   no data  --
84.67/21.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.67/21.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.67/21.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
84.67/21.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.67/21.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.67/21.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
84.67/21.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.45/22.95	c lits-rem:       698  cl-subs:     2353  v-elim:      0  v-fix:    0  time:  6.62 s
91.45/22.95	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
91.45/22.96	c vivif2 --  cl tried    30113 cl shrink        0 lits rem          0 time: 0.02
91.45/22.98	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.09
91.45/22.98	c calculated reachability. Time: 0.00
91.45/22.98	c  N st    40    238295       442      1913         0     30113      5780    448042   no data   no data  --
122.61/30.75	c  F st    41    306251       442      1913         0     31988      5780    441829   no data   no data  --
122.61/30.75	c  N st    41    306251       442      1913         0     31988      5780    441829   no data   no data  --
125.01/31.31	c Decided on static restart strategy
135.80/34.04	c  N st    51    334559       442      1913         0     36292      5780    519446   no data   no data  --
148.20/37.11	c  N st    53    357442       442      1913         0     34260      5780    466367   no data   no data  --
148.20/37.11	c  S st    53    357442       442      1913         0     34260      5780    466367   no data   no data  --
148.58/37.21	c  S st    53    357945       442      1913         0     34762      5780    477652   no data   no data  --
148.58/37.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
148.58/37.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.58/37.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
148.58/37.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.58/37.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.58/37.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
148.58/37.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
154.18/38.62	c lits-rem:       490  cl-subs:     1212  v-elim:      0  v-fix:    0  time:  5.55 s
154.18/38.62	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
154.18/38.63	c vivif2 --  cl tried    33550 cl shrink        0 lits rem          0 time: 0.02
154.18/38.66	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.11
154.18/38.66	c calculated reachability. Time: 0.00
154.18/38.66	c  N st    53    357945       442      1913         0     33550      5780    452526   no data   no data  --
169.36/42.40	c  N st    54    390338       442      1913         0     39810      5780    587932   no data   no data  --
196.14/49.14	c  N st    55    438926       442      1913         0     33557      5780    411043   no data   no data  --
237.26/59.42	c  N st    56    511810       442      1913         0     46835      5780    676294   no data   no data  --
252.04/63.19	c  N st    57    536917       442      1913         0     41236      5780    559514   no data   no data  --
252.04/63.19	c  S st    57    536917       442      1913         0     41236      5780    559514   no data   no data  --
252.44/63.29	c  S st    57    537425       442      1913         0     41742      5780    570474   no data   no data  --
252.84/63.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
252.84/63.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
252.84/63.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
252.84/63.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.84/63.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.84/63.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
252.84/63.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
259.23/64.98	c lits-rem:       600  cl-subs:     1402  v-elim:      0  v-fix:    0  time:  6.57 s
259.23/64.98	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
259.23/64.98	c vivif2 --  cl tried    40340 cl shrink        0 lits rem          0 time: 0.03
259.63/65.02	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.14
259.63/65.02	c calculated reachability. Time: 0.00
259.63/65.02	c  N st    57    537425       442      1913         0     40340      5780    538532   no data   no data  --
363.11/90.94	c  N st    58    701409       442      1913         0     69487      5780   1167618   no data   no data  --
438.99/109.98	c  N st    59    806137       442      1913         0     63135      5780    891659   no data   no data  --
438.99/109.98	c  S st    59    806137       442      1913         0     63135      5780    891659   no data   no data  --
439.79/110.17	c  S st    59    806640       442      1913         0     63638      5780    902927   no data   no data  --
439.79/110.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.79/110.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
440.19/110.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
440.19/110.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
440.19/110.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.19/110.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
440.19/110.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
454.98/113.98	c lits-rem:       919  cl-subs:     6289  v-elim:      0  v-fix:    0  time: 15.00 s
454.98/113.99	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
454.98/114.00	c vivif2 --  cl tried    57349 cl shrink        0 lits rem          0 time: 0.04
455.39/114.06	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.25
455.39/114.06	c calculated reachability. Time: 0.00
455.39/114.06	c  N st    59    806640       442      1913         0     57349      5780    786924   no data   no data  --
657.10/164.54	c  F st    60   1071875       442      1913         0     73028      5780   1021167   no data   no data  --
657.10/164.54	c  N st    60   1071875       442      1913         0     73028      5780   1021167   no data   no data  --
661.91/165.77	c Decided on static restart strategy
679.89/170.28	c  N st    70   1100176       442      1913         0     57116      5780    702298   no data   no data  --
709.03/177.53	c  N st    72   1136168       442      1913         0     47566      5780    483091   no data   no data  --
731.00/183.03	c  N st    73   1168560       442      1913         0     79047      5780   1187642   no data   no data  --
761.37/190.64	c  N st    74   1209961       442      1913         0     73732      5780   1080827   no data   no data  --
761.37/190.64	c  S st    74   1209961       442      1913         0     73732      5780   1080827   no data   no data  --
762.17/190.87	c  S st    74   1210463       442      1913         0     74234      5780   1092499   no data   no data  --
762.17/190.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
762.17/190.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
762.57/190.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
762.57/190.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
762.57/190.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
762.57/190.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
762.57/190.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
774.94/194.04	c lits-rem:       593  cl-subs:     4075  v-elim:      0  v-fix:    0  time: 12.38 s
774.94/194.04	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
774.94/194.06	c vivif2 --  cl tried    70159 cl shrink        0 lits rem          0 time: 0.05
775.34/194.14	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.33
775.34/194.14	c calculated reachability. Time: 0.00
775.34/194.14	c  N st    74   1210463       442      1913         0     70159      5780   1004807   no data   no data  --
846.47/211.99	c  N st    75   1283345       442      1913         0     94253      5780   1491587   no data   no data  --
973.08/243.68	c  N st    76   1392669       442      1913         0     54727      5780    569270   no data   no data  --
1124.47/281.56	c  N st    77   1556653       442      1913         0     59435      5780    621882   no data   no data  --
1284.27/321.57	c  N st    78   1710463       442      1913         0    100614      5780   1471989   no data   no data  --
1284.27/321.57	c  S st    78   1710463       442      1913         0    100614      5780   1471989   no data   no data  --
1285.46/321.89	c  S st    78   1710964       442      1913         0    101114      5780   1483411   no data   no data  --
1285.46/321.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1285.46/321.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1285.88/321.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1285.88/321.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1285.88/321.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1285.88/321.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
1285.88/321.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1327.01/332.21	c lits-rem:        58  cl-subs:    11332  v-elim:      0  v-fix:    0  time: 40.79 s
1327.01/332.21	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
1327.01/332.22	c vivif2 --  cl tried    89782 cl shrink        0 lits rem          0 time: 0.07
1327.41/332.34	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.45
1327.41/332.34	c calculated reachability. Time: 0.00
1327.41/332.34	c  N st    78   1710964       442      1913         0     89782      5780   1265656   no data   no data  --
1719.68/430.57	c  N st    79   2079928       442      1913         0    102278      5780   1539724   no data   no data  --
1864.69/466.82	c  N st    80   2210965       442      1913         0    106388      5780   1561047   no data   no data  --
1864.69/466.82	c  S st    80   2210965       442      1913         0    106388      5780   1561047   no data   no data  --
1865.90/467.18	c  S st    80   2211468       442      1913         0    106888      5780   1572808   no data   no data  --
1865.90/467.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1865.90/467.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1866.30/467.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1866.30/467.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1866.30/467.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1866.30/467.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
1866.30/467.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1899.44/475.54	c lits-rem:      1189  cl-subs:     6450  v-elim:      0  v-fix:    0  time: 32.97 s
1899.44/475.54	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
1899.44/475.56	c vivif2 --  cl tried   100438 cl shrink        0 lits rem          0 time: 0.08
1899.84/475.69	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.52
1899.84/475.70	c calculated reachability. Time: 0.00
1900.24/475.70	c  N st    80   2211468       442      1913         0    100438      5780   1446182   no data   no data  --
2491.85/623.84	c  N st    81   2711468       442      1913         0    123504      5780   1886408   no data   no data  --
2491.85/623.84	c  S st    81   2711468       442      1913         0    123504      5780   1886408   no data   no data  --
2493.45/624.26	c  S st    81   2711970       442      1913         0    124005      5780   1897597   no data   no data  --
2493.45/624.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2493.45/624.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2493.85/624.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
2493.85/624.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2493.85/624.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2493.85/624.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
2493.85/624.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2558.16/640.48	c lits-rem:       716  cl-subs:    10749  v-elim:      0  v-fix:    0  time: 64.24 s
2558.16/640.48	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
2558.56/640.50	c vivif2 --  cl tried   113256 cl shrink        0 lits rem          0 time: 0.09
2558.96/640.65	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.59
2558.96/640.65	c calculated reachability. Time: 0.00
2558.96/640.65	c  N st    81   2711970       442      1913         0    113256      5780   1663955   no data   no data  --
3257.23/815.45	c  N st    82   3211972       442      1913         0     88669      5780    959210   no data   no data  --
3257.23/815.45	c  S st    82   3211972       442      1913         0     88669      5780    959210   no data   no data  --
3258.43/815.73	c  S st    82   3212478       442      1913         0     89175      5780    970364   no data   no data  --
3258.43/815.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3258.43/815.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3258.43/815.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3258.84/815.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3258.84/815.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3258.84/815.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
3258.84/815.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3272.80/819.36	c lits-rem:       958  cl-subs:     3356  v-elim:      0  v-fix:    0  time: 14.14 s
3272.80/819.36	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
3272.80/819.37	c vivif2 --  cl tried    85819 cl shrink        0 lits rem          0 time: 0.06
3273.20/819.47	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.40
3273.20/819.47	c calculated reachability. Time: 0.00
3273.20/819.47	c  N st    82   3212478       442      1913         0     85819      5780    907754   no data   no data  --
3988.27/998.44	c  N st    83   3712479       442      1913         0     96515      5780   1047157   no data   no data  --
3988.27/998.44	c  S st    83   3712479       442      1913         0     96515      5780   1047157   no data   no data  --
3989.45/998.77	c  S st    83   3712980       442      1913         0     97014      5780   1058407   no data   no data  --
3989.45/998.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3989.45/998.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3989.85/998.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
3989.85/998.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3989.85/998.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3989.85/998.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
3989.85/998.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4001.85/1001.88	c lits-rem:       309  cl-subs:     3563  v-elim:      0  v-fix:    0  time: 12.07 s
4001.85/1001.88	c vivif2 --  cl tried     1913 cl shrink        0 lits rem          0 time: 0.00
4002.23/1001.90	c vivif2 --  cl tried    93451 cl shrink        0 lits rem          0 time: 0.06
4002.63/1002.01	c asymm  cl-useful: 0/1913/1913 lits-rem:0 time: 0.45
4002.63/1002.01	c calculated reachability. Time: 0.00
4002.63/1002.01	c  N st    83   3712980       442      1913         0     93451      5780    989184   no data   no data  --
4050.57/1014.03	c  F st    84   3751562       442      1913         0    130793      5780   1834964   no data   no data  --
4050.57/1014.03	c  N st    84   3751562       442      1913         0    130793      5780   1834964   no data   no data  --
4059.75/1016.39	c Decided on static restart strategy
4101.30/1026.76	c  N st    94   3779863       442      1913         0    158099      5780   2423904   no data   no data  --
4151.25/1039.25	c  N st    96   3815855       442      1913         0    111248      5780   1383067   no data   no data  --
4212.77/1054.63	c  N st    97   3848249       442      1913         0    142546      5780   2061067   no data   no data  --
4277.47/1070.83	c  N st    98   3896838       442      1913         0    106662      5780   1254674   no data   no data  --
4382.52/1097.13	c  N st    99   3969721       442      1913         0     92854      5780    935279   no data   no data  --
4524.75/1132.73	c  N st   100   4079044       442      1913         0    113878      5780   1412121   no data   no data  --
4732.05/1184.67	c  N st   101   4212980       442      1913         0    156405      5780   2144507   no data   no data  --
4732.05/1184.67	c  S st   101   4212980       442      1913         0    156405      5780   2144507   no data   no data  --
4734.45/1185.21	c  S st   101   4213480       442      1913         0    156905      5780   2155866   no data   no data  --
4734.45/1185.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4734.45/1185.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4734.85/1185.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4734.85/1185.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4734.85/1185.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4734.85/1185.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
4734.85/1185.37	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: 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-3175398-1304122441/watcher-3175398-1304122441 -o /tmp/evaluation-result-3175398-1304122441/solver-3175398-1304122441 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175398-1304122441.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: 7.62 7.87 7.90 5/180 10677
/proc/meminfo: memFree=30884120/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 4 0 523844580 52465664 358 33554432000 4194304 4650419 140736505188656 18446744073709551615 47216704951827 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 12809 358 306 112 0 7774 0
[pid=10677/tid=10678] ppid=10675 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523844580 52465664 358 33554432000 4194304 4650419 140736505188656 18446744073709551615 47216704952236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 523844580 52465664 358 33554432000 4194304 4650419 140736505188656 18446744073709551615 47216704951833 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523844580 52465664 358 33554432000 4194304 4650419 140736505188656 18446744073709551615 47216704951833 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.068406 s]
/proc/loadavg: 7.62 7.87 7.90 5/180 10677
/proc/meminfo: memFree=30884120/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=284828 CPUtime=3.2 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 4946 0 0 0 320 0 0 0 25 0 4 0 523844580 291663872 2498 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 71207 2498 393 112 0 66172 0
[pid=10677/tid=10678] ppid=10675 vsize=284828 CPUtime=0.8 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1169 0 0 0 80 0 0 0 19 0 4 0 523844580 291663872 2498 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=284828 CPUtime=0.8 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1175 0 0 0 80 0 0 0 19 0 4 0 523844580 291663872 2498 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=284828 CPUtime=0.79 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1052 0 0 0 79 0 0 0 18 0 4 0 523844580 291663872 2498 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 284828

[startup+0.906663 s]
/proc/loadavg: 7.62 7.87 7.90 5/180 10677
/proc/meminfo: memFree=30884120/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=284972 CPUtime=3.6 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 5169 0 0 0 360 0 0 0 25 0 4 0 523844580 291811328 2721 33554432000 4194304 4650419 140736505188656 18446744073709551615 4333562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 71243 2721 393 112 0 66208 0
[pid=10677/tid=10678] ppid=10675 vsize=284972 CPUtime=0.89 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1230 0 0 0 89 0 0 0 19 0 4 0 523844580 291811328 2721 33554432000 4194304 4650419 140736505188656 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=284972 CPUtime=0.9 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1240 0 0 0 90 0 0 0 19 0 4 0 523844580 291811328 2721 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=284972 CPUtime=0.89 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1101 0 0 0 89 0 0 0 19 0 4 0 523844580 291811328 2722 33554432000 4194304 4650419 140736505188656 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 284972

[startup+1.00664 s]
/proc/loadavg: 7.62 7.87 7.90 5/180 10677
/proc/meminfo: memFree=30884120/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=285136 CPUtime=4 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 5415 0 0 0 400 0 0 0 25 0 4 0 523844580 291979264 2967 33554432000 4194304 4650419 140736505188656 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 71284 2968 394 112 0 66249 0
[pid=10677/tid=10678] ppid=10675 vsize=285136 CPUtime=0.99 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1279 0 0 0 99 0 0 0 19 0 4 0 523844580 291979264 2968 33554432000 4194304 4650419 140736505188656 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=285136 CPUtime=1 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1314 0 0 0 100 0 0 0 19 0 4 0 523844580 291979264 2968 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=285136 CPUtime=0.99 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1180 0 0 0 99 0 0 0 19 0 4 0 523844580 291979264 2968 33554432000 4194304 4650419 140736505188656 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 285136

[startup+1.10663 s]
/proc/loadavg: 7.62 7.87 7.90 5/180 10677
/proc/meminfo: memFree=30884120/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=285536 CPUtime=4.4 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 6124 0 0 0 439 1 0 0 25 0 4 0 523844580 292388864 2778 33554432000 4194304 4650419 140736505188656 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 71384 2778 394 112 0 66349 0
[pid=10677/tid=10678] ppid=10675 vsize=285536 CPUtime=1.09 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1526 0 0 0 109 0 0 0 19 0 4 0 523844580 292388864 2778 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=285536 CPUtime=1.09 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1514 0 0 0 109 0 0 0 19 0 4 0 523844580 292388864 2778 33554432000 4194304 4650419 140736505188656 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=285536 CPUtime=1.09 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1375 0 0 0 109 0 0 0 19 0 4 0 523844580 292388864 2778 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 285536

[startup+1.50056 s]
/proc/loadavg: 7.62 7.87 7.90 5/180 10677
/proc/meminfo: memFree=30884120/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=285600 CPUtime=5.98 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 8169 0 0 0 597 1 0 0 25 0 4 0 523844580 292454400 4525 33554432000 4194304 4650419 140736505188656 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 71400 4525 395 112 0 66365 0
[pid=10677/tid=10678] ppid=10675 vsize=285600 CPUtime=1.49 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1708 0 0 0 149 0 0 0 20 0 4 0 523844580 292454400 4525 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=285600 CPUtime=1.49 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1716 0 0 0 149 0 0 0 19 0 4 0 523844580 292454400 4525 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=285600 CPUtime=1.49 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 1556 0 0 0 149 0 0 0 20 0 4 0 523844580 292454400 4525 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 285600

[startup+3.10026 s]
/proc/loadavg: 7.62 7.87 7.90 9/184 10681
/proc/meminfo: memFree=30846524/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=304160 CPUtime=12.36 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 16051 0 0 0 1234 2 0 0 18 0 4 0 523844580 311459840 9199 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 76040 9199 395 112 0 71005 0
[pid=10677/tid=10678] ppid=10675 vsize=304160 CPUtime=3.07 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 3864 0 0 0 307 0 0 0 25 0 4 0 523844580 311459840 9199 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=304160 CPUtime=3.08 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 4183 0 0 0 308 0 0 0 25 0 4 0 523844580 311459840 9199 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=304160 CPUtime=3.08 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 3696 0 0 0 308 0 0 0 25 0 4 0 523844580 311459840 9199 33554432000 4194304 4650419 140736505188656 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 304160

[startup+6.30668 s]
/proc/loadavg: 7.65 7.87 7.90 9/184 10681
/proc/meminfo: memFree=30829692/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=304824 CPUtime=25.17 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 24255 0 0 0 2513 4 0 0 25 0 4 0 523844580 312139776 13040 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 76206 13040 395 112 0 71171 0
[pid=10677/tid=10678] ppid=10675 vsize=304824 CPUtime=6.26 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 6611 0 0 0 625 1 0 0 25 0 4 0 523844580 312139776 13040 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=304824 CPUtime=6.29 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 6803 0 0 0 628 1 0 0 25 0 4 0 523844580 312139776 13040 33554432000 4194304 4650419 140736505188656 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=304824 CPUtime=6.29 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 4420 0 0 0 629 0 0 0 25 0 4 0 523844580 312139776 13040 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 304824

[startup+12.7005 s]
/proc/loadavg: 7.68 7.88 7.90 9/184 10681
/proc/meminfo: memFree=30810220/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=314472 CPUtime=50.72 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 36889 0 0 0 5065 7 0 0 25 0 4 0 523844580 322019328 18266 33554432000 4194304 4650419 140736505188656 18446744073709551615 4439293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 78618 18266 395 112 0 73583 0
[pid=10677/tid=10678] ppid=10675 vsize=314472 CPUtime=12.62 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 10162 0 0 0 1261 1 0 0 25 0 4 0 523844580 322019328 18266 33554432000 4194304 4650419 140736505188656 18446744073709551615 4333649 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=314472 CPUtime=12.69 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 9645 0 0 0 1267 2 0 0 25 0 4 0 523844580 322019328 18266 33554432000 4194304 4650419 140736505188656 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=314472 CPUtime=12.69 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 6674 0 0 0 1268 1 0 0 25 0 4 0 523844580 322019328 18266 33554432000 4194304 4650419 140736505188656 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 314472

[startup+25.5012 s]
/proc/loadavg: 7.82 7.90 7.91 9/184 10682
/proc/meminfo: memFree=30774008/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=324728 CPUtime=101.85 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 54430 0 0 0 10173 12 0 0 25 0 4 0 523844580 332521472 23805 33554432000 4194304 4650419 140736505188656 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 81182 23805 395 112 0 76147 0
[pid=10677/tid=10678] ppid=10675 vsize=324728 CPUtime=25.35 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 15719 0 0 0 2532 3 0 0 25 0 4 0 523844580 332521472 23805 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=324728 CPUtime=25.49 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 14542 0 0 0 2546 3 0 0 25 0 4 0 523844580 332521472 23805 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=324728 CPUtime=25.49 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 8652 0 0 0 2547 2 0 0 25 0 4 0 523844580 332521472 23805 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 324728

[startup+51.1005 s]
/proc/loadavg: 7.94 7.92 7.92 9/184 10682
/proc/meminfo: memFree=30716816/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=316776 CPUtime=204.11 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 78304 0 0 0 20392 19 0 0 25 0 4 0 523844580 324378624 28906 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 79194 28906 395 112 0 74159 0
[pid=10677/tid=10678] ppid=10675 vsize=316776 CPUtime=50.82 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 22477 0 0 0 5077 5 0 0 25 0 4 0 523844580 324378624 28906 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=316776 CPUtime=51.09 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 23272 0 0 0 5103 6 0 0 25 0 4 0 523844580 324378624 28906 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=316776 CPUtime=51.09 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 9667 0 0 0 5107 2 0 0 25 0 4 0 523844580 324378624 28906 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 316776

[startup+102.301 s]
/proc/loadavg: 8.09 7.96 7.93 9/184 10684
/proc/meminfo: memFree=30663572/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=373952 CPUtime=408.64 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 117868 0 0 0 40830 34 0 0 25 0 4 0 523844580 382926848 36950 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 93488 36950 395 112 0 88453 0
[pid=10677/tid=10678] ppid=10675 vsize=373952 CPUtime=101.74 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 29323 0 0 0 10166 8 0 0 25 0 4 0 523844580 382926848 36950 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=373952 CPUtime=102.29 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 36213 0 0 0 10218 11 0 0 25 0 4 0 523844580 382926848 36950 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=373952 CPUtime=102.29 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 15441 0 0 0 10225 4 0 0 25 0 4 0 523844580 382926848 36950 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 373952

[startup+162.301 s]

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

[pid=10677] ppid=10675 vsize=544156 CPUtime=2805.43 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 373345 0 0 0 280393 150 0 0 25 0 4 0 523844580 557215744 81770 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 136039 81770 395 112 0 131004 0
[pid=10677/tid=10678] ppid=10675 vsize=544156 CPUtime=698.49 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 87217 0 0 0 69812 37 0 0 25 0 4 0 523844580 557215744 81770 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=544156 CPUtime=702.3 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 122119 0 0 0 70183 47 0 0 25 0 4 0 523844580 557215744 81770 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=544156 CPUtime=702.31 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 48290 0 0 0 70213 18 0 0 25 0 4 0 523844580 557215744 81770 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 544156

[startup+762.301 s]
/proc/loadavg: 8.00 8.05 8.00 9/184 10701
/proc/meminfo: memFree=30246140/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=556216 CPUtime=3045.11 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 390008 0 0 0 304351 160 0 0 25 0 4 0 523844580 569565184 81794 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 139054 81794 395 112 0 134019 0
[pid=10677/tid=10678] ppid=10675 vsize=556216 CPUtime=758.16 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 91466 0 0 0 75776 40 0 0 25 0 4 0 523844580 569565184 81794 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=556216 CPUtime=762.31 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 129007 0 0 0 76180 51 0 0 25 0 4 0 523844580 569565184 81794 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=556216 CPUtime=762.31 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 49377 0 0 0 76213 18 0 0 25 0 4 0 523844580 569565184 81794 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 556216

[startup+822.301 s]
/proc/loadavg: 8.00 8.04 8.00 9/184 10703
/proc/meminfo: memFree=30222920/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=523500 CPUtime=3284.8 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 407458 0 0 0 328309 171 0 0 25 0 4 0 523844580 536064000 79515 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 130875 79515 395 112 0 125840 0
[pid=10677/tid=10678] ppid=10675 vsize=523500 CPUtime=817.84 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 94696 0 0 0 81741 43 0 0 25 0 4 0 523844580 536064000 79515 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=523500 CPUtime=822.32 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 135314 0 0 0 82177 55 0 0 25 0 4 0 523844580 536064000 79515 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=523500 CPUtime=822.31 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 51847 0 0 0 82212 19 0 0 25 0 4 0 523844580 536064000 79515 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 523500

[startup+882.301 s]
/proc/loadavg: 8.05 8.04 8.00 9/184 10705
/proc/meminfo: memFree=30166960/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=533808 CPUtime=3524.47 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 434089 0 0 0 352267 180 0 0 25 0 4 0 523844580 546619392 91301 33554432000 4194304 4650419 140736505188656 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 133452 91301 395 112 0 128417 0
[pid=10677/tid=10678] ppid=10675 vsize=533808 CPUtime=877.51 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 103681 0 0 0 87705 46 0 0 25 0 4 0 523844580 546619392 91301 33554432000 4194304 4650419 140736505188656 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=533808 CPUtime=882.31 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 144277 0 0 0 88174 57 0 0 25 0 4 0 523844580 546619392 91301 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=533808 CPUtime=882.32 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 55829 0 0 0 88210 22 0 0 25 0 4 0 523844580 546619392 91301 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 533808

[startup+942.301 s]
/proc/loadavg: 8.07 8.05 8.00 9/184 10706
/proc/meminfo: memFree=30207220/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=546808 CPUtime=3764.17 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 449517 0 0 0 376228 189 0 0 25 0 4 0 523844580 559931392 86767 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 136702 86767 395 112 0 131667 0
[pid=10677/tid=10678] ppid=10675 vsize=546808 CPUtime=937.19 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 107778 0 0 0 93670 49 0 0 25 0 4 0 523844580 559931392 86767 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=546808 CPUtime=942.32 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 150474 0 0 0 94171 61 0 0 25 0 4 0 523844580 559931392 86767 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=546808 CPUtime=942.32 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 57721 0 0 0 94209 23 0 0 25 0 4 0 523844580 559931392 86767 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.17
Current children cumulated vsize (KiB) 546808

[startup+1002.3 s]
/proc/loadavg: 8.02 8.04 8.00 9/184 10708
/proc/meminfo: memFree=30167256/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=559696 CPUtime=4003.83 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 466686 0 0 0 400185 198 0 0 25 0 4 0 523844580 573128704 91123 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 139924 91123 395 112 0 134889 0
[pid=10677/tid=10678] ppid=10675 vsize=559696 CPUtime=996.85 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 113745 0 0 0 99633 52 0 0 25 0 4 0 523844580 573128704 91123 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=559696 CPUtime=1002.31 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 157077 0 0 0 100168 63 0 0 25 0 4 0 523844580 573128704 91123 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=559696 CPUtime=1002.32 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 59276 0 0 0 100208 24 0 0 25 0 4 0 523844580 573128704 91123 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 559696

[startup+1062.31 s]
/proc/loadavg: 8.01 8.03 8.00 9/184 10709
/proc/meminfo: memFree=30152208/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=619504 CPUtime=4243.53 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 485212 0 0 0 424148 205 0 0 25 0 4 0 523844580 634372096 93097 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 154876 93097 395 112 0 149841 0
[pid=10677/tid=10678] ppid=10675 vsize=619504 CPUtime=1056.54 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 120610 0 0 0 105599 55 0 0 25 0 4 0 523844580 634372096 93097 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=619504 CPUtime=1062.33 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 164351 0 0 0 106167 66 0 0 25 0 4 0 523844580 634372096 93097 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=619504 CPUtime=1062.32 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 61451 0 0 0 106208 24 0 0 25 0 4 0 523844580 634372096 93097 33554432000 4194304 4650419 140736505188656 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.53
Current children cumulated vsize (KiB) 619504

[startup+1122.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 10711
/proc/meminfo: memFree=30134436/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=593200 CPUtime=4483.19 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 508307 0 0 0 448103 216 0 0 25 0 4 0 523844580 607436800 98558 33554432000 4194304 4650419 140736505188656 18446744073709551615 4328176 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 148300 98558 395 112 0 143265 0
[pid=10677/tid=10678] ppid=10675 vsize=593200 CPUtime=1116.21 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 127383 0 0 0 111563 58 0 0 25 0 4 0 523844580 607436800 98558 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=593200 CPUtime=1122.32 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 171135 0 0 0 112163 69 0 0 25 0 4 0 523844580 607436800 98558 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=593200 CPUtime=1122.32 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 64170 0 0 0 112206 26 0 0 25 0 4 0 523844580 607436800 98558 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.19
Current children cumulated vsize (KiB) 593200

[startup+1182.3 s]
/proc/loadavg: 8.10 8.04 8.01 9/184 10774
/proc/meminfo: memFree=30555680/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=580456 CPUtime=4722.87 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 527525 0 0 0 472063 224 0 0 25 0 4 0 523844580 594386944 96964 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 145114 96964 395 112 0 140079 0
[pid=10677/tid=10678] ppid=10675 vsize=580456 CPUtime=1175.88 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 133905 0 0 0 117527 61 0 0 25 0 4 0 523844580 594386944 96964 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=580456 CPUtime=1182.32 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 177569 0 0 0 118161 71 0 0 25 0 4 0 523844580 594386944 96964 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=580456 CPUtime=1182.33 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 64173 0 0 0 118207 26 0 0 25 0 4 0 523844580 594386944 96964 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.87
Current children cumulated vsize (KiB) 580456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.06 8.01 10/184 10774
/proc/meminfo: memFree=30538592/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=567432 CPUtime=4800.38 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 533551 0 0 0 479812 226 0 0 25 0 4 0 523844580 581050368 99685 33554432000 4194304 4650419 140736505188656 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 141858 99685 395 112 0 136823 0
[pid=10677/tid=10678] ppid=10675 vsize=567432 CPUtime=1195.17 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 134756 0 0 0 119456 61 0 0 25 0 4 0 523844580 581050368 99685 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=567432 CPUtime=1201.73 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 178548 0 0 0 120101 72 0 0 25 0 4 0 523844580 581050368 99685 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=567432 CPUtime=1201.73 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 64173 0 0 0 120147 26 0 0 25 0 4 0 523844580 581050368 99685 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 567432

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

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

[startup+1201.7 s]
/proc/loadavg: 8.15 8.06 8.01 10/184 10774
/proc/meminfo: memFree=30538592/32951124 swapFree=67111448/67111528
[pid=10677] ppid=10675 vsize=567432 CPUtime=4800.38 cores=1,3,5,7
/proc/10677/stat : 10677 (strangenight1-m) R 10675 10677 10605 0 -1 4202496 533551 0 0 0 479812 226 0 0 25 0 4 0 523844580 581050368 99685 33554432000 4194304 4650419 140736505188656 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10677/statm: 141858 99685 395 112 0 136823 0
[pid=10677/tid=10678] ppid=10675 vsize=567432 CPUtime=1195.17 cores=1,3,5,7
/proc/10677/task/10678/stat : 10678 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 134756 0 0 0 119456 61 0 0 25 0 4 0 523844580 581050368 99685 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10677/tid=10679] ppid=10675 vsize=567432 CPUtime=1201.73 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 178548 0 0 0 120101 72 0 0 25 0 4 0 523844580 581050368 99685 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10677/tid=10680] ppid=10675 vsize=567432 CPUtime=1201.73 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (strangenight1-m) R 10675 10677 10605 0 -1 4202560 64173 0 0 0 120147 26 0 0 25 0 4 0 523844580 581050368 99685 33554432000 4194304 4650419 140736505188656 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 567432

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.43
CPU user time (s): 4798.15
CPU system time (s): 2.28165
CPU usage (%): 399.46
Max. virtual memory (cumulated for all children) (KiB): 657836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.15
system time used= 2.28165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533551
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= 344
involuntary context switches= 29642

runsolver used 1.83872 second user time and 4.72728 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 02:14:01
IDJOB=3175398
IDBENCH=83016
IDSOLVER=1588
FILE ID=node104/3175398-1304122441
RUNJOBID= node104-1304122384-10624
PBS_JOBID= 13170745
Free space on /tmp= 71544 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175398-1304122441/watcher-3175398-1304122441 -o /tmp/evaluation-result-3175398-1304122441/solver-3175398-1304122441 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175398-1304122441.cnf

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

MD5SUM BENCH= dea41a8eae52b60f8e05be01aec1734d
RANDOM SEED=1385236997

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30884276 kB
Buffers:        369032 kB
Cached:        1092412 kB
SwapCached:         80 kB
Active:         284636 kB
Inactive:      1386184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30884276 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            6404 kB
Writeback:           0 kB
AnonPages:      209724 kB
Mapped:          15480 kB
Slab:           331148 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   480248 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= 71536 MiB
End job on node104 at 2011-04-30 02:34:05