Trace number 3175342

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.24 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
MD5SUMeac2f4cbe4e61cc8bd9f28b333bf1b8e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.03578
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3175342-1304119617.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.59/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.59/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.59/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.59/0.90	c calculated reachability. Time: 0.00
3.59/0.90	c Calc default polars -  time:   0.00 s pos:      79 undec:       4 neg:      67
3.59/0.90	c =========================================================================================
3.59/0.90	c types(t): F = full restart, N = normal restart
3.59/0.90	c types(t): S = simplification begin/end, E = solution found
3.59/0.90	c restart types(rt): st = static, dy = dynamic
3.59/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.59/0.90	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
3.59/0.90	c Decided on static restart strategy
3.59/0.90	c  N st     8      4918       150      3195         0      4683     15975    141782   no data   no data  --
3.59/0.90	c  N st    10     11300       150      3195         0      4349     15975     99013   no data   no data  --
3.59/0.90	c  N st    11     17044       150      3195         0      9816     15975    264816   no data   no data  --
3.99/1.00	c  F st    12     25000       150      3195         0     12050     15975    330098   no data   no data  --
3.99/1.00	c  N st    12     25000       150      3195         0     12050     15975    330098   no data   no data  --
4.79/1.20	c Decided on static restart strategy
4.79/1.20	c  N st    18     30001       150      3195         0     10311     15975    261898   no data   no data  --
4.79/1.20	c  S st    18     30001       150      3195         0     10311     15975    261898   no data   no data  --
5.19/1.30	c  S st    18     30503       150      3195         0     10802     15975    276336   no data   no data  --
5.19/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.19/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.19/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.19/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.19/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.19/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
5.19/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.12	c lits-rem:      2983  cl-subs:     1251  v-elim:      0  v-fix:    0  time:  3.49 s
8.37/2.17	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.19
8.37/2.17	c calculated reachability. Time: 0.00
8.37/2.17	c  N st    18     30503       150      3195         0      9551     15975    231802   no data   no data  --
9.97/2.50	c  N st    20     37616       150      3195         0      8815     15975    193461   no data   no data  --
11.17/2.81	c  N st    21     44015       150      3195         0     14903     15975    379469   no data   no data  --
11.17/2.90	c  S st    22     45754       150      3195         0     16564     15975    430382   no data   no data  --
11.59/2.95	c  S st    22     46258       150      3195         0      8542     15975    166124   no data   no data  --
11.59/2.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.59/2.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.59/2.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.59/2.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.59/2.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.59/2.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.59/2.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12.76/3.25	c lits-rem:       348  cl-subs:      148  v-elim:      0  v-fix:    0  time:  1.15 s
12.76/3.25	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
12.76/3.25	c vivif2 --  cl tried     8394 cl shrink        0 lits rem          0 time: 0.01
12.76/3.29	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.16
12.76/3.29	c calculated reachability. Time: 0.00
12.76/3.29	c  N st    22     46258       150      3195         0      8394     15975    161031   no data   no data  --
15.98/4.07	c  N st    23     60655       150      3195         0     12604     15975    271678   no data   no data  --
18.35/4.63	c  N st    24     69389       150      3195         0     20887     15975    530287   no data   no data  --
18.35/4.63	c  S st    24     69389       150      3195         0     20887     15975    530287   no data   no data  --
18.35/4.67	c  S st    24     69893       150      3195         0     10940     15975    208122   no data   no data  --
18.35/4.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.35/4.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.35/4.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
18.35/4.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.35/4.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.35/4.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
18.35/4.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.15/5.32	c lits-rem:       624  cl-subs:      219  v-elim:      0  v-fix:    0  time:  2.55 s
21.15/5.32	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
21.15/5.33	c vivif2 --  cl tried    10721 cl shrink        0 lits rem          0 time: 0.01
21.15/5.38	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.20
21.15/5.38	c calculated reachability. Time: 0.00
21.15/5.38	c  N st    24     69893       150      3195         0     10721     15975    200315   no data   no data  --
25.94/6.57	c  F st    25     87500       150      3195         0     16029     15975    350708   no data   no data  --
25.94/6.57	c  N st    25     87500       150      3195         0     16029     15975    350708   no data   no data  --
27.54/6.92	c Decided on static restart strategy
28.34/7.12	c  N st    32     95538       150      3195         0     23717     15975    588387   no data   no data  --
30.33/7.68	c  N st    34    104839       150      3195         0     20239     15975    469946   no data   no data  --
30.33/7.68	c  S st    34    104839       150      3195         0     20239     15975    469946   no data   no data  --
30.74/7.73	c  S st    34    105342       150      3195         0     20730     15975    484623   no data   no data  --
30.74/7.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.74/7.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.74/7.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
30.74/7.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.74/7.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.74/7.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
30.74/7.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.13/9.38	c lits-rem:      4336  cl-subs:     1326  v-elim:      0  v-fix:    0  time:  6.52 s
37.13/9.39	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
37.13/9.39	c vivif2 --  cl tried    19404 cl shrink        0 lits rem          0 time: 0.02
37.53/9.49	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.41
37.53/9.49	c calculated reachability. Time: 0.00
37.53/9.49	c  N st    34    105342       150      3195         0     19404     15975    437178   no data   no data  --
40.72/10.26	c  N st    35    114940       150      3195         0     15231     15975    297182   no data   no data  --
45.11/11.39	c  N st    36    129337       150      3195         0     14647     15975    256178   no data   no data  --
51.90/13.01	c  N st    37    150935       150      3195         0     19846     15975    392984   no data   no data  --
53.90/13.53	c  S st    38    158014       150      3195         0     26558     15975    595243   no data   no data  --
54.30/13.60	c  S st    38    158516       150      3195         0     27048     15975    609831   no data   no data  --
54.30/13.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
54.30/13.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.30/13.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
54.30/13.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.30/13.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.30/13.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
54.30/13.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
62.69/15.73	c lits-rem:      4327  cl-subs:     2113  v-elim:      0  v-fix:    0  time:  8.38 s
62.69/15.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
62.69/15.73	c vivif2 --  cl tried    24935 cl shrink        0 lits rem          0 time: 0.02
63.09/15.84	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.45
63.09/15.84	c calculated reachability. Time: 0.00
63.09/15.84	c  N st    38    158516       150      3195         0     24935     15975    539832   no data   no data  --
81.07/20.36	c  N st    39    207106       150      3195         0     19914     15975    353586   no data   no data  --
92.65/23.21	c  N st    40    237775       150      3195         0     29948     15975    642526   no data   no data  --
92.65/23.21	c  S st    40    237775       150      3195         0     29948     15975    642526   no data   no data  --
92.65/23.29	c  S st    40    238278       150      3195         0     30440     15975    657203   no data   no data  --
93.05/23.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.05/23.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.05/23.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
93.05/23.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.05/23.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.05/23.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
93.05/23.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.84/25.57	c lits-rem:      3089  cl-subs:     2489  v-elim:      0  v-fix:    0  time:  8.95 s
101.84/25.57	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
101.84/25.58	c vivif2 --  cl tried    27951 cl shrink        0 lits rem          0 time: 0.02
102.64/25.72	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.57
102.64/25.72	c calculated reachability. Time: 0.00
102.64/25.72	c  N st    40    238278       150      3195         0     27951     15975    577947   no data   no data  --
126.60/31.79	c  F st    41    306250       150      3195         0     29943     15975    595786   no data   no data  --
126.60/31.79	c  N st    41    306250       150      3195         0     29943     15975    595786   no data   no data  --
129.01/32.35	c Decided on static restart strategy
137.79/34.57	c  N st    51    334552       150      3195         0     34155     15975    688738   no data   no data  --
148.20/37.13	c  N st    53    357418       150      3195         0     32100     15975    605650   no data   no data  --
148.20/37.13	c  S st    53    357418       150      3195         0     32100     15975    605650   no data   no data  --
148.57/37.21	c  S st    53    357918       150      3195         0     32589     15975    619644   no data   no data  --
148.57/37.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
148.57/37.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.57/37.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
148.57/37.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.57/37.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.57/37.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
148.57/37.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
156.16/39.17	c lits-rem:      3485  cl-subs:     1770  v-elim:      0  v-fix:    0  time:  7.70 s
156.16/39.17	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
156.16/39.17	c vivif2 --  cl tried    30819 cl shrink        0 lits rem          0 time: 0.02
156.98/39.34	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.67
156.98/39.34	c calculated reachability. Time: 0.00
156.98/39.34	c  N st    53    357918       150      3195         0     30819     15975    562262   no data   no data  --
172.14/43.18	c  N st    54    390312       150      3195         0     36879     15975    733776   no data   no data  --
196.90/49.36	c  N st    55    438901       150      3195         0     30817     15975    527641   no data   no data  --
230.06/57.62	c  N st    56    511786       150      3195         0     43936     15975    901903   no data   no data  --
241.64/60.59	c  N st    57    536878       150      3195         0     38390     15975    701162   no data   no data  --
241.64/60.59	c  S st    57    536878       150      3195         0     38390     15975    701162   no data   no data  --
242.44/60.70	c  S st    57    537383       150      3195         0     38878     15975    715699   no data   no data  --
242.44/60.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
242.44/60.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
242.44/60.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
242.44/60.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.44/60.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.44/60.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
242.44/60.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.03/63.10	c lits-rem:      3326  cl-subs:     1613  v-elim:      0  v-fix:    0  time:  9.45 s
252.03/63.10	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
252.03/63.11	c vivif2 --  cl tried    37265 cl shrink        0 lits rem          0 time: 0.03
252.83/63.33	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.90
252.83/63.33	c calculated reachability. Time: 0.00
252.83/63.33	c  N st    57    537383       150      3195         0     37265     15975    661285   no data   no data  --
343.51/86.04	c  N st    58    701368       150      3195         0     65229     15975   1421500   no data   no data  --
406.23/101.70	c  N st    59    806075       150      3195         0     59374     15975   1190576   no data   no data  --
406.23/101.70	c  S st    59    806075       150      3195         0     59374     15975   1190576   no data   no data  --
406.63/101.87	c  S st    59    806580       150      3195         0     59863     15975   1205177   no data   no data  --
406.63/101.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
406.63/101.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
406.63/101.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
407.04/101.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
407.04/101.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
407.04/101.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
407.04/101.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
438.58/109.85	c lits-rem:      1808  cl-subs:     5830  v-elim:      0  v-fix:    0  time: 31.59 s
438.58/109.85	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
438.58/109.86	c vivif2 --  cl tried    54033 cl shrink        0 lits rem          0 time: 0.05
439.78/110.14	c asymm  cl-useful: 0/2422/3195 lits-rem:0 time: 1.13
439.78/110.14	c calculated reachability. Time: 0.00
439.78/110.14	c  N st    59    806580       150      3195         0     54033     15975   1042485   no data   no data  --
614.73/153.94	c  F st    60   1071875       150      3195         0     69604     15975   1401790   no data   no data  --
614.73/153.94	c  N st    60   1071875       150      3195         0     69604     15975   1401790   no data   no data  --
619.52/155.18	c Decided on static restart strategy
636.70/159.42	c  N st    70   1100177       150      3195         0     54129     15975    933829   no data   no data  --
663.87/166.26	c  N st    72   1136170       150      3195         0     44845     15975    622891   no data   no data  --
685.04/171.54	c  N st    73   1168562       150      3195         0     75482     15975   1547153   no data   no data  --
716.19/179.37	c  N st    74   1209870       150      3195         0     70067     15975   1397879   no data   no data  --
716.19/179.37	c  S st    74   1209870       150      3195         0     70067     15975   1397879   no data   no data  --
716.99/179.57	c  S st    74   1210371       150      3195         0     70559     15975   1412711   no data   no data  --
716.99/179.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
716.99/179.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
717.39/179.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
717.39/179.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
717.39/179.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
717.39/179.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
717.39/179.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
760.93/190.55	c lits-rem:      1766  cl-subs:     4631  v-elim:      0  v-fix:    0  time: 43.53 s
760.93/190.55	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
760.93/190.57	c vivif2 --  cl tried    65928 cl shrink        0 lits rem          0 time: 0.07
761.73/190.78	c asymm  cl-useful: 0/773/3195 lits-rem:0 time: 0.84
761.73/190.78	c calculated reachability. Time: 0.00
761.73/190.78	c  N st    74   1210371       150      3195         0     65928     15975   1264011   no data   no data  --
836.83/209.58	c  N st    75   1283253       150      3195         0     89447     15975   1951742   no data   no data  --
933.10/233.67	c  N st    76   1392576       150      3195         0     51145     15975    722743   no data   no data  --
1075.70/269.34	c  N st    77   1556563       150      3195         0     55824     15975    820427   no data   no data  --
1192.74/298.61	c  N st    78   1710372       150      3195         0     96631     15975   2042037   no data   no data  --
1192.74/298.61	c  S st    78   1710372       150      3195         0     96631     15975   2042037   no data   no data  --
1193.55/298.86	c  S st    78   1710877       150      3195         0     97122     15975   2056764   no data   no data  --
1193.55/298.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1193.55/298.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1193.96/298.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1193.96/298.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1193.96/298.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1193.96/298.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1193.96/298.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1293.80/323.91	c lits-rem:      1229  cl-subs:     7371  v-elim:      0  v-fix:    0  time: 99.51 s
1293.80/323.91	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1293.80/323.93	c vivif2 --  cl tried    89751 cl shrink        0 lits rem          0 time: 0.08
1295.02/324.27	c asymm  cl-useful: 0/1635/3195 lits-rem:0 time: 1.36
1295.02/324.28	c calculated reachability. Time: 0.00
1295.02/324.28	c  N st    78   1710877       150      3195         0     89751     15975   1835840   no data   no data  --
1610.56/403.23	c  N st    79   2079841       150      3195         0    100651     15975   2069740   no data   no data  --
1725.99/432.15	c  N st    80   2210878       150      3195         0    104484     15975   2138395   no data   no data  --
1725.99/432.15	c  S st    80   2210878       150      3195         0    104484     15975   2138395   no data   no data  --
1727.19/432.49	c  S st    80   2211381       150      3195         0    104980     15975   2154284   no data   no data  --
1727.59/432.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1727.59/432.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1727.59/432.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1728.00/432.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1728.00/432.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1728.00/432.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1728.00/432.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1857.43/465.04	c lits-rem:      6611  cl-subs:     9417  v-elim:      0  v-fix:    0  time: 129.42 s
1857.43/465.04	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1857.43/465.06	c vivif2 --  cl tried    95563 cl shrink        0 lits rem          0 time: 0.09
1859.01/465.43	c asymm  cl-useful: 0/1208/3195 lits-rem:0 time: 1.46
1859.01/465.43	c calculated reachability. Time: 0.00
1859.01/465.43	c  N st    80   2211381       150      3195         0     95563     15975   1872687   no data   no data  --
2384.31/596.92	c  N st    81   2711383       150      3195         0    118831     15975   2485724   no data   no data  --
2384.31/596.92	c  S st    81   2711383       150      3195         0    118831     15975   2485724   no data   no data  --
2385.89/597.31	c  S st    81   2711889       150      3195         0    119325     15975   2500187   no data   no data  --
2385.89/597.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2385.89/597.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2385.89/597.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
2386.29/597.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2386.29/597.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2386.29/597.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2386.29/597.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2556.85/640.10	c lits-rem:      2243  cl-subs:    10280  v-elim:      0  v-fix:    0  time: 170.24 s
2556.85/640.10	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2556.85/640.13	c vivif2 --  cl tried   109045 cl shrink        0 lits rem          0 time: 0.12
2558.45/640.51	c asymm  cl-useful: 0/1267/3195 lits-rem:0 time: 1.52
2558.45/640.52	c calculated reachability. Time: 0.00
2558.45/640.52	c  N st    81   2711889       150      3195         0    109045     15975   2182688   no data   no data  --
3147.64/788.03	c  N st    82   3211890       150      3195         0     85785     15975   1301025   no data   no data  --
3147.64/788.03	c  S st    82   3211890       150      3195         0     85785     15975   1301025   no data   no data  --
3148.86/788.32	c  S st    82   3212392       150      3195         0     86277     15975   1316227   no data   no data  --
3148.86/788.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3148.86/788.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3148.86/788.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
3149.26/788.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3149.26/788.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3149.26/788.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3149.26/788.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3189.19/798.48	c lits-rem:      2784  cl-subs:     3187  v-elim:      0  v-fix:    0  time: 40.16 s
3189.19/798.48	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3189.19/798.49	c vivif2 --  cl tried    83090 cl shrink        0 lits rem          0 time: 0.07
3191.19/798.90	c asymm  cl-useful: 0/1400/3195 lits-rem:0 time: 1.63
3191.19/798.91	c calculated reachability. Time: 0.00
3191.19/798.91	c  N st    82   3212392       150      3195         0     83090     15975   1226015   no data   no data  --
3862.65/967.00	c  N st    83   3712392       150      3195         0     93361     15975   1423146   no data   no data  --
3862.65/967.00	c  S st    83   3712392       150      3195         0     93361     15975   1423146   no data   no data  --
3863.85/967.37	c  S st    83   3712895       150      3195         0     93852     15975   1437809   no data   no data  --
3863.85/967.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3863.85/967.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3864.25/967.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
3864.25/967.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3864.25/967.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3864.25/967.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3864.25/967.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3925.78/982.89	c lits-rem:      1199  cl-subs:     3779  v-elim:      0  v-fix:    0  time: 61.53 s
3925.78/982.89	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3926.18/982.91	c vivif2 --  cl tried    90073 cl shrink        0 lits rem          0 time: 0.07
3926.59/983.08	c asymm  cl-useful: 0/528/3195 lits-rem:0 time: 0.68
3926.59/983.09	c calculated reachability. Time: 0.00
3926.59/983.09	c  N st    83   3712895       150      3195         0     90073     15975   1334990   no data   no data  --
3976.89/995.69	c  F st    84   3751563       150      3195         0    126682     15975   2500162   no data   no data  --
3976.89/995.69	c  N st    84   3751563       150      3195         0    126682     15975   2500162   no data   no data  --
3987.29/998.20	c Decided on static restart strategy
4026.83/1008.17	c  N st    94   3779864       150      3195         0    153581     15975   3316345   no data   no data  --
4077.16/1020.75	c  N st    96   3815857       150      3195         0    107674     15975   1822553   no data   no data  --
4126.70/1033.17	c  N st    97   3848249       150      3195         0    138309     15975   2778739   no data   no data  --
4199.41/1051.33	c  N st    98   3896837       150      3195         0    103142     15975   1666475   no data   no data  --
4312.84/1079.77	c  N st    99   3969719       150      3195         0     89839     15975   1254012   no data   no data  --
4467.45/1118.48	c  N st   100   4079046       150      3195         0    109936     15975   1874880   no data   no data  --
4659.96/1166.60	c  N st   101   4212896       150      3195         0    152366     15975   3192826   no data   no data  --
4659.96/1166.60	c  S st   101   4212896       150      3195         0    152366     15975   3192826   no data   no data  --
4661.96/1167.17	c  S st   101   4213400       150      3195         0    152860     15975   3207890   no data   no data  --
4661.96/1167.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4661.96/1167.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4662.36/1167.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.34
4662.76/1167.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4662.76/1167.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4662.76/1167.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4662.76/1167.38	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-3175342-1304119617/watcher-3175342-1304119617 -o /tmp/evaluation-result-3175342-1304119617/solver-3175342-1304119617 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175342-1304119617.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 6.83 7.79 7.92 3/172 23456
/proc/meminfo: memFree=31050508/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=216244 CPUtime=0 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 664 0 0 0 0 0 0 0 24 0 4 0 602192357 221433856 584 33554432000 4194304 4650419 140737355173584 18446744073709551615 224285030943 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 54061 590 343 112 0 49026 0
[pid=23456/tid=23457] ppid=23454 vsize=216244 CPUtime=0 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 88 0 0 0 0 0 0 0 25 0 4 0 602192358 221433856 595 33554432000 4194304 4650419 140737355173584 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=216244 CPUtime=0 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 4 0 602192358 221433856 597 33554432000 4194304 4650419 140737355173584 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=216244 CPUtime=0 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 4 0 602192358 221433856 598 33554432000 4194304 4650419 140737355173584 18446744073709551615 224284623634 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.102711 s]
/proc/loadavg: 6.83 7.79 7.92 3/172 23456
/proc/meminfo: memFree=31050508/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=220660 CPUtime=3.19 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 6509 0 0 0 318 1 0 0 18 0 4 0 602192357 225955840 3203 33554432000 4194304 4650419 140737355173584 18446744073709551615 4314865 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 55165 3203 391 112 0 50130 0
[pid=23456/tid=23457] ppid=23454 vsize=220660 CPUtime=0.79 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1616 0 0 0 79 0 0 0 19 0 4 0 602192358 225955840 3203 33554432000 4194304 4650419 140737355173584 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=220660 CPUtime=0.79 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1505 0 0 0 79 0 0 0 18 0 4 0 602192358 225955840 3203 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=220660 CPUtime=0.79 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1405 0 0 0 79 0 0 0 19 0 4 0 602192358 225955840 3203 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 220660

[startup+0.904603 s]
/proc/loadavg: 6.83 7.79 7.92 3/172 23456
/proc/meminfo: memFree=31050508/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=220660 CPUtime=3.59 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 6769 0 0 0 358 1 0 0 18 0 4 0 602192357 225955840 3463 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 55165 3463 391 112 0 50130 0
[pid=23456/tid=23457] ppid=23454 vsize=220660 CPUtime=0.89 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1676 0 0 0 89 0 0 0 19 0 4 0 602192358 225955840 3463 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=220660 CPUtime=0.89 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1575 0 0 0 89 0 0 0 18 0 4 0 602192358 225955840 3463 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=220660 CPUtime=0.89 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1467 0 0 0 89 0 0 0 19 0 4 0 602192358 225955840 3463 33554432000 4194304 4650419 140737355173584 18446744073709551615 4330857 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 220660

[startup+1.00459 s]
/proc/loadavg: 6.83 7.79 7.92 3/172 23456
/proc/meminfo: memFree=31050508/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=212064 CPUtime=3.99 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 7512 0 0 0 398 1 0 0 19 0 4 0 602192357 217153536 3426 33554432000 4194304 4650419 140737355173584 18446744073709551615 4330612 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 53016 3426 392 112 0 47981 0
[pid=23456/tid=23457] ppid=23454 vsize=212064 CPUtime=0.99 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 2000 0 0 0 99 0 0 0 19 0 4 0 602192358 217153536 3426 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=212064 CPUtime=0.99 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1645 0 0 0 99 0 0 0 19 0 4 0 602192358 217153536 3426 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=212064 CPUtime=0.99 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1726 0 0 0 99 0 0 0 19 0 4 0 602192358 217153536 3426 33554432000 4194304 4650419 140737355173584 18446744073709551615 4314863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 212064

[startup+1.10457 s]
/proc/loadavg: 6.83 7.79 7.92 3/172 23456
/proc/meminfo: memFree=31050508/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=212324 CPUtime=4.39 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 8241 0 0 0 438 1 0 0 19 0 4 0 602192357 217419776 3338 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 53081 3338 392 112 0 48046 0
[pid=23456/tid=23457] ppid=23454 vsize=212324 CPUtime=1.09 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 2081 0 0 0 109 0 0 0 19 0 4 0 602192358 217419776 3338 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=212324 CPUtime=1.09 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1937 0 0 0 109 0 0 0 19 0 4 0 602192358 217419776 3338 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=212324 CPUtime=1.09 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 1798 0 0 0 109 0 0 0 19 0 4 0 602192358 217419776 3338 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 212324

[startup+1.50051 s]
/proc/loadavg: 6.83 7.79 7.92 3/172 23456
/proc/meminfo: memFree=31050508/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=212460 CPUtime=5.97 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 12536 0 0 0 595 2 0 0 19 0 4 0 602192357 217559040 6657 33554432000 4194304 4650419 140737355173584 18446744073709551615 4439099 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 53115 6657 393 112 0 48080 0
[pid=23456/tid=23457] ppid=23454 vsize=212460 CPUtime=1.48 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 3722 0 0 0 148 0 0 0 20 0 4 0 602192358 217559040 6657 33554432000 4194304 4650419 140737355173584 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=212460 CPUtime=1.48 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 2431 0 0 0 148 0 0 0 20 0 4 0 602192358 217559040 6657 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=212460 CPUtime=1.49 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 2248 0 0 0 149 0 0 0 20 0 4 0 602192358 217559040 6657 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 212460

[startup+3.10024 s]
/proc/loadavg: 6.83 7.79 7.92 9/184 23471
/proc/meminfo: memFree=30949672/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=222868 CPUtime=12.36 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 18972 0 0 0 1232 4 0 0 25 0 4 0 602192357 228216832 11488 33554432000 4194304 4650419 140737355173584 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 55717 11488 393 112 0 50682 0
[pid=23456/tid=23457] ppid=23454 vsize=222868 CPUtime=3.09 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 4555 0 0 0 308 1 0 0 25 0 4 0 602192358 228216832 11488 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=222868 CPUtime=3.08 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 4606 0 0 0 308 0 0 0 25 0 4 0 602192358 228216832 11488 33554432000 4194304 4650419 140737355173584 18446744073709551615 4439586 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=222868 CPUtime=3.08 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 4573 0 0 0 307 1 0 0 25 0 4 0 602192358 228216832 11488 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 222868

[startup+6.30671 s]
/proc/loadavg: 7.00 7.81 7.92 9/184 23471
/proc/meminfo: memFree=30922592/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=232604 CPUtime=25.17 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 28096 0 0 0 2511 6 0 0 25 0 4 0 602192357 238186496 14792 33554432000 4194304 4650419 140737355173584 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 58151 14792 393 112 0 53116 0
[pid=23456/tid=23457] ppid=23454 vsize=232604 CPUtime=6.29 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 7693 0 0 0 628 1 0 0 25 0 4 0 602192358 238186496 14792 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=232604 CPUtime=6.29 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 7037 0 0 0 628 1 0 0 25 0 4 0 602192358 238186496 14792 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=232604 CPUtime=6.26 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 6276 0 0 0 625 1 0 0 25 0 4 0 602192358 238186496 14793 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366359 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 232604

[startup+12.7006 s]
/proc/loadavg: 7.08 7.81 7.92 9/184 23471
/proc/meminfo: memFree=30869128/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=233484 CPUtime=50.71 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 44659 0 0 0 5061 10 0 0 25 0 4 0 602192357 239087616 21929 33554432000 4194304 4650419 140737355173584 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 58371 21929 393 112 0 53336 0
[pid=23456/tid=23457] ppid=23454 vsize=233484 CPUtime=12.68 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 11592 0 0 0 1266 2 0 0 25 0 4 0 602192358 239087616 21929 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=233484 CPUtime=12.68 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 11763 0 0 0 1266 2 0 0 25 0 4 0 602192358 239087616 21929 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=233484 CPUtime=12.63 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 9442 0 0 0 1261 2 0 0 25 0 4 0 602192358 239087616 21929 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 233484

[startup+25.5005 s]
/proc/loadavg: 7.29 7.82 7.92 9/184 23471
/proc/meminfo: memFree=30814564/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=234576 CPUtime=101.84 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 68436 0 0 0 10169 15 0 0 25 0 4 0 602192357 240205824 29302 33554432000 4194304 4650419 140737355173584 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 58644 29302 393 112 0 53609 0
[pid=23456/tid=23457] ppid=23454 vsize=234576 CPUtime=25.49 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 18837 0 0 0 2545 4 0 0 25 0 4 0 602192358 240205824 29302 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=234576 CPUtime=25.48 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 17161 0 0 0 2545 3 0 0 25 0 4 0 602192358 240205824 29302 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=234576 CPUtime=25.35 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 13684 0 0 0 2532 3 0 0 25 0 4 0 602192358 240205824 29302 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 234576

[startup+51.1002 s]
/proc/loadavg: 7.53 7.83 7.92 9/184 23471
/proc/meminfo: memFree=30760060/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=313016 CPUtime=204.1 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 106276 0 0 0 20383 27 0 0 25 0 4 0 602192357 320528384 36838 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 78254 36838 393 112 0 73219 0
[pid=23456/tid=23457] ppid=23454 vsize=313016 CPUtime=51.08 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 30892 0 0 0 5101 7 0 0 25 0 4 0 602192358 320528384 36838 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=313016 CPUtime=51.08 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 27861 0 0 0 5102 6 0 0 25 0 4 0 602192358 320528384 36838 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=313016 CPUtime=50.82 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 19811 0 0 0 5076 6 0 0 25 0 4 0 602192358 320528384 36838 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 313016

[startup+102.301 s]
/proc/loadavg: 7.79 7.86 7.92 9/184 23473
/proc/meminfo: memFree=30692800/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=293992 CPUtime=408.62 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 166813 0 0 0 40817 45 0 0 25 0 4 0 602192357 301047808 44634 33554432000 4194304 4650419 140737355173584 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 73498 44634 393 112 0 68463 0
[pid=23456/tid=23457] ppid=23454 vsize=293992 CPUtime=102.27 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 49066 0 0 0 10216 11 0 0 25 0 4 0 602192358 301047808 44634 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=293992 CPUtime=102.29 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 44352 0 0 0 10216 13 0 0 25 0 4 0 602192358 301047808 44634 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=293992 CPUtime=101.74 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 27605 0 0 0 10167 7 0 0 25 0 4 0 602192358 301047808 44634 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 293992

[startup+162.301 s]

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

[pid=23456] ppid=23454 vsize=534816 CPUtime=2805.31 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 550937 0 0 0 280328 203 0 0 25 0 4 0 602192357 547651584 104730 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 133704 104730 393 112 0 128669 0
[pid=23456/tid=23457] ppid=23454 vsize=534816 CPUtime=702.23 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 163489 0 0 0 70166 57 0 0 25 0 4 0 602192358 547651584 104730 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=534816 CPUtime=702.28 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 144335 0 0 0 70171 57 0 0 25 0 4 0 602192358 547651584 104730 33554432000 4194304 4650419 140737355173584 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=534816 CPUtime=698.48 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 98727 0 0 0 69811 37 0 0 25 0 4 0 602192358 547651584 104730 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 534816

[startup+762.301 s]
/proc/loadavg: 8.27 8.12 8.01 9/184 23494
/proc/meminfo: memFree=30282184/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=614228 CPUtime=3044.98 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 573562 0 0 0 304285 213 0 0 25 0 4 0 602192357 628969472 107211 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 153557 107211 393 112 0 148522 0
[pid=23456/tid=23457] ppid=23454 vsize=614228 CPUtime=762.23 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 169765 0 0 0 76165 58 0 0 25 0 4 0 602192358 628969472 107211 33554432000 4194304 4650419 140737355173584 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=614228 CPUtime=762.28 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 150030 0 0 0 76169 59 0 0 25 0 4 0 602192358 628969472 107211 33554432000 4194304 4650419 140737355173584 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=614228 CPUtime=758.15 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 103857 0 0 0 75775 40 0 0 25 0 4 0 602192358 628969472 107211 33554432000 4194304 4650419 140737355173584 18446744073709551615 4334781 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 614228

[startup+822.301 s]
/proc/loadavg: 8.18 8.13 8.01 9/184 23496
/proc/meminfo: memFree=30249644/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=614496 CPUtime=3284.65 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 591862 0 0 0 328246 219 0 0 25 0 4 0 602192357 629243904 110562 33554432000 4194304 4650419 140737355173584 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 153624 110562 393 112 0 148589 0
[pid=23456/tid=23457] ppid=23454 vsize=614496 CPUtime=822.22 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 174576 0 0 0 82163 59 0 0 25 0 4 0 602192358 629243904 110562 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=614496 CPUtime=822.29 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 154506 0 0 0 82168 61 0 0 25 0 4 0 602192358 629243904 110562 33554432000 4194304 4650419 140737355173584 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=614496 CPUtime=817.82 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 106134 0 0 0 81742 40 0 0 25 0 4 0 602192358 629243904 110562 33554432000 4194304 4650419 140737355173584 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 614496

[startup+882.301 s]
/proc/loadavg: 8.14 8.13 8.02 9/184 23496
/proc/meminfo: memFree=30219472/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=672436 CPUtime=3524.32 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 615778 0 0 0 352202 230 0 0 25 0 4 0 602192357 688574464 113092 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 168109 113092 393 112 0 163074 0
[pid=23456/tid=23457] ppid=23454 vsize=672436 CPUtime=882.21 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 183521 0 0 0 88159 62 0 0 25 0 4 0 602192358 688574464 113092 33554432000 4194304 4650419 140737355173584 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=672436 CPUtime=882.29 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 162079 0 0 0 88164 65 0 0 25 0 4 0 602192358 688574464 113092 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=672436 CPUtime=877.5 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 109362 0 0 0 87708 42 0 0 25 0 4 0 602192358 688574464 113092 33554432000 4194304 4650419 140737355173584 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 672436

[startup+942.301 s]
/proc/loadavg: 8.20 8.15 8.03 9/184 23498
/proc/meminfo: memFree=30247060/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=591616 CPUtime=3764.02 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 650227 0 0 0 376156 246 0 0 25 0 4 0 602192357 605814784 103334 33554432000 4194304 4650419 140737355173584 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 147904 103334 393 112 0 142869 0
[pid=23456/tid=23457] ppid=23454 vsize=591616 CPUtime=942.22 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 194617 0 0 0 94155 67 0 0 25 0 4 0 602192358 605814784 103334 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=591616 CPUtime=942.29 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 170049 0 0 0 94161 68 0 0 25 0 4 0 602192358 605814784 103334 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=591616 CPUtime=937.17 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 115014 0 0 0 93673 44 0 0 25 0 4 0 602192358 605814784 103334 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 591616

[startup+1002.3 s]
/proc/loadavg: 8.18 8.15 8.03 9/184 23500
/proc/meminfo: memFree=30217996/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=648160 CPUtime=4003.66 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 671280 0 0 0 400111 255 0 0 25 0 4 0 602192357 663715840 112570 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 162040 112570 393 112 0 157005 0
[pid=23456/tid=23457] ppid=23454 vsize=648160 CPUtime=1002.2 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 200381 0 0 0 100151 69 0 0 25 0 4 0 602192358 663715840 112570 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=648160 CPUtime=1002.28 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 176041 0 0 0 100156 72 0 0 25 0 4 0 602192358 663715840 112570 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=648160 CPUtime=996.85 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 117576 0 0 0 99640 45 0 0 25 0 4 0 602192358 663715840 112570 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.66
Current children cumulated vsize (KiB) 648160

[startup+1062.31 s]
/proc/loadavg: 8.24 8.16 8.04 9/184 23502
/proc/meminfo: memFree=30200224/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=657672 CPUtime=4243.35 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 698124 0 0 0 424067 268 0 0 25 0 4 0 602192357 673456128 113912 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 164418 113912 393 112 0 159383 0
[pid=23456/tid=23457] ppid=23454 vsize=657672 CPUtime=1062.21 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 208176 0 0 0 106148 73 0 0 25 0 4 0 602192358 673456128 113912 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=657672 CPUtime=1062.3 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 182484 0 0 0 106154 76 0 0 25 0 4 0 602192358 673456128 113912 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=657672 CPUtime=1056.52 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 122551 0 0 0 105605 47 0 0 25 0 4 0 602192358 673456128 113912 33554432000 4194304 4650419 140737355173584 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 657672

[startup+1122.3 s]
/proc/loadavg: 8.22 8.16 8.05 9/184 23504
/proc/meminfo: memFree=30197580/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=662320 CPUtime=4483 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 725879 0 0 0 448020 280 0 0 25 0 4 0 602192357 678215680 118577 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 165580 118577 393 112 0 160545 0
[pid=23456/tid=23457] ppid=23454 vsize=662320 CPUtime=1122.2 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 216633 0 0 0 112143 77 0 0 25 0 4 0 602192358 678215680 118577 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=662320 CPUtime=1122.29 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 188868 0 0 0 112151 78 0 0 25 0 4 0 602192358 678215680 118577 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=662320 CPUtime=1116.2 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 127669 0 0 0 111570 50 0 0 25 0 4 0 602192358 678215680 118577 33554432000 4194304 4650419 140737355173584 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483
Current children cumulated vsize (KiB) 662320

[startup+1182.3 s]
/proc/loadavg: 8.15 8.15 8.05 9/184 23504
/proc/meminfo: memFree=30125492/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=688360 CPUtime=4722.67 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 761606 0 0 0 471972 295 0 0 25 0 4 0 602192357 704880640 130980 33554432000 4194304 4650419 140737355173584 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 172090 130980 393 112 0 167055 0
[pid=23456/tid=23457] ppid=23454 vsize=688360 CPUtime=1182.19 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 227400 0 0 0 118138 81 0 0 25 0 4 0 602192358 704880640 130980 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=688360 CPUtime=1182.29 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 196284 0 0 0 118146 83 0 0 25 0 4 0 602192358 704880640 130980 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=688360 CPUtime=1175.86 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 133040 0 0 0 117534 52 0 0 25 0 4 0 602192358 704880640 130981 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 688360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.14 8.05 9/184 23506
/proc/meminfo: memFree=30123872/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=688424 CPUtime=4800.19 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 767648 0 0 0 479721 298 0 0 25 0 4 0 602192357 704946176 132118 33554432000 4194304 4650419 140737355173584 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 172106 132118 393 112 0 167071 0
[pid=23456/tid=23457] ppid=23454 vsize=688424 CPUtime=1201.6 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 228933 0 0 0 120078 82 0 0 25 0 4 0 602192358 704946176 132118 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=688424 CPUtime=1201.7 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 198818 0 0 0 120086 84 0 0 25 0 4 0 602192358 704946176 132118 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=688424 CPUtime=1195.16 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 134178 0 0 0 119463 53 0 0 25 0 4 0 602192358 704946176 132118 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 688424

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.10 8.14 8.05 9/184 23506
/proc/meminfo: memFree=30123872/32951124 swapFree=67103364/67111528
[pid=23456] ppid=23454 vsize=688424 CPUtime=4800.19 cores=0,2,4,6
/proc/23456/stat : 23456 (strangenight1-m) R 23454 23456 23098 0 -1 4202496 767648 0 0 0 479721 298 0 0 25 0 4 0 602192357 704946176 132118 33554432000 4194304 4650419 140737355173584 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23456/statm: 172106 132118 393 112 0 167071 0
[pid=23456/tid=23457] ppid=23454 vsize=688424 CPUtime=1201.6 cores=0,2,4,6
/proc/23456/task/23457/stat : 23457 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 228933 0 0 0 120078 82 0 0 25 0 4 0 602192358 704946176 132118 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23456/tid=23458] ppid=23454 vsize=688424 CPUtime=1201.7 cores=0,2,4,6
/proc/23456/task/23458/stat : 23458 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 198818 0 0 0 120086 84 0 0 25 0 4 0 602192358 704946176 132118 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23456/tid=23459] ppid=23454 vsize=688424 CPUtime=1195.16 cores=0,2,4,6
/proc/23456/task/23459/stat : 23459 (strangenight1-m) R 23454 23456 23098 0 -1 4202560 134178 0 0 0 119463 53 0 0 25 0 4 0 602192358 704946176 132118 33554432000 4194304 4650419 140737355173584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 688424

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.24
CPU user time (s): 4797.23
CPU system time (s): 3.00654
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 771300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.23
system time used= 3.00654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767649
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= 367
involuntary context switches= 20709

runsolver used 1.90871 second user time and 4.65329 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-30 01:26:57
IDJOB=3175342
IDBENCH=82960
IDSOLVER=1588
FILE ID=node118/3175342-1304119617
RUNJOBID= node118-1304119617-23444
PBS_JOBID= 13170712
Free space on /tmp= 71620 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175342-1304119617/watcher-3175342-1304119617 -o /tmp/evaluation-result-3175342-1304119617/solver-3175342-1304119617 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175342-1304119617.cnf

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

MD5SUM BENCH= eac2f4cbe4e61cc8bd9f28b333bf1b8e
RANDOM SEED=349539510

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31050796 kB
Buffers:        371996 kB
Cached:        1129904 kB
SwapCached:       2248 kB
Active:          90912 kB
Inactive:      1469768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31050796 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:            6356 kB
Writeback:           0 kB
AnonPages:       57752 kB
Mapped:          14508 kB
Slab:           275464 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188168 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= 71604 MiB
End job on node118 at 2011-04-30 01:47:01