Trace number 3368834

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf
MD5SUMdc676a8dc341229efc4ee05b1ab19ceb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark130.058
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-3368834-1305404190.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	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.10	c lits-rem:         0  cl-subs:        0  v-elim:     12  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:     205 undec:      52 neg:     193
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       438      1897         0         0      5756         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.40/0.15	c  N st     8      4914       438      1897         0      4805      5756     99964   no data   no data  --
1.16/0.38	c  N st    10     11299       438      1897         0      4476      5756     70244   no data   no data  --
2.36/0.62	c  N st    11     17043       438      1897         0     10113      5756    188363   no data   no data  --
3.96/1.00	c  F st    12     25002       438      1897         0     12343      5756    232837   no data   no data  --
3.96/1.00	c  N st    12     25002       438      1897         0     12343      5756    232837   no data   no data  --
4.81/1.24	c Decided on static restart strategy
4.81/1.24	c  N st    18     30001       438      1897         0     10639      5756    186042   no data   no data  --
4.81/1.24	c  S st    18     30001       438      1897         0     10639      5756    186042   no data   no data  --
4.81/1.27	c  S st    18     30506       438      1897         0     11143      5756    196358   no data   no data  --
4.81/1.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.81/1.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.81/1.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.81/1.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.81/1.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.81/1.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
4.81/1.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.46	c lits-rem:       118  cl-subs:      541  v-elim:      0  v-fix:    0  time:  0.75 s
5.56/1.47	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.03
5.56/1.47	c calculated reachability. Time: 0.00
5.56/1.47	c  N st    18     30506       438      1897         0     10602      5756    184429   no data   no data  --
7.15/1.86	c  N st    20     37616       438      1897         0      9866      5756    151220   no data   no data  --
8.79/2.23	c  N st    21     44015       438      1897         0     16139      5756    288892   no data   no data  --
9.19/2.35	c  S st    22     45762       438      1897         0      9087      5756    118823   no data   no data  --
9.19/2.38	c  S st    22     46265       438      1897         0      9589      5756    129393   no data   no data  --
9.19/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.19/2.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
9.19/2.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.46	c lits-rem:        39  cl-subs:      114  v-elim:      0  v-fix:    0  time:  0.31 s
9.54/2.46	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
9.54/2.46	c vivif2 --  cl tried     9475 cl shrink        0 lits rem          0 time: 0.01
9.54/2.47	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
9.54/2.47	c calculated reachability. Time: 0.00
9.54/2.47	c  N st    22     46265       438      1897         0      9475      5756    127082   no data   no data  --
13.17/3.36	c  N st    23     60663       438      1897         0     13751      5756    211099   no data   no data  --
15.92/4.00	c  N st    24     69397       438      1897         0     11552      5756    153137   no data   no data  --
15.92/4.00	c  S st    24     69397       438      1897         0     11552      5756    153137   no data   no data  --
15.92/4.03	c  S st    24     69901       438      1897         0     12055      5756    163595   no data   no data  --
15.92/4.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.92/4.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
15.92/4.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.72/4.20	c lits-rem:        83  cl-subs:      198  v-elim:      0  v-fix:    0  time:  0.64 s
16.72/4.20	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
16.72/4.20	c vivif2 --  cl tried    11857 cl shrink        0 lits rem          0 time: 0.00
16.72/4.21	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.04
16.72/4.21	c calculated reachability. Time: 0.00
16.72/4.21	c  N st    24     69901       438      1897         0     11857      5756    159310   no data   no data  --
21.51/5.45	c  F st    25     87501       438      1897         0     17352      5756    270887   no data   no data  --
21.51/5.45	c  N st    25     87501       438      1897         0     17352      5756    270887   no data   no data  --
23.10/5.81	c Decided on static restart strategy
23.90/6.05	c  N st    32     95541       438      1897         0     25222      5756    442798   no data   no data  --
26.33/6.70	c  N st    34    104852       438      1897         0     21619      5756    343746   no data   no data  --
26.33/6.70	c  S st    34    104852       438      1897         0     21619      5756    343746   no data   no data  --
26.74/6.76	c  S st    34    105353       438      1897         0     22119      5756    354022   no data   no data  --
26.74/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.74/6.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
26.74/6.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.89/7.55	c lits-rem:       252  cl-subs:     1336  v-elim:      0  v-fix:    0  time:  3.08 s
29.89/7.55	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
29.89/7.55	c vivif2 --  cl tried    20783 cl shrink        0 lits rem          0 time: 0.01
29.89/7.56	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.06
29.89/7.56	c calculated reachability. Time: 0.00
29.89/7.56	c  N st    34    105353       438      1897         0     20783      5756    325715   no data   no data  --
33.48/8.43	c  N st    35    114951       438      1897         0     16457      5756    217084   no data   no data  --
38.26/9.61	c  N st    36    129348       438      1897         0     15865      5756    190825   no data   no data  --
44.64/11.23	c  N st    37    150943       438      1897         0     21247      5756    289474   no data   no data  --
47.04/11.82	c  S st    38    158031       438      1897         0     28175      5756    434019   no data   no data  --
47.04/11.89	c  S st    38    158532       438      1897         0     28675      5756    444961   no data   no data  --
47.04/11.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.04/11.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.44/11.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
47.44/11.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.44/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.44/11.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
47.44/11.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
52.66/13.23	c lits-rem:       525  cl-subs:     1923  v-elim:      0  v-fix:    0  time:  5.24 s
52.66/13.23	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
52.66/13.24	c vivif2 --  cl tried    26752 cl shrink        0 lits rem          0 time: 0.02
52.66/13.26	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.08
52.66/13.26	c calculated reachability. Time: 0.00
52.66/13.26	c  N st    38    158532       438      1897         0     26752      5756    407714   no data   no data  --
71.77/18.09	c  N st    39    207122       438      1897         0     21523      5756    269558   no data   no data  --
84.54/21.23	c  N st    40    237799       438      1897         0     31875      5756    479057   no data   no data  --
84.54/21.23	c  S st    40    237799       438      1897         0     31875      5756    479057   no data   no data  --
84.94/21.31	c  S st    40    238305       438      1897         0     32379      5756    489819   no data   no data  --
84.94/21.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.94/21.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.94/21.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
84.94/21.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.94/21.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.94/21.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
84.94/21.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.32/22.99	c lits-rem:       553  cl-subs:     2211  v-elim:      0  v-fix:    0  time:  6.58 s
91.32/22.99	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
91.32/22.99	c vivif2 --  cl tried    30168 cl shrink        0 lits rem          0 time: 0.02
91.72/23.01	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.09
91.72/23.01	c calculated reachability. Time: 0.00
91.72/23.01	c  N st    40    238305       438      1897         0     30168      5756    442513   no data   no data  --
120.84/30.30	c  F st    41    306251       438      1897         0     32171      5756    451499   no data   no data  --
120.84/30.30	c  N st    41    306251       438      1897         0     32171      5756    451499   no data   no data  --
123.63/31.02	c Decided on static restart strategy
134.40/33.73	c  N st    51    334555       438      1897         0     36420      5756    520544   no data   no data  --
145.57/36.57	c  N st    53    357458       438      1897         0     34340      5756    466054   no data   no data  --
145.57/36.57	c  S st    53    357458       438      1897         0     34340      5756    466054   no data   no data  --
145.97/36.65	c  S st    53    357961       438      1897         0     34843      5756    476588   no data   no data  --
145.97/36.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.97/36.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.97/36.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
145.97/36.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.97/36.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.97/36.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
145.97/36.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
152.35/38.22	c lits-rem:       563  cl-subs:     1314  v-elim:      0  v-fix:    0  time:  6.15 s
152.35/38.22	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
152.35/38.22	c vivif2 --  cl tried    33529 cl shrink        0 lits rem          0 time: 0.02
152.35/38.25	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.11
152.35/38.25	c calculated reachability. Time: 0.00
152.35/38.25	c  N st    53    357961       438      1897         0     33529      5756    448993   no data   no data  --
169.11/42.42	c  N st    54    390354       438      1897         0     39847      5756    584917   no data   no data  --
197.86/49.63	c  N st    55    438943       438      1897         0     33500      5756    401246   no data   no data  --
240.10/60.26	c  N st    56    511825       438      1897         0     46950      5756    665225   no data   no data  --
255.65/64.14	c  N st    57    536941       438      1897         0     41222      5756    531557   no data   no data  --
255.65/64.14	c  S st    57    536941       438      1897         0     41222      5756    531557   no data   no data  --
256.05/64.25	c  S st    57    537446       438      1897         0     41725      5756    543528   no data   no data  --
256.05/64.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
256.05/64.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
256.05/64.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
256.05/64.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.05/64.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.05/64.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
256.05/64.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
263.28/66.03	c lits-rem:       582  cl-subs:     1848  v-elim:      0  v-fix:    0  time:  6.99 s
263.28/66.03	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
263.28/66.04	c vivif2 --  cl tried    39877 cl shrink        0 lits rem          0 time: 0.02
263.28/66.07	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.13
263.28/66.07	c calculated reachability. Time: 0.00
263.28/66.07	c  N st    57    537446       438      1897         0     39877      5756    504840   no data   no data  --
366.55/91.94	c  N st    58    701430       438      1897         0     68856      5756   1060536   no data   no data  --
437.96/109.85	c  N st    59    806170       438      1897         0     62878      5756    921169   no data   no data  --
437.96/109.85	c  S st    59    806170       438      1897         0     62878      5756    921169   no data   no data  --
438.79/110.07	c  S st    59    806671       438      1897         0     63376      5756    932143   no data   no data  --
438.79/110.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
438.79/110.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
438.79/110.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
439.20/110.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
439.20/110.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.20/110.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
439.20/110.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
453.91/113.86	c lits-rem:       906  cl-subs:     4795  v-elim:      0  v-fix:    0  time: 14.85 s
453.91/113.86	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
453.91/113.87	c vivif2 --  cl tried    58581 cl shrink        0 lits rem          0 time: 0.04
454.31/113.93	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.25
454.31/113.93	c calculated reachability. Time: 0.00
454.31/113.93	c  N st    59    806671       438      1897         0     58581      5756    837383   no data   no data  --
652.96/163.72	c  F st    60   1071875       438      1897         0     73874      5756   1026338   no data   no data  --
652.96/163.72	c  N st    60   1071875       438      1897         0     73874      5756   1026338   no data   no data  --
658.18/165.01	c Decided on static restart strategy
676.14/169.59	c  N st    70   1100182       438      1897         0     58004      5756    718824   no data   no data  --
708.81/177.79	c  N st    72   1136175       438      1897         0     48446      5756    494406   no data   no data  --
735.92/184.52	c  N st    73   1168568       438      1897         0     79915      5756   1150198   no data   no data  --
773.01/193.83	c  N st    74   1210009       438      1897         0     74547      5756   1026740   no data   no data  --
773.01/193.83	c  S st    74   1210009       438      1897         0     74547      5756   1026740   no data   no data  --
773.81/194.07	c  S st    74   1210514       438      1897         0     75051      5756   1037526   no data   no data  --
773.81/194.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
773.81/194.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
774.21/194.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
774.21/194.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
774.21/194.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
774.21/194.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
774.21/194.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
787.78/197.54	c lits-rem:       242  cl-subs:     5334  v-elim:      0  v-fix:    0  time: 13.56 s
787.78/197.54	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
787.78/197.55	c vivif2 --  cl tried    69717 cl shrink        0 lits rem          0 time: 0.05
788.18/197.64	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.34
788.18/197.64	c calculated reachability. Time: 0.00
788.18/197.64	c  N st    74   1210514       438      1897         0     69717      5756    936823   no data   no data  --
862.77/216.30	c  N st    75   1283397       438      1897         0     94073      5756   1524684   no data   no data  --
971.66/243.69	c  N st    76   1392722       438      1897         0     54673      5756    576964   no data   no data  --
1141.58/286.29	c  N st    77   1556706       438      1897         0     59672      5756    644966   no data   no data  --
1300.73/326.15	c  N st    78   1710516       438      1897         0    100526      5756   1536566   no data   no data  --
1300.73/326.15	c  S st    78   1710516       438      1897         0    100526      5756   1536566   no data   no data  --
1302.33/326.53	c  S st    78   1711018       438      1897         0    101025      5756   1547807   no data   no data  --
1302.33/326.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1302.33/326.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1302.33/326.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1302.73/326.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1302.73/326.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1302.73/326.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1302.73/326.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1354.98/339.75	c lits-rem:       343  cl-subs:    10435  v-elim:      0  v-fix:    0  time: 52.29 s
1354.98/339.75	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1354.98/339.77	c vivif2 --  cl tried    90590 cl shrink        0 lits rem          0 time: 0.07
1355.38/339.89	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.50
1355.38/339.90	c calculated reachability. Time: 0.00
1355.38/339.90	c  N st    78   1711018       438      1897         0     90590      5756   1335381   no data   no data  --
1727.14/433.05	c  N st    79   2079982       438      1897         0    102027      5756   1381949   no data   no data  --
1875.93/470.34	c  N st    80   2211018       438      1897         0    106069      5756   1478407   no data   no data  --
1875.93/470.34	c  S st    80   2211018       438      1897         0    106069      5756   1478407   no data   no data  --
1877.53/470.73	c  S st    80   2211519       438      1897         0    106569      5756   1489413   no data   no data  --
1877.53/470.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1877.53/470.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1877.53/470.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1877.96/470.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1877.96/470.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1877.96/470.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1877.96/470.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1923.38/482.28	c lits-rem:       600  cl-subs:    12696  v-elim:      0  v-fix:    0  time: 45.59 s
1923.38/482.28	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1923.38/482.30	c vivif2 --  cl tried    93873 cl shrink        0 lits rem          0 time: 0.07
1924.18/482.42	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.50
1924.18/482.42	c calculated reachability. Time: 0.00
1924.18/482.42	c  N st    80   2211519       438      1897         0     93873      5756   1250304   no data   no data  --
2512.94/630.24	c  N st    81   2711519       438      1897         0    117079      5756   1551465   no data   no data  --
2512.94/630.24	c  S st    81   2711519       438      1897         0    117079      5756   1551465   no data   no data  --
2514.52/630.66	c  S st    81   2712023       438      1897         0    117582      5756   1562494   no data   no data  --
2514.52/630.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2514.52/630.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2514.92/630.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2514.92/630.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2514.92/630.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2514.92/630.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
2514.92/630.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2560.79/642.26	c lits-rem:       174  cl-subs:    16272  v-elim:      0  v-fix:    0  time: 45.79 s
2560.79/642.26	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
2560.79/642.27	c vivif2 --  cl tried   101310 cl shrink        0 lits rem          0 time: 0.07
2561.63/642.41	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.53
2561.63/642.41	c calculated reachability. Time: 0.00
2561.63/642.41	c  N st    81   2712023       438      1897         0    101310      5756   1302151   no data   no data  --
3212.98/805.76	c  N st    82   3212023       438      1897         0     77998      5756    727975   no data   no data  --
3212.98/805.76	c  S st    82   3212023       438      1897         0     77998      5756    727975   no data   no data  --
3213.78/805.99	c  S st    82   3212528       438      1897         0     78501      5756    739315   no data   no data  --
3213.78/805.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3213.78/805.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3214.18/806.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3214.18/806.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3214.18/806.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3214.18/806.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3214.18/806.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3222.96/808.25	c lits-rem:       413  cl-subs:      734  v-elim:      0  v-fix:    0  time:  8.76 s
3222.96/808.25	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
3222.96/808.26	c vivif2 --  cl tried    77767 cl shrink        0 lits rem          0 time: 0.04
3223.36/808.35	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.35
3223.36/808.35	c calculated reachability. Time: 0.00
3223.36/808.35	c  N st    82   3212528       438      1897         0     77767      5756    727234   no data   no data  --
3908.68/980.12	c  N st    83   3712528       438      1897         0     88444      5756    864020   no data   no data  --
3908.68/980.12	c  S st    83   3712528       438      1897         0     88444      5756    864020   no data   no data  --
3909.84/980.41	c  S st    83   3713030       438      1897         0     88945      5756    875233   no data   no data  --
3909.84/980.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3909.84/980.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3909.84/980.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3909.84/980.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3909.84/980.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3909.84/980.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3909.84/980.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3922.26/983.58	c lits-rem:       954  cl-subs:     2608  v-elim:      0  v-fix:    0  time: 12.34 s
3922.26/983.58	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
3922.26/983.59	c vivif2 --  cl tried    86337 cl shrink        0 lits rem          0 time: 0.05
3923.00/983.70	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.44
3923.00/983.70	c calculated reachability. Time: 0.00
3923.00/983.70	c  N st    83   3713030       438      1897         0     86337      5756    833623   no data   no data  --
3971.67/995.98	c  F st    84   3751562       438      1897         0    123475      5756   1631345   no data   no data  --
3971.67/995.98	c  N st    84   3751562       438      1897         0    123475      5756   1631345   no data   no data  --
3981.24/998.32	c Decided on static restart strategy
4022.34/1008.69	c  N st    94   3779867       438      1897         0    150866      5756   2219537   no data   no data  --
4076.98/1022.35	c  N st    96   3815859       438      1897         0    103938      5756   1194701   no data   no data  --
4128.83/1035.32	c  N st    97   3848251       438      1897         0    135237      5756   1879512   no data   no data  --
4205.03/1054.46	c  N st    98   3896841       438      1897         0     99151      5756   1075702   no data   no data  --
4330.67/1085.93	c  N st    99   3969726       438      1897         0     85603      5756    775139   no data   no data  --
4478.68/1123.00	c  N st   100   4079049       438      1897         0    106115      5756   1168239   no data   no data  --
4667.34/1170.39	c  N st   101   4213033       438      1897         0    149483      5756   2117556   no data   no data  --
4667.34/1170.39	c  S st   101   4213033       438      1897         0    149483      5756   2117556   no data   no data  --
4669.73/1170.92	c  S st   101   4213535       438      1897         0    149983      5756   2129512   no data   no data  --
4669.73/1170.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4669.73/1170.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4670.13/1171.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4670.13/1171.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4670.13/1171.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4670.13/1171.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
4670.13/1171.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4761.06/1193.81	c lits-rem:      1294  cl-subs:    16143  v-elim:      0  v-fix:    0  time: 90.60 s
4761.06/1193.81	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
4761.06/1193.84	c vivif2 --  cl tried   133840 cl shrink        0 lits rem          0 time: 0.10
4761.86/1194.05	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.84
4761.86/1194.05	c calculated reachability. Time: 0.00
4761.86/1194.05	c  N st   101   4213535       438      1897         0    133840      5756   1821618   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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368834-1305404190/watcher-3368834-1305404190 -o /tmp/evaluation-result-3368834-1305404190/solver-3368834-1305404190 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368834-1305404190.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: 4.08 4.44 5.94 6/352 26692
/proc/meminfo: memFree=21526752/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=290180 CPUtime=0.01 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 855 0 0 0 1 0 0 0 25 0 4 0 632835084 297144320 770 33554432000 4194304 4650419 140734518312816 18446744073709551615 4536397 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 72545 775 360 112 0 67510 0
[pid=26692/tid=26693] ppid=26690 vsize=282348 CPUtime=0 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 215 0 0 0 0 0 0 0 25 0 4 0 632835084 289124352 1042 33554432000 4194304 4650419 140734518312816 18446744073709551615 255106424987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=282348 CPUtime=0 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 210 0 0 0 0 0 0 0 25 0 4 0 632835084 289124352 1043 33554432000 4194304 4650419 140734518312816 18446744073709551615 255106465547 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=282348 CPUtime=0 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 107 0 0 0 0 0 0 0 25 0 4 0 632835084 289124352 1043 33554432000 4194304 4650419 140734518312816 18446744073709551615 255106873838 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.109511 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26692
/proc/meminfo: memFree=21526752/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=282476 CPUtime=0.4 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 1690 0 0 0 40 0 0 0 25 0 4 0 632835084 289255424 1561 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 70619 1561 391 112 0 65584 0
[pid=26692/tid=26693] ppid=26690 vsize=282476 CPUtime=0.1 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 341 0 0 0 10 0 0 0 25 0 4 0 632835084 289255424 1561 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=282476 CPUtime=0.1 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 329 0 0 0 10 0 0 0 25 0 4 0 632835084 289255424 1561 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=282476 CPUtime=0.1 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 259 0 0 0 10 0 0 0 25 0 4 0 632835084 289255424 1561 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282476

[startup+0.200495 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26692
/proc/meminfo: memFree=21526752/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=283508 CPUtime=0.77 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 2312 0 0 0 77 0 0 0 25 0 4 0 632835084 290312192 1678 33554432000 4194304 4650419 140734518312816 18446744073709551615 4329287 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 70877 1679 393 112 0 65842 0
[pid=26692/tid=26693] ppid=26690 vsize=283508 CPUtime=0.19 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 495 0 0 0 19 0 0 0 25 0 4 0 632835084 290312192 1679 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=283508 CPUtime=0.19 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 485 0 0 0 19 0 0 0 25 0 4 0 632835084 290312192 1679 33554432000 4194304 4650419 140734518312816 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=283508 CPUtime=0.19 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 421 0 0 0 19 0 0 0 25 0 4 0 632835084 290312192 1679 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283508

[startup+0.300477 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26692
/proc/meminfo: memFree=21526752/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=283680 CPUtime=1.16 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 2671 0 0 0 116 0 0 0 25 0 4 0 632835084 290488320 2037 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 70920 2037 393 112 0 65885 0
[pid=26692/tid=26693] ppid=26690 vsize=283680 CPUtime=0.29 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 584 0 0 0 29 0 0 0 25 0 4 0 632835084 290488320 2037 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=283680 CPUtime=0.28 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 573 0 0 0 28 0 0 0 25 0 4 0 632835084 290488320 2037 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=283680 CPUtime=0.29 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 513 0 0 0 29 0 0 0 25 0 4 0 632835084 290488320 2037 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283680

[startup+0.700409 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26692
/proc/meminfo: memFree=21526752/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=285024 CPUtime=2.76 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 4543 0 0 0 276 0 0 0 25 0 4 0 632835084 291864576 2392 33554432000 4194304 4650419 140734518312816 18446744073709551615 4315143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 71256 2392 393 112 0 66221 0
[pid=26692/tid=26693] ppid=26690 vsize=285024 CPUtime=0.69 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 1102 0 0 0 69 0 0 0 25 0 4 0 632835084 291864576 2392 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366073 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=285024 CPUtime=0.68 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 941 0 0 0 68 0 0 0 25 0 4 0 632835084 291864576 2393 33554432000 4194304 4650419 140734518312816 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=285024 CPUtime=0.69 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 979 0 0 0 69 0 0 0 25 0 4 0 632835084 291864576 2393 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285024

[startup+1.50027 s]
/proc/loadavg: 4.08 4.44 5.94 9/356 26696
/proc/meminfo: memFree=21511716/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=277016 CPUtime=5.95 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 8094 0 0 0 594 1 0 0 25 0 4 0 632835084 283664384 4441 33554432000 4194304 4650419 140734518312816 18446744073709551615 4363568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 69254 4441 395 112 0 64219 0
[pid=26692/tid=26693] ppid=26690 vsize=277016 CPUtime=1.49 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 1679 0 0 0 149 0 0 0 25 0 4 0 632835084 283664384 4441 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=277016 CPUtime=1.48 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 1664 0 0 0 148 0 0 0 25 0 4 0 632835084 283664384 4441 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=277016 CPUtime=1.47 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 1495 0 0 0 147 0 0 0 25 0 4 0 632835084 283664384 4441 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 277016

[startup+3.10099 s]
/proc/loadavg: 4.08 4.44 5.94 6/349 26719
/proc/meminfo: memFree=21528476/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=281448 CPUtime=12.34 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 15717 0 0 0 1232 2 0 0 25 0 4 0 632835084 288202752 8800 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 70362 8800 395 112 0 65327 0
[pid=26692/tid=26693] ppid=26690 vsize=281448 CPUtime=3.08 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 3717 0 0 0 308 0 0 0 25 0 4 0 632835084 288202752 8800 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=281448 CPUtime=3.08 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 4221 0 0 0 308 0 0 0 25 0 4 0 632835084 288202752 8800 33554432000 4194304 4650419 140734518312816 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=281448 CPUtime=3.06 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 3443 0 0 0 306 0 0 0 25 0 4 0 632835084 288202752 8800 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 281448

[startup+6.30043 s]
/proc/loadavg: 4.39 4.50 5.95 9/356 26727
/proc/meminfo: memFree=21463220/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=287700 CPUtime=25.1 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 23816 0 0 0 2506 4 0 0 25 0 4 0 632835084 294604800 11832 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 71925 11832 395 112 0 66890 0
[pid=26692/tid=26693] ppid=26690 vsize=287700 CPUtime=6.28 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 6160 0 0 0 627 1 0 0 25 0 4 0 632835084 294604800 11832 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=287700 CPUtime=6.29 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 6780 0 0 0 628 1 0 0 25 0 4 0 632835084 294604800 11832 33554432000 4194304 4650419 140734518312816 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=287700 CPUtime=6.22 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 4377 0 0 0 622 0 0 0 25 0 4 0 632835084 294604800 11832 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 287700

[startup+12.7003 s]
/proc/loadavg: 4.68 4.56 5.96 9/356 26727
/proc/meminfo: memFree=21418716/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=292120 CPUtime=50.63 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 36832 0 0 0 5055 8 0 0 25 0 4 0 632835084 299130880 16619 33554432000 4194304 4650419 140734518312816 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 73030 16619 395 112 0 67995 0
[pid=26692/tid=26693] ppid=26690 vsize=292120 CPUtime=12.68 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 9453 0 0 0 1266 2 0 0 25 0 4 0 632835084 299130880 16619 33554432000 4194304 4650419 140734518312816 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=292120 CPUtime=12.68 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 10005 0 0 0 1266 2 0 0 25 0 4 0 632835084 299130880 16619 33554432000 4194304 4650419 140734518312816 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=292120 CPUtime=12.55 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 6570 0 0 0 1254 1 0 0 25 0 4 0 632835084 299130880 16619 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 292120

[startup+25.5011 s]
/proc/loadavg: 5.41 4.73 6.00 9/356 26727
/proc/meminfo: memFree=21360352/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=301476 CPUtime=101.69 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 55671 0 0 0 10157 12 0 0 25 0 4 0 632835084 308711424 22771 33554432000 4194304 4650419 140734518312816 18446744073709551615 4331347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 75369 22771 395 112 0 70334 0
[pid=26692/tid=26693] ppid=26690 vsize=301476 CPUtime=25.48 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 15357 0 0 0 2545 3 0 0 25 0 4 0 632835084 308711424 22771 33554432000 4194304 4650419 140734518312816 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=301476 CPUtime=25.48 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 15280 0 0 0 2545 3 0 0 25 0 4 0 632835084 308711424 22771 33554432000 4194304 4650419 140734518312816 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=301476 CPUtime=25.21 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 9107 0 0 0 2519 2 0 0 25 0 4 0 632835084 308711424 22771 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 301476

[startup+51.1006 s]
/proc/loadavg: 6.30 4.99 6.05 9/356 26728
/proc/meminfo: memFree=21308276/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=314296 CPUtime=203.8 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 84353 0 0 0 20362 18 0 0 25 0 4 0 632835084 321839104 28842 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 78574 28842 395 112 0 73539 0
[pid=26692/tid=26693] ppid=26690 vsize=314296 CPUtime=51.08 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 23899 0 0 0 5104 4 0 0 25 0 4 0 632835084 321839104 28842 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=314296 CPUtime=51.08 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 23507 0 0 0 5103 5 0 0 25 0 4 0 632835084 321839104 28842 33554432000 4194304 4650419 140734518312816 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=314296 CPUtime=50.52 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 12831 0 0 0 5049 3 0 0 25 0 4 0 632835084 321839104 28842 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 314296

[startup+102.301 s]
/proc/loadavg: 7.30 5.47 6.15 9/356 26729
/proc/meminfo: memFree=21267316/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=320776 CPUtime=408.07 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 130410 0 0 0 40774 33 0 0 25 0 4 0 632835084 328474624 34535 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 80194 34535 395 112 0 75159 0
[pid=26692/tid=26693] ppid=26690 vsize=320776 CPUtime=102.29 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 36164 0 0 0 10220 9 0 0 25 0 4 0 632835084 328474624 34536 33554432000 4194304 4650419 140734518312816 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=320776 CPUtime=102.3 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 36570 0 0 0 10221 9 0 0 25 0 4 0 632835084 328474624 34536 33554432000 4194304 4650419 140734518312816 18446744073709551615 4327935 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=320776 CPUtime=101.16 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 20029 0 0 0 10110 6 0 0 25 0 4 0 632835084 328474624 34536 33554432000 4194304 4650419 140734518312816 18446744073709551615 4334336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 320776

[startup+162.301 s]

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

[pid=26692] ppid=26690 vsize=551184 CPUtime=2800.51 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 421301 0 0 0 279902 149 0 0 25 0 4 0 632835084 564412416 78012 33554432000 4194304 4650419 140734518312816 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 137796 78012 395 112 0 132761 0
[pid=26692/tid=26693] ppid=26690 vsize=551184 CPUtime=702.25 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 108691 0 0 0 70186 39 0 0 25 0 4 0 632835084 564412416 78012 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=551184 CPUtime=702.3 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 124680 0 0 0 70185 45 0 0 25 0 4 0 632835084 564412416 78012 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=551184 CPUtime=694.3 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 64590 0 0 0 69404 26 0 0 25 0 4 0 632835084 564412416 78012 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.51
Current children cumulated vsize (KiB) 551184

[startup+762.301 s]
/proc/loadavg: 8.15 7.88 7.17 9/356 26750
/proc/meminfo: memFree=20841604/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=551592 CPUtime=3039.9 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 443723 0 0 0 303831 159 0 0 25 0 4 0 632835084 564830208 75462 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 137898 75462 395 112 0 132863 0
[pid=26692/tid=26693] ppid=26690 vsize=551592 CPUtime=762.27 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 116003 0 0 0 76184 43 0 0 25 0 4 0 632835084 564830208 75462 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=551592 CPUtime=762.31 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 131479 0 0 0 76184 47 0 0 25 0 4 0 632835084 564830208 75462 33554432000 4194304 4650419 140734518312816 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=551592 CPUtime=753.64 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 67114 0 0 0 75337 27 0 0 25 0 4 0 632835084 564830208 75462 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.9
Current children cumulated vsize (KiB) 551592

[startup+822.301 s]
/proc/loadavg: 8.09 7.92 7.22 9/356 26751
/proc/meminfo: memFree=20786764/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=569484 CPUtime=3279.19 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 467716 0 0 0 327750 169 0 0 25 0 4 0 632835084 583151616 85769 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 142371 85769 395 112 0 137336 0
[pid=26692/tid=26693] ppid=26690 vsize=569484 CPUtime=822.25 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 124074 0 0 0 82180 45 0 0 25 0 4 0 632835084 583151616 85769 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=569484 CPUtime=822.3 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 137727 0 0 0 82180 50 0 0 25 0 4 0 632835084 583151616 85769 33554432000 4194304 4650419 140734518312816 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=569484 CPUtime=812.96 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 71079 0 0 0 81267 29 0 0 25 0 4 0 632835084 583151616 85769 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.19
Current children cumulated vsize (KiB) 569484

[startup+882.313 s]
/proc/loadavg: 8.11 7.96 7.28 9/356 26753
/proc/meminfo: memFree=20787128/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=569872 CPUtime=3518.58 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 489593 0 0 0 351680 178 0 0 25 0 4 0 632835084 583548928 81315 33554432000 4194304 4650419 140734518312816 18446744073709551615 4328256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 142468 81315 395 112 0 137433 0
[pid=26692/tid=26693] ppid=26690 vsize=569872 CPUtime=882.27 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 131163 0 0 0 88179 48 0 0 25 0 4 0 632835084 583548928 81315 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=569872 CPUtime=882.31 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 145073 0 0 0 88179 52 0 0 25 0 4 0 632835084 583548928 81315 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=569872 CPUtime=872.3 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 72949 0 0 0 87201 29 0 0 25 0 4 0 632835084 583548928 81315 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.58
Current children cumulated vsize (KiB) 569872

[startup+942.301 s]
/proc/loadavg: 8.08 7.98 7.32 9/356 26755
/proc/meminfo: memFree=20781784/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=570196 CPUtime=3757.87 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 511338 0 0 0 375598 189 0 0 25 0 4 0 632835084 583880704 85507 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365216 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 142549 85507 395 112 0 137514 0
[pid=26692/tid=26693] ppid=26690 vsize=570196 CPUtime=942.26 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 136796 0 0 0 94175 51 0 0 25 0 4 0 632835084 583880704 85507 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=570196 CPUtime=942.31 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 151861 0 0 0 94175 56 0 0 25 0 4 0 632835084 583880704 85507 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=570196 CPUtime=931.64 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 76639 0 0 0 93132 32 0 0 25 0 4 0 632835084 583880704 85507 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.87
Current children cumulated vsize (KiB) 570196

[startup+1002.3 s]
/proc/loadavg: 8.10 8.01 7.37 9/356 26756
/proc/meminfo: memFree=20783384/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=578036 CPUtime=3997.2 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 531555 0 0 0 399522 198 0 0 25 0 4 0 632835084 591908864 84976 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 144509 84976 395 112 0 139474 0
[pid=26692/tid=26693] ppid=26690 vsize=578036 CPUtime=1002.26 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 142931 0 0 0 100173 53 0 0 25 0 4 0 632835084 591908864 84976 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=578036 CPUtime=1002.3 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 158199 0 0 0 100171 59 0 0 25 0 4 0 632835084 591908864 84976 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=578036 CPUtime=990.95 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 78405 0 0 0 99063 32 0 0 25 0 4 0 632835084 591908864 84976 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365639 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.2
Current children cumulated vsize (KiB) 578036

[startup+1062.3 s]
/proc/loadavg: 8.18 8.05 7.42 9/356 26758
/proc/meminfo: memFree=20750244/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=578312 CPUtime=4236.55 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 554952 0 0 0 423448 207 0 0 25 0 4 0 632835084 592191488 90600 33554432000 4194304 4650419 140734518312816 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 144578 90600 395 112 0 139543 0
[pid=26692/tid=26693] ppid=26690 vsize=578312 CPUtime=1062.25 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 148995 0 0 0 106170 55 0 0 25 0 4 0 632835084 592191488 90600 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=578312 CPUtime=1062.3 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 165839 0 0 0 106168 62 0 0 25 0 4 0 632835084 592191488 90600 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=578312 CPUtime=1050.31 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 82606 0 0 0 104997 34 0 0 25 0 4 0 632835084 592191488 90600 33554432000 4194304 4650419 140734518312816 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.55
Current children cumulated vsize (KiB) 578312

[startup+1122.3 s]
/proc/loadavg: 8.14 8.05 7.46 9/356 26759
/proc/meminfo: memFree=20760896/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=578620 CPUtime=4475.88 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 573819 0 0 0 447373 215 0 0 25 0 4 0 632835084 592506880 84804 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 144655 84804 395 112 0 139620 0
[pid=26692/tid=26693] ppid=26690 vsize=578620 CPUtime=1122.26 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 154681 0 0 0 112168 58 0 0 25 0 4 0 632835084 592506880 84804 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=578620 CPUtime=1122.3 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 172222 0 0 0 112165 65 0 0 25 0 4 0 632835084 592506880 84804 33554432000 4194304 4650419 140734518312816 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=578620 CPUtime=1109.65 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 83631 0 0 0 110930 35 0 0 25 0 4 0 632835084 592506880 84804 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.88
Current children cumulated vsize (KiB) 578620

[startup+1182.3 s]
/proc/loadavg: 8.19 8.07 7.50 9/356 26761
/proc/meminfo: memFree=20672348/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=578908 CPUtime=4715.19 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 595158 0 0 0 471296 223 0 0 25 0 4 0 632835084 592801792 96205 33554432000 4194304 4650419 140734518312816 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 144727 96205 395 112 0 139692 0
[pid=26692/tid=26693] ppid=26690 vsize=578908 CPUtime=1182.25 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 159008 0 0 0 118165 60 0 0 25 0 4 0 632835084 592801792 96205 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=578908 CPUtime=1182.31 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 177396 0 0 0 118163 68 0 0 25 0 4 0 632835084 592801792 96205 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=578908 CPUtime=1168.98 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 87804 0 0 0 116862 36 0 0 25 0 4 0 632835084 592801792 96205 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.19
Current children cumulated vsize (KiB) 578908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.12 8.06 7.52 9/356 26762
/proc/meminfo: memFree=20669244/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=578968 CPUtime=4800.18 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 601228 0 0 0 479792 226 0 0 25 0 4 0 632835084 592863232 98708 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 144742 98708 395 112 0 139707 0
[pid=26692/tid=26693] ppid=26690 vsize=578968 CPUtime=1203.57 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 159863 0 0 0 120296 61 0 0 25 0 4 0 632835084 592863232 98708 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=578968 CPUtime=1203.62 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 180076 0 0 0 120293 69 0 0 25 0 4 0 632835084 592863232 98708 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=578968 CPUtime=1190.03 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 88571 0 0 0 118966 37 0 0 25 0 4 0 632835084 592863232 98708 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 578968

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

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

[startup+1203.6 s]
/proc/loadavg: 8.12 8.06 7.52 9/356 26762
/proc/meminfo: memFree=20669244/32951124 swapFree=67111348/67111528
[pid=26692] ppid=26690 vsize=578968 CPUtime=4800.18 cores=0,2,4,6
/proc/26692/stat : 26692 (strangenight1-m) R 26690 26692 26096 0 -1 4202496 601228 0 0 0 479792 226 0 0 25 0 4 0 632835084 592863232 98708 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26692/statm: 144742 98708 395 112 0 139707 0
[pid=26692/tid=26693] ppid=26690 vsize=578968 CPUtime=1203.57 cores=0,2,4,6
/proc/26692/task/26693/stat : 26693 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 159863 0 0 0 120296 61 0 0 25 0 4 0 632835084 592863232 98708 33554432000 4194304 4650419 140734518312816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26692/tid=26694] ppid=26690 vsize=578968 CPUtime=1203.62 cores=0,2,4,6
/proc/26692/task/26694/stat : 26694 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 180076 0 0 0 120293 69 0 0 25 0 4 0 632835084 592863232 98708 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26692/tid=26695] ppid=26690 vsize=578968 CPUtime=1190.03 cores=0,2,4,6
/proc/26692/task/26695/stat : 26695 (strangenight1-m) R 26690 26692 26096 0 -1 4202560 88571 0 0 0 118966 37 0 0 25 0 4 0 632835084 592863232 98708 33554432000 4194304 4650419 140734518312816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 578968

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.23
CPU user time (s): 4797.95
CPU system time (s): 2.27865
CPU usage (%): 398.81
Max. virtual memory (cumulated for all children) (KiB): 591184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.27865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601229
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= 215
involuntary context switches= 24480

runsolver used 3.75243 second user time and 9.53155 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-14 22:16:30
IDJOB=3368834
IDBENCH=82843
IDSOLVER=1846
FILE ID=node144/3368834-1305404190
RUNJOBID= node144-1305404186-26639
PBS_JOBID= 13324479
Free space on /tmp= 73236 MiB

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

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

MD5SUM BENCH= dc676a8dc341229efc4ee05b1ab19ceb
RANDOM SEED=2003464586

node144.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.850
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.70
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.850
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.16
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.850
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.850
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.850
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21527032 kB
Buffers:        288500 kB
Cached:        3629856 kB
SwapCached:          0 kB
Active:        8208172 kB
Inactive:      2868800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21527032 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12560 kB
Writeback:           0 kB
AnonPages:     7158480 kB
Mapped:          27824 kB
Slab:           245808 kB
PageTables:      37212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82087936 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= 73228 MiB
End job on node144 at 2011-05-14 22:36:35