Trace number 3369634

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.3 1204.14

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
MD5SUM8d6acb9f6b752ad76c024133f5175c69
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1694
Number of clauses5726
Sum of the clauses size14874
Maximum clause length23
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22490
Number of clauses of size 33143
Number of clauses of size 439
Number of clauses of size 538
Number of clauses of size over 513

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.06	c This is CryptoMiniSat 2.9.0
0.00/0.06	c compiled with gcc version 4.4.5
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3369634-1305389014.cnf'
0.00/0.06	c -- header says num vars:           1694
0.00/0.06	c -- header says num clauses:        5726
0.00/0.07	c -- clauses added:            0 learnts,         5726 normals,            0 xors
0.00/0.07	c -- vars added       1694
0.00/0.07	c Parsing time:  0.01 s
0.00/0.07	c  N st     0         0      1694      3233      2490         0     14871         0   no data   no data  --
0.00/0.07	c asymm  cl-useful: 0/3233/3233 lits-rem:0 time: 0.01
0.00/0.08	c Flit:    12 Blit:      0 bXBeca:    0 bXProp:    6 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
0.00/0.08	c Replacing        6 vars Replaced       79 lits Time:     0.00 s 
0.00/0.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1667 time:  0.01 s
0.00/0.09	c Removed useless bin:       0  fixed:     0  props:   0.05M  time:  0.00 s
0.48/0.18	c lits-rem:         5  cl-subs:      179  v-elim:    555  v-fix:    0  time:  0.03 s
0.48/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.48/0.18	c Finding non-binary XORs:     0.00 s (found:     430, avg size: 3.0)
0.48/0.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     11 locsubst:     0 time:   0.00
0.48/0.18	c calculated reachability. Time: 0.00
0.48/0.18	c Calc default polars -  time:   0.00 s pos:     130 undec:     651 neg:     913
0.48/0.18	c =========================================================================================
0.48/0.18	c types(t): F = full restart, N = normal restart
0.48/0.18	c types(t): S = simplification begin/end, E = solution found
0.48/0.18	c restart types(rt): st = static, dy = dynamic
0.48/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.48/0.18	c  B st     0         0      1101      2111       939         0     10610         0   no data   no data  --
0.65/0.21	c Decided on static restart strategy
1.44/0.44	c  N st     8      4912      1101      2111      1001      4754     10610    190524   no data   no data  --
3.85/1.06	c  N st    10     11298      1098      2111      1144      4572     10610     90222   no data   no data  --
6.23/1.65	c  N st    11     17042      1098      2111      1157     10177     10610    289758   no data   no data  --
6.23/1.65	c Finding binary XORs  T:     0.00 s  found:       1
9.42/2.49	c  F st    12     25000      1098      2100      1233     12787     10563    330870   no data   no data  --
9.42/2.50	c Replacing        1 vars Replaced       35 lits Time:     0.00 s 
9.42/2.50	c  N st    12     25000      1097      2100      1231     12787     10560    330866   no data   no data  --
11.41/2.95	c Decided on static restart strategy
11.41/2.95	c  N st    18     30001      1097      2100      1252     11282     10560    233602   no data   no data  --
11.41/2.95	c  S st    18     30001      1097      2100      1252     11282     10560    233602   no data   no data  --
11.41/3.00	c  S st    18     30501      1097      2100      1263     11768     10560    244395   no data   no data  --
11.81/3.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.81/3.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.81/3.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    474 BRemL:     59 BRemN:      0 P:  0.6M T:  0.08
11.81/3.03	c bin-w-bin subsume rem            1 bins  time:  0.00 s
11.81/3.06	c subs with bin:       56  lits-rem:      5205  v-fix:    0  time:  0.12 s
11.81/3.07	c Subs w/ non-existent bins:      2 l-rem:   2102 v-fix:     0 done:    848 time:  0.03 s
11.81/3.07	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
13.46/3.43	c lits-rem:      1092  cl-subs:     2978  v-elim:     15  v-fix:    0  time:  1.44 s
13.46/3.44	c asymm  cl-useful: 34/2089/2089 lits-rem:46 time: 0.05
13.46/3.44	c calculated reachability. Time: 0.00
13.46/3.44	c  N st    18     30501      1082      2087      1571      8773     10437    162254   no data   no data  --
14.20/3.68	c Finding binary XORs  T:     0.00 s  found:       0
15.80/4.09	c  N st    20     37613      1082      2087      1585     15849     10437    439952   no data   no data  --
18.59/4.72	c  N st    21     44012      1082      2087      1585     14675     10437    396018   no data   no data  --
18.99/4.87	c  S st    22     45751      1082      2087      1665     16383     10437    453972   no data   no data  --
19.39/4.93	c  S st    22     46254      1082      2087      1666     16881     10437    462779   no data   no data  --
19.39/4.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.00
19.39/4.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.39/4.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      7 BRemL:     60 BRemN:      6 P:  0.7M T:  0.07
19.39/4.95	c Replacing        1 vars Replaced      758 lits Time:     0.01 s 
19.39/4.97	c bin-w-bin subsume rem            1 bins  time:  0.00 s
19.79/5.01	c subs with bin:       40  lits-rem:       242  v-fix:    0  time:  0.16 s
19.79/5.02	c Subs w/ non-existent bins:      1 l-rem:   1826 v-fix:     0 done:    393 time:  0.03 s
19.79/5.02	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
25.77/6.55	c lits-rem:       952  cl-subs:     1212  v-elim:     14  v-fix:    0  time:  6.10 s
25.77/6.55	c vivif2 --  cl tried     2043 cl shrink        6 lits rem          7 time: 0.00
25.77/6.57	c vivif2 --  cl tried    15629 cl shrink     3149 lits rem       5839 time: 0.08
25.77/6.59	c asymm  cl-useful: 9/2043/2043 lits-rem:13 time: 0.07
25.77/6.59	c calculated reachability. Time: 0.00
25.77/6.59	c  N st    22     46254      1065      2043      1513     15629     10145    407200   no data   no data  --
32.95/8.39	c  N st    23     60651      1065      2043      1514     11572     10145    160814   no data   no data  --
32.95/8.39	c Finding binary XORs  T:     0.00 s  found:       0
37.34/9.42	c  N st    24     69382      1065      2043      1524     20123     10145    452461   no data   no data  --
37.34/9.42	c  S st    24     69382      1065      2043      1524     20123     10145    452461   no data   no data  --
37.74/9.51	c  S st    24     69886      1065      2043      1524     20625     10145    464747   no data   no data  --
37.74/9.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.01
37.74/9.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.74/9.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
37.74/9.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.74/9.57	c subs with bin:       19  lits-rem:        29  v-fix:    0  time:  0.13 s
37.74/9.58	c Subs w/ non-existent bins:      1 l-rem:    956 v-fix:     0 done:    428 time:  0.02 s
37.74/9.58	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
42.91/10.83	c lits-rem:       982  cl-subs:     1285  v-elim:      4  v-fix:    0  time:  5.01 s
42.91/10.83	c vivif2 --  cl tried     2013 cl shrink        0 lits rem          0 time: 0.00
42.91/10.85	c vivif2 --  cl tried    18574 cl shrink     1843 lits rem       3185 time: 0.07
42.91/10.87	c asymm  cl-useful: 7/2013/2013 lits-rem:16 time: 0.08
42.91/10.87	c calculated reachability. Time: 0.00
42.91/10.87	c  N st    24     69886      1060      2009      1521     18574      9981    394415   no data   no data  --
52.53/13.25	c  F st    25     87500      1060      2009      1522     14113      9981    199870   no data   no data  --
52.53/13.25	c  N st    25     87500      1060      2009      1522     14113      9981    199870   no data   no data  --
55.28/13.92	c Decided on static restart strategy
55.28/13.92	c Finding binary XORs  T:     0.00 s  found:       0
56.91/14.36	c  N st    32     95539      1060      2009      1543     22036      9981    473672   no data   no data  --
61.71/15.55	c  N st    34    104829      1060      2009      1548     18576      9981    316616   no data   no data  --
61.71/15.55	c  S st    34    104829      1060      2009      1548     18576      9981    316616   no data   no data  --
62.05/15.64	c  S st    34    105330      1060      2009      1548     19076      9981    327602   no data   no data  --
62.05/15.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.05/15.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.05/15.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     11 BRemN:      0 P:  0.7M T:  0.08
62.05/15.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.05/15.69	c subs with bin:        3  lits-rem:        22  v-fix:    0  time:  0.08 s
62.05/15.69	c Subs w/ non-existent bins:      0 l-rem:   1345 v-fix:     0 done:    919 time:  0.02 s
62.05/15.69	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
64.85/16.38	c lits-rem:       678  cl-subs:      987  v-elim:      0  v-fix:    0  time:  2.76 s
64.85/16.38	c vivif2 --  cl tried     2003 cl shrink        0 lits rem          0 time: 0.00
65.25/16.40	c vivif2 --  cl tried    18092 cl shrink     1490 lits rem       2864 time: 0.05
65.25/16.42	c asymm  cl-useful: 1/2003/2003 lits-rem:1 time: 0.09
65.25/16.42	c calculated reachability. Time: 0.00
65.25/16.42	c  N st    34    105330      1060      2003      1537     18092      9941    305991   no data   no data  --
70.48/17.78	c  N st    35    114928      1060      2003      1537     27531      9941    619850   no data   no data  --
79.25/19.95	c  N st    36    129327      1060      2003      1537     28048      9941    639408   no data   no data  --
92.75/23.37	c  N st    37    150922      1060      2003      1541     18910      9941    258560   no data   no data  --
95.95/24.21	c  S st    38    157995      1060      2003      1543     25865      9941    418909   no data   no data  --
96.39/24.29	c  S st    38    158498      1060      2003      1543     26366      9941    428952   no data   no data  --
96.39/24.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
96.39/24.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.79/24.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
96.79/24.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.79/24.35	c subs with bin:        2  lits-rem:         8  v-fix:    0  time:  0.08 s
96.79/24.37	c Subs w/ non-existent bins:      0 l-rem:   3094 v-fix:     0 done:    529 time:  0.07 s
96.79/24.37	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
100.34/25.24	c lits-rem:      1295  cl-subs:      960  v-elim:      0  v-fix:    0  time:  3.50 s
100.34/25.24	c vivif2 --  cl tried     2001 cl shrink        0 lits rem          0 time: 0.00
100.34/25.26	c vivif2 --  cl tried    25406 cl shrink     2677 lits rem       5019 time: 0.07
100.34/25.29	c asymm  cl-useful: 3/2001/2001 lits-rem:3 time: 0.10
100.34/25.29	c calculated reachability. Time: 0.00
100.34/25.29	c  N st    38    158498      1060      2001      1543     25406      9936    403954   no data   no data  --
127.10/31.92	c  N st    39    207087      1060      2001      1543     38983      9936    641575   no data   no data  --
147.79/37.16	c  N st    40    237747      1059      2001      1544     30851      9936    452253   no data   no data  --
147.79/37.16	c  S st    40    237747      1059      2001      1544     30851      9936    452253   no data   no data  --
148.19/37.27	c  S st    40    238247      1059      2001      1544     31348      9936    465361   no data   no data  --
148.19/37.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
148.19/37.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.59/37.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
148.59/37.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.59/37.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
148.59/37.35	c Subs w/ non-existent bins:      0 l-rem:   1834 v-fix:     0 done:    490 time:  0.03 s
148.59/37.35	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
153.42/38.61	c lits-rem:      1425  cl-subs:     2110  v-elim:      0  v-fix:    0  time:  4.98 s
153.42/38.61	c vivif2 --  cl tried     1995 cl shrink        0 lits rem          0 time: 0.00
153.82/38.62	c vivif2 --  cl tried    29039 cl shrink     1173 lits rem       1799 time: 0.06
153.82/38.66	c asymm  cl-useful: 1/1995/1995 lits-rem:1 time: 0.14
153.82/38.66	c calculated reachability. Time: 0.00
153.82/38.66	c  N st    40    238247      1059      1995      1554     29039      9899    426853   no data   no data  --
200.69/50.46	c  F st    41    306251      1059      1995      1554     31349      9899    456654   no data   no data  --
200.69/50.46	c  N st    41    306251      1059      1995      1554     31349      9899    456654   no data   no data  --
200.69/50.46	c Finding binary XORs  T:     0.00 s  found:       0
204.26/51.39	c Decided on static restart strategy
222.05/55.86	c  N st    51    334551      1059      1995      1579     35761      9899    578980   no data   no data  --
241.75/60.85	c  N st    53    357372      1059      1995      1581     33631      9899    495855   no data   no data  --
241.75/60.85	c  S st    53    357372      1059      1995      1581     33631      9899    495855   no data   no data  --
242.14/60.98	c  S st    53    357877      1059      1995      1582     34131      9899    506190   no data   no data  --
242.14/60.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
242.14/60.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
242.54/61.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  1.3M T:  0.12
242.54/61.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.54/61.05	c subs with bin:       31  lits-rem:       116  v-fix:    0  time:  0.11 s
242.54/61.06	c Subs w/ non-existent bins:      0 l-rem:   2660 v-fix:     0 done:    798 time:  0.05 s
242.54/61.06	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
250.02/62.92	c lits-rem:      1963  cl-subs:     2005  v-elim:      0  v-fix:    0  time:  7.30 s
250.02/62.92	c vivif2 --  cl tried     1993 cl shrink        0 lits rem          0 time: 0.00
250.02/62.94	c vivif2 --  cl tried    32097 cl shrink     2736 lits rem       6225 time: 0.09
250.02/62.98	c asymm  cl-useful: 1/1993/1993 lits-rem:1 time: 0.15
250.02/62.98	c calculated reachability. Time: 0.00
250.02/62.98	c  N st    53    357877      1059      1993      1581     32097      9896    470966   no data   no data  --
280.56/70.62	c  N st    54    390270      1059      1993      1581     38283      9896    619948   no data   no data  --
318.45/80.15	c  N st    55    438862      1059      1993      1584     31855      9896    397556   no data   no data  --
376.71/94.78	c  N st    56    511744      1059      1993      1585     45358      9896    744824   no data   no data  --
395.80/99.52	c  N st    57    536815      1059      1993      1590     39924      9896    544161   no data   no data  --
395.80/99.52	c  S st    57    536815      1059      1993      1590     39924      9896    544161   no data   no data  --
396.20/99.66	c  S st    57    537318      1059      1993      1590     40423      9896    556283   no data   no data  --
396.20/99.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
396.20/99.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
396.60/99.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      1 BRemN:      0 P:  1.8M T:  0.16
396.60/99.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
396.60/99.76	c subs with bin:      232  lits-rem:       222  v-fix:    0  time:  0.13 s
396.60/99.77	c Subs w/ non-existent bins:      0 l-rem:   1790 v-fix:     0 done:    612 time:  0.05 s
396.60/99.77	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
402.63/101.28	c lits-rem:      1333  cl-subs:     1606  v-elim:      0  v-fix:    0  time:  6.01 s
402.63/101.28	c vivif2 --  cl tried     1993 cl shrink        0 lits rem          0 time: 0.00
402.63/101.30	c vivif2 --  cl tried    38585 cl shrink     1554 lits rem       2512 time: 0.09
403.03/101.36	c asymm  cl-useful: 2/1993/1993 lits-rem:2 time: 0.22
403.03/101.36	c calculated reachability. Time: 0.00
403.03/101.36	c  N st    57    537318      1059      1993      1592     38585      9894    520657   no data   no data  --
550.52/138.37	c  N st    58    701303      1059      1993      1592     67959      9894   1247119   no data   no data  --
550.52/138.37	c Finding binary XORs  T:     0.00 s  found:       0
638.23/160.30	c  N st    59    805978      1059      1993      1610     61921      9894    987298   no data   no data  --
638.23/160.30	c  S st    59    805978      1059      1993      1610     61921      9894    987298   no data   no data  --
639.03/160.51	c  S st    59    806480      1059      1993      1610     62419      9894    997673   no data   no data  --
639.03/160.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
639.03/160.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
639.03/160.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  2.1M T:  0.22
639.03/160.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
639.48/160.64	c subs with bin:        6  lits-rem:        21  v-fix:    0  time:  0.16 s
639.48/160.65	c Subs w/ non-existent bins:      0 l-rem:   1991 v-fix:     0 done:    500 time:  0.05 s
639.48/160.65	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
647.81/162.71	c lits-rem:       590  cl-subs:     6868  v-elim:      0  v-fix:    0  time:  8.20 s
647.81/162.71	c vivif2 --  cl tried     1992 cl shrink        0 lits rem          0 time: 0.00
647.81/162.76	c vivif2 --  cl tried    55546 cl shrink     7968 lits rem      10973 time: 0.21
648.25/162.83	c asymm  cl-useful: 2/1992/1992 lits-rem:2 time: 0.29
648.25/162.84	c calculated reachability. Time: 0.00
648.25/162.84	c  N st    59    806480      1059      1992      1608     55546      9888    868180   no data   no data  --
894.62/224.60	c  F st    60   1071875      1059      1992      1608     71589      9888   1212874   no data   no data  --
894.62/224.60	c  N st    60   1071875      1059      1992      1608     71589      9888   1212874   no data   no data  --
900.60/226.10	c Decided on static restart strategy
924.58/232.16	c  N st    70   1100176      1059      1992      1620     55565      9888    813969   no data   no data  --
958.42/240.65	c  N st    72   1136168      1059      1992      1620     90518      9888   1784016   no data   no data  --
994.75/249.74	c  N st    73   1168560      1059      1992      1620     77377      9888   1125322   no data   no data  --
1035.37/259.95	c  N st    74   1209721      1059      1992      1622     71786      9888   1198582   no data   no data  --
1035.37/259.95	c  S st    74   1209721      1059      1992      1622     71786      9888   1198582   no data   no data  --
1036.17/260.19	c  S st    74   1210222      1059      1992      1624     72286      9888   1210604   no data   no data  --
1036.17/260.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1036.17/260.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1036.57/260.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      5 BRemN:      0 P:  2.7M T:  0.30
1036.97/260.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1036.97/260.38	c subs with bin:       79  lits-rem:       308  v-fix:    0  time:  0.29 s
1037.37/260.42	c Subs w/ non-existent bins:      0 l-rem:   3769 v-fix:     0 done:    359 time:  0.14 s
1037.37/260.42	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1046.95/262.85	c lits-rem:      1957  cl-subs:     6312  v-elim:      0  v-fix:    0  time:  9.70 s
1046.95/262.85	c vivif2 --  cl tried     1992 cl shrink        0 lits rem          0 time: 0.00
1047.38/262.92	c vivif2 --  cl tried    65895 cl shrink    10837 lits rem      29431 time: 0.27
1047.79/263.02	c asymm  cl-useful: 0/1992/1992 lits-rem:0 time: 0.36
1047.79/263.02	c calculated reachability. Time: 0.00
1047.79/263.02	c  N st    74   1210222      1059      1992      1622     65895      9888   1079175   no data   no data  --
1047.79/263.02	c Finding binary XORs  T:     0.00 s  found:       0
1139.04/285.96	c  N st    75   1283104      1059      1992      1622     89904      9888   1676930   no data   no data  --
1261.86/316.80	c  N st    76   1392428      1059      1992      1623    100714      9888   1985241   no data   no data  --
1457.24/365.75	c  N st    77   1556413      1059      1992      1625    108063      9888   2006520   no data   no data  --
1647.03/413.33	c  N st    78   1710223      1059      1992      1635     96531      9888   1629624   no data   no data  --
1647.03/413.33	c  S st    78   1710223      1059      1992      1635     96531      9888   1629624   no data   no data  --
1648.27/413.62	c  S st    78   1710725      1059      1992      1636     97028      9888   1640849   no data   no data  --
1648.27/413.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1648.27/413.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1648.67/413.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      3 BRemN:      0 P:  4.0M T:  0.44
1648.67/413.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1649.42/413.94	c subs with bin:      253  lits-rem:      3347  v-fix:    0  time:  0.57 s
1649.42/413.98	c Subs w/ non-existent bins:      0 l-rem:   1786 v-fix:     0 done:    259 time:  0.17 s
1649.42/413.98	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1677.73/421.03	c lits-rem:      2300  cl-subs:    14731  v-elim:      0  v-fix:    0  time: 28.12 s
1677.73/421.03	c vivif2 --  cl tried     1992 cl shrink        0 lits rem          0 time: 0.00
1678.13/421.12	c vivif2 --  cl tried    82044 cl shrink     8160 lits rem      14500 time: 0.32
1678.53/421.25	c asymm  cl-useful: 0/1992/1992 lits-rem:0 time: 0.55
1678.53/421.26	c calculated reachability. Time: 0.00
1678.53/421.26	c  N st    78   1710725      1059      1992      1635     82044      9884   1382023   no data   no data  --
2121.97/532.41	c  N st    79   2079690      1059      1992      1635     94074      9884   1481748   no data   no data  --
2121.97/532.42	c Finding binary XORs  T:     0.00 s  found:       0
2305.35/578.45	c  N st    80   2210726      1059      1992      1644     99146      9884   1677403   no data   no data  --
2305.35/578.45	c  S st    80   2210726      1059      1992      1644     99146      9884   1677403   no data   no data  --
2305.35/578.45	c Finding binary XORs  T:     0.00 s  found:       0
2306.59/578.76	c  S st    80   2211229      1059      1992      1661     99647      9884   1688122   no data   no data  --
2306.59/578.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.03
2306.59/578.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2306.93/578.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      4 BRemN:      0 P:  3.9M T:  0.47
2307.33/578.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2307.73/579.02	c subs with bin:       78  lits-rem:       266  v-fix:    0  time:  0.35 s
2308.13/579.13	c Subs w/ non-existent bins:      0 l-rem:   6531 v-fix:     0 done:    431 time:  0.42 s
2308.13/579.13	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2329.26/584.49	c lits-rem:      3965  cl-subs:     6732  v-elim:      2  v-fix:    0  time: 21.38 s
2329.26/584.49	c vivif2 --  cl tried     1994 cl shrink        5 lits rem          9 time: 0.00
2330.06/584.60	c vivif2 --  cl tried    92330 cl shrink    11590 lits rem      25305 time: 0.42
2330.46/584.76	c asymm  cl-useful: 0/1990/1990 lits-rem:0 time: 0.64
2330.46/584.76	c calculated reachability. Time: 0.00
2330.46/584.76	c  N st    80   2211229      1056      1990      1657     92330      9879   1508614   no data   no data  --
2968.88/744.84	c  N st    81   2711231      1056      1990      1658    114160      9879   1962789   no data   no data  --
2968.88/744.84	c  S st    81   2711231      1056      1990      1658    114160      9879   1962789   no data   no data  --
2968.88/744.86	c Finding binary XORs  T:     0.00 s  found:       0
2970.82/745.31	c  S st    81   2711733      1055      1990      1673    114077      9875   1959767   no data   no data  --
2970.82/745.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2970.82/745.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2971.22/745.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      6 BRemN:      0 P:  4.9M T:  0.58
2971.62/745.52	c bin-w-bin subsume rem            4 bins  time:  0.00 s
2972.43/745.72	c subs with bin:      417  lits-rem:       768  v-fix:    0  time:  0.77 s
2972.43/745.73	c Subs w/ non-existent bins:      0 l-rem:    855 v-fix:     0 done:    519 time:  0.07 s
2972.43/745.73	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3020.67/757.82	c lits-rem:      2072  cl-subs:    14692  v-elim:      2  v-fix:    0  time: 48.19 s
3020.67/757.83	c vivif2 --  cl tried     1993 cl shrink        4 lits rem          8 time: 0.00
3020.67/757.91	c vivif2 --  cl tried    98969 cl shrink     5495 lits rem       7668 time: 0.32
3021.85/758.10	c asymm  cl-useful: 0/1993/1993 lits-rem:0 time: 0.75
3021.85/758.10	c calculated reachability. Time: 0.00
3021.85/758.10	c  N st    81   2711733      1053      1993      1656     98969      9878   1665615   no data   no data  --
3236.03/811.85	c Finding binary XORs  T:     0.00 s  found:       0
3728.42/935.30	c  N st    82   3211733      1052      1990      1655    149841      9862   2617769   no data   no data  --
3728.42/935.30	c  S st    82   3211733      1052      1990      1655    149841      9862   2617769   no data   no data  --
3728.42/935.30	c Finding binary XORs  T:     0.00 s  found:       0
3730.41/935.80	c  S st    82   3212233      1052      1990      1724    150338      9862   2627256   no data   no data  --
3730.41/935.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3730.41/935.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3730.81/935.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:     20 BRemN:      0 P:  5.8M T:  0.61
3731.21/936.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3763.51/944.13	c subs with bin:    15295  lits-rem:       550  v-fix:    0  time: 32.17 s
3763.51/944.15	c Subs w/ non-existent bins:      0 l-rem:   1182 v-fix:     0 done:    150 time:  0.09 s
3763.51/944.15	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3809.37/955.68	c lits-rem:      3669  cl-subs:    12886  v-elim:      1  v-fix:    0  time: 45.98 s
3809.37/955.68	c vivif2 --  cl tried     1991 cl shrink        1 lits rem          1 time: 0.00
3810.17/955.85	c vivif2 --  cl tried   122160 cl shrink    16537 lits rem      26075 time: 0.66
3811.01/956.07	c asymm  cl-useful: 0/1991/1991 lits-rem:0 time: 0.87
3811.01/956.07	c calculated reachability. Time: 0.00
3811.01/956.07	c  N st    82   3212233      1051      1991      1688    122160      9860   2226425   no data   no data  --
4444.94/1115.09	c  N st    83   3712233      1051      1991      1688    141557      9860   2531750   no data   no data  --
4444.94/1115.09	c  S st    83   3712233      1051      1991      1688    141557      9860   2531750   no data   no data  --
4446.98/1115.57	c  S st    83   3712738      1050      1991      1692    142057      9860   2543054   no data   no data  --
4446.98/1115.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4446.98/1115.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4447.72/1115.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     19 BRemL:      2 BRemN:      0 P:  4.7M T:  0.61
4448.12/1115.83	c bin-w-bin subsume rem            3 bins  time:  0.00 s
4448.52/1115.95	c subs with bin:       81  lits-rem:       190  v-fix:    0  time:  0.47 s
4448.52/1115.96	c Subs w/ non-existent bins:      0 l-rem:   1333 v-fix:     0 done:    468 time:  0.05 s
4448.52/1115.96	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4539.83/1138.81	c lits-rem:      2038  cl-subs:    16155  v-elim:      0  v-fix:    0  time: 91.06 s
4539.83/1138.81	c vivif2 --  cl tried     1985 cl shrink        0 lits rem          0 time: 0.00
4540.23/1138.93	c vivif2 --  cl tried   125550 cl shrink     8075 lits rem      10881 time: 0.50
4541.03/1139.18	c asymm  cl-useful: 0/1985/1985 lits-rem:0 time: 0.98
4541.03/1139.18	c calculated reachability. Time: 0.00
4541.03/1139.18	c  N st    83   3712738      1050      1985      1689    125550      9835   2217259   no data   no data  --
4541.03/1139.18	c Finding binary XORs  T:     0.00 s  found:       0
4609.27/1156.28	c  F st    84   3751562      1050      1985      1689    163747      9835   3190855   no data   no data  --
4609.27/1156.28	c  N st    84   3751562      1050      1985      1689    163747      9835   3190855   no data   no data  --
4609.27/1156.28	c Finding binary XORs  T:     0.00 s  found:       0
4618.38/1158.57	c Decided on static restart strategy
4643.51/1164.90	c  N st    94   3779866      1050      1985      1726    110522      9835   1707108   no data   no data  --
4696.99/1178.25	c  N st    96   3815862      1050      1985      1727    145546      9835   2776692   no data   no data  --
4760.33/1194.18	c  N st    97   3848256      1050      1985      1728     94742      9835   1172577   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-3369634-1305389014/watcher-3369634-1305389014 -o /tmp/evaluation-result-3369634-1305389014/solver-3369634-1305389014 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369634-1305389014.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.62 3.90 3.72 7/388 26918
/proc/meminfo: memFree=27050832/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 411 0 0 0 2 0 0 0 25 0 4 0 650500065 52465664 352 33554432000 4194304 4650419 140736772710928 18446744073709551615 47545574823858 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26918/statm: 12809 352 303 112 0 7774 0
[pid=26918/tid=26919] ppid=26916 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650500065 52465664 352 33554432000 4194304 4650419 140736772710928 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650500065 52465664 352 33554432000 4194304 4650419 140736772710928 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650500065 52465664 352 33554432000 4194304 4650419 140736772710928 18446744073709551615 47545574823858 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.160207 s]
/proc/loadavg: 3.62 3.90 3.72 7/388 26918
/proc/meminfo: memFree=27050832/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=284240 CPUtime=0.48 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 2817 0 0 0 48 0 0 0 25 0 4 0 650500065 291061760 2566 33554432000 4194304 4650419 140736772710928 18446744073709551615 4315613 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 71060 2566 392 112 0 66025 0
[pid=26918/tid=26919] ppid=26916 vsize=284240 CPUtime=0.12 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 655 0 0 0 12 0 0 0 25 0 4 0 650500065 291061760 2566 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=284240 CPUtime=0.12 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 692 0 0 0 12 0 0 0 25 0 4 0 650500065 291061760 2566 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=284240 CPUtime=0.14 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 375 0 0 0 14 0 0 0 25 0 4 0 650500065 291061760 2566 33554432000 4194304 4650419 140736772710928 18446744073709551615 4315122 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 284240

[startup+0.201199 s]
/proc/loadavg: 3.62 3.90 3.72 7/388 26918
/proc/meminfo: memFree=27050832/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=284240 CPUtime=0.65 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 3006 0 0 0 65 0 0 0 25 0 4 0 650500065 291061760 2755 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 71060 2755 392 112 0 66025 0
[pid=26918/tid=26919] ppid=26916 vsize=284240 CPUtime=0.16 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 709 0 0 0 16 0 0 0 25 0 4 0 650500065 291061760 2755 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363953 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=284240 CPUtime=0.16 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 729 0 0 0 16 0 0 0 25 0 4 0 650500065 291061760 2755 33554432000 4194304 4650419 140736772710928 18446744073709551615 4520268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=284240 CPUtime=0.18 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 421 0 0 0 18 0 0 0 25 0 4 0 650500065 291061760 2755 33554432000 4194304 4650419 140736772710928 18446744073709551615 4316034 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 284240

[startup+0.300182 s]
/proc/loadavg: 3.62 3.90 3.72 7/388 26918
/proc/meminfo: memFree=27050832/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=284240 CPUtime=1.04 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 3313 0 0 0 104 0 0 0 25 0 4 0 650500065 291061760 3062 33554432000 4194304 4650419 140736772710928 18446744073709551615 4367391 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 71060 3062 393 112 0 66025 0
[pid=26918/tid=26919] ppid=26916 vsize=284240 CPUtime=0.26 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 779 0 0 0 26 0 0 0 25 0 4 0 650500065 291061760 3062 33554432000 4194304 4650419 140736772710928 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=284240 CPUtime=0.26 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 813 0 0 0 26 0 0 0 25 0 4 0 650500065 291061760 3062 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=284240 CPUtime=0.28 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 504 0 0 0 28 0 0 0 25 0 4 0 650500065 291061760 3062 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 284240

[startup+0.701115 s]
/proc/loadavg: 3.62 3.90 3.72 7/388 26918
/proc/meminfo: memFree=27050832/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=285504 CPUtime=2.64 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 4724 0 0 0 264 0 0 0 25 0 4 0 650500065 292356096 3506 33554432000 4194304 4650419 140736772710928 18446744073709551615 4333978 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 71376 3506 394 112 0 66341 0
[pid=26918/tid=26919] ppid=26916 vsize=285504 CPUtime=0.66 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 1159 0 0 0 66 0 0 0 25 0 4 0 650500065 292356096 3506 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=285504 CPUtime=0.66 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 1191 0 0 0 66 0 0 0 25 0 4 0 650500065 292356096 3507 33554432000 4194304 4650419 140736772710928 18446744073709551615 4360479 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=285504 CPUtime=0.68 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 865 0 0 0 68 0 0 0 25 0 4 0 650500065 292356096 3507 33554432000 4194304 4650419 140736772710928 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 285504

[startup+1.50098 s]
/proc/loadavg: 3.62 3.90 3.72 10/392 26922
/proc/meminfo: memFree=27027116/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=286588 CPUtime=5.83 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 6884 0 0 0 582 1 0 0 25 0 4 0 650500065 293466112 4161 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 71647 4161 394 112 0 66612 0
[pid=26918/tid=26919] ppid=26916 vsize=286588 CPUtime=1.46 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 1699 0 0 0 146 0 0 0 25 0 4 0 650500065 293466112 4161 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=286588 CPUtime=1.44 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 1705 0 0 0 144 0 0 0 25 0 4 0 650500065 293466112 4161 33554432000 4194304 4650419 140736772710928 18446744073709551615 4333735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=286588 CPUtime=1.48 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 1477 0 0 0 148 0 0 0 25 0 4 0 650500065 293466112 4161 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 286588

[startup+3.10072 s]
/proc/loadavg: 3.62 3.90 3.72 9/392 26922
/proc/meminfo: memFree=27018684/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=279052 CPUtime=12.22 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 12160 0 0 0 1220 2 0 0 25 0 4 0 650500065 285749248 6625 33554432000 4194304 4650419 140736772710928 18446744073709551615 4432636 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 69763 6625 395 112 0 64728 0
[pid=26918/tid=26919] ppid=26916 vsize=279052 CPUtime=3.05 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 2630 0 0 0 305 0 0 0 25 0 4 0 650500065 285749248 6625 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=279052 CPUtime=3.03 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 2669 0 0 0 303 0 0 0 25 0 4 0 650500065 285749248 6625 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=279052 CPUtime=3.08 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 2441 0 0 0 308 0 0 0 25 0 4 0 650500065 285749248 6625 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 279052

[startup+6.30118 s]
/proc/loadavg: 4.05 3.99 3.74 10/392 26922
/proc/meminfo: memFree=26973844/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=307508 CPUtime=24.97 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 23125 0 0 0 2493 4 0 0 25 0 4 0 650500065 314888192 13473 33554432000 4194304 4650419 140736772710928 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 76877 13113 395 112 0 71842 0
[pid=26918/tid=26919] ppid=26916 vsize=307508 CPUtime=6.25 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 5313 0 0 0 624 1 0 0 25 0 4 0 650500065 314888192 13113 33554432000 4194304 4650419 140736772710928 18446744073709551615 251814283399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=307508 CPUtime=6.19 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 6003 0 0 0 619 0 0 0 25 0 4 0 650500065 314888192 13113 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=298436 CPUtime=6.28 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 5058 0 0 0 628 0 0 0 25 0 4 0 650500065 305598464 12898 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 307508

[startup+12.7011 s]
/proc/loadavg: 4.37 4.06 3.77 10/392 26922
/proc/meminfo: memFree=26950980/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=285800 CPUtime=50.49 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 35415 0 0 0 5042 7 0 0 25 0 4 0 650500065 292659200 17219 33554432000 4194304 4650419 140736772710928 18446744073709551615 4334361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 71450 17219 395 112 0 66415 0
[pid=26918/tid=26919] ppid=26916 vsize=285800 CPUtime=12.65 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 9082 0 0 0 1263 2 0 0 25 0 4 0 650500065 292659200 17219 33554432000 4194304 4650419 140736772710928 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=285800 CPUtime=12.51 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 9282 0 0 0 1250 1 0 0 25 0 4 0 650500065 292659200 17219 33554432000 4194304 4650419 140736772710928 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=285800 CPUtime=12.68 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 7272 0 0 0 1267 1 0 0 25 0 4 0 650500065 292659200 17219 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 285800

[startup+25.501 s]
/proc/loadavg: 5.17 4.25 3.83 9/392 26922
/proc/meminfo: memFree=26929200/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=305456 CPUtime=101.53 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 51697 0 0 0 10142 11 0 0 25 0 4 0 650500065 312786944 22302 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 76364 22302 395 112 0 71329 0
[pid=26918/tid=26919] ppid=26916 vsize=305456 CPUtime=25.45 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 14653 0 0 0 2542 3 0 0 25 0 4 0 650500065 312786944 22302 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363924 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=305456 CPUtime=25.13 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 12723 0 0 0 2512 1 0 0 25 0 4 0 650500065 312786944 22302 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363726 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=305456 CPUtime=25.48 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 10294 0 0 0 2546 2 0 0 25 0 4 0 650500065 312786944 22302 33554432000 4194304 4650419 140736772710928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 305456

[startup+51.1007 s]
/proc/loadavg: 6.30 4.58 3.95 11/393 26926
/proc/meminfo: memFree=26845448/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=316292 CPUtime=203.46 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 80359 0 0 0 20327 19 0 0 25 0 4 0 650500065 323883008 33042 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 79073 33042 395 112 0 74038 0
[pid=26918/tid=26919] ppid=26916 vsize=316292 CPUtime=51.05 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 23057 0 0 0 5100 5 0 0 25 0 4 0 650500065 323883008 33042 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=316292 CPUtime=50.38 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 19757 0 0 0 5034 4 0 0 25 0 4 0 650500065 323883008 33042 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=316292 CPUtime=51.08 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 16720 0 0 0 5105 3 0 0 25 0 4 0 650500065 323883008 33042 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.46
Current children cumulated vsize (KiB) 316292

[startup+102.301 s]
/proc/loadavg: 7.38 5.15 4.18 9/392 26927
/proc/meminfo: memFree=26799956/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=317864 CPUtime=407.02 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 123372 0 0 0 40672 30 0 0 25 0 4 0 650500065 325492736 38411 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 79466 38411 395 112 0 74431 0
[pid=26918/tid=26919] ppid=26916 vsize=317864 CPUtime=102.26 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 35855 0 0 0 10218 8 0 0 25 0 4 0 650500065 325492736 38411 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=317864 CPUtime=100.94 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 31654 0 0 0 10087 7 0 0 25 0 4 0 650500065 325492736 38411 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=317864 CPUtime=102.3 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 23338 0 0 0 10225 5 0 0 25 0 4 0 650500065 325492736 38411 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.02
Current children cumulated vsize (KiB) 317864

[startup+162.301 s]

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

[pid=26918] ppid=26916 vsize=540076 CPUtime=2560.14 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 425580 0 0 0 255873 141 0 0 25 0 4 0 650500065 553037824 81365 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 135019 81365 395 112 0 129984 0
[pid=26918/tid=26919] ppid=26916 vsize=540076 CPUtime=642.25 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 121397 0 0 0 64189 36 0 0 25 0 4 0 650500065 553037824 81365 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=540076 CPUtime=634.08 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 107876 0 0 0 63370 38 0 0 25 0 4 0 650500065 553037824 81365 33554432000 4194304 4650419 140736772710928 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=540076 CPUtime=642.29 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 72673 0 0 0 64205 24 0 0 25 0 4 0 650500065 553037824 81365 33554432000 4194304 4650419 140736772710928 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2560.14
Current children cumulated vsize (KiB) 540076

[startup+702.301 s]
/proc/loadavg: 8.08 7.68 6.02 9/392 26943
/proc/meminfo: memFree=26445000/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=553340 CPUtime=2799.37 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 453877 0 0 0 279782 155 0 0 25 0 4 0 650500065 566620160 80452 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 138335 80452 395 112 0 133300 0
[pid=26918/tid=26919] ppid=26916 vsize=553340 CPUtime=702.26 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 129635 0 0 0 70186 40 0 0 25 0 4 0 650500065 566620160 80452 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=553340 CPUtime=693.31 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 115387 0 0 0 69288 43 0 0 25 0 4 0 650500065 566620160 80452 33554432000 4194304 4650419 140736772710928 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=553340 CPUtime=702.29 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 76537 0 0 0 70203 26 0 0 25 0 4 0 650500065 566620160 80452 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2799.37
Current children cumulated vsize (KiB) 553340

[startup+762.301 s]
/proc/loadavg: 8.08 7.75 6.15 10/392 26945
/proc/meminfo: memFree=26412612/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=540720 CPUtime=3038.66 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 484891 0 0 0 303698 168 0 0 25 0 4 0 650500065 553697280 88122 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 135180 88122 395 112 0 130145 0
[pid=26918/tid=26919] ppid=26916 vsize=540720 CPUtime=762.27 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 137717 0 0 0 76185 42 0 0 25 0 4 0 650500065 553697280 88122 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=540720 CPUtime=752.55 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 123885 0 0 0 75209 46 0 0 25 0 4 0 650500065 553697280 88122 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=540720 CPUtime=762.3 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 81705 0 0 0 76202 28 0 0 25 0 4 0 650500065 553697280 88122 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3038.66
Current children cumulated vsize (KiB) 540720

[startup+822.301 s]
/proc/loadavg: 8.07 7.81 6.26 10/392 26946
/proc/meminfo: memFree=26375764/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=530784 CPUtime=3277.85 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 511063 0 0 0 327604 181 0 0 25 0 4 0 650500065 543522816 93266 33554432000 4194304 4650419 140736772710928 18446744073709551615 4334389 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 132696 93266 395 112 0 127661 0
[pid=26918/tid=26919] ppid=26916 vsize=530784 CPUtime=822.26 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 146802 0 0 0 82179 47 0 0 25 0 4 0 650500065 543522816 93266 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=530784 CPUtime=811.79 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 131445 0 0 0 81128 51 0 0 25 0 4 0 650500065 543522816 93266 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=530784 CPUtime=822.29 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 84317 0 0 0 82200 29 0 0 25 0 4 0 650500065 543522816 93266 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3277.85
Current children cumulated vsize (KiB) 530784

[startup+882.315 s]
/proc/loadavg: 8.07 7.86 6.38 9/392 26948
/proc/meminfo: memFree=26375352/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=594896 CPUtime=3517.14 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 535880 0 0 0 351521 193 0 0 25 0 4 0 650500065 609173504 98527 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 148724 98527 395 112 0 143689 0
[pid=26918/tid=26919] ppid=26916 vsize=594896 CPUtime=882.27 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 154473 0 0 0 88177 50 0 0 25 0 4 0 650500065 609173504 98527 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=594896 CPUtime=871.03 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 139405 0 0 0 87049 54 0 0 25 0 4 0 650500065 609173504 98527 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=594896 CPUtime=882.31 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 89099 0 0 0 88199 32 0 0 25 0 4 0 650500065 609173504 98527 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3517.14
Current children cumulated vsize (KiB) 594896

[startup+942.301 s]
/proc/loadavg: 8.02 7.88 6.47 9/392 26950
/proc/meminfo: memFree=26401612/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=544724 CPUtime=3756.33 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 557915 0 0 0 375428 205 0 0 25 0 4 0 650500065 557797376 90218 33554432000 4194304 4650419 140736772710928 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 136181 90218 408 112 0 131146 0
[pid=26918/tid=26919] ppid=26916 vsize=544724 CPUtime=942.26 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 163932 0 0 0 94170 56 0 0 25 0 4 0 650500065 557797376 90218 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=544724 CPUtime=930.26 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 146358 0 0 0 92969 57 0 0 25 0 4 0 650500065 557797376 90218 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=544724 CPUtime=942.29 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 91854 0 0 0 94196 33 0 0 25 0 4 0 650500065 557797376 90218 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3756.33
Current children cumulated vsize (KiB) 544724

[startup+1002.3 s]
/proc/loadavg: 8.01 7.90 6.57 10/392 26951
/proc/meminfo: memFree=26322480/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=616132 CPUtime=3995.56 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 585416 0 0 0 399341 215 0 0 25 0 4 0 650500065 630919168 105517 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 154033 105517 408 112 0 148998 0
[pid=26918/tid=26919] ppid=26916 vsize=616132 CPUtime=1002.26 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 172559 0 0 0 100168 58 0 0 25 0 4 0 650500065 630919168 105517 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=616132 CPUtime=989.49 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 152454 0 0 0 98889 60 0 0 25 0 4 0 650500065 630919168 105517 33554432000 4194304 4650419 140736772710928 18446744073709551615 4367986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=616132 CPUtime=1002.29 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 95855 0 0 0 100194 35 0 0 25 0 4 0 650500065 630919168 105517 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3995.56
Current children cumulated vsize (KiB) 616132

[startup+1062.3 s]
/proc/loadavg: 8.04 7.93 6.66 9/392 26953
/proc/meminfo: memFree=26317740/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=601072 CPUtime=4234.8 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 606761 0 0 0 423252 228 0 0 25 0 4 0 650500065 615497728 106348 33554432000 4194304 4650419 140736772710928 18446744073709551615 4329831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 150268 106348 408 112 0 145233 0
[pid=26918/tid=26919] ppid=26916 vsize=601072 CPUtime=1062.26 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 179325 0 0 0 106165 61 0 0 25 0 4 0 650500065 615497728 106348 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=601072 CPUtime=1048.73 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 156848 0 0 0 104809 64 0 0 25 0 4 0 650500065 615497728 106348 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=601072 CPUtime=1062.3 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 98553 0 0 0 106193 37 0 0 25 0 4 0 650500065 615497728 106348 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4234.8
Current children cumulated vsize (KiB) 601072

[startup+1122.3 s]
/proc/loadavg: 8.05 7.95 6.75 10/392 26954
/proc/meminfo: memFree=26338048/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=563516 CPUtime=4474.04 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 626595 0 0 0 447164 240 0 0 25 0 4 0 650500065 577040384 99574 33554432000 4194304 4650419 140736772710928 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 140879 99574 408 112 0 135844 0
[pid=26918/tid=26919] ppid=26916 vsize=563516 CPUtime=1122.26 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 182961 0 0 0 112163 63 0 0 25 0 4 0 650500065 577040384 99574 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366616 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=563516 CPUtime=1107.96 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 161869 0 0 0 110730 66 0 0 25 0 4 0 650500065 577040384 99574 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=563516 CPUtime=1122.29 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 102571 0 0 0 112190 39 0 0 25 0 4 0 650500065 577040384 99574 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4474.04
Current children cumulated vsize (KiB) 563516

[startup+1182.3 s]
/proc/loadavg: 8.16 8.00 6.84 10/392 26956
/proc/meminfo: memFree=26303920/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=578872 CPUtime=4713.29 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 647044 0 0 0 471079 250 0 0 25 0 4 0 650500065 592764928 105018 33554432000 4194304 4650419 140736772710928 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 144718 105018 408 112 0 139683 0
[pid=26918/tid=26919] ppid=26916 vsize=578872 CPUtime=1182.27 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 189837 0 0 0 118160 67 0 0 25 0 4 0 650500065 592764928 105018 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=578872 CPUtime=1167.21 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 165476 0 0 0 116653 68 0 0 25 0 4 0 650500065 592764928 105018 33554432000 4194304 4650419 140736772710928 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=578872 CPUtime=1182.3 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 106934 0 0 0 118189 41 0 0 25 0 4 0 650500065 592764928 105018 33554432000 4194304 4650419 140736772710928 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4713.29
Current children cumulated vsize (KiB) 578872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.1 s]
/proc/loadavg: 8.11 8.00 6.86 9/392 26988
/proc/meminfo: memFree=26441696/32950928 swapFree=44388876/67111528
[pid=26918] ppid=26916 vsize=578952 CPUtime=4800.24 cores=1,3,5,7
/proc/26918/stat : 26918 (strangenight1-m) R 26916 26918 26816 0 -1 4202496 654113 0 0 0 479770 254 0 0 25 0 4 0 650500065 592846848 108404 33554432000 4194304 4650419 140736772710928 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26918/statm: 144738 108404 408 112 0 139703 0
[pid=26918/tid=26919] ppid=26916 vsize=578952 CPUtime=1204.07 cores=1,3,5,7
/proc/26918/task/26919/stat : 26919 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 192343 0 0 0 120340 67 0 0 25 0 4 0 650500065 592846848 108404 33554432000 4194304 4650419 140736772710928 18446744073709551615 4433111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26918/tid=26920] ppid=26916 vsize=578952 CPUtime=1188.72 cores=1,3,5,7
/proc/26918/task/26920/stat : 26920 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 166828 0 0 0 118803 69 0 0 25 0 4 0 650500065 592846848 108404 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26918/tid=26921] ppid=26916 vsize=578952 CPUtime=1204.11 cores=1,3,5,7
/proc/26918/task/26921/stat : 26921 (strangenight1-m) R 26916 26918 26816 0 -1 4202560 107744 0 0 0 120370 41 0 0 25 0 4 0 650500065 592846848 108404 33554432000 4194304 4650419 140736772710928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 578952

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.14
CPU time (s): 4800.3
CPU user time (s): 4797.73
CPU system time (s): 2.56361
CPU usage (%): 398.65
Max. virtual memory (cumulated for all children) (KiB): 671112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.73
system time used= 2.56361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654113
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= 741
involuntary context switches= 31375

runsolver used 4.24835 second user time and 11.1023 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-14 18:03:34
IDJOB=3369634
IDBENCH=20468
IDSOLVER=1846
FILE ID=node126/3369634-1305389014
RUNJOBID= node126-1305389009-26835
PBS_JOBID= 13324434
Free space on /tmp= 73320 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369634-1305389014/watcher-3369634-1305389014 -o /tmp/evaluation-result-3369634-1305389014/solver-3369634-1305389014 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369634-1305389014.cnf

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

MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED=1869762163

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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:     32950928 kB
MemFree:      27051236 kB
Buffers:        247624 kB
Cached:        2405732 kB
SwapCached:      92524 kB
Active:         735960 kB
Inactive:      4912408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27051236 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           12888 kB
Writeback:           0 kB
AnonPages:     2915216 kB
Mapped:          15832 kB
Slab:           109576 kB
PageTables:      75764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88210952 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= 73312 MiB
End job on node126 at 2011-05-14 18:23:40