Trace number 3264841

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.11 1201.63

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.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-3264841-1304180138.cnf'
0.00/0.00	c -- header says num vars:            352
0.00/0.00	c -- header says num clauses:        2492
0.00/0.01	c -- clauses added:            0 learnts,         2492 normals,            0 xors
0.00/0.01	c -- vars added        352
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       352      2492         0         0     11032         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 115/2492/2492 lits-rem:115 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    352 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:      1585  cl-subs:      803  v-elim:      0  v-fix:    0  time:  0.02 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     119 undec:     104 neg:     129
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       352      1689         0         0      5848         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4918       352      1689         0      4647      5848    100404   no data   no data  --
1.58/0.49	c  N st    10     11300       352      1689         2      4262      5848     61987   no data   no data  --
3.17/0.84	c  N st    11     17043       352      1689         2      9552      5848    202372   no data   no data  --
4.79/1.28	c  F st    12     25001       352      1689         2     11697      5848    224603   no data   no data  --
4.79/1.28	c  N st    12     25001       352      1689         2     11697      5848    224603   no data   no data  --
5.96/1.54	c Decided on static restart strategy
5.96/1.54	c  N st    18     30000       352      1689         2      9988      5848    168415   no data   no data  --
5.96/1.54	c  S st    18     30000       352      1689         2      9988      5848    168415   no data   no data  --
5.96/1.58	c  S st    18     30504       352      1689         2     10472      5847    179792   no data   no data  --
5.96/1.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.96/1.58	c Replacing        1 vars Replaced      118 lits Time:     0.00 s 
5.96/1.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    351 time:  0.00 s
5.96/1.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.57/1.90	c lits-rem:      1548  cl-subs:     1947  v-elim:      2  v-fix:    0  time:  1.22 s
7.57/1.90	c asymm  cl-useful: 0/1676/1676 lits-rem:0 time: 0.02
7.57/1.90	c calculated reachability. Time: 0.00
7.57/1.90	c  N st    18     30504       349      1676         0      8534      5801    138954   no data   no data  --
8.78/2.30	c  N st    20     37615       349      1676         0      7890      5801    103762   no data   no data  --
10.36/2.66	c  N st    21     44015       349      1676         0     13806      5801    252353   no data   no data  --
10.76/2.77	c  S st    22     45756       349      1676         0     15437      5801    291038   no data   no data  --
11.16/2.82	c  S st    22     46260       349      1676         0     15933      5801    304074   no data   no data  --
11.16/2.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.16/2.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.16/2.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
11.16/2.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.16/2.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.16/2.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
11.16/2.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.76/4.26	c lits-rem:      2367  cl-subs:     2811  v-elim:      0  v-fix:    0  time:  5.66 s
16.76/4.26	c vivif2 --  cl tried     1676 cl shrink        0 lits rem          0 time: 0.00
16.76/4.26	c vivif2 --  cl tried    13122 cl shrink        0 lits rem          0 time: 0.01
16.76/4.27	c asymm  cl-useful: 0/1676/1676 lits-rem:0 time: 0.03
16.76/4.27	c calculated reachability. Time: 0.00
16.76/4.27	c  N st    22     46260       349      1676         0     13122      5801    244847   no data   no data  --
20.76/5.21	c  N st    23     60657       349      1676         0     18242      5801    325002   no data   no data  --
23.15/5.80	c  N st    24     69390       349      1676         0     17011      5801    291893   no data   no data  --
23.15/5.80	c  S st    24     69390       349      1676         0     17011      5801    291893   no data   no data  --
23.15/5.87	c  S st    24     69894       349      1676         0     17501      5801    305634   no data   no data  --
23.15/5.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.15/5.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.15/5.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.15/5.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.15/5.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.15/5.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
23.15/5.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.14/7.36	c lits-rem:      1715  cl-subs:     4011  v-elim:      0  v-fix:    0  time:  5.90 s
29.14/7.36	c vivif2 --  cl tried     1675 cl shrink        0 lits rem          0 time: 0.00
29.14/7.36	c vivif2 --  cl tried    13491 cl shrink        0 lits rem          0 time: 0.01
29.14/7.37	c asymm  cl-useful: 1/1675/1675 lits-rem:1 time: 0.03
29.14/7.37	c calculated reachability. Time: 0.00
29.14/7.37	c  N st    24     69894       349      1675         0     13491      5793    223415   no data   no data  --
35.15/8.87	c  F st    25     87500       349      1675         0     19507      5793    328649   no data   no data  --
35.15/8.87	c  N st    25     87500       349      1675         0     19507      5793    328649   no data   no data  --
36.73/9.22	c Decided on static restart strategy
37.53/9.41	c  N st    32     95538       349      1675         0     16180      5793    264683   no data   no data  --
40.32/10.17	c  N st    34    104842       349      1675         0     12816      5793    166821   no data   no data  --
40.32/10.17	c  S st    34    104842       349      1675         0     12816      5793    166821   no data   no data  --
40.72/10.22	c  S st    34    105345       349      1675         0     13306      5792    179402   no data   no data  --
40.72/10.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.72/10.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.72/10.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
40.72/10.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.72/10.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.72/10.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
40.72/10.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.72/10.71	c lits-rem:       628  cl-subs:     1071  v-elim:      0  v-fix:    0  time:  1.95 s
42.72/10.71	c vivif2 --  cl tried     1672 cl shrink        0 lits rem          0 time: 0.00
42.72/10.72	c vivif2 --  cl tried    12238 cl shrink        0 lits rem          0 time: 0.01
42.72/10.72	c asymm  cl-useful: 0/1672/1672 lits-rem:0 time: 0.03
42.72/10.72	c calculated reachability. Time: 0.00
42.72/10.72	c  N st    34    105345       349      1672         0     12238      5776    161532   no data   no data  --
45.92/11.51	c  N st    35    114944       349      1672         0     20989      5776    355259   no data   no data  --
50.71/12.76	c  N st    36    129342       349      1672         0     21585      5776    355232   no data   no data  --
58.70/14.71	c  N st    37    150937       349      1672         0     27445      5776    472500   no data   no data  --
60.69/15.25	c  S st    38    158017       349      1672         0     19285      5776    292377   no data   no data  --
61.10/15.31	c  S st    38    158519       349      1672         0     19769      5776    304732   no data   no data  --
61.10/15.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.10/15.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.10/15.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
61.10/15.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.10/15.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.10/15.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
61.10/15.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.49/16.96	c lits-rem:      1967  cl-subs:     2558  v-elim:      0  v-fix:    0  time:  6.50 s
67.49/16.96	c vivif2 --  cl tried     1672 cl shrink        0 lits rem          0 time: 0.00
67.49/16.96	c vivif2 --  cl tried    17211 cl shrink        0 lits rem          0 time: 0.01
67.49/16.97	c asymm  cl-useful: 1/1672/1672 lits-rem:1 time: 0.04
67.49/16.97	c calculated reachability. Time: 0.00
67.49/16.97	c  N st    38    158519       349      1672         0     17211      5775    256297   no data   no data  --
84.26/21.16	c  N st    39    207107       349      1672         0     30144      5775    505940   no data   no data  --
95.85/24.01	c  N st    40    237779       349      1672         0     22151      5775    312532   no data   no data  --
95.85/24.01	c  S st    40    237779       349      1672         0     22151      5775    312532   no data   no data  --
95.85/24.08	c  S st    40    238282       349      1672         0     22643      5775    326508   no data   no data  --
95.85/24.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
95.85/24.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.85/24.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.25/24.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.25/24.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.25/24.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
96.25/24.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.04/25.87	c lits-rem:      1746  cl-subs:     2732  v-elim:      0  v-fix:    0  time:  7.09 s
103.04/25.87	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
103.04/25.87	c vivif2 --  cl tried    19912 cl shrink        0 lits rem          0 time: 0.01
103.04/25.89	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.04
103.04/25.89	c calculated reachability. Time: 0.00
103.04/25.89	c  N st    40    238282       349      1671         0     19912      5768    280383   no data   no data  --
129.01/32.32	c  F st    41    306251       349      1671         0     22156      5768    299042   no data   no data  --
129.01/32.32	c  N st    41    306251       349      1671         0     22156      5768    299042   no data   no data  --
130.60/32.74	c Decided on static restart strategy
139.39/34.97	c  N st    51    334553       349      1671         0     26115      5768    380435   no data   no data  --
147.78/37.08	c  N st    53    357423       349      1671         0     24099      5768    322848   no data   no data  --
147.78/37.08	c  S st    53    357423       349      1671         0     24099      5768    322848   no data   no data  --
148.18/37.16	c  S st    53    357925       349      1671         0     24586      5768    335692   no data   no data  --
148.18/37.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.18/37.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.18/37.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
148.18/37.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.18/37.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.18/37.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
148.18/37.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
154.57/38.71	c lits-rem:      1584  cl-subs:     1620  v-elim:      0  v-fix:    0  time:  6.13 s
154.57/38.71	c vivif2 --  cl tried     1670 cl shrink        0 lits rem          0 time: 0.00
154.57/38.72	c vivif2 --  cl tried    22967 cl shrink        0 lits rem          0 time: 0.01
154.57/38.73	c asymm  cl-useful: 0/1670/1670 lits-rem:0 time: 0.05
154.57/38.73	c calculated reachability. Time: 0.00
154.57/38.73	c  N st    53    357925       349      1670         0     22967      5763    308150   no data   no data  --
168.15/42.17	c  N st    54    390317       349      1670         0     28709      5763    415307   no data   no data  --
189.73/47.50	c  N st    55    438906       349      1670         0     48682      5763    836602   no data   no data  --
222.89/55.85	c  N st    56    511789       349      1670         0     35818      5763    551195   no data   no data  --
235.67/59.02	c  N st    57    536888       349      1670         0     30511      5763    424134   no data   no data  --
235.67/59.02	c  S st    57    536888       349      1670         0     30511      5763    424134   no data   no data  --
236.07/59.10	c  S st    57    537391       349      1670         0     31005      5763    437231   no data   no data  --
236.07/59.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
236.07/59.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
236.07/59.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
236.07/59.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
236.07/59.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
236.07/59.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
236.07/59.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.65/61.01	c lits-rem:      2580  cl-subs:     2199  v-elim:      0  v-fix:    0  time:  7.55 s
243.65/61.01	c vivif2 --  cl tried     1670 cl shrink        0 lits rem          0 time: 0.00
243.65/61.01	c vivif2 --  cl tried    28806 cl shrink        0 lits rem          0 time: 0.02
243.65/61.03	c asymm  cl-useful: 5/1670/1670 lits-rem:5 time: 0.07
243.65/61.03	c calculated reachability. Time: 0.00
243.65/61.03	c  N st    57    537391       349      1670         0     28806      5758    400186   no data   no data  --
333.15/83.46	c  N st    58    701377       349      1670         0     55892      5758    915103   no data   no data  --
389.48/97.51	c  N st    59    806086       349      1670         0     50637      5758    793487   no data   no data  --
389.48/97.51	c  S st    59    806086       349      1670         0     50637      5758    793487   no data   no data  --
390.28/97.70	c  S st    59    806590       349      1670         0     51125      5758    806109   no data   no data  --
390.28/97.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
390.28/97.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
390.28/97.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
390.28/97.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
390.28/97.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
390.28/97.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
390.28/97.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
413.83/103.61	c lits-rem:       951  cl-subs:     9904  v-elim:      0  v-fix:    0  time: 23.44 s
413.83/103.61	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
413.83/103.62	c vivif2 --  cl tried    41225 cl shrink        0 lits rem          0 time: 0.03
413.83/103.66	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.14
413.83/103.66	c calculated reachability. Time: 0.00
413.83/103.66	c  N st    59    806590       349      1666         0     41225      5740    644943   no data   no data  --
552.07/138.23	c  F st    60   1071876       349      1666         0     56367      5740    872919   no data   no data  --
552.07/138.23	c  N st    60   1071876       349      1666         0     56367      5740    872919   no data   no data  --
554.46/138.80	c Decided on static restart strategy
568.05/142.28	c  N st    70   1100181       349      1666         0     41244      5740    562562   no data   no data  --
584.45/146.40	c  N st    72   1136174       349      1666         0     74140      5740   1281094   no data   no data  --
602.02/150.77	c  N st    73   1168568       349      1666         0     61729      5740    983998   no data   no data  --
625.18/156.58	c  N st    74   1209885       349      1666         0     56301      5740    865658   no data   no data  --
625.18/156.58	c  S st    74   1209885       349      1666         0     56301      5740    865658   no data   no data  --
625.98/156.78	c  S st    74   1210388       349      1666         0     56790      5740    877981   no data   no data  --
625.98/156.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
625.98/156.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
626.38/156.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
626.38/156.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
626.38/156.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
626.38/156.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
626.38/156.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
648.34/162.39	c lits-rem:      1724  cl-subs:     8297  v-elim:      0  v-fix:    0  time: 22.21 s
648.34/162.39	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
648.75/162.40	c vivif2 --  cl tried    48493 cl shrink        0 lits rem          0 time: 0.04
648.75/162.44	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.14
648.75/162.44	c calculated reachability. Time: 0.00
648.75/162.44	c  N st    74   1210388       349      1666         0     48493      5740    730714   no data   no data  --
691.08/173.09	c  N st    75   1283272       349      1666         0     71688      5740   1198646   no data   no data  --
767.79/192.23	c  N st    76   1392595       349      1666         0     80601      5740   1327304   no data   no data  --
878.45/219.93	c  N st    77   1556580       349      1666         0     87892      5740   1447063   no data   no data  --
977.92/244.84	c  N st    78   1710388       349      1666         0     78096      5740   1240371   no data   no data  --
977.92/244.84	c  S st    78   1710388       349      1666         0     78096      5740   1240371   no data   no data  --
978.72/245.08	c  S st    78   1710890       349      1666         0     78588      5740   1253870   no data   no data  --
978.72/245.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
978.72/245.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
979.12/245.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
979.12/245.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
979.12/245.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
979.12/245.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
979.12/245.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1049.83/262.89	c lits-rem:       595  cl-subs:    20002  v-elim:      0  v-fix:    0  time: 70.86 s
1049.83/262.89	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
1050.24/262.90	c vivif2 --  cl tried    58586 cl shrink        0 lits rem          0 time: 0.04
1050.24/262.95	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.20
1050.24/262.96	c calculated reachability. Time: 0.00
1050.24/262.96	c  N st    78   1710890       349      1666         0     58586      5740    910108   no data   no data  --
1318.29/330.01	c  N st    79   2079854       349      1666         0     70772      5740   1065319   no data   no data  --
1406.96/352.23	c  N st    80   2210892       349      1666         0     75446      5740   1147915   no data   no data  --
1406.96/352.23	c  S st    80   2210892       349      1666         0     75446      5740   1147915   no data   no data  --
1408.16/352.50	c  S st    80   2211399       349      1666         0     75944      5740   1161361   no data   no data  --
1408.16/352.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1408.16/352.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1408.16/352.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
1408.16/352.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1408.16/352.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1408.16/352.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
1408.16/352.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1461.29/365.81	c lits-rem:      3638  cl-subs:    15013  v-elim:      0  v-fix:    0  time: 52.89 s
1461.29/365.81	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
1461.29/365.82	c vivif2 --  cl tried    60931 cl shrink        0 lits rem          0 time: 0.04
1461.29/365.88	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.20
1461.29/365.88	c calculated reachability. Time: 0.00
1461.29/365.88	c  N st    80   2211399       349      1666         0     60931      5740    907877   no data   no data  --
1865.96/467.19	c  N st    81   2711399       349      1666         0     83561      5740   1270574   no data   no data  --
1865.96/467.19	c  S st    81   2711399       349      1666         0     83561      5740   1270574   no data   no data  --
1867.58/467.53	c  S st    81   2711904       349      1666         0     84059      5740   1283937   no data   no data  --
1867.58/467.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1867.58/467.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1867.58/467.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
1867.58/467.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1867.58/467.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1867.58/467.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
1867.58/467.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1925.10/481.95	c lits-rem:      2022  cl-subs:    12309  v-elim:      0  v-fix:    0  time: 57.31 s
1925.10/481.95	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
1925.10/481.96	c vivif2 --  cl tried    71750 cl shrink        0 lits rem          0 time: 0.05
1925.48/482.03	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.27
1925.48/482.03	c calculated reachability. Time: 0.00
1925.48/482.03	c  N st    81   2711904       349      1666         0     71750      5740   1083687   no data   no data  --
2333.37/584.17	c  N st    82   3211905       349      1666         0    122691      5740   2033653   no data   no data  --
2333.37/584.17	c  S st    82   3211905       349      1666         0    122691      5740   2033653   no data   no data  --
2335.74/584.72	c  S st    82   3212408       349      1666         0    123184      5740   2047417   no data   no data  --
2335.74/584.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2335.74/584.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2335.74/584.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2336.14/584.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2336.14/584.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2336.14/584.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
2336.14/584.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2702.88/676.67	c lits-rem:       966  cl-subs:    35876  v-elim:      0  v-fix:    0  time: 366.68 s
2702.88/676.67	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
2702.88/676.69	c vivif2 --  cl tried    87308 cl shrink        0 lits rem          0 time: 0.08
2703.65/676.83	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.56
2703.65/676.83	c calculated reachability. Time: 0.00
2703.65/676.83	c  N st    82   3212408       349      1666         0     87308      5740   1460925   no data   no data  --
3185.83/797.51	c  N st    83   3712409       349      1666         0    101961      5740   1555137   no data   no data  --
3185.83/797.51	c  S st    83   3712409       349      1666         0    101961      5740   1555137   no data   no data  --
3187.41/797.90	c  S st    83   3712909       349      1666         0    102447      5740   1567778   no data   no data  --
3187.41/797.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3187.41/797.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3187.41/797.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
3187.41/797.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3187.41/797.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3187.41/797.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
3187.41/797.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3308.05/828.14	c lits-rem:      2893  cl-subs:    22552  v-elim:      0  v-fix:    0  time: 120.41 s
3308.05/828.14	c vivif2 --  cl tried     1666 cl shrink        0 lits rem          0 time: 0.00
3308.05/828.16	c vivif2 --  cl tried    79895 cl shrink        0 lits rem          0 time: 0.06
3308.45/828.24	c asymm  cl-useful: 0/1666/1666 lits-rem:0 time: 0.32
3308.45/828.24	c calculated reachability. Time: 0.00
3308.45/828.24	c  N st    83   3712909       349      1666         0     79895      5740   1193735   no data   no data  --
3336.81/835.39	c  F st    84   3751562       349      1666         0    114772      5740   1921085   no data   no data  --
3336.81/835.40	c  N st    84   3751562       349      1666         0    114772      5740   1921085   no data   no data  --
3341.60/836.54	c Decided on static restart strategy
3362.77/841.87	c  N st    94   3779866       349      1666         0    140423      5740   2493852   no data   no data  --
3394.73/849.82	c  N st    96   3815862       349      1666         0     99038      5740   1557367   no data   no data  --
3422.70/856.89	c  N st    97   3848254       349      1666         0    128446      5740   2191263   no data   no data  --
3469.43/868.55	c  N st    98   3896843       349      1666         0     96755      5740   1467141   no data   no data  --
3556.91/890.48	c  N st    99   3969725       349      1666         0     85338      5740   1233661   no data   no data  --
3665.19/917.57	c  N st   100   4079048       349      1666         0    106251      5740   1623478   no data   no data  --
3787.00/948.07	c  N st   101   4212911       349      1666         0    148127      5740   2465517   no data   no data  --
3787.00/948.07	c  S st   101   4212911       349      1666         0    148127      5740   2465517   no data   no data  --
3789.80/948.76	c  S st   101   4213417       349      1666         0    148615      5740   2478771   no data   no data  --
3789.80/948.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3789.80/948.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3790.20/948.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.27
3790.60/948.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3790.60/948.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3790.60/948.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
3790.60/948.92	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-3264841-1304180138/watcher-3264841-1304180138 -o /tmp/evaluation-result-3264841-1304180138/solver-3264841-1304180138 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3264841-1304180138.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 5.87 7.21 7.71 5/180 28317
/proc/meminfo: memFree=18695332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 529616391 52465664 356 33554432000 4194304 4650419 140734352860496 18446744073709551615 216634515387 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 12809 356 306 112 0 7774 0
[pid=28317/tid=28318] ppid=28315 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529616392 52465664 356 33554432000 4194304 4650419 140734352860496 18446744073709551615 47673260406706 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529616392 52465664 356 33554432000 4194304 4650419 140734352860496 18446744073709551615 47673260406706 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529616392 52465664 356 33554432000 4194304 4650419 140734352860496 18446744073709551615 216629562454 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.106878 s]
/proc/loadavg: 5.87 7.21 7.71 5/180 28317
/proc/meminfo: memFree=18695332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=282892 CPUtime=0.4 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 1877 0 0 0 40 0 0 0 25 0 4 0 529616391 289681408 1615 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 70723 1615 391 112 0 65688 0
[pid=28317/tid=28318] ppid=28315 vsize=282892 CPUtime=0.1 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 393 0 0 0 10 0 0 0 25 0 4 0 529616392 289681408 1615 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=282892 CPUtime=0.1 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 349 0 0 0 10 0 0 0 25 0 4 0 529616392 289681408 1615 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=282892 CPUtime=0.1 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 341 0 0 0 10 0 0 0 25 0 4 0 529616392 289681408 1615 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282892

[startup+0.200811 s]
/proc/loadavg: 5.87 7.21 7.71 5/180 28317
/proc/meminfo: memFree=18695332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=283424 CPUtime=0.78 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 2363 0 0 0 78 0 0 0 25 0 4 0 529616391 290226176 1712 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 70856 1712 391 112 0 65821 0
[pid=28317/tid=28318] ppid=28315 vsize=283424 CPUtime=0.19 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 514 0 0 0 19 0 0 0 25 0 4 0 529616392 290226176 1712 33554432000 4194304 4650419 140734352860496 18446744073709551615 4329363 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=283424 CPUtime=0.19 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 486 0 0 0 19 0 0 0 25 0 4 0 529616392 290226176 1712 33554432000 4194304 4650419 140734352860496 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=283424 CPUtime=0.19 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 420 0 0 0 19 0 0 0 25 0 4 0 529616392 290226176 1712 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283424

[startup+0.300793 s]
/proc/loadavg: 5.87 7.21 7.71 5/180 28317
/proc/meminfo: memFree=18695332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=283424 CPUtime=1.18 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 2659 0 0 0 118 0 0 0 25 0 4 0 529616391 290226176 2008 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 70856 2008 391 112 0 65821 0
[pid=28317/tid=28318] ppid=28315 vsize=283424 CPUtime=0.29 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 568 0 0 0 29 0 0 0 25 0 4 0 529616392 290226176 2008 33554432000 4194304 4650419 140734352860496 18446744073709551615 4328264 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=283424 CPUtime=0.29 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 558 0 0 0 29 0 0 0 25 0 4 0 529616392 290226176 2008 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=283424 CPUtime=0.29 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 517 0 0 0 29 0 0 0 25 0 4 0 529616392 290226176 2008 33554432000 4194304 4650419 140734352860496 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283424

[startup+0.700723 s]
/proc/loadavg: 5.87 7.21 7.71 5/180 28317
/proc/meminfo: memFree=18695332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=284300 CPUtime=2.78 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 4100 0 0 0 278 0 0 0 25 0 4 0 529616391 291123200 2415 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 71075 2415 391 112 0 66040 0
[pid=28317/tid=28318] ppid=28315 vsize=284300 CPUtime=0.69 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 882 0 0 0 69 0 0 0 25 0 4 0 529616392 291123200 2415 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=284300 CPUtime=0.69 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 898 0 0 0 69 0 0 0 25 0 4 0 529616392 291123200 2415 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=284300 CPUtime=0.69 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 984 0 0 0 69 0 0 0 25 0 4 0 529616392 291123200 2415 33554432000 4194304 4650419 140734352860496 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284300

[startup+1.50058 s]
/proc/loadavg: 6.04 7.22 7.71 9/184 28321
/proc/meminfo: memFree=18682280/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=285352 CPUtime=5.96 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 6591 0 0 0 596 0 0 0 25 0 4 0 529616391 292200448 3011 33554432000 4194304 4650419 140734352860496 18446744073709551615 4363556 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 71338 3011 392 112 0 66303 0
[pid=28317/tid=28318] ppid=28315 vsize=285352 CPUtime=1.49 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 1524 0 0 0 149 0 0 0 25 0 4 0 529616392 292200448 3011 33554432000 4194304 4650419 140734352860496 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=285352 CPUtime=1.48 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 1537 0 0 0 148 0 0 0 25 0 4 0 529616392 292200448 3011 33554432000 4194304 4650419 140734352860496 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=285352 CPUtime=1.48 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 1534 0 0 0 148 0 0 0 25 0 4 0 529616392 292200448 3011 33554432000 4194304 4650419 140734352860496 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285352

[startup+3.10031 s]
/proc/loadavg: 6.04 7.22 7.71 9/184 28322
/proc/meminfo: memFree=18668692/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=289592 CPUtime=12.37 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 15023 0 0 0 1235 2 0 0 25 0 4 0 529616391 296542208 9283 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 72398 9283 395 112 0 67363 0
[pid=28317/tid=28318] ppid=28315 vsize=289592 CPUtime=3.09 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 3195 0 0 0 309 0 0 0 25 0 4 0 529616392 296542208 9283 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=289592 CPUtime=3.08 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 3609 0 0 0 308 0 0 0 25 0 4 0 529616392 296542208 9284 33554432000 4194304 4650419 140734352860496 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=289592 CPUtime=3.08 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 3755 0 0 0 308 0 0 0 25 0 4 0 529616392 296542208 9284 33554432000 4194304 4650419 140734352860496 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 289592

[startup+6.30074 s]
/proc/loadavg: 6.04 7.22 7.71 9/184 28322
/proc/meminfo: memFree=18636476/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=295248 CPUtime=25.15 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 20841 0 0 0 2512 3 0 0 25 0 4 0 529616391 302333952 11450 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 73812 11450 395 112 0 68777 0
[pid=28317/tid=28318] ppid=28315 vsize=295248 CPUtime=6.29 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 5005 0 0 0 629 0 0 0 25 0 4 0 529616392 302333952 11450 33554432000 4194304 4650419 140734352860496 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=295248 CPUtime=6.26 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 5052 0 0 0 626 0 0 0 25 0 4 0 529616392 302333952 11451 33554432000 4194304 4650419 140734352860496 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=295248 CPUtime=6.28 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 5078 0 0 0 628 0 0 0 25 0 4 0 529616392 302333952 11451 33554432000 4194304 4650419 140734352860496 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 295248

[startup+12.7006 s]
/proc/loadavg: 6.34 7.25 7.72 9/184 28322
/proc/meminfo: memFree=18614020/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=298196 CPUtime=50.71 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 31228 0 0 0 5066 5 0 0 25 0 4 0 529616391 305352704 14289 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 74549 14289 395 112 0 69514 0
[pid=28317/tid=28318] ppid=28315 vsize=298196 CPUtime=12.69 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 7529 0 0 0 1268 1 0 0 25 0 4 0 529616392 305352704 14289 33554432000 4194304 4650419 140734352860496 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=298196 CPUtime=12.62 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 7901 0 0 0 1261 1 0 0 25 0 4 0 529616392 305352704 14289 33554432000 4194304 4650419 140734352860496 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=298196 CPUtime=12.69 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 7992 0 0 0 1268 1 0 0 25 0 4 0 529616392 305352704 14289 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298196

[startup+25.5004 s]
/proc/loadavg: 6.59 7.27 7.72 9/184 28322
/proc/meminfo: memFree=18580780/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=300776 CPUtime=101.84 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 47992 0 0 0 10175 9 0 0 25 0 4 0 529616391 307994624 18705 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476356 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 75194 18705 395 112 0 70159 0
[pid=28317/tid=28318] ppid=28315 vsize=300776 CPUtime=25.49 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 11043 0 0 0 2547 2 0 0 25 0 4 0 529616392 307994624 18705 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=300776 CPUtime=25.34 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 13479 0 0 0 2532 2 0 0 25 0 4 0 529616392 307994624 18705 33554432000 4194304 4650419 140734352860496 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=300776 CPUtime=25.48 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 10810 0 0 0 2547 1 0 0 25 0 4 0 529616392 307994624 18705 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 300776

[startup+51.1009 s]
/proc/loadavg: 7.07 7.33 7.73 9/184 28323
/proc/meminfo: memFree=18526428/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=321956 CPUtime=204.11 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 74212 0 0 0 20397 14 0 0 25 0 4 0 529616391 329682944 25810 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 80489 25810 395 112 0 75454 0
[pid=28317/tid=28318] ppid=28315 vsize=321956 CPUtime=51.09 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 15557 0 0 0 5107 2 0 0 25 0 4 0 529616392 329682944 25810 33554432000 4194304 4650419 140734352860496 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=321956 CPUtime=50.82 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 22702 0 0 0 5078 4 0 0 25 0 4 0 529616392 329682944 25810 33554432000 4194304 4650419 140734352860496 18446744073709551615 4333639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=321956 CPUtime=51.09 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 14409 0 0 0 5107 2 0 0 25 0 4 0 529616392 329682944 25810 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 321956

[startup+102.301 s]
/proc/loadavg: 7.68 7.46 7.74 9/184 28324
/proc/meminfo: memFree=18446424/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=336296 CPUtime=408.66 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 115333 0 0 0 40842 24 0 0 25 0 4 0 529616391 344367104 36159 33554432000 4194304 4650419 140734352860496 18446744073709551615 4438449 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 84074 36159 395 112 0 79039 0
[pid=28317/tid=28318] ppid=28315 vsize=336296 CPUtime=102.29 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 18952 0 0 0 10226 3 0 0 25 0 4 0 529616392 344367104 36159 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=336296 CPUtime=101.76 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 38645 0 0 0 10168 8 0 0 25 0 4 0 529616392 344367104 36159 33554432000 4194304 4650419 140734352860496 18446744073709551615 4432399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=336296 CPUtime=102.3 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 21909 0 0 0 10226 4 0 0 25 0 4 0 529616392 344367104 36159 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 336296

[startup+162.3 s]

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

[pid=28317] ppid=28315 vsize=566004 CPUtime=2805.51 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 348822 0 0 0 280442 109 0 0 25 0 4 0 529616391 579588096 84749 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 141501 84749 395 112 0 136466 0
[pid=28317/tid=28318] ppid=28315 vsize=566004 CPUtime=702.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 32120 0 0 0 70223 8 0 0 25 0 4 0 529616392 579588096 84749 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=566004 CPUtime=698.57 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 127863 0 0 0 69817 40 0 0 25 0 4 0 529616392 579588096 84749 33554432000 4194304 4650419 140734352860496 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=566004 CPUtime=702.3 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 63309 0 0 0 70209 21 0 0 25 0 4 0 529616392 579588096 84749 33554432000 4194304 4650419 140734352860496 18446744073709551615 4334352 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.51
Current children cumulated vsize (KiB) 566004

[startup+762.301 s]
/proc/loadavg: 8.19 8.04 7.91 9/184 28462
/proc/meminfo: memFree=18217152/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=620264 CPUtime=3045.21 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 358524 0 0 0 304406 115 0 0 25 0 4 0 529616391 635150336 84649 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 155066 84649 395 112 0 150031 0
[pid=28317/tid=28318] ppid=28315 vsize=620264 CPUtime=762.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 33745 0 0 0 76222 9 0 0 25 0 4 0 529616392 635150336 84649 33554432000 4194304 4650419 140734352860496 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=620264 CPUtime=758.25 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 127929 0 0 0 75785 40 0 0 25 0 4 0 529616392 635150336 84649 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=620264 CPUtime=762.31 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 64903 0 0 0 76210 21 0 0 25 0 4 0 529616392 635150336 84649 33554432000 4194304 4650419 140734352860496 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.21
Current children cumulated vsize (KiB) 620264

[startup+822.3 s]
/proc/loadavg: 8.14 8.05 7.92 9/184 28463
/proc/meminfo: memFree=18190852/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=580260 CPUtime=3284.88 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 377242 0 0 0 328364 124 0 0 25 0 4 0 529616391 594186240 85604 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 145065 85604 395 112 0 140030 0
[pid=28317/tid=28318] ppid=28315 vsize=580260 CPUtime=822.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 33833 0 0 0 82222 9 0 0 25 0 4 0 529616392 594186240 85604 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=580260 CPUtime=817.94 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 137664 0 0 0 81749 45 0 0 25 0 4 0 529616392 594186240 85604 33554432000 4194304 4650419 140734352860496 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=580260 CPUtime=822.3 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 67494 0 0 0 82207 23 0 0 25 0 4 0 529616392 594186240 85604 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.88
Current children cumulated vsize (KiB) 580260

[startup+882.307 s]
/proc/loadavg: 8.12 8.05 7.92 9/184 28465
/proc/meminfo: memFree=18158580/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=566476 CPUtime=3524.57 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 399183 0 0 0 352326 131 0 0 25 0 4 0 529616391 580071424 87788 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 141619 87788 395 112 0 136584 0
[pid=28317/tid=28318] ppid=28315 vsize=566476 CPUtime=882.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 33852 0 0 0 88222 9 0 0 25 0 4 0 529616392 580071424 87788 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=566476 CPUtime=877.61 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 148661 0 0 0 87712 49 0 0 25 0 4 0 529616392 580071424 87788 33554432000 4194304 4650419 140734352860496 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=566476 CPUtime=882.31 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 69905 0 0 0 88207 24 0 0 25 0 4 0 529616392 580071424 87788 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.57
Current children cumulated vsize (KiB) 566476

[startup+942.301 s]
/proc/loadavg: 8.10 8.06 7.93 9/184 28467
/proc/meminfo: memFree=18131416/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=582156 CPUtime=3764.24 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 417430 0 0 0 376285 139 0 0 25 0 4 0 529616391 596127744 87882 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 145539 87882 395 112 0 140504 0
[pid=28317/tid=28318] ppid=28315 vsize=582156 CPUtime=942.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 34068 0 0 0 94222 9 0 0 25 0 4 0 529616392 596127744 87882 33554432000 4194304 4650419 140734352860496 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=582156 CPUtime=937.28 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 157177 0 0 0 93676 52 0 0 25 0 4 0 529616392 596127744 87882 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=582156 CPUtime=942.3 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 73423 0 0 0 94205 25 0 0 25 0 4 0 529616392 596127744 87882 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.24
Current children cumulated vsize (KiB) 582156

[startup+1002.3 s]
/proc/loadavg: 8.04 8.04 7.93 9/184 28468
/proc/meminfo: memFree=18112412/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=582536 CPUtime=4003.91 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 432114 0 0 0 400245 146 0 0 25 0 4 0 529616391 596516864 90569 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 145634 90569 395 112 0 140599 0
[pid=28317/tid=28318] ppid=28315 vsize=582536 CPUtime=1002.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 34140 0 0 0 100222 9 0 0 25 0 4 0 529616392 596516864 90569 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=582536 CPUtime=996.95 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 165451 0 0 0 99638 57 0 0 25 0 4 0 529616392 596516864 90569 33554432000 4194304 4650419 140734352860496 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=582536 CPUtime=1002.3 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 75081 0 0 0 100204 26 0 0 25 0 4 0 529616392 596516864 90569 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.91
Current children cumulated vsize (KiB) 582536

[startup+1062.3 s]
/proc/loadavg: 8.01 8.03 7.93 9/184 28470
/proc/meminfo: memFree=18049404/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=586556 CPUtime=4243.6 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 442753 0 0 0 424210 150 0 0 25 0 4 0 529616391 600633344 96371 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 146639 96371 395 112 0 141604 0
[pid=28317/tid=28318] ppid=28315 vsize=586556 CPUtime=1062.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 34832 0 0 0 106222 9 0 0 25 0 4 0 529616392 600633344 96371 33554432000 4194304 4650419 140734352860496 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=586556 CPUtime=1056.63 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 171354 0 0 0 105604 59 0 0 25 0 4 0 529616392 600633344 96371 33554432000 4194304 4650419 140734352860496 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=586556 CPUtime=1062.31 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 77890 0 0 0 106203 28 0 0 25 0 4 0 529616392 600633344 96371 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.6
Current children cumulated vsize (KiB) 586556

[startup+1122.3 s]
/proc/loadavg: 8.00 8.03 7.93 9/184 28471
/proc/meminfo: memFree=18004256/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=586556 CPUtime=4483.27 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 449984 0 0 0 448175 152 0 0 25 0 4 0 529616391 600633344 97475 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 146639 97475 395 112 0 141604 0
[pid=28317/tid=28318] ppid=28315 vsize=586556 CPUtime=1122.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 34832 0 0 0 112222 9 0 0 25 0 4 0 529616392 600633344 97475 33554432000 4194304 4650419 140734352860496 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=586556 CPUtime=1116.3 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 171968 0 0 0 111571 59 0 0 25 0 4 0 529616392 600633344 97475 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=586556 CPUtime=1122.31 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 78519 0 0 0 112203 28 0 0 25 0 4 0 529616392 600633344 97475 33554432000 4194304 4650419 140734352860496 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.27
Current children cumulated vsize (KiB) 586556

[startup+1182.3 s]
/proc/loadavg: 8.00 8.02 7.93 9/184 28473
/proc/meminfo: memFree=17996048/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=590156 CPUtime=4722.96 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 461141 0 0 0 472140 156 0 0 25 0 4 0 529616391 604319744 94733 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 147539 94733 395 112 0 142504 0
[pid=28317/tid=28318] ppid=28315 vsize=590156 CPUtime=1182.31 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 35214 0 0 0 118222 9 0 0 25 0 4 0 529616392 604319744 94733 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=590156 CPUtime=1175.98 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 174099 0 0 0 117538 60 0 0 25 0 4 0 529616392 604319744 94733 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=590156 CPUtime=1182.31 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 79498 0 0 0 118202 29 0 0 25 0 4 0 529616392 604319744 94733 33554432000 4194304 4650419 140734352860496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.96
Current children cumulated vsize (KiB) 590156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.00 8.02 7.93 9/184 28474
/proc/meminfo: memFree=17987724/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=590156 CPUtime=4800.06 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 466344 0 0 0 479850 156 0 0 25 0 4 0 529616391 604319744 94578 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 147539 94578 395 112 0 142504 0
[pid=28317/tid=28318] ppid=28315 vsize=590156 CPUtime=1201.62 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 35214 0 0 0 120153 9 0 0 25 0 4 0 529616392 604319744 94578 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=590156 CPUtime=1195.17 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 175526 0 0 0 119457 60 0 0 25 0 4 0 529616392 604319744 94578 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=590156 CPUtime=1201.61 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 79498 0 0 0 120132 29 0 0 25 0 4 0 529616392 604319744 94578 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 590156

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

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

[startup+1201.6 s]
/proc/loadavg: 8.00 8.02 7.93 9/184 28474
/proc/meminfo: memFree=17987724/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=590156 CPUtime=4800.06 cores=1,3,5,7
/proc/28317/stat : 28317 (strangenight1-m) R 28315 28317 27699 0 -1 4202496 466344 0 0 0 479850 156 0 0 25 0 4 0 529616391 604319744 94578 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28317/statm: 147539 94578 395 112 0 142504 0
[pid=28317/tid=28318] ppid=28315 vsize=590156 CPUtime=1201.62 cores=1,3,5,7
/proc/28317/task/28318/stat : 28318 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 35214 0 0 0 120153 9 0 0 25 0 4 0 529616392 604319744 94578 33554432000 4194304 4650419 140734352860496 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28317/tid=28319] ppid=28315 vsize=590156 CPUtime=1195.17 cores=1,3,5,7
/proc/28317/task/28319/stat : 28319 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 175526 0 0 0 119457 60 0 0 25 0 4 0 529616392 604319744 94578 33554432000 4194304 4650419 140734352860496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28317/tid=28320] ppid=28315 vsize=590156 CPUtime=1201.61 cores=1,3,5,7
/proc/28317/task/28320/stat : 28320 (strangenight1-m) R 28315 28317 27699 0 -1 4202560 79498 0 0 0 120132 29 0 0 25 0 4 0 529616392 604319744 94578 33554432000 4194304 4650419 140734352860496 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 590156

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.11
CPU user time (s): 4798.52
CPU system time (s): 1.58676
CPU usage (%): 399.466
Max. virtual memory (cumulated for all children) (KiB): 635500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.52
system time used= 1.58676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466344
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= 189
involuntary context switches= 30517

runsolver used 1.9577 second user time and 4.47932 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-30 18:15:38
IDJOB=3264841
IDBENCH=85355
IDSOLVER=1588
FILE ID=node103/3264841-1304180138
RUNJOBID= node103-1304180100-28234
PBS_JOBID= 13172417
Free space on /tmp= 72600 MiB

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

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

MD5SUM BENCH= 22bc1843113c53c5f8a8f8cec42dcbe5
RANDOM SEED=471845197

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18695612 kB
Buffers:       2152624 kB
Cached:       11406584 kB
SwapCached:          0 kB
Active:        5737624 kB
Inactive:      7932404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18695612 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12896 kB
Writeback:           0 kB
AnonPages:      109828 kB
Mapped:          15516 kB
Slab:           521752 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   322256 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= 72592 MiB
End job on node103 at 2011-04-30 18:35:41