Trace number 3369202

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
MD5SUM22bc1843113c53c5f8a8f8cec42dcbe5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark240.682
Satisfiable
(Un)Satisfiability was proved
Number of variables352
Number of clauses2492
Sum of the clauses size11032
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41592
Number of clauses of size 5736
Number of clauses of size over 5164

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.01/0.01	c This is CryptoMiniSat 2.9.0
0.01/0.01	c compiled with gcc version 4.4.5
0.01/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.01/0.01	c Reading file 'HOME/instance-3369202-1305416850.cnf'
0.01/0.01	c -- header says num vars:            352
0.01/0.01	c -- header says num clauses:        2492
0.01/0.01	c -- clauses added:            0 learnts,         2492 normals,            0 xors
0.01/0.01	c -- vars added        352
0.01/0.01	c Parsing time:  0.00 s
0.01/0.01	c  N st     0         0       352      2492         0         0     11032         0   no data   no data  --
0.01/0.01	c asymm  cl-useful: 115/2492/2492 lits-rem:115 time: 0.01
0.01/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.01/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.01/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.01/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    352 time:  0.00 s
0.01/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.01/0.10	c lits-rem:      1585  cl-subs:      803  v-elim:      0  v-fix:    0  time:  0.02 s
0.01/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.01/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.01/0.10	c calculated reachability. Time: 0.00
0.01/0.10	c Calc default polars -  time:   0.00 s pos:     119 undec:     104 neg:     129
0.01/0.10	c =========================================================================================
0.01/0.10	c types(t): F = full restart, N = normal restart
0.01/0.10	c types(t): S = simplification begin/end, E = solution found
0.01/0.10	c restart types(rt): st = static, dy = dynamic
0.01/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.01/0.10	c  B st     0         0       352      1689         0         0      5848         0   no data   no data  --
0.01/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4918       352      1689         0      4647      5848    100404   no data   no data  --
1.56/0.49	c  N st    10     11300       352      1689         2      4262      5848     61987   no data   no data  --
3.16/0.85	c  N st    11     17043       352      1689         2      9552      5848    202372   no data   no data  --
4.76/1.29	c  F st    12     25001       352      1689         2     11697      5848    224603   no data   no data  --
4.76/1.29	c  N st    12     25001       352      1689         2     11697      5848    224603   no data   no data  --
5.96/1.55	c Decided on static restart strategy
5.96/1.55	c  N st    18     30000       352      1689         2      9988      5848    168415   no data   no data  --
5.96/1.55	c  S st    18     30000       352      1689         2      9988      5848    168415   no data   no data  --
5.96/1.59	c  S st    18     30504       352      1689         2     10472      5847    179792   no data   no data  --
5.96/1.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.96/1.59	c Replacing        1 vars Replaced      118 lits Time:     0.00 s 
5.96/1.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    351 time:  0.00 s
6.36/1.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.55/1.90	c lits-rem:      1548  cl-subs:     1947  v-elim:      2  v-fix:    0  time:  1.22 s
7.55/1.91	c asymm  cl-useful: 0/1676/1676 lits-rem:0 time: 0.02
7.55/1.91	c calculated reachability. Time: 0.00
7.55/1.91	c  N st    18     30504       349      1676         0      8534      5801    138954   no data   no data  --
9.15/2.30	c  N st    20     37615       349      1676         0      7890      5801    103762   no data   no data  --
10.35/2.66	c  N st    21     44015       349      1676         0     13806      5801    252353   no data   no data  --
10.75/2.77	c  S st    22     45756       349      1676         0     15437      5801    291038   no data   no data  --
11.15/2.83	c  S st    22     46260       349      1676         0     15933      5801    304074   no data   no data  --
11.15/2.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.15/2.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.15/2.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
11.15/2.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.15/2.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.15/2.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
11.15/2.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.74/4.26	c lits-rem:      2367  cl-subs:     2811  v-elim:      0  v-fix:    0  time:  5.66 s
16.74/4.26	c vivif2 --  cl tried     1676 cl shrink        0 lits rem          0 time: 0.00
16.74/4.26	c vivif2 --  cl tried    13122 cl shrink        0 lits rem          0 time: 0.01
16.74/4.27	c asymm  cl-useful: 0/1676/1676 lits-rem:0 time: 0.03
16.74/4.27	c calculated reachability. Time: 0.00
16.74/4.27	c  N st    22     46260       349      1676         0     13122      5801    244847   no data   no data  --
20.72/5.21	c  N st    23     60657       349      1676         0     18242      5801    325002   no data   no data  --
23.12/5.81	c  N st    24     69390       349      1676         0     17011      5801    291893   no data   no data  --
23.12/5.81	c  S st    24     69390       349      1676         0     17011      5801    291893   no data   no data  --
23.12/5.87	c  S st    24     69894       349      1676         0     17501      5801    305634   no data   no data  --
23.12/5.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.12/5.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.12/5.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.12/5.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.12/5.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.12/5.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
23.12/5.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.10/7.37	c lits-rem:      1715  cl-subs:     4011  v-elim:      0  v-fix:    0  time:  5.92 s
29.10/7.37	c vivif2 --  cl tried     1675 cl shrink        0 lits rem          0 time: 0.00
29.10/7.37	c vivif2 --  cl tried    13491 cl shrink        0 lits rem          0 time: 0.01
29.10/7.38	c asymm  cl-useful: 1/1675/1675 lits-rem:1 time: 0.03
29.10/7.38	c calculated reachability. Time: 0.00
29.10/7.38	c  N st    24     69894       349      1675         0     13491      5793    223415   no data   no data  --
35.12/8.87	c  F st    25     87500       349      1675         0     19507      5793    328649   no data   no data  --
35.12/8.87	c  N st    25     87500       349      1675         0     19507      5793    328649   no data   no data  --
36.68/9.22	c Decided on static restart strategy
37.48/9.42	c  N st    32     95538       349      1675         0     16180      5793    264683   no data   no data  --
40.27/10.18	c  N st    34    104842       349      1675         0     12816      5793    166821   no data   no data  --
40.27/10.18	c  S st    34    104842       349      1675         0     12816      5793    166821   no data   no data  --
40.67/10.22	c  S st    34    105345       349      1675         0     13306      5792    179402   no data   no data  --
40.67/10.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.67/10.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.67/10.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
40.67/10.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.67/10.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.67/10.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
40.67/10.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.67/10.72	c lits-rem:       628  cl-subs:     1071  v-elim:      0  v-fix:    0  time:  1.94 s
42.67/10.72	c vivif2 --  cl tried     1672 cl shrink        0 lits rem          0 time: 0.00
42.67/10.72	c vivif2 --  cl tried    12238 cl shrink        0 lits rem          0 time: 0.01
42.67/10.73	c asymm  cl-useful: 0/1672/1672 lits-rem:0 time: 0.03
42.67/10.73	c calculated reachability. Time: 0.00
42.67/10.73	c  N st    34    105345       349      1672         0     12238      5776    161532   no data   no data  --
45.86/11.51	c  N st    35    114944       349      1672         0     20989      5776    355259   no data   no data  --
50.65/12.76	c  N st    36    129342       349      1672         0     21585      5776    355232   no data   no data  --
58.63/14.71	c  N st    37    150937       349      1672         0     27445      5776    472500   no data   no data  --
60.64/15.25	c  S st    38    158017       349      1672         0     19285      5776    292377   no data   no data  --
61.05/15.31	c  S st    38    158519       349      1672         0     19769      5776    304732   no data   no data  --
61.05/15.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.05/15.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.05/15.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
61.05/15.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.05/15.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.05/15.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
61.05/15.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.41/16.96	c lits-rem:      1967  cl-subs:     2558  v-elim:      0  v-fix:    0  time:  6.52 s
67.41/16.96	c vivif2 --  cl tried     1672 cl shrink        0 lits rem          0 time: 0.00
67.41/16.97	c vivif2 --  cl tried    17211 cl shrink        0 lits rem          0 time: 0.01
67.41/16.98	c asymm  cl-useful: 1/1672/1672 lits-rem:1 time: 0.04
67.41/16.98	c calculated reachability. Time: 0.00
67.41/16.98	c  N st    38    158519       349      1672         0     17211      5775    256297   no data   no data  --
84.17/21.17	c  N st    39    207107       349      1672         0     30144      5775    505940   no data   no data  --
95.75/24.02	c  N st    40    237779       349      1672         0     22151      5775    312532   no data   no data  --
95.75/24.02	c  S st    40    237779       349      1672         0     22151      5775    312532   no data   no data  --
95.75/24.09	c  S st    40    238282       349      1672         0     22643      5775    326508   no data   no data  --
95.75/24.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
95.75/24.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.75/24.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.16/24.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.16/24.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.16/24.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
96.16/24.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.93/25.88	c lits-rem:      1746  cl-subs:     2732  v-elim:      0  v-fix:    0  time:  7.06 s
102.93/25.88	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
102.93/25.88	c vivif2 --  cl tried    19912 cl shrink        0 lits rem          0 time: 0.01
102.93/25.89	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.04
102.93/25.89	c calculated reachability. Time: 0.00
102.93/25.89	c  N st    40    238282       349      1671         0     19912      5768    280383   no data   no data  --
128.87/32.34	c  F st    41    306251       349      1671         0     22156      5768    299042   no data   no data  --
128.87/32.34	c  N st    41    306251       349      1671         0     22156      5768    299042   no data   no data  --
130.46/32.75	c Decided on static restart strategy
139.24/34.99	c  N st    51    334553       349      1671         0     26115      5768    380435   no data   no data  --
148.03/37.10	c  N st    53    357423       349      1671         0     24099      5768    322848   no data   no data  --
148.03/37.10	c  S st    53    357423       349      1671         0     24099      5768    322848   no data   no data  --
148.03/37.18	c  S st    53    357925       349      1671         0     24586      5768    335692   no data   no data  --
148.03/37.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.03/37.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.03/37.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
148.03/37.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.03/37.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.03/37.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
148.03/37.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
154.41/38.73	c lits-rem:      1584  cl-subs:     1620  v-elim:      0  v-fix:    0  time:  6.12 s
154.41/38.73	c vivif2 --  cl tried     1670 cl shrink        0 lits rem          0 time: 0.00
154.41/38.73	c vivif2 --  cl tried    22967 cl shrink        0 lits rem          0 time: 0.01
154.41/38.75	c asymm  cl-useful: 0/1670/1670 lits-rem:0 time: 0.05
154.41/38.75	c calculated reachability. Time: 0.00
154.41/38.75	c  N st    53    357925       349      1670         0     22967      5763    308150   no data   no data  --
168.38/42.20	c  N st    54    390317       349      1670         0     28709      5763    415307   no data   no data  --
189.53/47.53	c  N st    55    438906       349      1670         0     48682      5763    836602   no data   no data  --
222.65/55.87	c  N st    56    511789       349      1670         0     35818      5763    551195   no data   no data  --
235.42/59.05	c  N st    57    536888       349      1670         0     30511      5763    424134   no data   no data  --
235.42/59.05	c  S st    57    536888       349      1670         0     30511      5763    424134   no data   no data  --
235.82/59.13	c  S st    57    537391       349      1670         0     31005      5763    437231   no data   no data  --
235.82/59.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
235.82/59.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
235.82/59.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
235.82/59.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
235.82/59.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
235.82/59.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
235.82/59.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.41/61.05	c lits-rem:      2580  cl-subs:     2199  v-elim:      0  v-fix:    0  time:  7.57 s
243.41/61.05	c vivif2 --  cl tried     1670 cl shrink        0 lits rem          0 time: 0.00
243.41/61.05	c vivif2 --  cl tried    28806 cl shrink        0 lits rem          0 time: 0.02
243.41/61.07	c asymm  cl-useful: 5/1670/1670 lits-rem:5 time: 0.07
243.41/61.07	c calculated reachability. Time: 0.00
243.41/61.07	c  N st    57    537391       349      1670         0     28806      5758    400186   no data   no data  --
333.22/83.51	c  N st    58    701377       349      1670         0     55892      5758    915103   no data   no data  --
389.47/97.60	c  N st    59    806086       349      1670         0     50637      5758    793487   no data   no data  --
389.47/97.60	c  S st    59    806086       349      1670         0     50637      5758    793487   no data   no data  --
389.87/97.79	c  S st    59    806590       349      1670         0     51125      5758    806109   no data   no data  --
389.87/97.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
389.87/97.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
390.29/97.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.05
390.29/97.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
390.29/97.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
390.29/97.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
390.29/97.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
413.82/103.78	c lits-rem:       951  cl-subs:     9904  v-elim:      0  v-fix:    0  time: 23.72 s
413.82/103.78	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
413.82/103.79	c vivif2 --  cl tried    41225 cl shrink        0 lits rem          0 time: 0.03
414.22/103.82	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.12
414.22/103.82	c calculated reachability. Time: 0.00
414.22/103.82	c  N st    59    806590       349      1666         0     41225      5740    644943   no data   no data  --
552.30/138.43	c  F st    60   1071876       349      1666         0     56367      5740    872919   no data   no data  --
552.30/138.43	c  N st    60   1071876       349      1666         0     56367      5740    872919   no data   no data  --
554.69/139.01	c Decided on static restart strategy
568.26/142.49	c  N st    70   1100181       349      1666         0     41244      5740    562562   no data   no data  --
585.03/146.60	c  N st    72   1136174       349      1666         0     74140      5740   1281094   no data   no data  --
602.18/150.98	c  N st    73   1168568       349      1666         0     61729      5740    983998   no data   no data  --
625.32/156.79	c  N st    74   1209885       349      1666         0     56301      5740    865658   no data   no data  --
625.32/156.79	c  S st    74   1209885       349      1666         0     56301      5740    865658   no data   no data  --
626.12/156.99	c  S st    74   1210388       349      1666         0     56790      5740    877981   no data   no data  --
626.52/157.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
626.52/157.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
626.52/157.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
626.52/157.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
626.52/157.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
626.52/157.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
626.52/157.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
648.87/162.60	c lits-rem:      1724  cl-subs:     8297  v-elim:      0  v-fix:    0  time: 22.18 s
648.87/162.60	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
648.87/162.61	c vivif2 --  cl tried    48493 cl shrink        0 lits rem          0 time: 0.04
648.87/162.64	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.15
648.87/162.65	c calculated reachability. Time: 0.00
648.87/162.65	c  N st    74   1210388       349      1666         0     48493      5740    730714   no data   no data  --
691.58/173.36	c  N st    75   1283272       349      1666         0     71688      5740   1198646   no data   no data  --
769.39/192.84	c  N st    76   1392595       349      1666         0     80601      5740   1327304   no data   no data  --
879.53/220.43	c  N st    77   1556580       349      1666         0     87892      5740   1447063   no data   no data  --
978.94/245.34	c  N st    78   1710388       349      1666         0     78096      5740   1240371   no data   no data  --
978.94/245.34	c  S st    78   1710388       349      1666         0     78096      5740   1240371   no data   no data  --
979.70/245.59	c  S st    78   1710890       349      1666         0     78588      5740   1253870   no data   no data  --
979.70/245.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
979.70/245.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
980.10/245.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
980.10/245.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
980.10/245.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
980.10/245.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
980.10/245.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1050.74/263.39	c lits-rem:       595  cl-subs:    20002  v-elim:      0  v-fix:    0  time: 70.75 s
1050.74/263.39	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
1051.14/263.40	c vivif2 --  cl tried    58586 cl shrink        0 lits rem          0 time: 0.04
1051.14/263.45	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.18
1051.14/263.45	c calculated reachability. Time: 0.00
1051.14/263.45	c  N st    78   1710890       349      1666         0     58586      5740    910108   no data   no data  --
1321.71/331.20	c  N st    79   2079854       349      1666         0     70772      5740   1065319   no data   no data  --
1410.31/353.47	c  N st    80   2210892       349      1666         0     75446      5740   1147915   no data   no data  --
1410.31/353.47	c  S st    80   2210892       349      1666         0     75446      5740   1147915   no data   no data  --
1411.50/353.74	c  S st    80   2211399       349      1666         0     75944      5740   1161361   no data   no data  --
1411.50/353.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1411.50/353.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1411.50/353.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
1411.90/353.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1411.90/353.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1411.90/353.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
1411.90/353.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1465.38/367.24	c lits-rem:      3638  cl-subs:    15013  v-elim:      0  v-fix:    0  time: 53.59 s
1465.38/367.24	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
1465.38/367.26	c vivif2 --  cl tried    60931 cl shrink        0 lits rem          0 time: 0.05
1465.80/367.31	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.19
1465.80/367.31	c calculated reachability. Time: 0.00
1465.80/367.31	c  N st    80   2211399       349      1666         0     60931      5740    907877   no data   no data  --
1872.01/469.15	c  N st    81   2711399       349      1666         0     83561      5740   1270574   no data   no data  --
1872.01/469.15	c  S st    81   2711399       349      1666         0     83561      5740   1270574   no data   no data  --
1873.22/469.48	c  S st    81   2711904       349      1666         0     84059      5740   1283937   no data   no data  --
1873.22/469.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1873.22/469.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1873.62/469.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
1873.62/469.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1873.62/469.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1873.62/469.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
1873.62/469.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1931.52/484.03	c lits-rem:      2022  cl-subs:    12309  v-elim:      0  v-fix:    0  time: 57.76 s
1931.52/484.03	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
1931.52/484.05	c vivif2 --  cl tried    71750 cl shrink        0 lits rem          0 time: 0.05
1931.88/484.11	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.27
1931.88/484.12	c calculated reachability. Time: 0.00
1931.88/484.12	c  N st    81   2711904       349      1666         0     71750      5740   1083687   no data   no data  --
2340.51/586.60	c  N st    82   3211905       349      1666         0    122691      5740   2033653   no data   no data  --
2340.51/586.60	c  S st    82   3211905       349      1666         0    122691      5740   2033653   no data   no data  --
2342.91/587.16	c  S st    82   3212408       349      1666         0    123184      5740   2047417   no data   no data  --
2342.91/587.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2342.91/587.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2343.31/587.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2343.31/587.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2343.31/587.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2343.31/587.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
2343.31/587.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2711.23/679.44	c lits-rem:       966  cl-subs:    35876  v-elim:      0  v-fix:    0  time: 367.64 s
2711.23/679.44	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
2711.23/679.46	c vivif2 --  cl tried    87308 cl shrink        0 lits rem          0 time: 0.08
2712.03/679.61	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.57
2712.03/679.61	c calculated reachability. Time: 0.00
2712.03/679.61	c  N st    82   3212408       349      1666         0     87308      5740   1460925   no data   no data  --
3198.45/801.53	c  N st    83   3712409       349      1666         0    101961      5740   1555137   no data   no data  --
3198.45/801.53	c  S st    83   3712409       349      1666         0    101961      5740   1555137   no data   no data  --
3199.67/801.90	c  S st    83   3712909       349      1666         0    102447      5740   1567778   no data   no data  --
3200.08/801.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3200.08/801.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3200.08/801.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
3200.08/802.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3200.08/802.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3200.08/802.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
3200.08/802.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3320.95/832.27	c lits-rem:      2893  cl-subs:    22552  v-elim:      0  v-fix:    0  time: 120.74 s
3320.95/832.27	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
3320.95/832.28	c vivif2 --  cl tried    79895 cl shrink        0 lits rem          0 time: 0.06
3321.35/832.36	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.32
3321.35/832.37	c calculated reachability. Time: 0.00
3321.35/832.37	c  N st    83   3712909       349      1666         0     79895      5740   1193735   no data   no data  --
3350.08/839.51	c  F st    84   3751562       349      1666         0    114772      5740   1921085   no data   no data  --
3350.08/839.52	c  N st    84   3751562       349      1666         0    114772      5740   1921085   no data   no data  --
3354.47/840.66	c Decided on static restart strategy
3376.02/846.05	c  N st    94   3779866       349      1666         0    140423      5740   2493852   no data   no data  --
3407.95/854.01	c  N st    96   3815862       349      1666         0     99038      5740   1557367   no data   no data  --
3435.90/861.07	c  N st    97   3848254       349      1666         0    128446      5740   2191263   no data   no data  --
3482.58/872.72	c  N st    98   3896843       349      1666         0     96755      5740   1467141   no data   no data  --
3575.16/895.91	c  N st    99   3969725       349      1666         0     85338      5740   1233661   no data   no data  --
3680.10/922.20	c  N st   100   4079048       349      1666         0    106251      5740   1623478   no data   no data  --
3801.83/952.78	c  N st   101   4212911       349      1666         0    148127      5740   2465517   no data   no data  --
3801.83/952.78	c  S st   101   4212911       349      1666         0    148127      5740   2465517   no data   no data  --
3804.63/953.48	c  S st   101   4213417       349      1666         0    148615      5740   2478771   no data   no data  --
3804.63/953.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3804.63/953.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3805.03/953.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.28
3805.44/953.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3805.44/953.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3805.44/953.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
3805.44/953.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369202-1305416850/watcher-3369202-1305416850 -o /tmp/evaluation-result-3369202-1305416850/solver-3369202-1305416850 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369202-1305416850.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: 8.11 8.11 8.09 2/290 3531
/proc/meminfo: memFree=13126400/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 653284664 52465664 353 33554432000 4194304 4650419 140735534285664 18446744073709551615 208080288753 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 12809 353 303 112 0 7774 0
[pid=3531/tid=3532] ppid=3529 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653284664 52465664 353 33554432000 4194304 4650419 140735534285664 18446744073709551615 47565515941804 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653284664 52465664 353 33554432000 4194304 4650419 140735534285664 18446744073709551615 47565515941810 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653284664 52465664 353 33554432000 4194304 4650419 140735534285664 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0110151 s]
/proc/loadavg: 8.11 8.11 8.09 2/290 3531
/proc/meminfo: memFree=13126400/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=182308 CPUtime=0.01 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) D 3529 3531 3297 0 -1 4202496 441 0 0 0 1 0 0 0 25 0 4 0 653284664 186683392 369 33554432000 4194304 4650419 140735534285664 18446744073709551615 208079907160 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 45577 369 314 112 0 40542 0
[pid=3531/tid=3532] ppid=3529 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) D 3529 3531 3297 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 4 0 653284664 186683392 369 33554432000 4194304 4650419 140735534285664 18446744073709551615 208080275591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) D 3529 3531 3297 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 653284664 186683392 369 33554432000 4194304 4650419 140735534285664 18446744073709551615 4229392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 4 0 653284664 186683392 369 33554432000 4194304 4650419 140735534285664 18446744073709551615 208079887344 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 182308

[startup+0.160891 s]
/proc/loadavg: 8.11 8.11 8.09 2/290 3531
/proc/meminfo: memFree=13126400/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=282904 CPUtime=0.61 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 2038 0 0 0 61 0 0 0 25 0 4 0 653284664 289693696 1775 33554432000 4194304 4650419 140735534285664 18446744073709551615 4367521 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 70726 1775 391 112 0 65691 0
[pid=3531/tid=3532] ppid=3529 vsize=282904 CPUtime=0.15 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 420 0 0 0 15 0 0 0 25 0 4 0 653284664 289693696 1775 33554432000 4194304 4650419 140735534285664 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=282904 CPUtime=0.15 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 394 0 0 0 15 0 0 0 25 0 4 0 653284664 289693696 1775 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=282904 CPUtime=0.14 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 382 0 0 0 14 0 0 0 25 0 4 0 653284664 289693696 1775 33554432000 4194304 4650419 140735534285664 18446744073709551615 4330639 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 282904

[startup+0.300864 s]
/proc/loadavg: 8.11 8.11 8.09 2/290 3531
/proc/meminfo: memFree=13126400/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=283436 CPUtime=1.16 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 2640 0 0 0 116 0 0 0 25 0 4 0 653284664 290238464 1988 33554432000 4194304 4650419 140735534285664 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 70859 1988 391 112 0 65824 0
[pid=3531/tid=3532] ppid=3529 vsize=283436 CPUtime=0.29 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 560 0 0 0 29 0 0 0 25 0 4 0 653284664 290238464 1988 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=283436 CPUtime=0.29 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 566 0 0 0 29 0 0 0 25 0 4 0 653284664 290238464 1988 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=283436 CPUtime=0.28 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 514 0 0 0 28 0 0 0 25 0 4 0 653284664 290238464 1988 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283436

[startup+0.700789 s]
/proc/loadavg: 8.11 8.11 8.09 2/290 3531
/proc/meminfo: memFree=13126400/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=284296 CPUtime=2.76 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 4094 0 0 0 276 0 0 0 25 0 4 0 653284664 291119104 2408 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 71074 2408 391 112 0 66039 0
[pid=3531/tid=3532] ppid=3529 vsize=284296 CPUtime=0.69 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 875 0 0 0 69 0 0 0 25 0 4 0 653284664 291119104 2408 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=284296 CPUtime=0.69 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 907 0 0 0 69 0 0 0 25 0 4 0 653284664 291119104 2408 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=284296 CPUtime=0.68 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 980 0 0 0 68 0 0 0 25 0 4 0 653284664 291119104 2409 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284296

[startup+1.50064 s]
/proc/loadavg: 8.11 8.11 8.09 9/302 3548
/proc/meminfo: memFree=13101288/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=285348 CPUtime=5.96 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 6585 0 0 0 595 1 0 0 25 0 4 0 653284664 292196352 3004 33554432000 4194304 4650419 140735534285664 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 71337 3004 392 112 0 66302 0
[pid=3531/tid=3532] ppid=3529 vsize=285348 CPUtime=1.49 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 1518 0 0 0 149 0 0 0 25 0 4 0 653284664 292196352 3004 33554432000 4194304 4650419 140735534285664 18446744073709551615 4328352 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=285348 CPUtime=1.49 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 1547 0 0 0 149 0 0 0 25 0 4 0 653284664 292196352 3004 33554432000 4194304 4650419 140735534285664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=285348 CPUtime=1.47 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 1529 0 0 0 147 0 0 0 25 0 4 0 653284664 292196352 3004 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285348

[startup+3.10034 s]
/proc/loadavg: 8.11 8.11 8.09 9/302 3548
/proc/meminfo: memFree=13084424/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=289572 CPUtime=12.34 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 14993 0 0 0 1232 2 0 0 25 0 4 0 653284664 296521728 9253 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 72393 9253 395 112 0 67358 0
[pid=3531/tid=3532] ppid=3529 vsize=289572 CPUtime=3.08 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 3186 0 0 0 308 0 0 0 25 0 4 0 653284664 296521728 9253 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=289572 CPUtime=3.08 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 3609 0 0 0 308 0 0 0 25 0 4 0 653284664 296521728 9253 33554432000 4194304 4650419 140735534285664 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=289572 CPUtime=3.06 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 3746 0 0 0 306 0 0 0 25 0 4 0 653284664 296521728 9253 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 289572

[startup+6.30072 s]
/proc/loadavg: 8.10 8.11 8.09 9/302 3548
/proc/meminfo: memFree=13038860/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=295320 CPUtime=25.12 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 20997 0 0 0 2508 4 0 0 25 0 4 0 653284664 302407680 11190 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 73830 11190 395 112 0 68795 0
[pid=3531/tid=3532] ppid=3529 vsize=295320 CPUtime=6.28 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 4998 0 0 0 628 0 0 0 25 0 4 0 653284664 302407680 11190 33554432000 4194304 4650419 140735534285664 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=295320 CPUtime=6.28 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 5271 0 0 0 627 1 0 0 25 0 4 0 653284664 302407680 11190 33554432000 4194304 4650419 140735534285664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=295320 CPUtime=6.23 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 5061 0 0 0 622 1 0 0 25 0 4 0 653284664 302407680 11190 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 295320

[startup+12.7005 s]
/proc/loadavg: 8.10 8.11 8.09 9/302 3548
/proc/meminfo: memFree=13012084/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=288968 CPUtime=50.65 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 30695 0 0 0 5059 6 0 0 25 0 4 0 653284664 295903232 14321 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 72242 14321 395 112 0 67207 0
[pid=3531/tid=3532] ppid=3529 vsize=288968 CPUtime=12.69 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 7507 0 0 0 1268 1 0 0 25 0 4 0 653284664 295903232 14321 33554432000 4194304 4650419 140735534285664 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=288968 CPUtime=12.68 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 7982 0 0 0 1267 1 0 0 25 0 4 0 653284664 295903232 14321 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=288968 CPUtime=12.57 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 7440 0 0 0 1256 1 0 0 25 0 4 0 653284664 295903232 14321 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 288968

[startup+25.5011 s]
/proc/loadavg: 8.07 8.10 8.09 9/302 3548
/proc/meminfo: memFree=12973896/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=300672 CPUtime=101.73 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 47615 0 0 0 10164 9 0 0 25 0 4 0 653284664 307888128 18843 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 75168 18843 395 112 0 70133 0
[pid=3531/tid=3532] ppid=3529 vsize=300672 CPUtime=25.48 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 11104 0 0 0 2546 2 0 0 25 0 4 0 653284664 307888128 18843 33554432000 4194304 4650419 140735534285664 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=300672 CPUtime=25.48 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 13605 0 0 0 2546 2 0 0 25 0 4 0 653284664 307888128 18843 33554432000 4194304 4650419 140735534285664 18446744073709551615 4332287 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=300672 CPUtime=25.25 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 10264 0 0 0 2523 2 0 0 25 0 4 0 653284664 307888128 18843 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 300672

[startup+51.1012 s]
/proc/loadavg: 8.11 8.11 8.09 9/302 3549
/proc/meminfo: memFree=12934196/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=321852 CPUtime=203.89 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 73333 0 0 0 20374 15 0 0 25 0 4 0 653284664 329576448 24878 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 80463 24878 395 112 0 75428 0
[pid=3531/tid=3532] ppid=3529 vsize=321852 CPUtime=51.08 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 15579 0 0 0 5106 2 0 0 25 0 4 0 653284664 329576448 24878 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=321852 CPUtime=51.08 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 22745 0 0 0 5103 5 0 0 25 0 4 0 653284664 329576448 24878 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=321852 CPUtime=50.62 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 13828 0 0 0 5060 2 0 0 25 0 4 0 653284664 329576448 24878 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 321852

[startup+102.311 s]
/proc/loadavg: 8.12 8.10 8.09 9/302 3551
/proc/meminfo: memFree=12866852/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=336592 CPUtime=408.27 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 112282 0 0 0 40803 24 0 0 25 0 4 0 653284664 344670208 35721 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 84148 35721 395 112 0 79113 0
[pid=3531/tid=3532] ppid=3529 vsize=336592 CPUtime=102.29 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 18967 0 0 0 10225 4 0 0 25 0 4 0 653284664 344670208 35721 33554432000 4194304 4650419 140735534285664 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=336592 CPUtime=102.28 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 38771 0 0 0 10221 7 0 0 25 0 4 0 653284664 344670208 35721 33554432000 4194304 4650419 140735534285664 18446744073709551615 4438742 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=336592 CPUtime=101.37 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 20270 0 0 0 10132 5 0 0 25 0 4 0 653284664 344670208 35721 33554432000 4194304 4650419 140735534285664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 336592

[startup+162.301 s]

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

[pid=3531] ppid=3529 vsize=568236 CPUtime=2802.61 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 342500 0 0 0 280159 102 0 0 25 0 4 0 653284664 581873664 84513 33554432000 4194304 4650419 140735534285664 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 142059 84513 395 112 0 137024 0
[pid=3531/tid=3532] ppid=3529 vsize=568236 CPUtime=702.19 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 32943 0 0 0 70210 9 0 0 25 0 4 0 653284664 581873664 84513 33554432000 4194304 4650419 140735534285664 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=568236 CPUtime=702.3 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 130017 0 0 0 70192 38 0 0 25 0 4 0 653284664 581873664 84513 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=568236 CPUtime=695.8 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 59992 0 0 0 69562 18 0 0 25 0 4 0 653284664 581873664 84513 33554432000 4194304 4650419 140735534285664 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.61
Current children cumulated vsize (KiB) 568236

[startup+762.312 s]
/proc/loadavg: 8.13 8.09 8.09 9/302 3601
/proc/meminfo: memFree=11747108/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=568236 CPUtime=3042.05 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 350212 0 0 0 304096 109 0 0 25 0 4 0 653284664 581873664 82422 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 142059 82422 395 112 0 137024 0
[pid=3531/tid=3532] ppid=3529 vsize=568236 CPUtime=762.19 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 32943 0 0 0 76210 9 0 0 25 0 4 0 653284664 581873664 82422 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=568236 CPUtime=762.31 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 130178 0 0 0 76193 38 0 0 25 0 4 0 653284664 581873664 82422 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=568236 CPUtime=755.21 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 60662 0 0 0 75502 19 0 0 25 0 4 0 653284664 581873664 82422 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.05
Current children cumulated vsize (KiB) 568236

[startup+822.3 s]
/proc/loadavg: 8.13 8.10 8.09 9/302 3612
/proc/meminfo: memFree=11713196/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=607012 CPUtime=3281.45 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 375095 0 0 0 328025 120 0 0 25 0 4 0 653284664 621580288 90153 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 151753 90153 395 112 0 146718 0
[pid=3531/tid=3532] ppid=3529 vsize=607012 CPUtime=822.18 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 39294 0 0 0 82205 13 0 0 25 0 4 0 653284664 621580288 90153 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=607012 CPUtime=822.3 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 139695 0 0 0 82188 42 0 0 25 0 4 0 653284664 621580288 90153 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=607012 CPUtime=814.64 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 63305 0 0 0 81444 20 0 0 25 0 4 0 653284664 621580288 90153 33554432000 4194304 4650419 140735534285664 18446744073709551615 4315589 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.45
Current children cumulated vsize (KiB) 607012

[startup+882.301 s]
/proc/loadavg: 8.04 8.08 8.08 9/302 3613
/proc/meminfo: memFree=11704492/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=594172 CPUtime=3520.89 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 395776 0 0 0 351962 127 0 0 25 0 4 0 653284664 608432128 91688 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 148543 91688 395 112 0 143508 0
[pid=3531/tid=3532] ppid=3529 vsize=594172 CPUtime=882.16 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 39665 0 0 0 88203 13 0 0 25 0 4 0 653284664 608432128 91688 33554432000 4194304 4650419 140735534285664 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=594172 CPUtime=882.3 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 149210 0 0 0 88185 45 0 0 25 0 4 0 653284664 608432128 91688 33554432000 4194304 4650419 140735534285664 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=594172 CPUtime=874.1 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 65893 0 0 0 87388 22 0 0 25 0 4 0 653284664 608432128 91688 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.89
Current children cumulated vsize (KiB) 594172

[startup+942.3 s]
/proc/loadavg: 8.06 8.08 8.08 9/302 3615
/proc/meminfo: memFree=11689472/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=608972 CPUtime=3760.32 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 415532 0 0 0 375896 136 0 0 25 0 4 0 653284664 623587328 93348 33554432000 4194304 4650419 140735534285664 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 152243 93348 395 112 0 147208 0
[pid=3531/tid=3532] ppid=3529 vsize=608972 CPUtime=942.17 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 40522 0 0 0 94203 14 0 0 25 0 4 0 653284664 623587328 93348 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=608972 CPUtime=942.3 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 157813 0 0 0 94181 49 0 0 25 0 4 0 653284664 623587328 93348 33554432000 4194304 4650419 140735534285664 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=608972 CPUtime=933.53 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 69963 0 0 0 93330 23 0 0 25 0 4 0 653284664 623587328 93348 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.32
Current children cumulated vsize (KiB) 608972

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 8.08 10/303 3620
/proc/meminfo: memFree=11707668/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=609768 CPUtime=3999.76 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 430357 0 0 0 399835 141 0 0 25 0 4 0 653284664 624402432 96409 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 152442 96409 395 112 0 147407 0
[pid=3531/tid=3532] ppid=3529 vsize=609768 CPUtime=1002.16 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 40775 0 0 0 100202 14 0 0 25 0 4 0 653284664 624402432 96409 33554432000 4194304 4650419 140735534285664 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=609768 CPUtime=1002.3 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 166103 0 0 0 100178 52 0 0 25 0 4 0 653284664 624402432 96409 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=609768 CPUtime=992.97 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 71174 0 0 0 99273 24 0 0 25 0 4 0 653284664 624402432 96409 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.76
Current children cumulated vsize (KiB) 609768

[startup+1062.3 s]
/proc/loadavg: 8.23 8.13 8.10 9/302 3621
/proc/meminfo: memFree=11565988/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=609800 CPUtime=4239.16 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 439802 0 0 0 423771 145 0 0 25 0 4 0 653284664 624435200 100789 33554432000 4194304 4650419 140735534285664 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 152450 100789 395 112 0 147415 0
[pid=3531/tid=3532] ppid=3529 vsize=609800 CPUtime=1062.15 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 40775 0 0 0 106201 14 0 0 25 0 4 0 653284664 624435200 100789 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=609800 CPUtime=1062.3 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 171844 0 0 0 106176 54 0 0 25 0 4 0 653284664 624435200 100789 33554432000 4194304 4650419 140735534285664 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=609800 CPUtime=1052.38 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 73641 0 0 0 105212 26 0 0 25 0 4 0 653284664 624435200 100789 33554432000 4194304 4650419 140735534285664 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.16
Current children cumulated vsize (KiB) 609800

[startup+1122.3 s]
/proc/loadavg: 8.15 8.12 8.09 9/302 3623
/proc/meminfo: memFree=11542036/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=609800 CPUtime=4478.54 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 446367 0 0 0 447708 146 0 0 25 0 4 0 653284664 624435200 101665 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 152450 101665 395 112 0 147415 0
[pid=3531/tid=3532] ppid=3529 vsize=609800 CPUtime=1122.15 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 40775 0 0 0 112201 14 0 0 25 0 4 0 653284664 624435200 101665 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=609800 CPUtime=1122.31 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 172457 0 0 0 112177 54 0 0 25 0 4 0 653284664 624435200 101665 33554432000 4194304 4650419 140735534285664 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=609800 CPUtime=1111.76 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 74104 0 0 0 111150 26 0 0 25 0 4 0 653284664 624435200 101665 33554432000 4194304 4650419 140735534285664 18446744073709551615 4420289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.54
Current children cumulated vsize (KiB) 609800

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/302 3624
/proc/meminfo: memFree=11542136/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=609800 CPUtime=4717.94 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 458578 0 0 0 471645 149 0 0 25 0 4 0 653284664 624435200 102073 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 152450 102073 395 112 0 147415 0
[pid=3531/tid=3532] ppid=3529 vsize=609800 CPUtime=1182.14 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 40775 0 0 0 118200 14 0 0 25 0 4 0 653284664 624435200 102073 33554432000 4194304 4650419 140735534285664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=609800 CPUtime=1182.31 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 176789 0 0 0 118176 55 0 0 25 0 4 0 653284664 624435200 102073 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=609800 CPUtime=1171.17 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 74517 0 0 0 117091 26 0 0 25 0 4 0 653284664 624435200 102073 33554432000 4194304 4650419 140735534285664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.94
Current children cumulated vsize (KiB) 609800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.13 8.12 8.09 9/302 3625
/proc/meminfo: memFree=11409204/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=609800 CPUtime=4800.15 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 464469 0 0 0 479865 150 0 0 25 0 4 0 653284664 624435200 102768 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 152450 102768 395 112 0 147415 0
[pid=3531/tid=3532] ppid=3529 vsize=609800 CPUtime=1202.74 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 40775 0 0 0 120260 14 0 0 25 0 4 0 653284664 624435200 102768 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476421 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=609800 CPUtime=1202.93 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 178470 0 0 0 120237 56 0 0 25 0 4 0 653284664 624435200 102768 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=609800 CPUtime=1191.57 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 75433 0 0 0 119130 27 0 0 25 0 4 0 653284664 624435200 102768 33554432000 4194304 4650419 140735534285664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 609800

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

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

[startup+1202.9 s]
/proc/loadavg: 8.13 8.12 8.09 9/302 3625
/proc/meminfo: memFree=11409204/32950928 swapFree=67083212/67111528
[pid=3531] ppid=3529 vsize=609800 CPUtime=4800.15 cores=0,2,4,6
/proc/3531/stat : 3531 (strangenight1-m) R 3529 3531 3297 0 -1 4202496 464469 0 0 0 479865 150 0 0 25 0 4 0 653284664 624435200 102768 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3531/statm: 152450 102768 395 112 0 147415 0
[pid=3531/tid=3532] ppid=3529 vsize=609800 CPUtime=1202.74 cores=0,2,4,6
/proc/3531/task/3532/stat : 3532 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 40775 0 0 0 120260 14 0 0 25 0 4 0 653284664 624435200 102768 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476421 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3531/tid=3533] ppid=3529 vsize=609800 CPUtime=1202.93 cores=0,2,4,6
/proc/3531/task/3533/stat : 3533 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 178470 0 0 0 120237 56 0 0 25 0 4 0 653284664 624435200 102768 33554432000 4194304 4650419 140735534285664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3531/tid=3534] ppid=3529 vsize=609800 CPUtime=1191.57 cores=0,2,4,6
/proc/3531/task/3534/stat : 3534 (strangenight1-m) R 3529 3531 3297 0 -1 4202560 75433 0 0 0 119130 27 0 0 25 0 4 0 653284664 624435200 102768 33554432000 4194304 4650419 140735534285664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 609800

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.94
CPU time (s): 4800.22
CPU user time (s): 4798.69
CPU system time (s): 1.52877
CPU usage (%): 399.041
Max. virtual memory (cumulated for all children) (KiB): 650568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.69
system time used= 1.52877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464470
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= 182
involuntary context switches= 23739

runsolver used 3.3005 second user time and 8.08577 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-15 01:47:30
IDJOB=3369202
IDBENCH=85355
IDSOLVER=1846
FILE ID=node127/3369202-1305416850
RUNJOBID= node127-1305414440-3316
PBS_JOBID= 13324545
Free space on /tmp= 73480 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369202-1305416850/watcher-3369202-1305416850 -o /tmp/evaluation-result-3369202-1305416850/solver-3369202-1305416850 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369202-1305416850.cnf

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

MD5SUM BENCH= 22bc1843113c53c5f8a8f8cec42dcbe5
RANDOM SEED=28131784

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13126564 kB
Buffers:        292060 kB
Cached:        3361608 kB
SwapCached:       1620 kB
Active:       16823000 kB
Inactive:      2664272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13126564 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:            6240 kB
Writeback:          28 kB
AnonPages:    15832564 kB
Mapped:          25960 kB
Slab:           226256 kB
PageTables:      46176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44319448 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= 73468 MiB
End job on node127 at 2011-05-15 02:07:35