Trace number 3175154

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf
MD5SUM7d7bac8ccb8010e4eec020bc5c53d758
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.017996
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175154-1304092854.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.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:    400 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:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 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:     178 undec:      53 neg:     169
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       389      1695         0         0      5136         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.41/0.14	c  N st     8      4915       389      1695         0      4773      5136     93305   no data   no data  --
1.18/0.36	c  N st    10     11297       389      1695         0      4415      5136     63239   no data   no data  --
2.38/0.60	c  N st    11     17040       389      1695         0      9991      5136    170988   no data   no data  --
3.58/0.96	c  F st    12     25000       389      1695         0     12239      5136    219919   no data   no data  --
3.58/0.96	c  N st    12     25000       389      1695         0     12239      5136    219919   no data   no data  --
4.39/1.20	c Decided on static restart strategy
4.39/1.20	c  N st    18     30000       389      1695         0     10571      5136    169955   no data   no data  --
4.39/1.20	c  S st    18     30000       389      1695         0     10571      5136    169955   no data   no data  --
4.79/1.23	c  S st    18     30500       389      1695         0     11070      5136    179211   no data   no data  --
4.79/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.79/1.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.79/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.79/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4.79/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.40	c lits-rem:       235  cl-subs:      832  v-elim:      0  v-fix:    0  time:  0.65 s
5.57/1.41	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.03
5.57/1.41	c calculated reachability. Time: 0.00
5.57/1.41	c  N st    18     30500       389      1695         0     10238      5136    162814   no data   no data  --
6.77/1.79	c  N st    20     37611       389      1695         0      9504      5136    132563   no data   no data  --
8.36/2.15	c  N st    21     44010       389      1695         0     15739      5136    255003   no data   no data  --
8.78/2.28	c  S st    22     45752       389      1695         0     17443      5136    288197   no data   no data  --
9.19/2.32	c  S st    22     46255       389      1695         0      9246      5136    115632   no data   no data  --
9.19/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.19/2.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
9.19/2.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.38	c lits-rem:        39  cl-subs:      124  v-elim:      0  v-fix:    0  time:  0.24 s
9.19/2.38	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c vivif2 --  cl tried     9122 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.03
9.19/2.39	c calculated reachability. Time: 0.00
9.19/2.39	c  N st    22     46255       389      1695         0      9122      5136    113558   no data   no data  --
12.76/3.22	c  N st    23     60652       389      1695         0     13417      5136    194327   no data   no data  --
15.15/3.86	c  N st    24     69382       389      1695         0     11225      5136    138113   no data   no data  --
15.15/3.86	c  S st    24     69382       389      1695         0     11225      5136    138113   no data   no data  --
15.15/3.89	c  S st    24     69885       389      1695         0     11725      5136    148200   no data   no data  --
15.15/3.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.55/3.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
15.55/3.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.95/4.03	c lits-rem:        75  cl-subs:      206  v-elim:      0  v-fix:    0  time:  0.51 s
15.95/4.03	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
15.95/4.03	c vivif2 --  cl tried    11519 cl shrink        0 lits rem          0 time: 0.00
15.95/4.04	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.04
15.95/4.04	c calculated reachability. Time: 0.00
15.95/4.04	c  N st    24     69885       389      1695         0     11519      5136    144024   no data   no data  --
21.15/5.30	c  F st    25     87500       389      1695         0     16901      5136    245133   no data   no data  --
21.15/5.30	c  N st    25     87500       389      1695         0     16901      5136    245133   no data   no data  --
22.75/5.70	c Decided on static restart strategy
23.55/5.93	c  N st    32     95544       389      1695         0     24753      5136    404856   no data   no data  --
25.95/6.53	c  N st    34    104827       389      1695         0     21187      5136    320332   no data   no data  --
25.95/6.53	c  S st    34    104827       389      1695         0     21187      5136    320332   no data   no data  --
25.95/6.59	c  S st    34    105330       389      1695         0     21689      5136    330844   no data   no data  --
25.95/6.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.95/6.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.36/6.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
26.36/6.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.74/7.29	c lits-rem:       308  cl-subs:     1332  v-elim:      0  v-fix:    0  time:  2.76 s
28.74/7.29	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
29.14/7.30	c vivif2 --  cl tried    20357 cl shrink        0 lits rem          0 time: 0.01
29.14/7.31	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.06
29.14/7.31	c calculated reachability. Time: 0.00
29.14/7.31	c  N st    34    105330       389      1695         0     20357      5136    303318   no data   no data  --
32.33/8.13	c  N st    35    114931       389      1695         0     16111      5136    202283   no data   no data  --
37.52/9.43	c  N st    36    129330       389      1695         0     15529      5136    175846   no data   no data  --
44.71/11.20	c  N st    37    150925       389      1695         0     21014      5136    277351   no data   no data  --
46.71/11.79	c  S st    38    157995       389      1695         0     27907      5136    422549   no data   no data  --
47.11/11.86	c  S st    38    158496       389      1695         0     28405      5136    432435   no data   no data  --
47.11/11.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.11/11.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.11/11.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
47.11/11.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.11/11.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
47.11/11.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
52.30/13.14	c lits-rem:       318  cl-subs:     1291  v-elim:      0  v-fix:    0  time:  5.03 s
52.30/13.14	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
52.30/13.14	c vivif2 --  cl tried    27114 cl shrink        0 lits rem          0 time: 0.02
52.30/13.16	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.08
52.30/13.16	c calculated reachability. Time: 0.00
52.30/13.16	c  N st    38    158496       389      1695         0     27114      5136    406279   no data   no data  --
71.08/17.89	c  N st    39    207085       389      1695         0     21683      5136    261411   no data   no data  --
83.07/20.88	c  N st    40    237745       389      1695         0     31923      5136    454761   no data   no data  --
83.07/20.88	c  S st    40    237745       389      1695         0     31923      5136    454761   no data   no data  --
83.49/20.96	c  S st    40    238246       389      1695         0     32420      5136    464618   no data   no data  --
83.49/20.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.49/20.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.49/20.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
83.49/20.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.49/20.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.49/20.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
83.49/20.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.26/22.60	c lits-rem:       467  cl-subs:     3143  v-elim:      0  v-fix:    0  time:  6.45 s
90.26/22.60	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
90.26/22.61	c vivif2 --  cl tried    29277 cl shrink        0 lits rem          0 time: 0.02
90.26/22.63	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.08
90.26/22.63	c calculated reachability. Time: 0.00
90.26/22.63	c  N st    40    238246       389      1695         0     29277      5136    404593   no data   no data  --
120.21/30.15	c  F st    41    306252       389      1695         0     31359      5136    407025   no data   no data  --
120.21/30.15	c  N st    41    306252       389      1695         0     31359      5136    407025   no data   no data  --
123.03/30.80	c Decided on static restart strategy
133.80/33.54	c  N st    51    334560       389      1695         0     35600      5136    472475   no data   no data  --
143.79/36.07	c  N st    53    357371       389      1695         0     33464      5136    414838   no data   no data  --
143.79/36.07	c  S st    53    357371       389      1695         0     33464      5136    414838   no data   no data  --
144.19/36.16	c  S st    53    357871       389      1695         0     33963      5136    424838   no data   no data  --
144.19/36.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.19/36.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.19/36.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
144.19/36.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.19/36.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.19/36.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
144.19/36.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
149.81/37.50	c lits-rem:       460  cl-subs:     1824  v-elim:      0  v-fix:    0  time:  5.28 s
149.81/37.50	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
149.81/37.51	c vivif2 --  cl tried    32139 cl shrink        0 lits rem          0 time: 0.02
149.81/37.54	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.10
149.81/37.54	c calculated reachability. Time: 0.00
149.81/37.54	c  N st    53    357871       389      1695         0     32139      5136    392835   no data   no data  --
166.16/41.67	c  N st    54    390265       389      1695         0     38324      5136    501761   no data   no data  --
192.53/48.28	c  N st    55    438854       389      1695         0     32179      5136    354539   no data   no data  --
232.49/58.20	c  N st    56    511738       389      1695         0     45462      5136    596559   no data   no data  --
246.08/61.60	c  N st    57    536806       389      1695         0     39855      5136    490818   no data   no data  --
246.08/61.60	c  S st    57    536806       389      1695         0     39855      5136    490818   no data   no data  --
246.48/61.71	c  S st    57    537312       389      1695         0     40358      5136    500937   no data   no data  --
246.48/61.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
246.48/61.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
246.48/61.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
246.48/61.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
246.48/61.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.48/61.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
246.48/61.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.86/63.30	c lits-rem:       620  cl-subs:     1606  v-elim:      0  v-fix:    0  time:  6.24 s
252.86/63.30	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
252.86/63.31	c vivif2 --  cl tried    38752 cl shrink        0 lits rem          0 time: 0.02
252.86/63.34	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.13
252.86/63.34	c calculated reachability. Time: 0.00
252.86/63.34	c  N st    57    537312       389      1695         0     38752      5136    469753   no data   no data  --
361.92/90.69	c  N st    58    701296       389      1695         0     67467      5136   1013852   no data   no data  --
437.42/109.51	c  N st    59    805970       389      1695         0     61553      5136    840331   no data   no data  --
437.42/109.51	c  S st    59    805970       389      1695         0     61553      5136    840331   no data   no data  --
438.22/109.71	c  S st    59    806475       389      1695         0     62055      5136    850428   no data   no data  --
438.22/109.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
438.22/109.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
438.22/109.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
438.22/109.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
438.22/109.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
438.22/109.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
438.22/109.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
451.00/112.96	c lits-rem:       931  cl-subs:     5343  v-elim:      0  v-fix:    0  time: 12.73 s
451.00/112.96	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
451.00/112.97	c vivif2 --  cl tried    56712 cl shrink        0 lits rem          0 time: 0.04
451.40/113.03	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.24
451.40/113.03	c calculated reachability. Time: 0.00
451.40/113.03	c  N st    59    806475       389      1695         0     56712      5136    752114   no data   no data  --
647.15/162.06	c  F st    60   1071877       389      1695         0     72537      5136    988953   no data   no data  --
647.15/162.06	c  N st    60   1071877       389      1695         0     72537      5136    988953   no data   no data  --
653.14/163.58	c Decided on static restart strategy
674.71/168.93	c  N st    70   1100184       389      1695         0     56585      5136    646189   no data   no data  --
703.09/176.02	c  N st    72   1136177       389      1695         0     47063      5136    449294   no data   no data  --
727.85/182.28	c  N st    73   1168572       389      1695         0     78513      5136   1116623   no data   no data  --
759.01/190.05	c  N st    74   1209712       389      1695         0     72909      5136   1006810   no data   no data  --
759.01/190.05	c  S st    74   1209712       389      1695         0     72909      5136   1006810   no data   no data  --
760.23/190.33	c  S st    74   1210219       389      1695         0     73413      5136   1016919   no data   no data  --
760.23/190.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
760.23/190.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
760.23/190.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
760.62/190.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
760.62/190.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
760.62/190.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
760.62/190.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
777.38/194.67	c lits-rem:       745  cl-subs:     4460  v-elim:      0  v-fix:    0  time: 17.03 s
777.38/194.67	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
777.38/194.68	c vivif2 --  cl tried    68953 cl shrink        0 lits rem          0 time: 0.05
777.80/194.77	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.32
777.80/194.77	c calculated reachability. Time: 0.00
777.80/194.77	c  N st    74   1210219       389      1695         0     68953      5136    928442   no data   no data  --
839.32/210.14	c  N st    75   1283101       389      1695         0     92914      5136   1397095   no data   no data  --
939.57/235.20	c  N st    76   1392425       389      1695         0     53372      5136    510869   no data   no data  --
1089.38/272.78	c  N st    77   1556409       389      1695         0     58165      5136    572259   no data   no data  --
1227.60/307.30	c  N st    78   1710220       389      1695         0     99518      5136   1419482   no data   no data  --
1227.60/307.30	c  S st    78   1710220       389      1695         0     99518      5136   1419482   no data   no data  --
1228.81/307.61	c  S st    78   1710722       389      1695         0    100020      5136   1429694   no data   no data  --
1228.81/307.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1228.81/307.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1228.81/307.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1229.20/307.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1229.20/307.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1229.20/307.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1229.20/307.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1265.97/316.93	c lits-rem:       285  cl-subs:     9410  v-elim:      0  v-fix:    0  time: 36.83 s
1265.97/316.93	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
1265.97/316.95	c vivif2 --  cl tried    90610 cl shrink        0 lits rem          0 time: 0.08
1266.75/317.11	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.63
1266.75/317.11	c calculated reachability. Time: 0.00
1266.75/317.11	c  N st    78   1710722       389      1695         0     90610      5136   1262938   no data   no data  --
1643.47/411.43	c  N st    79   2079686       389      1695         0    102095      5136   1375757   no data   no data  --
1788.48/447.72	c  N st    80   2210722       389      1695         0    106374      5136   1483381   no data   no data  --
1788.48/447.72	c  S st    80   2210722       389      1695         0    106374      5136   1483381   no data   no data  --
1790.06/448.10	c  S st    80   2211224       389      1695         0    106870      5136   1494034   no data   no data  --
1790.06/448.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1790.06/448.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1790.06/448.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1790.46/448.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1790.46/448.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1790.46/448.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1790.46/448.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1827.21/457.43	c lits-rem:       257  cl-subs:    10611  v-elim:      0  v-fix:    0  time: 36.85 s
1827.21/457.43	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
1827.21/457.45	c vivif2 --  cl tried    96259 cl shrink        0 lits rem          0 time: 0.07
1827.61/457.58	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.51
1827.61/457.58	c calculated reachability. Time: 0.00
1827.61/457.58	c  N st    80   2211224       389      1695         0     96259      5136   1296199   no data   no data  --
2394.88/599.59	c  N st    81   2711224       389      1695         0    120010      5136   1662930   no data   no data  --
2394.88/599.59	c  S st    81   2711224       389      1695         0    120010      5136   1662930   no data   no data  --
2396.86/600.05	c  S st    81   2711729       389      1695         0    120514      5136   1673583   no data   no data  --
2396.86/600.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2396.86/600.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2397.26/600.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2397.26/600.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2397.26/600.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2397.26/600.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
2397.26/600.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2444.79/612.09	c lits-rem:       661  cl-subs:    10237  v-elim:      0  v-fix:    0  time: 47.58 s
2444.79/612.09	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
2445.19/612.11	c vivif2 --  cl tried   110277 cl shrink        0 lits rem          0 time: 0.08
2445.59/612.27	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.66
2445.59/612.28	c calculated reachability. Time: 0.00
2445.59/612.28	c  N st    81   2711729       389      1695         0    110277      5136   1497870   no data   no data  --
3099.53/775.94	c  N st    82   3211730       389      1695         0     85679      5136    863245   no data   no data  --
3099.53/775.94	c  S st    82   3211730       389      1695         0     85679      5136    863245   no data   no data  --
3100.73/776.22	c  S st    82   3212235       389      1695         0     86184      5136    874039   no data   no data  --
3100.73/776.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3100.73/776.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3100.73/776.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3100.73/776.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3100.73/776.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3100.73/776.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3100.73/776.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3113.11/779.34	c lits-rem:       627  cl-subs:     2291  v-elim:      0  v-fix:    0  time: 12.19 s
3113.11/779.34	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
3113.11/779.35	c vivif2 --  cl tried    83893 cl shrink        0 lits rem          0 time: 0.05
3113.51/779.46	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.41
3113.51/779.46	c calculated reachability. Time: 0.00
3113.51/779.46	c  N st    82   3212235       389      1695         0     83893      5136    834875   no data   no data  --
3793.01/949.51	c  N st    83   3712235       389      1695         0     95033      5136    997536   no data   no data  --
3793.01/949.51	c  S st    83   3712235       389      1695         0     95033      5136    997536   no data   no data  --
3794.21/949.83	c  S st    83   3712736       389      1695         0     95531      5136   1008633   no data   no data  --
3794.21/949.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3794.21/949.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3794.21/949.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
3794.61/949.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3794.61/949.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3794.61/949.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3794.61/949.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3805.00/952.58	c lits-rem:        50  cl-subs:     3191  v-elim:      0  v-fix:    0  time: 10.68 s
3805.00/952.58	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
3805.00/952.60	c vivif2 --  cl tried    92340 cl shrink        0 lits rem          0 time: 0.05
3805.81/952.72	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.48
3805.81/952.72	c calculated reachability. Time: 0.00
3805.81/952.72	c  N st    83   3712736       389      1695         0     92340      5136    952196   no data   no data  --
3854.16/964.82	c  F st    84   3751565       389      1695         0    129773      5136   1757907   no data   no data  --
3854.16/964.82	c  N st    84   3751565       389      1695         0    129773      5136   1757907   no data   no data  --
3864.12/967.38	c Decided on static restart strategy
3912.85/979.57	c  N st    94   3779873       389      1695         0    157022      5136   2287206   no data   no data  --
3968.77/993.58	c  N st    96   3815867       389      1695         0    109955      5136   1248444   no data   no data  --
4018.72/1006.05	c  N st    97   3848259       389      1695         0    140959      5136   1843500   no data   no data  --
4094.62/1025.07	c  N st    98   3896847       389      1695         0    104966      5136   1174652   no data   no data  --
4211.26/1054.27	c  N st    99   3969729       389      1695         0     91418      5136    864853   no data   no data  --
4374.24/1095.02	c  N st   100   4079053       389      1695         0    111931      5136   1279411   no data   no data  --
4581.17/1146.89	c  N st   101   4212737       389      1695         0    154376      5136   2127769   no data   no data  --
4581.17/1146.89	c  S st   101   4212737       389      1695         0    154376      5136   2127769   no data   no data  --
4583.96/1147.52	c  S st   101   4213240       389      1695         0    154878      5136   2138250   no data   no data  --
4583.96/1147.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4583.96/1147.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4584.36/1147.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4584.36/1147.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4584.36/1147.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4584.36/1147.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4584.36/1147.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4708.59/1178.73	c lits-rem:      1489  cl-subs:    21405  v-elim:      0  v-fix:    0  time: 124.00 s
4708.59/1178.73	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
4708.59/1178.75	c vivif2 --  cl tried   133473 cl shrink        0 lits rem          0 time: 0.10
4709.39/1178.96	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.82
4709.39/1178.96	c calculated reachability. Time: 0.00
4709.39/1178.96	c  N st   101   4213240       389      1695         0    133473      5136   1750442   no data   no data  --

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-3175154-1304092854/watcher-3175154-1304092854 -o /tmp/evaluation-result-3175154-1304092854/solver-3175154-1304092854 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175154-1304092854.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373860/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=124984 CPUtime=0 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) S 7820 7824 7164 0 -1 4202496 497 0 0 0 0 0 0 0 19 0 4 0 501701008 127983616 423 33554432000 4194304 4650419 140736271151040 18446744073709551615 270338488814 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 31283 429 334 112 0 26248 0
[pid=7824/tid=7827] ppid=7820 vsize=125132 CPUtime=0 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 4 0 501701008 128135168 443 33554432000 4194304 4650419 140736271151040 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=125132 CPUtime=0 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 501701008 128135168 443 33554432000 4194304 4650419 140736271151040 18446744073709551615 270338427015 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=125132 CPUtime=0 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) S 7820 7824 7164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 501701008 128135168 444 33554432000 4194304 4650419 140736271151040 18446744073709551615 270338488814 0 0 4096 2 18446604471128671296 0 0 -1 5 0 0 0

[startup+0.109209 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373860/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=282584 CPUtime=0.41 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 1652 0 0 0 41 0 0 0 18 0 4 0 501701008 289366016 1523 33554432000 4194304 4650419 140736271151040 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 70646 1523 391 112 0 65611 0
[pid=7824/tid=7827] ppid=7820 vsize=282584 CPUtime=0.1 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 388 0 0 0 10 0 0 0 18 0 4 0 501701008 289366016 1523 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=282584 CPUtime=0.1 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 298 0 0 0 10 0 0 0 20 0 4 0 501701008 289366016 1523 33554432000 4194304 4650419 140736271151040 18446744073709551615 4360517 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=282584 CPUtime=0.1 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 224 0 0 0 10 0 0 0 20 0 4 0 501701008 289366016 1523 33554432000 4194304 4650419 140736271151040 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282584

[startup+0.209138 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373860/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=283712 CPUtime=0.81 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 2259 0 0 0 81 0 0 0 18 0 4 0 501701008 290521088 1670 33554432000 4194304 4650419 140736271151040 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 70928 1670 393 112 0 65893 0
[pid=7824/tid=7827] ppid=7820 vsize=283712 CPUtime=0.2 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 538 0 0 0 20 0 0 0 18 0 4 0 501701008 290521088 1670 33554432000 4194304 4650419 140736271151040 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=283712 CPUtime=0.2 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 446 0 0 0 20 0 0 0 20 0 4 0 501701008 290521088 1670 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=283712 CPUtime=0.2 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 384 0 0 0 20 0 0 0 20 0 4 0 501701008 290521088 1670 33554432000 4194304 4650419 140736271151040 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 283712

[startup+0.30112 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373860/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=284016 CPUtime=1.18 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 2587 0 0 0 118 0 0 0 18 0 4 0 501701008 290832384 1998 33554432000 4194304 4650419 140736271151040 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 71004 1998 393 112 0 65969 0
[pid=7824/tid=7827] ppid=7820 vsize=284016 CPUtime=0.29 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 625 0 0 0 29 0 0 0 18 0 4 0 501701008 290832384 1998 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=284016 CPUtime=0.29 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 525 0 0 0 29 0 0 0 20 0 4 0 501701008 290832384 1998 33554432000 4194304 4650419 140736271151040 18446744073709551615 4334514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=284016 CPUtime=0.29 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 464 0 0 0 29 0 0 0 20 0 4 0 501701008 290832384 1998 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284016

[startup+0.701042 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373860/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=285768 CPUtime=2.78 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 4486 0 0 0 278 0 0 0 18 0 4 0 501701008 292626432 2283 33554432000 4194304 4650419 140736271151040 18446744073709551615 4329570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 71442 2283 393 112 0 66407 0
[pid=7824/tid=7827] ppid=7820 vsize=285768 CPUtime=0.69 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 1094 0 0 0 69 0 0 0 18 0 4 0 501701008 292626432 2283 33554432000 4194304 4650419 140736271151040 18446744073709551615 4360372 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=285768 CPUtime=0.69 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 1006 0 0 0 69 0 0 0 21 0 4 0 501701008 292626432 2283 33554432000 4194304 4650419 140736271151040 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=285768 CPUtime=0.69 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 916 0 0 0 69 0 0 0 20 0 4 0 501701008 292626432 2283 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285768

[startup+1.50088 s]
/proc/loadavg: 7.42 7.95 7.93 9/184 7833
/proc/meminfo: memFree=31349360/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=286540 CPUtime=5.97 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 7660 0 0 0 596 1 0 0 19 0 4 0 501701008 293416960 4229 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 71635 4230 395 112 0 66600 0
[pid=7824/tid=7827] ppid=7820 vsize=286540 CPUtime=1.49 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 1617 0 0 0 149 0 0 0 20 0 4 0 501701008 293416960 4230 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=286540 CPUtime=1.48 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 1548 0 0 0 148 0 0 0 23 0 4 0 501701008 293416960 4230 33554432000 4194304 4650419 140736271151040 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=286540 CPUtime=1.49 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 1411 0 0 0 149 0 0 0 23 0 4 0 501701008 293416960 4230 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286540

[startup+3.10057 s]
/proc/loadavg: 7.42 7.95 7.93 9/184 7833
/proc/meminfo: memFree=31319228/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=304700 CPUtime=12.36 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 15368 0 0 0 1234 2 0 0 25 0 4 0 501701008 312012800 8548 33554432000 4194304 4650419 140736271151040 18446744073709551615 4334234 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 76175 8548 395 112 0 71140 0
[pid=7824/tid=7827] ppid=7820 vsize=304700 CPUtime=3.08 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 3553 0 0 0 308 0 0 0 25 0 4 0 501701008 312012800 8548 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=304700 CPUtime=3.07 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 3899 0 0 0 307 0 0 0 25 0 4 0 501701008 312012800 8548 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=304700 CPUtime=3.09 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 3530 0 0 0 309 0 0 0 25 0 4 0 501701008 312012800 8548 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 304700

[startup+6.30093 s]
/proc/loadavg: 7.46 7.96 7.93 9/184 7833
/proc/meminfo: memFree=31263236/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=313888 CPUtime=25.14 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 22505 0 0 0 2511 3 0 0 25 0 4 0 501701008 321421312 12248 33554432000 4194304 4650419 140736271151040 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 78472 12248 395 112 0 73437 0
[pid=7824/tid=7827] ppid=7820 vsize=313888 CPUtime=6.28 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 5377 0 0 0 628 0 0 0 25 0 4 0 501701008 321421312 12248 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=313888 CPUtime=6.26 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 6190 0 0 0 625 1 0 0 25 0 4 0 501701008 321421312 12248 33554432000 4194304 4650419 140736271151040 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=313888 CPUtime=6.29 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 4636 0 0 0 629 0 0 0 25 0 4 0 501701008 321421312 12248 33554432000 4194304 4650419 140736271151040 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 313888

[startup+12.7007 s]
/proc/loadavg: 7.50 7.96 7.93 9/184 7842
/proc/meminfo: memFree=31205812/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=324344 CPUtime=50.7 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 33061 0 0 0 5065 5 0 0 25 0 4 0 501701008 332128256 17209 33554432000 4194304 4650419 140736271151040 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 81086 17209 395 112 0 76051 0
[pid=7824/tid=7827] ppid=7820 vsize=324344 CPUtime=12.68 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 8228 0 0 0 1267 1 0 0 25 0 4 0 501701008 332128256 17209 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=324344 CPUtime=12.62 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 8766 0 0 0 1261 1 0 0 25 0 4 0 501701008 332128256 17209 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=324344 CPUtime=12.69 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 5618 0 0 0 1269 0 0 0 25 0 4 0 501701008 332128256 17209 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 324344

[startup+25.5011 s]
/proc/loadavg: 7.61 7.96 7.93 9/184 7842
/proc/meminfo: memFree=31147048/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=334712 CPUtime=101.84 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 48712 0 0 0 10174 10 0 0 25 0 4 0 501701008 342745088 23051 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 83678 23051 395 112 0 78643 0
[pid=7824/tid=7827] ppid=7820 vsize=334712 CPUtime=25.49 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 12062 0 0 0 2547 2 0 0 25 0 4 0 501701008 342745088 23051 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=334712 CPUtime=25.35 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 13775 0 0 0 2533 2 0 0 25 0 4 0 501701008 342745088 23051 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=334712 CPUtime=25.49 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 7503 0 0 0 2548 1 0 0 25 0 4 0 501701008 342745088 23051 33554432000 4194304 4650419 140736271151040 18446744073709551615 4330598 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 334712

[startup+51.101 s]
/proc/loadavg: 7.86 7.99 7.94 10/184 7843
/proc/meminfo: memFree=31090204/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=345156 CPUtime=204.11 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 72447 0 0 0 20394 17 0 0 25 0 4 0 501701008 353439744 29444 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 86289 29444 395 112 0 81254 0
[pid=7824/tid=7827] ppid=7820 vsize=345156 CPUtime=51.08 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 17524 0 0 0 5105 3 0 0 25 0 4 0 501701008 353439744 29444 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=345156 CPUtime=50.83 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 22851 0 0 0 5078 5 0 0 25 0 4 0 501701008 353439744 29444 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=345156 CPUtime=51.08 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 9205 0 0 0 5107 1 0 0 25 0 4 0 501701008 353439744 29444 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 345156

[startup+102.301 s]
/proc/loadavg: 7.94 7.99 7.94 9/184 7844
/proc/meminfo: memFree=31036988/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=367024 CPUtime=408.68 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 109626 0 0 0 40837 31 0 0 25 0 4 0 501701008 375832576 35655 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 91756 35655 395 112 0 86721 0
[pid=7824/tid=7827] ppid=7820 vsize=367024 CPUtime=102.29 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 26446 0 0 0 10223 6 0 0 25 0 4 0 501701008 375832576 35655 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=367024 CPUtime=101.76 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 33801 0 0 0 10167 9 0 0 25 0 4 0 501701008 375832576 35655 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=367024 CPUtime=102.29 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 14606 0 0 0 10226 3 0 0 25 0 4 0 501701008 375832576 35655 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 367024

[startup+162.301 s]

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

[pid=7824] ppid=7820 vsize=573976 CPUtime=2805.52 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 368961 0 0 0 280406 146 0 0 25 0 4 0 501701008 587751424 77889 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 143494 77889 395 112 0 138459 0
[pid=7824/tid=7827] ppid=7820 vsize=573976 CPUtime=702.32 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 79218 0 0 0 70203 29 0 0 25 0 4 0 501701008 587751424 77889 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=573976 CPUtime=698.55 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 120322 0 0 0 69808 47 0 0 25 0 4 0 501701008 587751424 77889 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=573976 CPUtime=702.29 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 41817 0 0 0 70210 19 0 0 25 0 4 0 501701008 587751424 77889 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.52
Current children cumulated vsize (KiB) 573976

[startup+762.301 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 7862
/proc/meminfo: memFree=30546496/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=586360 CPUtime=3045.22 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 386788 0 0 0 304367 155 0 0 25 0 4 0 501701008 600432640 82450 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 146590 82450 395 112 0 141555 0
[pid=7824/tid=7827] ppid=7820 vsize=586360 CPUtime=762.32 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 84780 0 0 0 76201 31 0 0 25 0 4 0 501701008 600432640 82450 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=586360 CPUtime=758.24 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 126494 0 0 0 75773 51 0 0 25 0 4 0 501701008 600432640 82450 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=586360 CPUtime=762.3 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 41817 0 0 0 76211 19 0 0 25 0 4 0 501701008 600432640 82450 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.22
Current children cumulated vsize (KiB) 586360

[startup+822.301 s]
/proc/loadavg: 8.13 8.07 8.01 9/184 7863
/proc/meminfo: memFree=30522896/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=586584 CPUtime=3284.89 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 402590 0 0 0 328326 163 0 0 25 0 4 0 501701008 600662016 84255 33554432000 4194304 4650419 140736271151040 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 146646 84255 395 112 0 141611 0
[pid=7824/tid=7827] ppid=7820 vsize=586584 CPUtime=822.32 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 86874 0 0 0 82200 32 0 0 25 0 4 0 501701008 600662016 84255 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=586584 CPUtime=817.92 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 132798 0 0 0 81738 54 0 0 25 0 4 0 501701008 600662016 84255 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=586584 CPUtime=822.3 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 41936 0 0 0 82211 19 0 0 25 0 4 0 501701008 600662016 84255 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.89
Current children cumulated vsize (KiB) 586584

[startup+882.306 s]
/proc/loadavg: 8.11 8.07 8.01 9/184 7865
/proc/meminfo: memFree=30500168/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=575236 CPUtime=3524.59 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 419264 0 0 0 352290 169 0 0 25 0 4 0 501701008 589041664 86964 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 143809 86964 395 112 0 138774 0
[pid=7824/tid=7827] ppid=7820 vsize=575236 CPUtime=882.32 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 87368 0 0 0 88200 32 0 0 25 0 4 0 501701008 589041664 86964 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=575236 CPUtime=877.59 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 141347 0 0 0 87703 56 0 0 25 0 4 0 501701008 589041664 86964 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=575236 CPUtime=882.31 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 42901 0 0 0 88211 20 0 0 25 0 4 0 501701008 589041664 86964 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.59
Current children cumulated vsize (KiB) 575236

[startup+942.3 s]
/proc/loadavg: 8.09 8.07 8.01 9/184 7867
/proc/meminfo: memFree=30445072/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=575348 CPUtime=3764.25 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 432486 0 0 0 376249 176 0 0 25 0 4 0 501701008 589156352 93769 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 143837 93769 395 112 0 138802 0
[pid=7824/tid=7827] ppid=7820 vsize=575348 CPUtime=942.33 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 87985 0 0 0 94200 33 0 0 25 0 4 0 501701008 589156352 93769 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=575348 CPUtime=937.26 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 147050 0 0 0 93667 59 0 0 25 0 4 0 501701008 589156352 93769 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366127 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=575348 CPUtime=942.3 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 42901 0 0 0 94210 20 0 0 25 0 4 0 501701008 589156352 93769 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.25
Current children cumulated vsize (KiB) 575348

[startup+1002.3 s]
/proc/loadavg: 8.15 8.09 8.01 9/184 7868
/proc/meminfo: memFree=30459284/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=575448 CPUtime=4003.93 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 444933 0 0 0 400212 181 0 0 25 0 4 0 501701008 589258752 91180 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 143862 91180 395 112 0 138827 0
[pid=7824/tid=7827] ppid=7820 vsize=575448 CPUtime=1002.33 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 89483 0 0 0 100200 33 0 0 25 0 4 0 501701008 589258752 91180 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=575448 CPUtime=996.94 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 150180 0 0 0 99633 61 0 0 25 0 4 0 501701008 589258752 91180 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=575448 CPUtime=1002.3 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 42921 0 0 0 100210 20 0 0 25 0 4 0 501701008 589258752 91180 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.93
Current children cumulated vsize (KiB) 575448

[startup+1062.3 s]
/proc/loadavg: 8.16 8.10 8.02 9/184 7870
/proc/meminfo: memFree=30397508/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=588296 CPUtime=4243.62 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 456121 0 0 0 424175 187 0 0 25 0 4 0 501701008 602415104 90810 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365280 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 147074 90810 395 112 0 142039 0
[pid=7824/tid=7827] ppid=7820 vsize=588296 CPUtime=1062.33 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 89483 0 0 0 106200 33 0 0 25 0 4 0 501701008 602415104 90810 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=588296 CPUtime=1056.62 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 155166 0 0 0 105599 63 0 0 25 0 4 0 501701008 602415104 90810 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=588296 CPUtime=1062.3 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 42921 0 0 0 106210 20 0 0 25 0 4 0 501701008 602415104 90810 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.62
Current children cumulated vsize (KiB) 588296

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 8.01 9/184 7871
/proc/meminfo: memFree=30363244/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=588400 CPUtime=4483.29 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 468397 0 0 0 448137 192 0 0 25 0 4 0 501701008 602521600 93811 33554432000 4194304 4650419 140736271151040 18446744073709551615 4313304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 147100 93811 395 112 0 142065 0
[pid=7824/tid=7827] ppid=7820 vsize=588400 CPUtime=1122.34 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 92506 0 0 0 112199 35 0 0 25 0 4 0 501701008 602521600 93811 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=588400 CPUtime=1116.29 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 159644 0 0 0 111565 64 0 0 25 0 4 0 501701008 602521600 93811 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=588400 CPUtime=1122.31 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 43121 0 0 0 112211 20 0 0 25 0 4 0 501701008 602521600 93811 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.29
Current children cumulated vsize (KiB) 588400

[startup+1182.3 s]
/proc/loadavg: 8.02 8.06 8.01 9/184 7873
/proc/meminfo: memFree=30352916/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=603436 CPUtime=4722.98 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 484046 0 0 0 472100 198 0 0 25 0 4 0 501701008 617918464 100195 33554432000 4194304 4650419 140736271151040 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 150859 100195 395 112 0 145824 0
[pid=7824/tid=7827] ppid=7820 vsize=603436 CPUtime=1182.33 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 95117 0 0 0 118197 36 0 0 25 0 4 0 501701008 617918464 100195 33554432000 4194304 4650419 140736271151040 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=603436 CPUtime=1175.97 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 164543 0 0 0 117530 67 0 0 25 0 4 0 501701008 617918464 100195 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=603436 CPUtime=1182.3 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 43278 0 0 0 118210 20 0 0 25 0 4 0 501701008 617918464 100195 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.98
Current children cumulated vsize (KiB) 603436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.01 8.06 8.00 10/184 7874
/proc/meminfo: memFree=30310608/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=654984 CPUtime=4800.09 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 490438 0 0 0 479809 200 0 0 25 0 4 0 501701008 670703616 106579 33554432000 4194304 4650419 140736271151040 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 163746 106579 395 112 0 158711 0
[pid=7824/tid=7827] ppid=7820 vsize=654984 CPUtime=1201.64 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 99752 0 0 0 120127 37 0 0 25 0 4 0 501701008 670703616 106579 33554432000 4194304 4650419 140736271151040 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=654984 CPUtime=1195.16 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 165474 0 0 0 119449 67 0 0 25 0 4 0 501701008 670703616 106579 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=654984 CPUtime=1201.61 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 43305 0 0 0 120141 20 0 0 25 0 4 0 501701008 670703616 106579 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 654984

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.01 8.06 8.00 10/184 7874
/proc/meminfo: memFree=30310608/32951124 swapFree=67111356/67111528
[pid=7824] ppid=7820 vsize=654984 CPUtime=4800.09 cores=1,3,5,7
/proc/7824/stat : 7824 (strangenight1-m) R 7820 7824 7164 0 -1 4202496 490438 0 0 0 479809 200 0 0 25 0 4 0 501701008 670703616 106579 33554432000 4194304 4650419 140736271151040 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7824/statm: 163746 106579 395 112 0 158711 0
[pid=7824/tid=7827] ppid=7820 vsize=654984 CPUtime=1201.64 cores=1,3,5,7
/proc/7824/task/7827/stat : 7827 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 99752 0 0 0 120127 37 0 0 25 0 4 0 501701008 670703616 106579 33554432000 4194304 4650419 140736271151040 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7824/tid=7829] ppid=7820 vsize=654984 CPUtime=1195.16 cores=1,3,5,7
/proc/7824/task/7829/stat : 7829 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 165474 0 0 0 119449 67 0 0 25 0 4 0 501701008 670703616 106579 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7824/tid=7830] ppid=7820 vsize=654984 CPUtime=1201.61 cores=1,3,5,7
/proc/7824/task/7830/stat : 7830 (strangenight1-m) R 7820 7824 7164 0 -1 4202560 43305 0 0 0 120141 20 0 0 25 0 4 0 501701008 670703616 106579 33554432000 4194304 4650419 140736271151040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 654984

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.14
CPU user time (s): 4798.12
CPU system time (s): 2.02369
CPU usage (%): 399.469
Max. virtual memory (cumulated for all children) (KiB): 654984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.12
system time used= 2.02369
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490438
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= 99
involuntary context switches= 27421

runsolver used 1.90571 second user time and 4.5843 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 18:00:54
IDJOB=3175154
IDBENCH=82772
IDSOLVER=1588
FILE ID=node143/3175154-1304092854
RUNJOBID= node143-1304092854-7806
PBS_JOBID= 13170544
Free space on /tmp= 72924 MiB

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

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

MD5SUM BENCH= 7d7bac8ccb8010e4eec020bc5c53d758
RANDOM SEED=1822304145

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.74
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.846
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:     32951124 kB
MemFree:      31374420 kB
Buffers:        220096 kB
Cached:        1017508 kB
SwapCached:        168 kB
Active:         283552 kB
Inactive:      1017736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31374420 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12452 kB
Writeback:           0 kB
AnonPages:       63528 kB
Mapped:          14640 kB
Slab:           212432 kB
PageTables:       4976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185556 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= 72912 MiB
End job on node143 at 2011-04-29 18:20:58