Trace number 3175375

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.41 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf
MD5SUM20f33ec190b502d21efebab5417989ef
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark36.7644
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
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-3175375-1304121504.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1704/1704 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.15/0.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.15/0.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.15/0.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.15/0.09	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.01 s
0.15/0.09	c Finding binary XORs  T:     0.00 s  found:       0
0.15/0.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.15/0.09	c calculated reachability. Time: 0.00
0.15/0.09	c Calc default polars -  time:   0.00 s pos:     185 undec:      41 neg:     174
0.15/0.09	c =========================================================================================
0.15/0.09	c types(t): F = full restart, N = normal restart
0.15/0.09	c types(t): S = simplification begin/end, E = solution found
0.15/0.09	c restart types(rt): st = static, dy = dynamic
0.15/0.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.15/0.09	c  B st     0         0       390      1694         0         0      5147         0   no data   no data  --
0.15/0.09	c Decided on static restart strategy
0.37/0.14	c  N st     8      4916       390      1694         0      4826      5147     97167   no data   no data  --
1.17/0.37	c  N st    10     11299       390      1694         0      4470      5147     67108   no data   no data  --
2.37/0.62	c  N st    11     17043       390      1694         0     10052      5147    177211   no data   no data  --
3.57/0.99	c  F st    12     25000       390      1694         0     12234      5147    221302   no data   no data  --
3.57/0.99	c  N st    12     25000       390      1694         0     12234      5147    221302   no data   no data  --
4.77/1.22	c Decided on static restart strategy
4.77/1.22	c  N st    18     30000       390      1694         0     10556      5147    172499   no data   no data  --
4.77/1.22	c  S st    18     30000       390      1694         0     10556      5147    172499   no data   no data  --
4.77/1.25	c  S st    18     30502       390      1694         0     11055      5147    182138   no data   no data  --
4.77/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.77/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.77/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
4.77/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.42	c lits-rem:       167  cl-subs:      816  v-elim:      0  v-fix:    0  time:  0.63 s
5.57/1.42	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.03
5.57/1.42	c calculated reachability. Time: 0.00
5.57/1.42	c  N st    18     30502       390      1694         0     10239      5147    165470   no data   no data  --
7.17/1.85	c  N st    20     37612       390      1694         0      9505      5147    133660   no data   no data  --
8.78/2.23	c  N st    21     44015       390      1694         0     15710      5147    257700   no data   no data  --
9.16/2.36	c  S st    22     45753       390      1694         0     17391      5147    293010   no data   no data  --
9.56/2.40	c  S st    22     46255       390      1694         0      9231      5147    116843   no data   no data  --
9.56/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.56/2.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.56/2.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
9.56/2.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.46	c lits-rem:        63  cl-subs:       93  v-elim:      0  v-fix:    0  time:  0.24 s
9.56/2.46	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
9.56/2.47	c vivif2 --  cl tried     9138 cl shrink        0 lits rem          0 time: 0.00
9.56/2.47	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.03
9.56/2.47	c calculated reachability. Time: 0.00
9.56/2.47	c  N st    22     46255       390      1694         0      9138      5147    115096   no data   no data  --
13.18/3.38	c  N st    23     60653       390      1694         0     13426      5147    189546   no data   no data  --
15.96/4.04	c  N st    24     69383       390      1694         0     11231      5147    139003   no data   no data  --
15.96/4.04	c  S st    24     69383       390      1694         0     11231      5147    139003   no data   no data  --
15.96/4.07	c  S st    24     69888       390      1694         0     11733      5147    149113   no data   no data  --
15.96/4.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.96/4.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
15.96/4.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.75/4.21	c lits-rem:        67  cl-subs:      238  v-elim:      0  v-fix:    0  time:  0.53 s
16.75/4.21	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
16.75/4.21	c vivif2 --  cl tried    11495 cl shrink        0 lits rem          0 time: 0.01
16.75/4.22	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.03
16.75/4.22	c calculated reachability. Time: 0.00
16.75/4.22	c  N st    24     69888       390      1694         0     11495      5147    144733   no data   no data  --
21.57/5.46	c  F st    25     87505       390      1694         0     16920      5147    245930   no data   no data  --
21.57/5.46	c  N st    25     87505       390      1694         0     16920      5147    245930   no data   no data  --
23.54/5.91	c Decided on static restart strategy
24.35/6.18	c  N st    32     95546       390      1694         0     24766      5147    404853   no data   no data  --
27.14/6.85	c  N st    34    104832       390      1694         0     21185      5147    322749   no data   no data  --
27.14/6.85	c  S st    34    104832       390      1694         0     21185      5147    322749   no data   no data  --
27.54/6.90	c  S st    34    105337       390      1694         0     21690      5147    333009   no data   no data  --
27.54/6.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.54/6.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
27.54/6.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
27.54/6.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.36/7.65	c lits-rem:       596  cl-subs:     1342  v-elim:      0  v-fix:    0  time:  2.90 s
30.36/7.65	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
30.36/7.65	c vivif2 --  cl tried    20348 cl shrink        0 lits rem          0 time: 0.01
30.36/7.67	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.06
30.36/7.67	c calculated reachability. Time: 0.00
30.36/7.67	c  N st    34    105337       390      1694         0     20348      5147    305084   no data   no data  --
33.54/8.44	c  N st    35    114937       390      1694         0     16130      5147    200133   no data   no data  --
39.15/9.82	c  N st    36    129335       390      1694         0     15537      5147    174393   no data   no data  --
46.31/11.64	c  N st    37    150931       390      1694         0     20923      5147    267073   no data   no data  --
48.71/12.25	c  S st    38    158007       390      1694         0     27826      5147    408277   no data   no data  --
49.11/12.32	c  S st    38    158510       390      1694         0     28328      5147    418517   no data   no data  --
49.11/12.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.11/12.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.11/12.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
49.11/12.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.11/12.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
49.11/12.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
54.30/13.62	c lits-rem:       662  cl-subs:     2276  v-elim:      0  v-fix:    0  time:  5.12 s
54.30/13.62	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
54.30/13.62	c vivif2 --  cl tried    26052 cl shrink        0 lits rem          0 time: 0.02
54.30/13.64	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.08
54.30/13.64	c calculated reachability. Time: 0.00
54.30/13.64	c  N st    38    158510       390      1694         0     26052      5147    375045   no data   no data  --
74.30/18.69	c  N st    39    207099       390      1694         0     20750      5147    234365   no data   no data  --
85.87/21.56	c  N st    40    237765       390      1694         0     31137      5147    422636   no data   no data  --
85.87/21.56	c  S st    40    237765       390      1694         0     31137      5147    422636   no data   no data  --
86.27/21.63	c  S st    40    238269       390      1694         0     31637      5147    433448   no data   no data  --
86.27/21.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
86.27/21.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.27/21.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
86.27/21.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.27/21.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.27/21.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
86.27/21.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.46/22.99	c lits-rem:       441  cl-subs:     1869  v-elim:      0  v-fix:    0  time:  5.31 s
91.46/22.99	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
91.46/22.99	c vivif2 --  cl tried    29768 cl shrink        0 lits rem          0 time: 0.02
91.87/23.01	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.08
91.87/23.01	c calculated reachability. Time: 0.00
91.87/23.01	c  N st    40    238269       390      1694         0     29768      5147    402424   no data   no data  --
119.82/30.07	c  F st    41    306253       390      1694         0     31842      5147    419444   no data   no data  --
119.82/30.07	c  N st    41    306253       390      1694         0     31842      5147    419444   no data   no data  --
122.22/30.70	c Decided on static restart strategy
133.80/33.53	c  N st    51    334563       390      1694         0     35973      5147    475309   no data   no data  --
144.61/36.26	c  N st    53    357403       390      1694         0     33819      5147    422324   no data   no data  --
144.61/36.26	c  S st    53    357403       390      1694         0     33819      5147    422324   no data   no data  --
145.01/36.36	c  S st    53    357909       390      1694         0     34320      5147    432510   no data   no data  --
145.01/36.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.01/36.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.01/36.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
145.01/36.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.01/36.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.01/36.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
145.01/36.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
150.57/37.70	c lits-rem:       443  cl-subs:     1944  v-elim:      0  v-fix:    0  time:  5.26 s
150.57/37.70	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
150.57/37.70	c vivif2 --  cl tried    32376 cl shrink        0 lits rem          0 time: 0.02
150.57/37.73	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.10
150.57/37.73	c calculated reachability. Time: 0.00
150.57/37.73	c  N st    53    357909       390      1694         0     32376      5147    395673   no data   no data  --
166.57/41.74	c  N st    54    390301       390      1694         0     38610      5147    509837   no data   no data  --
195.72/49.03	c  N st    55    438889       390      1694         0     32543      5147    365852   no data   no data  --
239.26/59.93	c  N st    56    511772       390      1694         0     45759      5147    606310   no data   no data  --
254.05/63.65	c  N st    57    536864       390      1694         0     40094      5147    479090   no data   no data  --
254.05/63.65	c  S st    57    536864       390      1694         0     40094      5147    479090   no data   no data  --
254.46/63.76	c  S st    57    537367       390      1694         0     40595      5147    489576   no data   no data  --
254.46/63.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
254.46/63.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
254.46/63.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
254.46/63.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
254.46/63.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.46/63.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
254.46/63.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
260.83/65.30	c lits-rem:       572  cl-subs:     1659  v-elim:      0  v-fix:    0  time:  6.03 s
260.83/65.30	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
260.83/65.30	c vivif2 --  cl tried    38936 cl shrink        0 lits rem          0 time: 0.02
260.83/65.34	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.13
260.83/65.34	c calculated reachability. Time: 0.00
260.83/65.34	c  N st    57    537367       390      1694         0     38936      5147    459170   no data   no data  --
367.89/92.17	c  N st    58    701351       390      1694         0     67681      5147    999671   no data   no data  --
445.39/111.59	c  N st    59    806051       390      1694         0     61613      5147    807379   no data   no data  --
445.39/111.59	c  S st    59    806051       390      1694         0     61613      5147    807379   no data   no data  --
446.19/111.78	c  S st    59    806556       390      1694         0     62117      5147    818265   no data   no data  --
446.19/111.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
446.19/111.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
446.59/111.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
446.59/111.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
446.59/111.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.59/111.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
446.59/111.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
459.77/115.10	c lits-rem:      1861  cl-subs:     6104  v-elim:      0  v-fix:    0  time: 13.04 s
459.77/115.10	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
459.77/115.11	c vivif2 --  cl tried    56013 cl shrink        0 lits rem          0 time: 0.04
459.77/115.17	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.23
459.77/115.17	c calculated reachability. Time: 0.00
459.77/115.17	c  N st    59    806556       390      1694         0     56013      5147    715532   no data   no data  --
666.28/166.83	c  F st    60   1071875       390      1694         0     71773      5147    927673   no data   no data  --
666.28/166.83	c  N st    60   1071875       390      1694         0     71773      5147    927673   no data   no data  --
671.47/168.19	c Decided on static restart strategy
690.25/172.82	c  N st    70   1100182       390      1694         0     55912      5147    636586   no data   no data  --
725.40/181.63	c  N st    72   1136174       390      1694         0     46380      5147    421135   no data   no data  --
749.37/187.69	c  N st    73   1168567       390      1694         0     77742      5147   1068638   no data   no data  --
787.32/197.18	c  N st    74   1209834       390      1694         0     72204      5147    920500   no data   no data  --
787.32/197.18	c  S st    74   1209834       390      1694         0     72204      5147    920500   no data   no data  --
788.52/197.46	c  S st    74   1210336       390      1694         0     72706      5147    930713   no data   no data  --
788.52/197.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
788.52/197.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
788.92/197.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
788.92/197.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
788.92/197.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
788.92/197.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
788.92/197.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
806.90/202.06	c lits-rem:      1038  cl-subs:     4955  v-elim:      0  v-fix:    0  time: 18.05 s
806.90/202.06	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
806.90/202.07	c vivif2 --  cl tried    67751 cl shrink        0 lits rem          0 time: 0.05
807.30/202.16	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.36
807.30/202.17	c calculated reachability. Time: 0.00
807.30/202.17	c  N st    74   1210336       390      1694         0     67751      5147    846423   no data   no data  --
872.41/218.41	c  N st    75   1283219       390      1694         0     92078      5147   1318363   no data   no data  --
979.88/245.39	c  N st    76   1392542       390      1694         0     52423      5147    478899   no data   no data  --
1137.25/284.79	c  N st    77   1556527       390      1694         0     57135      5147    541898   no data   no data  --
1273.89/318.93	c  N st    78   1710336       390      1694         0     98281      5147   1388230   no data   no data  --
1273.89/318.93	c  S st    78   1710336       390      1694         0     98281      5147   1388230   no data   no data  --
1275.07/319.26	c  S st    78   1710837       390      1694         0     98781      5147   1398774   no data   no data  --
1275.07/319.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1275.07/319.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1275.47/319.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1275.47/319.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1275.47/319.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1275.47/319.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
1275.47/319.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1310.61/328.12	c lits-rem:       532  cl-subs:    10260  v-elim:      0  v-fix:    0  time: 35.01 s
1310.61/328.12	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
1310.61/328.14	c vivif2 --  cl tried    88521 cl shrink        0 lits rem          0 time: 0.06
1311.01/328.26	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.47
1311.01/328.26	c calculated reachability. Time: 0.00
1311.01/328.26	c  N st    78   1710837       390      1694         0     88521      5147   1209947   no data   no data  --
1703.30/426.46	c  N st    79   2079802       390      1694         0    100678      5147   1318615   no data   no data  --
1844.31/461.71	c  N st    80   2210838       390      1694         0    104508      5147   1392396   no data   no data  --
1844.31/461.71	c  S st    80   2210838       390      1694         0    104508      5147   1392396   no data   no data  --
1845.52/462.08	c  S st    80   2211340       390      1694         0    105008      5147   1403153   no data   no data  --
1845.52/462.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1845.52/462.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1845.90/462.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1845.90/462.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1845.90/462.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1845.90/462.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
1845.90/462.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1882.25/471.22	c lits-rem:       421  cl-subs:     9763  v-elim:      0  v-fix:    0  time: 36.11 s
1882.25/471.22	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
1882.25/471.24	c vivif2 --  cl tried    95245 cl shrink        0 lits rem          0 time: 0.07
1882.65/471.38	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.56
1882.65/471.39	c calculated reachability. Time: 0.00
1882.65/471.39	c  N st    80   2211340       390      1694         0     95245      5147   1222110   no data   no data  --
2478.65/620.55	c  N st    81   2711340       390      1694         0    118781      5147   1589223   no data   no data  --
2478.65/620.55	c  S st    81   2711340       390      1694         0    118781      5147   1589223   no data   no data  --
2480.25/620.95	c  S st    81   2711841       390      1694         0    119281      5147   1599592   no data   no data  --
2480.25/620.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2480.25/620.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2480.65/621.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2480.65/621.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2480.65/621.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2480.65/621.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
2480.65/621.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2525.40/632.23	c lits-rem:       982  cl-subs:    10132  v-elim:      0  v-fix:    0  time: 44.59 s
2525.40/632.23	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
2525.40/632.25	c vivif2 --  cl tried   109149 cl shrink        0 lits rem          0 time: 0.08
2526.21/632.41	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.62
2526.21/632.41	c calculated reachability. Time: 0.00
2526.21/632.41	c  N st    81   2711841       390      1694         0    109149      5147   1430419   no data   no data  --
3208.48/803.24	c  N st    82   3211842       390      1694         0     84995      5147    832719   no data   no data  --
3208.48/803.24	c  S st    82   3211842       390      1694         0     84995      5147    832719   no data   no data  --
3209.68/803.59	c  S st    82   3212344       390      1694         0     85497      5147    843321   no data   no data  --
3210.08/803.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3210.08/803.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3210.08/803.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
3210.08/803.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3210.08/803.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3210.08/803.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
3210.08/803.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3226.46/807.72	c lits-rem:      1028  cl-subs:     2161  v-elim:      0  v-fix:    0  time: 16.15 s
3226.46/807.72	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
3226.46/807.73	c vivif2 --  cl tried    83336 cl shrink        0 lits rem          0 time: 0.05
3226.86/807.85	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.48
3226.86/807.86	c calculated reachability. Time: 0.00
3226.86/807.86	c  N st    82   3212344       390      1694         0     83336      5147    804025   no data   no data  --
3958.28/990.97	c  N st    83   3712345       390      1694         0     93944      5147    947692   no data   no data  --
3958.28/990.97	c  S st    83   3712345       390      1694         0     93944      5147    947692   no data   no data  --
3959.47/991.28	c  S st    83   3712848       390      1694         0     94446      5147    958566   no data   no data  --
3959.47/991.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3959.47/991.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3959.87/991.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
3959.87/991.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3959.87/991.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3959.87/991.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
3959.87/991.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3979.85/996.39	c lits-rem:       788  cl-subs:     2586  v-elim:      0  v-fix:    0  time: 20.06 s
3979.85/996.39	c vivif2 --  cl tried     1694 cl shrink        0 lits rem          0 time: 0.00
3980.25/996.40	c vivif2 --  cl tried    91860 cl shrink        0 lits rem          0 time: 0.06
3980.66/996.54	c asymm  cl-useful: 0/1694/1694 lits-rem:0 time: 0.53
3980.66/996.54	c calculated reachability. Time: 0.00
3980.66/996.54	c  N st    83   3712848       390      1694         0     91860      5147    913255   no data   no data  --
4029.40/1008.75	c  F st    84   3751562       390      1694         0    128959      5147   1689066   no data   no data  --
4029.40/1008.75	c  N st    84   3751562       390      1694         0    128959      5147   1689066   no data   no data  --
4039.36/1011.22	c Decided on static restart strategy
4088.90/1023.63	c  N st    94   3779863       390      1694         0    156196      5147   2226955   no data   no data  --
4139.25/1036.28	c  N st    96   3815857       390      1694         0    109307      5147   1261240   no data   no data  --
4186.77/1048.16	c  N st    97   3848249       390      1694         0    140477      5147   1896647   no data   no data  --
4256.68/1065.65	c  N st    98   3896837       390      1694         0    104608      5147   1135706   no data   no data  --
4388.90/1098.70	c  N st    99   3969719       390      1694         0     91033      5147    837226   no data   no data  --
4557.47/1140.96	c  N st   100   4079043       390      1694         0    111591      5147   1266915   no data   no data  --
4762.40/1192.30	c  N st   101   4212848       390      1694         0    154502      5147   2147653   no data   no data  --
4762.40/1192.30	c  S st   101   4212848       390      1694         0    154502      5147   2147653   no data   no data  --
4765.19/1192.90	c  S st   101   4213350       390      1694         0    154999      5147   2158435   no data   no data  --
4765.19/1192.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4765.19/1192.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4765.19/1192.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.32
4765.59/1193.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4765.59/1193.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4765.59/1193.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
4765.59/1193.06	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-3175375-1304121504/watcher-3175375-1304121504 -o /tmp/evaluation-result-3175375-1304121504/solver-3175375-1304121504 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175375-1304121504.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: 6.35 7.68 7.83 2/176 27947
/proc/meminfo: memFree=30933052/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 523748374 52465664 352 33554432000 4194304 4650419 140736916273840 18446744073709551615 47412272367538 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 12809 352 303 112 0 7774 0
[pid=27947/tid=27951] ppid=27942 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 523748375 52465664 352 33554432000 4194304 4650419 140736916273840 18446744073709551615 228134511670 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 523748375 52465664 352 33554432000 4194304 4650419 140736916273840 18446744073709551615 47412272367528 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 523748375 52465664 352 33554432000 4194304 4650419 140736916273840 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.043467 s]
/proc/loadavg: 6.35 7.68 7.83 2/176 27947
/proc/meminfo: memFree=30933052/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=282048 CPUtime=0.15 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 1286 0 0 0 15 0 0 0 20 0 4 0 523748374 288817152 1162 33554432000 4194304 4650419 140736916273840 18446744073709551615 4304054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 70512 1162 390 112 0 65477 0
[pid=27947/tid=27951] ppid=27942 vsize=282048 CPUtime=0.03 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 254 0 0 0 3 0 0 0 20 0 4 0 523748375 288817152 1162 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=282048 CPUtime=0.03 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 236 0 0 0 3 0 0 0 20 0 4 0 523748375 288817152 1163 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=282048 CPUtime=0.03 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 150 0 0 0 3 0 0 0 21 0 4 0 523748375 288817152 1163 33554432000 4194304 4650419 140736916273840 18446744073709551615 4329380 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282048

[startup+0.100456 s]
/proc/loadavg: 6.35 7.68 7.83 2/176 27947
/proc/meminfo: memFree=30933052/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=282180 CPUtime=0.37 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 1586 0 0 0 37 0 0 0 20 0 4 0 523748374 288952320 1462 33554432000 4194304 4650419 140736916273840 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 70545 1462 391 112 0 65510 0
[pid=27947/tid=27951] ppid=27942 vsize=282180 CPUtime=0.09 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 332 0 0 0 9 0 0 0 20 0 4 0 523748375 288952320 1462 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=282180 CPUtime=0.09 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 313 0 0 0 9 0 0 0 20 0 4 0 523748375 288952320 1462 33554432000 4194304 4650419 140736916273840 18446744073709551615 4328203 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=282180 CPUtime=0.09 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 229 0 0 0 9 0 0 0 21 0 4 0 523748375 288952320 1462 33554432000 4194304 4650419 140736916273840 18446744073709551615 4314818 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282180

[startup+0.300421 s]
/proc/loadavg: 6.35 7.68 7.83 2/176 27947
/proc/meminfo: memFree=30933052/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=283320 CPUtime=1.17 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 2600 0 0 0 117 0 0 0 20 0 4 0 523748374 290119680 1998 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 70830 1998 393 112 0 65795 0
[pid=27947/tid=27951] ppid=27942 vsize=283320 CPUtime=0.29 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 581 0 0 0 29 0 0 0 20 0 4 0 523748375 290119680 1998 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=283320 CPUtime=0.29 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 558 0 0 0 29 0 0 0 20 0 4 0 523748375 290119680 1998 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=283320 CPUtime=0.29 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 480 0 0 0 29 0 0 0 21 0 4 0 523748375 290119680 1998 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283320

[startup+0.70035 s]
/proc/loadavg: 6.35 7.68 7.83 2/176 27947
/proc/meminfo: memFree=30933052/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=284700 CPUtime=2.77 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 4410 0 0 0 277 0 0 0 21 0 4 0 523748374 291532800 2366 33554432000 4194304 4650419 140736916273840 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 71175 2366 393 112 0 66140 0
[pid=27947/tid=27951] ppid=27942 vsize=284700 CPUtime=0.69 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 935 0 0 0 69 0 0 0 20 0 4 0 523748375 291532800 2366 33554432000 4194304 4650419 140736916273840 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=284700 CPUtime=0.69 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 1059 0 0 0 69 0 0 0 20 0 4 0 523748375 291532800 2366 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=284700 CPUtime=0.69 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 940 0 0 0 69 0 0 0 22 0 4 0 523748375 291532800 2366 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284700

[startup+1.50021 s]
/proc/loadavg: 6.35 7.68 7.83 10/184 27955
/proc/meminfo: memFree=30911800/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=285260 CPUtime=5.97 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 7806 0 0 0 596 1 0 0 23 0 4 0 523748374 292106240 4403 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365308 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 71315 4403 395 112 0 66280 0
[pid=27947/tid=27951] ppid=27942 vsize=285260 CPUtime=1.49 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 1633 0 0 0 149 0 0 0 23 0 4 0 523748375 292106240 4403 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=285260 CPUtime=1.49 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 1611 0 0 0 149 0 0 0 23 0 4 0 523748375 292106240 4404 33554432000 4194304 4650419 140736916273840 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=285260 CPUtime=1.48 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 1445 0 0 0 148 0 0 0 25 0 4 0 523748375 292106240 4404 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285260

[startup+3.10092 s]
/proc/loadavg: 6.35 7.68 7.83 10/184 27955
/proc/meminfo: memFree=30880056/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=303836 CPUtime=12.37 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 15081 0 0 0 1234 3 0 0 25 0 4 0 523748374 311128064 8844 33554432000 4194304 4650419 140736916273840 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 75959 8844 395 112 0 70924 0
[pid=27947/tid=27951] ppid=27942 vsize=303836 CPUtime=3.08 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 3612 0 0 0 308 0 0 0 25 0 4 0 523748375 311128064 8844 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366523 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=303836 CPUtime=3.08 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 4021 0 0 0 308 0 0 0 25 0 4 0 523748375 311128064 8844 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=303836 CPUtime=3.07 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 3393 0 0 0 307 0 0 0 25 0 4 0 523748375 311128064 8844 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 303836

[startup+6.30034 s]
/proc/loadavg: 6.48 7.68 7.83 10/184 27955
/proc/meminfo: memFree=30830100/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=322168 CPUtime=25.15 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 22707 0 0 0 2510 5 0 0 25 0 4 0 523748374 329900032 12376 33554432000 4194304 4650419 140736916273840 18446744073709551615 4328302 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 80542 12376 395 112 0 75507 0
[pid=27947/tid=27951] ppid=27942 vsize=322168 CPUtime=6.28 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 5867 0 0 0 628 0 0 0 25 0 4 0 523748375 329900032 12376 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=322168 CPUtime=6.28 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 6369 0 0 0 627 1 0 0 25 0 4 0 523748375 329900032 12376 33554432000 4194304 4650419 140736916273840 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=322168 CPUtime=6.25 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 4462 0 0 0 625 0 0 0 25 0 4 0 523748375 329900032 12376 33554432000 4194304 4650419 140736916273840 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 322168

[startup+12.7012 s]
/proc/loadavg: 6.60 7.69 7.83 10/184 27955
/proc/meminfo: memFree=30785500/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=314152 CPUtime=50.71 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 34664 0 0 0 5063 8 0 0 25 0 4 0 523748374 321691648 16411 33554432000 4194304 4650419 140736916273840 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 78538 16411 395 112 0 73503 0
[pid=27947/tid=27951] ppid=27942 vsize=314152 CPUtime=12.68 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 9216 0 0 0 1267 1 0 0 25 0 4 0 523748375 321691648 16411 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=314152 CPUtime=12.69 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 8987 0 0 0 1267 2 0 0 25 0 4 0 523748375 321691648 16411 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=314152 CPUtime=12.62 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 6955 0 0 0 1261 1 0 0 25 0 4 0 523748375 321691648 16411 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 314152

[startup+25.5009 s]
/proc/loadavg: 6.99 7.72 7.84 10/184 27956
/proc/meminfo: memFree=30733988/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=314776 CPUtime=101.84 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 50612 0 0 0 10173 11 0 0 25 0 4 0 523748374 322330624 20734 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 78694 20734 395 112 0 73659 0
[pid=27947/tid=27951] ppid=27942 vsize=314776 CPUtime=25.48 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 14657 0 0 0 2546 2 0 0 25 0 4 0 523748375 322330624 20734 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=314776 CPUtime=25.49 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 14588 0 0 0 2546 3 0 0 25 0 4 0 523748375 322330624 20734 33554432000 4194304 4650419 140736916273840 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=314776 CPUtime=25.35 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 8063 0 0 0 2533 2 0 0 25 0 4 0 523748375 322330624 20734 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 314776

[startup+51.1003 s]
/proc/loadavg: 7.33 7.74 7.84 10/184 27956
/proc/meminfo: memFree=30688520/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=326276 CPUtime=204.1 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 74617 0 0 0 20392 18 0 0 25 0 4 0 523748374 334106624 27526 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 81569 27526 395 112 0 76534 0
[pid=27947/tid=27951] ppid=27942 vsize=326276 CPUtime=51.09 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 23015 0 0 0 5104 5 0 0 25 0 4 0 523748375 334106624 27526 33554432000 4194304 4650419 140736916273840 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=326276 CPUtime=51.09 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 22048 0 0 0 5104 5 0 0 25 0 4 0 523748375 334106624 27526 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=326276 CPUtime=50.81 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 9012 0 0 0 5079 2 0 0 25 0 4 0 523748375 334106624 27526 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 326276

[startup+102.306 s]
/proc/loadavg: 7.77 7.79 7.85 10/184 27958
/proc/meminfo: memFree=30617424/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=328580 CPUtime=408.66 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 110139 0 0 0 40835 31 0 0 25 0 4 0 523748374 336465920 32413 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 82145 32413 395 112 0 77110 0
[pid=27947/tid=27951] ppid=27942 vsize=328580 CPUtime=102.3 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 35463 0 0 0 10220 10 0 0 25 0 4 0 523748375 336465920 32413 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=328580 CPUtime=102.29 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 32853 0 0 0 10220 9 0 0 25 0 4 0 523748375 336465920 32413 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=328580 CPUtime=101.74 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 10319 0 0 0 10171 3 0 0 25 0 4 0 523748375 336465920 32413 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 328580

[startup+162.3 s]

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

[pid=27947] ppid=27942 vsize=436272 CPUtime=2805.42 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 380862 0 0 0 280397 145 0 0 25 0 4 0 523748374 446742528 72789 33554432000 4194304 4650419 140736916273840 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 109068 72789 395 112 0 104033 0
[pid=27947/tid=27951] ppid=27942 vsize=436272 CPUtime=702.3 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 121760 0 0 0 70183 47 0 0 25 0 4 0 523748375 446742528 72789 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=436272 CPUtime=702.3 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 119405 0 0 0 70184 46 0 0 25 0 4 0 523748375 446742528 72789 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=436272 CPUtime=698.48 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 26379 0 0 0 69839 9 0 0 25 0 4 0 523748375 446742528 72789 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 436272

[startup+762.307 s]
/proc/loadavg: 8.20 8.09 7.97 10/184 27987
/proc/meminfo: memFree=30230700/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=424868 CPUtime=3045.12 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 400823 0 0 0 304356 156 0 0 25 0 4 0 523748374 435064832 75661 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 106217 75661 395 112 0 101182 0
[pid=27947/tid=27951] ppid=27942 vsize=424868 CPUtime=762.31 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 129714 0 0 0 76180 51 0 0 25 0 4 0 523748375 435064832 75661 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=424868 CPUtime=762.31 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 125455 0 0 0 76182 49 0 0 25 0 4 0 523748375 435064832 75661 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=424868 CPUtime=758.16 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 26554 0 0 0 75807 9 0 0 25 0 4 0 523748375 435064832 75661 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 424868

[startup+822.3 s]
/proc/loadavg: 8.07 8.07 7.97 10/184 27989
/proc/meminfo: memFree=30168400/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=491000 CPUtime=3284.78 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 423183 0 0 0 328312 166 0 0 25 0 4 0 523748374 502784000 78826 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 122750 78826 395 112 0 117715 0
[pid=27947/tid=27951] ppid=27942 vsize=491000 CPUtime=822.3 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 137158 0 0 0 82177 53 0 0 25 0 4 0 523748375 502784000 78826 33554432000 4194304 4650419 140736916273840 18446744073709551615 4514128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=491000 CPUtime=822.31 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 132895 0 0 0 82178 53 0 0 25 0 4 0 523748375 502784000 78826 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=491000 CPUtime=817.82 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 26670 0 0 0 81773 9 0 0 25 0 4 0 523748375 502784000 78826 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 491000

[startup+882.301 s]
/proc/loadavg: 8.02 8.05 7.97 10/184 27990
/proc/meminfo: memFree=30143048/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=556668 CPUtime=3524.46 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 442891 0 0 0 352272 174 0 0 25 0 4 0 523748374 570028032 88270 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 139167 88270 395 112 0 134132 0
[pid=27947/tid=27951] ppid=27942 vsize=556668 CPUtime=882.31 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 142590 0 0 0 88175 56 0 0 25 0 4 0 523748375 570028032 88270 33554432000 4194304 4650419 140736916273840 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=556668 CPUtime=882.3 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 141123 0 0 0 88175 55 0 0 25 0 4 0 523748375 570028032 88270 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=556668 CPUtime=877.5 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 27145 0 0 0 87740 10 0 0 25 0 4 0 523748375 570028032 88270 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 556668

[startup+942.301 s]
/proc/loadavg: 8.01 8.04 7.97 10/184 27992
/proc/meminfo: memFree=30141484/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=522616 CPUtime=3764.13 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 459115 0 0 0 376231 182 0 0 25 0 4 0 523748374 535158784 80608 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 130654 80608 395 112 0 125619 0
[pid=27947/tid=27951] ppid=27942 vsize=522616 CPUtime=942.3 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 147952 0 0 0 94172 58 0 0 25 0 4 0 523748375 535158784 80608 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=522616 CPUtime=942.31 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 146906 0 0 0 94172 59 0 0 25 0 4 0 523748375 535158784 80608 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=522616 CPUtime=937.18 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 28877 0 0 0 93707 11 0 0 25 0 4 0 523748375 535158784 80608 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 522616

[startup+1002.3 s]
/proc/loadavg: 8.00 8.03 7.97 10/184 27994
/proc/meminfo: memFree=30167336/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=534456 CPUtime=4003.81 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 476419 0 0 0 400189 192 0 0 25 0 4 0 523748374 547282944 81784 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 133614 81784 395 112 0 128579 0
[pid=27947/tid=27951] ppid=27942 vsize=534456 CPUtime=1002.31 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 153179 0 0 0 100170 61 0 0 25 0 4 0 523748375 547282944 81784 33554432000 4194304 4650419 140736916273840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=534456 CPUtime=1002.3 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 152721 0 0 0 100168 62 0 0 25 0 4 0 523748375 547282944 81784 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=534456 CPUtime=996.85 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 31998 0 0 0 99673 12 0 0 25 0 4 0 523748375 547282944 81784 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 534456

[startup+1062.3 s]
/proc/loadavg: 8.05 8.04 7.97 10/184 27995
/proc/meminfo: memFree=30099596/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=570708 CPUtime=4243.49 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 495775 0 0 0 424149 200 0 0 25 0 4 0 523748374 584404992 85835 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 142677 85835 395 112 0 137642 0
[pid=27947/tid=27951] ppid=27942 vsize=570708 CPUtime=1062.32 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 157208 0 0 0 106169 63 0 0 25 0 4 0 523748375 584404992 85835 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=570708 CPUtime=1062.31 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 159871 0 0 0 106166 65 0 0 25 0 4 0 523748375 584404992 85835 33554432000 4194304 4650419 140736916273840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=570708 CPUtime=1056.53 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 36005 0 0 0 105639 14 0 0 25 0 4 0 523748375 584404992 85835 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 570708

[startup+1122.3 s]
/proc/loadavg: 8.07 8.04 7.98 10/184 27997
/proc/meminfo: memFree=30087524/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=570916 CPUtime=4483.17 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 510651 0 0 0 448108 209 0 0 25 0 4 0 523748374 584617984 87206 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 142729 87206 395 112 0 137694 0
[pid=27947/tid=27951] ppid=27942 vsize=570916 CPUtime=1122.31 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 162331 0 0 0 112166 65 0 0 25 0 4 0 523748375 584617984 87206 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=570916 CPUtime=1122.31 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 164356 0 0 0 112164 67 0 0 25 0 4 0 523748375 584617984 87206 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=570916 CPUtime=1116.2 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 37311 0 0 0 111605 15 0 0 25 0 4 0 523748375 584617984 87206 33554432000 4194304 4650419 140736916273840 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 570916

[startup+1182.3 s]
/proc/loadavg: 8.07 8.05 7.98 10/184 27998
/proc/meminfo: memFree=30073216/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=571220 CPUtime=4722.85 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 528228 0 0 0 472065 220 0 0 25 0 4 0 523748374 584929280 86591 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 142805 86591 395 112 0 137770 0
[pid=27947/tid=27951] ppid=27942 vsize=571220 CPUtime=1182.32 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 167410 0 0 0 118164 68 0 0 25 0 4 0 523748375 584929280 86591 33554432000 4194304 4650419 140736916273840 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=571220 CPUtime=1182.31 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 170664 0 0 0 118159 72 0 0 25 0 4 0 523748375 584929280 86591 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=571220 CPUtime=1175.88 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 38109 0 0 0 117572 16 0 0 25 0 4 0 523748375 584929280 86591 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 571220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.06 7.99 9/184 27999
/proc/meminfo: memFree=30047040/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=571220 CPUtime=4800.36 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 531688 0 0 0 479814 222 0 0 25 0 4 0 523748374 584929280 90051 33554432000 4194304 4650419 140736916273840 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 142805 90051 395 112 0 137770 0
[pid=27947/tid=27951] ppid=27942 vsize=571220 CPUtime=1201.73 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 168394 0 0 0 120104 69 0 0 25 0 4 0 523748375 584929280 90051 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=571220 CPUtime=1201.72 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 171724 0 0 0 120099 73 0 0 25 0 4 0 523748375 584929280 90051 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=571220 CPUtime=1195.17 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 38119 0 0 0 119501 16 0 0 25 0 4 0 523748375 584929280 90051 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 571220

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.13 8.06 7.99 9/184 27999
/proc/meminfo: memFree=30047040/32951124 swapFree=67111444/67111528
[pid=27947] ppid=27942 vsize=571220 CPUtime=4800.36 cores=1,3,5,7
/proc/27947/stat : 27947 (strangenight1-m) R 27942 27947 27910 0 -1 4202496 531688 0 0 0 479814 222 0 0 25 0 4 0 523748374 584929280 90051 33554432000 4194304 4650419 140736916273840 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27947/statm: 142805 90051 395 112 0 137770 0
[pid=27947/tid=27951] ppid=27942 vsize=571220 CPUtime=1201.73 cores=1,3,5,7
/proc/27947/task/27951/stat : 27951 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 168394 0 0 0 120104 69 0 0 25 0 4 0 523748375 584929280 90051 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27947/tid=27952] ppid=27942 vsize=571220 CPUtime=1201.72 cores=1,3,5,7
/proc/27947/task/27952/stat : 27952 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 171724 0 0 0 120099 73 0 0 25 0 4 0 523748375 584929280 90051 33554432000 4194304 4650419 140736916273840 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27947/tid=27953] ppid=27942 vsize=571220 CPUtime=1195.17 cores=1,3,5,7
/proc/27947/task/27953/stat : 27953 (strangenight1-m) R 27942 27947 27910 0 -1 4202560 38119 0 0 0 119501 16 0 0 25 0 4 0 523748375 584929280 90051 33554432000 4194304 4650419 140736916273840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 571220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4798.17
CPU system time (s): 2.24266
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 583820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.17
system time used= 2.24266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531688
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= 275
involuntary context switches= 24784

runsolver used 1.9617 second user time and 4.6003 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-30 01:58:24
IDJOB=3175375
IDBENCH=82993
IDSOLVER=1588
FILE ID=node138/3175375-1304121504
RUNJOBID= node138-1304121504-27929
PBS_JOBID= 13170741
Free space on /tmp= 71816 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175375-1304121504/watcher-3175375-1304121504 -o /tmp/evaluation-result-3175375-1304121504/solver-3175375-1304121504 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175375-1304121504.cnf

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

MD5SUM BENCH= 20f33ec190b502d21efebab5417989ef
RANDOM SEED=910076925

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30933736 kB
Buffers:        613632 kB
Cached:         949580 kB
SwapCached:         84 kB
Active:          95104 kB
Inactive:      1531592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30933736 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:           12572 kB
Writeback:           0 kB
AnonPages:       63860 kB
Mapped:          14324 kB
Slab:           324248 kB
PageTables:       5032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186392 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= 71804 MiB
End job on node138 at 2011-04-30 02:18:28