Trace number 3175278

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf
MD5SUMf154a23cd5dae9f4e2340ec192300943
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark111.453
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
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-3175278-1304106578.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1917/1917 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:    450 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.01	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     205 undec:      43 neg:     202
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       439      1904         0         0      5776         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.41/0.14	c  N st     8      4917       439      1904         0      4823      5776    104040   no data   no data  --
1.18/0.38	c  N st    10     11301       439      1904         0      4492      5776     70348   no data   no data  --
2.38/0.63	c  N st    11     17044       439      1904         0     10084      5776    193998   no data   no data  --
3.97/1.04	c  F st    12     25001       439      1904         0     12316      5776    239625   no data   no data  --
3.97/1.04	c  N st    12     25001       439      1904         0     12316      5776    239625   no data   no data  --
4.80/1.29	c Decided on static restart strategy
4.80/1.29	c  N st    18     30000       439      1904         0     10636      5776    190883   no data   no data  --
4.80/1.29	c  S st    18     30000       439      1904         0     10636      5776    190883   no data   no data  --
5.18/1.32	c  S st    18     30503       439      1904         0     11139      5776    201355   no data   no data  --
5.18/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.18/1.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.18/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.18/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
5.18/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.52	c lits-rem:       141  cl-subs:      593  v-elim:      0  v-fix:    0  time:  0.75 s
5.97/1.53	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.03
5.97/1.53	c calculated reachability. Time: 0.00
5.97/1.53	c  N st    18     30503       439      1904         0     10546      5776    187742   no data   no data  --
7.58/1.97	c  N st    20     37613       439      1904         0      9811      5776    150417   no data   no data  --
9.19/2.37	c  N st    21     44013       439      1904         0     16040      5776    278273   no data   no data  --
9.96/2.50	c  S st    22     45754       439      1904         0      9013      5776    118132   no data   no data  --
9.96/2.53	c  S st    22     46256       439      1904         0      9511      5776    129069   no data   no data  --
9.96/2.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.96/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
9.96/2.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.36/2.61	c lits-rem:        40  cl-subs:       98  v-elim:      0  v-fix:    0  time:  0.28 s
10.36/2.61	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c vivif2 --  cl tried     9413 cl shrink        0 lits rem          0 time: 0.00
10.36/2.62	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.03
10.36/2.62	c calculated reachability. Time: 0.00
10.36/2.62	c  N st    22     46256       439      1904         0      9413      5776    127148   no data   no data  --
13.96/3.53	c  N st    23     60654       439      1904         0     13727      5776    203542   no data   no data  --
16.75/4.21	c  N st    24     69384       439      1904         0     11506      5776    153125   no data   no data  --
16.75/4.21	c  S st    24     69384       439      1904         0     11506      5776    153125   no data   no data  --
16.75/4.24	c  S st    24     69888       439      1904         0     12008      5776    164108   no data   no data  --
16.75/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.75/4.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
16.75/4.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
16.75/4.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.57/4.40	c lits-rem:        76  cl-subs:      166  v-elim:      0  v-fix:    0  time:  0.60 s
17.57/4.40	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
17.57/4.40	c vivif2 --  cl tried    11842 cl shrink        0 lits rem          0 time: 0.00
17.57/4.41	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.04
17.57/4.41	c calculated reachability. Time: 0.00
17.57/4.41	c  N st    24     69888       439      1904         0     11842      5776    160589   no data   no data  --
22.37/5.69	c  F st    25     87500       439      1904         0     17342      5776    274097   no data   no data  --
22.37/5.69	c  N st    25     87500       439      1904         0     17342      5776    274097   no data   no data  --
24.34/6.10	c Decided on static restart strategy
25.14/6.35	c  N st    32     95535       439      1904         0     25238      5776    448427   no data   no data  --
27.94/7.03	c  N st    34    104833       439      1904         0     21557      5776    335606   no data   no data  --
27.94/7.03	c  S st    34    104833       439      1904         0     21557      5776    335606   no data   no data  --
27.94/7.09	c  S st    34    105333       439      1904         0     22056      5776    346975   no data   no data  --
27.94/7.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.94/7.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
28.34/7.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.34/7.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
28.34/7.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.16/7.82	c lits-rem:       334  cl-subs:     1367  v-elim:      0  v-fix:    0  time:  2.85 s
31.16/7.82	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
31.16/7.82	c vivif2 --  cl tried    20689 cl shrink        0 lits rem          0 time: 0.01
31.16/7.84	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.06
31.16/7.84	c calculated reachability. Time: 0.00
31.16/7.84	c  N st    34    105333       439      1904         0     20689      5776    322912   no data   no data  --
33.94/8.58	c  N st    35    114932       439      1904         0     16412      5776    214382   no data   no data  --
38.34/9.68	c  N st    36    129330       439      1904         0     15849      5776    189411   no data   no data  --
45.12/11.40	c  N st    37    150927       439      1904         0     21269      5776    298810   no data   no data  --
47.92/12.09	c  S st    38    158004       439      1904         0     28150      5776    444131   no data   no data  --
48.34/12.16	c  S st    38    158509       439      1904         0     28655      5776    454916   no data   no data  --
48.34/12.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.34/12.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.34/12.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
48.34/12.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.34/12.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.34/12.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
48.34/12.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.91/13.55	c lits-rem:       586  cl-subs:     1662  v-elim:      0  v-fix:    0  time:  5.45 s
53.91/13.55	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
53.91/13.55	c vivif2 --  cl tried    26993 cl shrink        0 lits rem          0 time: 0.02
53.91/13.57	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.08
53.91/13.58	c calculated reachability. Time: 0.00
53.91/13.58	c  N st    38    158509       439      1904         0     26993      5776    420787   no data   no data  --
73.09/18.37	c  N st    39    207098       439      1904         0     21726      5776    278814   no data   no data  --
85.88/21.58	c  N st    40    237764       439      1904         0     32071      5776    484645   no data   no data  --
85.88/21.58	c  S st    40    237764       439      1904         0     32071      5776    484645   no data   no data  --
86.28/21.67	c  S st    40    238269       439      1904         0     32575      5776    495359   no data   no data  --
86.28/21.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
86.28/21.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.28/21.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
86.28/21.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.28/21.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.28/21.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
86.28/21.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
93.07/23.33	c lits-rem:       537  cl-subs:     2445  v-elim:      0  v-fix:    0  time:  6.54 s
93.07/23.33	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
93.07/23.34	c vivif2 --  cl tried    30130 cl shrink        0 lits rem          0 time: 0.02
93.07/23.36	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.10
93.07/23.36	c calculated reachability. Time: 0.00
93.07/23.36	c  N st    40    238269       439      1904         0     30130      5776    445833   no data   no data  --
125.82/31.50	c  F st    41    306253       439      1904         0     32124      5776    439625   no data   no data  --
125.82/31.50	c  N st    41    306253       439      1904         0     32124      5776    439625   no data   no data  --
128.22/32.15	c Decided on static restart strategy
139.41/34.99	c  N st    51    334556       439      1904         0     36235      5776    502987   no data   no data  --
150.59/37.72	c  N st    53    357404       439      1904         0     34164      5776    453055   no data   no data  --
150.59/37.72	c  S st    53    357404       439      1904         0     34164      5776    453055   no data   no data  --
150.99/37.81	c  S st    53    357909       439      1904         0     34668      5776    464047   no data   no data  --
150.99/37.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
150.99/37.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.99/37.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
150.99/37.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.99/37.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.99/37.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
150.99/37.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
156.99/39.32	c lits-rem:       401  cl-subs:     1751  v-elim:      0  v-fix:    0  time:  5.92 s
156.99/39.32	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
156.99/39.33	c vivif2 --  cl tried    32917 cl shrink        0 lits rem          0 time: 0.02
156.99/39.35	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.11
156.99/39.35	c calculated reachability. Time: 0.00
156.99/39.35	c  N st    53    357909       439      1904         0     32917      5776    428568   no data   no data  --
174.16/43.65	c  N st    54    390302       439      1904         0     39190      5776    565753   no data   no data  --
199.33/49.90	c  N st    55    438891       439      1904         0     33110      5776    410985   no data   no data  --
240.89/60.39	c  N st    56    511773       439      1904         0     46546      5776    705536   no data   no data  --
256.87/64.39	c  N st    57    536863       439      1904         0     40844      5776    539565   no data   no data  --
256.87/64.39	c  S st    57    536863       439      1904         0     40844      5776    539565   no data   no data  --
257.27/64.49	c  S st    57    537364       439      1904         0     41343      5776    549994   no data   no data  --
257.67/64.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
257.67/64.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.67/64.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
257.67/64.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.67/64.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.67/64.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
257.67/64.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.46/66.26	c lits-rem:      1025  cl-subs:     1437  v-elim:      0  v-fix:    0  time:  6.91 s
264.46/66.26	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
264.46/66.26	c vivif2 --  cl tried    39906 cl shrink        0 lits rem          0 time: 0.02
264.86/66.30	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.14
264.86/66.30	c calculated reachability. Time: 0.00
264.86/66.30	c  N st    57    537364       439      1904         0     39906      5776    518220   no data   no data  --
367.94/92.17	c  N st    58    701351       439      1904         0     69111      5776   1095518   no data   no data  --
437.46/109.53	c  N st    59    806047       439      1904         0     62434      5776    864488   no data   no data  --
437.46/109.53	c  S st    59    806047       439      1904         0     62434      5776    864488   no data   no data  --
438.26/109.71	c  S st    59    806547       439      1904         0     62932      5776    875673   no data   no data  --
438.26/109.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
438.26/109.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
438.26/109.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
438.26/109.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
438.26/109.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
438.26/109.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
438.26/109.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
453.05/113.45	c lits-rem:       802  cl-subs:     7393  v-elim:      0  v-fix:    0  time: 14.71 s
453.05/113.45	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
453.05/113.46	c vivif2 --  cl tried    55539 cl shrink        0 lits rem          0 time: 0.04
453.43/113.52	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.24
453.43/113.52	c calculated reachability. Time: 0.00
453.43/113.52	c  N st    59    806547       439      1904         0     55539      5776    743482   no data   no data  --
653.60/163.64	c  F st    60   1071875       439      1904         0     71616      5776   1013972   no data   no data  --
653.60/163.64	c  N st    60   1071875       439      1904         0     71616      5776   1013972   no data   no data  --
659.60/165.15	c Decided on static restart strategy
679.56/170.11	c  N st    70   1100186       439      1904         0     55546      5776    644113   no data   no data  --
711.12/178.03	c  N st    72   1136179       439      1904         0     46001      5776    439152   no data   no data  --
737.49/184.63	c  N st    73   1168572       439      1904         0     77283      5776   1086407   no data   no data  --
777.05/194.56	c  N st    74   1209820       439      1904         0     71736      5776    961431   no data   no data  --
777.05/194.56	c  S st    74   1209820       439      1904         0     71736      5776    961431   no data   no data  --
778.27/194.84	c  S st    74   1210322       439      1904         0     72238      5776    972280   no data   no data  --
778.27/194.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
778.27/194.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
778.27/194.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
778.65/194.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
778.65/194.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
778.65/194.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
778.65/194.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
797.42/199.62	c lits-rem:      1767  cl-subs:     5545  v-elim:      0  v-fix:    0  time: 18.79 s
797.42/199.62	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
797.42/199.63	c vivif2 --  cl tried    66693 cl shrink        0 lits rem          0 time: 0.04
797.82/199.72	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.34
797.82/199.72	c calculated reachability. Time: 0.00
797.82/199.72	c  N st    74   1210322       439      1904         0     66693      5776    869388   no data   no data  --
864.14/216.33	c  N st    75   1283206       439      1904         0     90700      5776   1306098   no data   no data  --
970.41/242.97	c  N st    76   1392529       439      1904         0     51571      5776    489881   no data   no data  --
1127.02/282.13	c  N st    77   1556514       439      1904         0     56263      5776    551475   no data   no data  --
1274.85/319.14	c  N st    78   1710322       439      1904         0     97762      5776   1406561   no data   no data  --
1274.85/319.14	c  S st    78   1710322       439      1904         0     97762      5776   1406561   no data   no data  --
1276.03/319.46	c  S st    78   1710826       439      1904         0     98266      5776   1418059   no data   no data  --
1276.03/319.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1276.03/319.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1276.43/319.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1276.43/319.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1276.43/319.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1276.43/319.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1276.43/319.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1308.39/327.56	c lits-rem:        71  cl-subs:     9022  v-elim:      0  v-fix:    0  time: 31.94 s
1308.39/327.56	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
1308.39/327.58	c vivif2 --  cl tried    89244 cl shrink        0 lits rem          0 time: 0.07
1309.19/327.70	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.51
1309.19/327.71	c calculated reachability. Time: 0.00
1309.19/327.71	c  N st    78   1710826       439      1904         0     89244      5776   1258452   no data   no data  --
1711.51/428.49	c  N st    79   2079790       439      1904         0    101669      5776   1529589   no data   no data  --
1854.96/464.31	c  N st    80   2210827       439      1904         0    105531      5776   1501096   no data   no data  --
1854.96/464.31	c  S st    80   2210827       439      1904         0    105531      5776   1501096   no data   no data  --
1856.13/464.67	c  S st    80   2211329       439      1904         0    106033      5776   1512450   no data   no data  --
1856.13/464.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1856.13/464.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1856.53/464.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1856.53/464.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1856.53/464.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1856.53/464.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1856.53/464.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1892.49/473.80	c lits-rem:       283  cl-subs:     8633  v-elim:      0  v-fix:    0  time: 36.03 s
1892.49/473.80	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
1892.89/473.81	c vivif2 --  cl tried    97400 cl shrink        0 lits rem          0 time: 0.08
1893.29/473.95	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.54
1893.29/473.95	c calculated reachability. Time: 0.00
1893.29/473.95	c  N st    80   2211329       439      1904         0     97400      5776   1349622   no data   no data  --
2455.00/614.59	c  N st    81   2711332       439      1904         0    119978      5776   1679999   no data   no data  --
2455.00/614.59	c  S st    81   2711332       439      1904         0    119978      5776   1679999   no data   no data  --
2457.01/615.04	c  S st    81   2711836       439      1904         0    120481      5776   1691421   no data   no data  --
2457.01/615.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2457.01/615.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2457.39/615.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2457.39/615.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2457.39/615.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2457.39/615.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
2457.39/615.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2512.52/628.91	c lits-rem:       389  cl-subs:    14443  v-elim:      0  v-fix:    0  time: 54.89 s
2512.52/628.91	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
2512.52/628.92	c vivif2 --  cl tried   106038 cl shrink        0 lits rem          0 time: 0.08
2512.92/629.07	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.59
2512.92/629.08	c calculated reachability. Time: 0.00
2512.92/629.08	c  N st    81   2711836       439      1904         0    106038      5776   1432458   no data   no data  --
3119.75/780.99	c  N st    82   3211836       439      1904         0     82496      5776    820236   no data   no data  --
3119.75/780.99	c  S st    82   3211836       439      1904         0     82496      5776    820236   no data   no data  --
3120.94/781.24	c  S st    82   3212340       439      1904         0     83000      5776    831087   no data   no data  --
3120.94/781.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3120.94/781.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3120.94/781.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3121.34/781.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3121.34/781.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3121.34/781.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3121.34/781.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3132.13/784.04	c lits-rem:       476  cl-subs:     1249  v-elim:      0  v-fix:    0  time: 10.92 s
3132.13/784.04	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
3132.13/784.05	c vivif2 --  cl tried    81751 cl shrink        0 lits rem          0 time: 0.05
3132.53/784.16	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.40
3132.53/784.16	c calculated reachability. Time: 0.00
3132.53/784.16	c  N st    82   3212340       439      1904         0     81751      5776    808202   no data   no data  --
3818.05/955.70	c  N st    83   3712340       439      1904         0     92026      5776    926648   no data   no data  --
3818.05/955.70	c  S st    83   3712340       439      1904         0     92026      5776    926648   no data   no data  --
3818.86/955.99	c  S st    83   3712842       439      1904         0     92523      5776    937308   no data   no data  --
3818.86/955.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3818.86/955.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3819.26/956.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3819.26/956.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3819.26/956.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3819.26/956.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3819.26/956.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3833.23/959.55	c lits-rem:       631  cl-subs:     3618  v-elim:      0  v-fix:    0  time: 13.90 s
3833.23/959.55	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
3833.23/959.56	c vivif2 --  cl tried    88905 cl shrink        0 lits rem          0 time: 0.05
3833.63/959.67	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.45
3833.63/959.68	c calculated reachability. Time: 0.00
3833.63/959.68	c  N st    83   3712842       439      1904         0     88905      5776    878394   no data   no data  --
3884.36/972.39	c  F st    84   3751564       439      1904         0    126332      5776   1694145   no data   no data  --
3884.36/972.39	c  N st    84   3751564       439      1904         0    126332      5776   1694145   no data   no data  --
3893.96/974.77	c Decided on static restart strategy
3929.89/983.73	c  N st    94   3779866       439      1904         0    153827      5776   2319722   no data   no data  --
3981.85/996.72	c  N st    96   3815859       439      1904         0    106846      5776   1266584   no data   no data  --
4033.37/1009.66	c  N st    97   3848251       439      1904         0    138276      5776   1944869   no data   no data  --
4109.29/1028.65	c  N st    98   3896839       439      1904         0    102292      5776   1137641   no data   no data  --
4211.93/1054.38	c  N st    99   3969721       439      1904         0     88578      5776    835299   no data   no data  --
4372.54/1094.59	c  N st   100   4079044       439      1904         0    109406      5776   1262903   no data   no data  --
4586.67/1148.10	c  N st   101   4212843       439      1904         0    151873      5776   2105766   no data   no data  --
4586.67/1148.10	c  S st   101   4212843       439      1904         0    151873      5776   2105766   no data   no data  --
4588.66/1148.63	c  S st   101   4213344       439      1904         0    152374      5776   2117286   no data   no data  --
4588.66/1148.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4588.66/1148.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4589.06/1148.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4589.06/1148.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4589.06/1148.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4589.06/1148.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
4589.06/1148.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4719.29/1181.34	c lits-rem:      2293  cl-subs:    21246  v-elim:      0  v-fix:    0  time: 130.03 s
4719.29/1181.34	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
4719.29/1181.37	c vivif2 --  cl tried   131128 cl shrink        0 lits rem          0 time: 0.10
4720.11/1181.57	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.81
4720.11/1181.58	c calculated reachability. Time: 0.00
4720.11/1181.58	c  N st   101   4213344       439      1904         0    131128      5776   1733682   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-3175278-1304106578/watcher-3175278-1304106578 -o /tmp/evaluation-result-3175278-1304106578/solver-3175278-1304106578 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175278-1304106578.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.49 7.92 7.87 3/176 21107
/proc/meminfo: memFree=30329824/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 522258204 52465664 352 33554432000 4194304 4650419 140737021732752 18446744073709551615 47270908266418 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 12809 352 303 112 0 7774 0
[pid=21105/tid=21108] ppid=21102 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 522258204 52465664 352 33554432000 4194304 4650419 140737021732752 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 522258204 52465664 352 33554432000 4194304 4650419 140737021732752 18446744073709551615 47270908266418 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 522258204 52465664 352 33554432000 4194304 4650419 140737021732752 18446744073709551615 47270908266418 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0355281 s]
/proc/loadavg: 7.49 7.92 7.87 3/176 21107
/proc/meminfo: memFree=30329824/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=282196 CPUtime=0.41 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 1707 0 0 0 41 0 0 0 19 0 4 0 522258204 288968704 1574 33554432000 4194304 4650419 140737021732752 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 70549 1574 391 112 0 65514 0
[pid=21105/tid=21108] ppid=21102 vsize=282196 CPUtime=0.1 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 336 0 0 0 10 0 0 0 20 0 4 0 522258204 288968704 1574 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=282196 CPUtime=0.1 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 364 0 0 0 10 0 0 0 20 0 4 0 522258204 288968704 1574 33554432000 4194304 4650419 140737021732752 18446744073709551615 4333613 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=282196 CPUtime=0.1 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 237 0 0 0 10 0 0 0 20 0 4 0 522258204 288968704 1574 33554432000 4194304 4650419 140737021732752 18446744073709551615 4360372 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282196

[startup+0.208344 s]
/proc/loadavg: 7.49 7.92 7.87 3/176 21107
/proc/meminfo: memFree=30329824/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=283520 CPUtime=0.81 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 2342 0 0 0 81 0 0 0 19 0 4 0 522258204 290324480 1690 33554432000 4194304 4650419 140737021732752 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 70880 1690 393 112 0 65845 0
[pid=21105/tid=21108] ppid=21102 vsize=283520 CPUtime=0.2 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 498 0 0 0 20 0 0 0 20 0 4 0 522258204 290324480 1691 33554432000 4194304 4650419 140737021732752 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=283520 CPUtime=0.2 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 508 0 0 0 20 0 0 0 20 0 4 0 522258204 290324480 1691 33554432000 4194304 4650419 140737021732752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=283520 CPUtime=0.2 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 398 0 0 0 20 0 0 0 20 0 4 0 522258204 290324480 1691 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 283520

[startup+0.300327 s]
/proc/loadavg: 7.49 7.92 7.87 3/176 21107
/proc/meminfo: memFree=30329824/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=283688 CPUtime=1.18 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 2687 0 0 0 118 0 0 0 19 0 4 0 522258204 290496512 2035 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 70922 2035 393 112 0 65887 0
[pid=21105/tid=21108] ppid=21102 vsize=283688 CPUtime=0.29 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 583 0 0 0 29 0 0 0 20 0 4 0 522258204 290496512 2035 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=283688 CPUtime=0.29 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 595 0 0 0 29 0 0 0 20 0 4 0 522258204 290496512 2035 33554432000 4194304 4650419 140737021732752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=283688 CPUtime=0.29 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 476 0 0 0 29 0 0 0 20 0 4 0 522258204 290496512 2035 33554432000 4194304 4650419 140737021732752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283688

[startup+0.700257 s]
/proc/loadavg: 7.49 7.92 7.87 3/176 21107
/proc/meminfo: memFree=30329824/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=284800 CPUtime=2.77 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 4686 0 0 0 277 0 0 0 19 0 4 0 522258204 291635200 2262 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 71200 2262 393 112 0 66165 0
[pid=21105/tid=21108] ppid=21102 vsize=284800 CPUtime=0.69 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 1117 0 0 0 69 0 0 0 21 0 4 0 522258204 291635200 2262 33554432000 4194304 4650419 140737021732752 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=284800 CPUtime=0.69 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 1104 0 0 0 69 0 0 0 20 0 4 0 522258204 291635200 2262 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=284800 CPUtime=0.69 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 898 0 0 0 69 0 0 0 20 0 4 0 522258204 291635200 2262 33554432000 4194304 4650419 140737021732752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284800

[startup+1.50111 s]
/proc/loadavg: 7.49 7.92 7.87 9/184 21115
/proc/meminfo: memFree=30308672/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=276980 CPUtime=5.97 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 8350 0 0 0 596 1 0 0 21 0 4 0 522258204 283627520 4420 33554432000 4194304 4650419 140737021732752 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 69245 4420 395 112 0 64210 0
[pid=21105/tid=21108] ppid=21102 vsize=276980 CPUtime=1.48 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 1927 0 0 0 148 0 0 0 23 0 4 0 522258204 283627520 4420 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=276980 CPUtime=1.49 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 1696 0 0 0 149 0 0 0 23 0 4 0 522258204 283627520 4420 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=276980 CPUtime=1.49 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 1430 0 0 0 149 0 0 0 23 0 4 0 522258204 283627520 4420 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 276980

[startup+3.10082 s]
/proc/loadavg: 7.49 7.92 7.87 9/184 21115
/proc/meminfo: memFree=30276060/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=286720 CPUtime=12.36 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 16029 0 0 0 1233 3 0 0 25 0 4 0 522258204 293601280 9703 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 71680 9703 395 112 0 66645 0
[pid=21105/tid=21108] ppid=21102 vsize=286720 CPUtime=3.08 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 3829 0 0 0 307 1 0 0 25 0 4 0 522258204 293601280 9703 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=286720 CPUtime=3.09 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 4098 0 0 0 309 0 0 0 25 0 4 0 522258204 293601280 9703 33554432000 4194304 4650419 140737021732752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=286720 CPUtime=3.08 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 3654 0 0 0 308 0 0 0 25 0 4 0 522258204 293601280 9704 33554432000 4194304 4650419 140737021732752 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286720

[startup+6.30024 s]
/proc/loadavg: 7.53 7.92 7.87 9/184 21115
/proc/meminfo: memFree=30241016/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=305300 CPUtime=25.14 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 24114 0 0 0 2510 4 0 0 25 0 4 0 522258204 312627200 13819 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 76325 13819 395 112 0 71290 0
[pid=21105/tid=21108] ppid=21102 vsize=305300 CPUtime=6.26 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 6446 0 0 0 625 1 0 0 25 0 4 0 522258204 312627200 13819 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=305300 CPUtime=6.28 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 6084 0 0 0 628 0 0 0 25 0 4 0 522258204 312627200 13819 33554432000 4194304 4650419 140737021732752 18446744073709551615 4439488 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=305300 CPUtime=6.28 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 5182 0 0 0 628 0 0 0 25 0 4 0 522258204 312627200 13819 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 305300

[startup+12.7011 s]
/proc/loadavg: 7.57 7.92 7.87 9/184 21115
/proc/meminfo: memFree=30203700/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=305764 CPUtime=50.72 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 36057 0 0 0 5064 8 0 0 25 0 4 0 522258204 313102336 18805 33554432000 4194304 4650419 140737021732752 18446744073709551615 4476483 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 76441 18805 395 112 0 71406 0
[pid=21105/tid=21108] ppid=21102 vsize=305764 CPUtime=12.63 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 8872 0 0 0 1262 1 0 0 25 0 4 0 522258204 313102336 18805 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=305764 CPUtime=12.69 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 8739 0 0 0 1268 1 0 0 25 0 4 0 522258204 313102336 18805 33554432000 4194304 4650419 140737021732752 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=305764 CPUtime=12.68 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 7872 0 0 0 1267 1 0 0 25 0 4 0 522258204 313102336 18805 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 305764

[startup+25.5007 s]
/proc/loadavg: 7.67 7.92 7.87 9/184 21115
/proc/meminfo: memFree=30161432/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=306984 CPUtime=101.85 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 52519 0 0 0 10173 12 0 0 25 0 4 0 522258204 314351616 23453 33554432000 4194304 4650419 140737021732752 18446744073709551615 4329481 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 76746 23453 395 112 0 71711 0
[pid=21105/tid=21108] ppid=21102 vsize=306984 CPUtime=25.36 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 14052 0 0 0 2534 2 0 0 25 0 4 0 522258204 314351616 23453 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=306984 CPUtime=25.48 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 12878 0 0 0 2546 2 0 0 25 0 4 0 522258204 314351616 23453 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=306984 CPUtime=25.49 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 10349 0 0 0 2547 2 0 0 25 0 4 0 522258204 314351616 23453 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 306984

[startup+51.1011 s]
/proc/loadavg: 7.85 7.94 7.88 9/184 21116
/proc/meminfo: memFree=30118760/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=317856 CPUtime=204.13 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 80596 0 0 0 20394 19 0 0 25 0 4 0 522258204 325484544 29109 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 79464 29109 395 112 0 74429 0
[pid=21105/tid=21108] ppid=21102 vsize=317856 CPUtime=50.85 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 22540 0 0 0 5081 4 0 0 25 0 4 0 522258204 325484544 29109 33554432000 4194304 4650419 140737021732752 18446744073709551615 4511618 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=317856 CPUtime=51.09 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 20263 0 0 0 5104 5 0 0 25 0 4 0 522258204 325484544 29109 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=317856 CPUtime=51.08 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 14698 0 0 0 5105 3 0 0 25 0 4 0 522258204 325484544 29109 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 317856

[startup+102.301 s]
/proc/loadavg: 7.93 7.95 7.89 9/184 21117
/proc/meminfo: memFree=30069004/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=311460 CPUtime=408.7 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 124012 0 0 0 40839 31 0 0 25 0 4 0 522258204 318935040 35248 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 77865 35248 395 112 0 72830 0
[pid=21105/tid=21108] ppid=21102 vsize=311460 CPUtime=101.8 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 33514 0 0 0 10173 7 0 0 25 0 4 0 522258204 318935040 35248 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=311460 CPUtime=102.29 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 31634 0 0 0 10222 7 0 0 25 0 4 0 522258204 318935040 35248 33554432000 4194304 4650419 140737021732752 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=311460 CPUtime=102.29 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 23635 0 0 0 10223 6 0 0 25 0 4 0 522258204 318935040 35248 33554432000 4194304 4650419 140737021732752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (KiB) 311460

[startup+162.301 s]

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

[pid=21105] ppid=21102 vsize=450732 CPUtime=2805.74 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 435866 0 0 0 280432 142 0 0 25 0 4 0 522258204 461549568 75809 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 112683 75809 395 112 0 107648 0
[pid=21105/tid=21108] ppid=21102 vsize=450732 CPUtime=698.81 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 115302 0 0 0 69847 34 0 0 25 0 4 0 522258204 461549568 75809 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=450732 CPUtime=702.29 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 114935 0 0 0 70190 39 0 0 25 0 4 0 522258204 461549568 75809 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=450732 CPUtime=702.3 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 80505 0 0 0 70203 27 0 0 25 0 4 0 522258204 461549568 75809 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.74
Current children cumulated vsize (KiB) 450732

[startup+762.301 s]
/proc/loadavg: 8.10 8.04 7.95 9/184 21174
/proc/meminfo: memFree=29674204/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=462688 CPUtime=3045.45 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 454113 0 0 0 304395 150 0 0 25 0 4 0 522258204 473792512 78324 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 115672 78324 395 112 0 110637 0
[pid=21105/tid=21108] ppid=21102 vsize=462688 CPUtime=758.51 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 119073 0 0 0 75815 36 0 0 25 0 4 0 522258204 473792512 78324 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=462688 CPUtime=762.3 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 120941 0 0 0 76188 42 0 0 25 0 4 0 522258204 473792512 78324 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=462688 CPUtime=762.3 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 83777 0 0 0 76202 28 0 0 25 0 4 0 522258204 473792512 78324 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.45
Current children cumulated vsize (KiB) 462688

[startup+822.301 s]
/proc/loadavg: 8.20 8.08 7.97 9/184 21175
/proc/meminfo: memFree=29658788/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=540960 CPUtime=3285.14 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 478276 0 0 0 328355 159 0 0 25 0 4 0 522258204 553943040 82861 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 135240 82861 395 112 0 130205 0
[pid=21105/tid=21108] ppid=21102 vsize=540960 CPUtime=818.2 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 127258 0 0 0 81782 38 0 0 25 0 4 0 522258204 553943040 82861 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=540960 CPUtime=822.29 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 128294 0 0 0 82184 45 0 0 25 0 4 0 522258204 553943040 82861 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=540960 CPUtime=822.3 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 86760 0 0 0 82201 29 0 0 25 0 4 0 522258204 553943040 82861 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3285.14
Current children cumulated vsize (KiB) 540960

[startup+882.306 s]
/proc/loadavg: 8.49 8.17 8.00 9/184 21180
/proc/meminfo: memFree=29610236/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=541236 CPUtime=3524.84 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 500805 0 0 0 352317 167 0 0 25 0 4 0 522258204 554225664 86573 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 135309 86573 395 112 0 130274 0
[pid=21105/tid=21108] ppid=21102 vsize=541236 CPUtime=877.89 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 133160 0 0 0 87749 40 0 0 25 0 4 0 522258204 554225664 86573 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=541236 CPUtime=882.31 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 136235 0 0 0 88182 49 0 0 25 0 4 0 522258204 554225664 86573 33554432000 4194304 4650419 140737021732752 18446744073709551615 4313339 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=541236 CPUtime=882.31 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 89548 0 0 0 88201 30 0 0 25 0 4 0 522258204 554225664 86573 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.84
Current children cumulated vsize (KiB) 541236

[startup+942.3 s]
/proc/loadavg: 8.29 8.17 8.01 9/184 21181
/proc/meminfo: memFree=29588112/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=528900 CPUtime=3764.52 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 519637 0 0 0 376277 175 0 0 25 0 4 0 522258204 541593600 87567 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 132225 87567 395 112 0 127190 0
[pid=21105/tid=21108] ppid=21102 vsize=528900 CPUtime=937.57 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 137717 0 0 0 93715 42 0 0 25 0 4 0 522258204 541593600 87567 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=528900 CPUtime=942.29 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 140525 0 0 0 94179 50 0 0 25 0 4 0 522258204 541593600 87568 33554432000 4194304 4650419 140737021732752 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=528900 CPUtime=942.3 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 93869 0 0 0 94199 31 0 0 25 0 4 0 522258204 541593600 87568 33554432000 4194304 4650419 140737021732752 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.52
Current children cumulated vsize (KiB) 528900

[startup+1002.3 s]
/proc/loadavg: 8.11 8.14 8.00 9/184 21183
/proc/meminfo: memFree=29578636/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=541884 CPUtime=4004.21 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 537633 0 0 0 400238 183 0 0 25 0 4 0 522258204 554889216 86691 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 135471 86691 395 112 0 130436 0
[pid=21105/tid=21108] ppid=21102 vsize=541884 CPUtime=997.26 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 142864 0 0 0 99682 44 0 0 25 0 4 0 522258204 554889216 86691 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=541884 CPUtime=1002.3 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 146383 0 0 0 100176 54 0 0 25 0 4 0 522258204 554889216 86691 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=541884 CPUtime=1002.31 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 95234 0 0 0 100199 32 0 0 25 0 4 0 522258204 554889216 86691 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4004.21
Current children cumulated vsize (KiB) 541884

[startup+1062.3 s]
/proc/loadavg: 8.09 8.12 8.00 9/184 21185
/proc/meminfo: memFree=29554184/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=531052 CPUtime=4243.9 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 559838 0 0 0 424199 191 0 0 25 0 4 0 522258204 543797248 93541 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 132763 93541 395 112 0 127728 0
[pid=21105/tid=21108] ppid=21102 vsize=531052 CPUtime=1056.94 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 144031 0 0 0 105650 44 0 0 25 0 4 0 522258204 543797248 93541 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=531052 CPUtime=1062.3 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 153081 0 0 0 106174 56 0 0 25 0 4 0 522258204 543797248 93541 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=531052 CPUtime=1062.3 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 103640 0 0 0 106196 34 0 0 25 0 4 0 522258204 543797248 93541 33554432000 4194304 4650419 140737021732752 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.9
Current children cumulated vsize (KiB) 531052

[startup+1122.3 s]
/proc/loadavg: 8.14 8.13 8.01 9/184 21186
/proc/meminfo: memFree=29513984/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=531196 CPUtime=4483.59 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 573655 0 0 0 448161 198 0 0 25 0 4 0 522258204 543944704 97663 33554432000 4194304 4650419 140737021732752 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 132799 97663 395 112 0 127764 0
[pid=21105/tid=21108] ppid=21102 vsize=531196 CPUtime=1116.63 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 147640 0 0 0 111617 46 0 0 25 0 4 0 522258204 543944704 97663 33554432000 4194304 4650419 140737021732752 18446744073709551615 4352065 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=531196 CPUtime=1122.3 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 158723 0 0 0 112171 59 0 0 25 0 4 0 522258204 543944704 97663 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=531196 CPUtime=1122.3 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 103730 0 0 0 112196 34 0 0 25 0 4 0 522258204 543944704 97663 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.59
Current children cumulated vsize (KiB) 531196

[startup+1182.3 s]
/proc/loadavg: 8.15 8.13 8.01 9/184 21188
/proc/meminfo: memFree=29466588/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=544304 CPUtime=4723.28 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 587906 0 0 0 472122 206 0 0 25 0 4 0 522258204 557367296 101727 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 136076 101727 395 112 0 131041 0
[pid=21105/tid=21108] ppid=21102 vsize=544304 CPUtime=1176.32 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 152973 0 0 0 117583 49 0 0 25 0 4 0 522258204 557367296 101727 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=544304 CPUtime=1182.3 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 163065 0 0 0 118168 62 0 0 25 0 4 0 522258204 557367296 101727 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=544304 CPUtime=1182.31 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 103753 0 0 0 118197 34 0 0 25 0 4 0 522258204 557367296 101727 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4723.28
Current children cumulated vsize (KiB) 544304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.18 8.14 8.02 9/184 21189
/proc/meminfo: memFree=29484672/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=583392 CPUtime=4800.4 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 591282 0 0 0 479831 209 0 0 25 0 4 0 522258204 597393408 98937 33554432000 4194304 4650419 140737021732752 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 145848 98937 395 112 0 140813 0
[pid=21105/tid=21108] ppid=21102 vsize=583392 CPUtime=1195.52 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 153890 0 0 0 119502 50 0 0 25 0 4 0 522258204 597393408 98937 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=583392 CPUtime=1201.61 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 163260 0 0 0 120098 63 0 0 25 0 4 0 522258204 597393408 98937 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=583392 CPUtime=1201.62 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 105042 0 0 0 120127 35 0 0 25 0 4 0 522258204 597393408 98937 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 583392

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.18 8.14 8.02 9/184 21189
/proc/meminfo: memFree=29484672/32951124 swapFree=67111364/67111528
[pid=21105] ppid=21102 vsize=583392 CPUtime=4800.4 cores=0,2,4,6
/proc/21105/stat : 21105 (strangenight1-m) R 21102 21105 20975 0 -1 4202496 591282 0 0 0 479831 209 0 0 25 0 4 0 522258204 597393408 98937 33554432000 4194304 4650419 140737021732752 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21105/statm: 145848 98937 395 112 0 140813 0
[pid=21105/tid=21108] ppid=21102 vsize=583392 CPUtime=1195.52 cores=0,2,4,6
/proc/21105/task/21108/stat : 21108 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 153890 0 0 0 119502 50 0 0 25 0 4 0 522258204 597393408 98937 33554432000 4194304 4650419 140737021732752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21105/tid=21109] ppid=21102 vsize=583392 CPUtime=1201.61 cores=0,2,4,6
/proc/21105/task/21109/stat : 21109 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 163260 0 0 0 120098 63 0 0 25 0 4 0 522258204 597393408 98937 33554432000 4194304 4650419 140737021732752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21105/tid=21111] ppid=21102 vsize=583392 CPUtime=1201.62 cores=0,2,4,6
/proc/21105/task/21111/stat : 21111 (strangenight1-m) R 21102 21105 20975 0 -1 4202560 105042 0 0 0 120127 35 0 0 25 0 4 0 522258204 597393408 98937 33554432000 4194304 4650419 140737021732752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 583392

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.44
CPU user time (s): 4798.34
CPU system time (s): 2.10868
CPU usage (%): 399.495
Max. virtual memory (cumulated for all children) (KiB): 596820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.34
system time used= 2.10868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591282
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= 443
involuntary context switches= 28577

runsolver used 1.86272 second user time and 4.15037 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 21:49:38
IDJOB=3175278
IDBENCH=82896
IDSOLVER=1588
FILE ID=node106/3175278-1304106578
RUNJOBID= node106-1304105374-20993
PBS_JOBID= 13170655
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175278-1304106578/watcher-3175278-1304106578 -o /tmp/evaluation-result-3175278-1304106578/solver-3175278-1304106578 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175278-1304106578.cnf

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

MD5SUM BENCH= f154a23cd5dae9f4e2340ec192300943
RANDOM SEED=1565761113

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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:      30330004 kB
Buffers:        256140 kB
Cached:        2089516 kB
SwapCached:         88 kB
Active:         803888 kB
Inactive:      1605280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30330004 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:       64032 kB
Mapped:          14292 kB
Slab:           146452 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188612 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= 72148 MiB
End job on node106 at 2011-04-29 22:09:42