Trace number 3280870

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-2-mt? (TO) 4800.21 1201.73

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.00	c Using 4 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3280870-1304028694.cnf'
0.00/0.03	c -- header says num vars:           1694
0.00/0.03	c -- header says num clauses:        5726
0.00/0.03	c -- clauses added:            0 learnts,         5726 normals,            0 xors
0.00/0.03	c -- vars added       1694
0.00/0.03	c Parsing time:  0.00 s
0.00/0.03	c  N st     0         0      1694      3233      2490         0     14871         0   no data   no data
0.00/0.04	c asymm  cl-useful: 0/3233/3233 lits-rem:0 time: 0.00
0.00/0.06	c Flit:    12 Blit:      0 bXBeca:    0 bXProp:    6 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.00/0.06	c Replacing        6 vars Replaced       79 lits Time:     0.00 s 
0.00/0.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1667 time:  0.00 s
0.00/0.06	c Removed useless bin:       0  fixed:     0  props:   0.05M  time:  0.00 s
0.00/0.27	c lits-rem:         0  cl-subs:      174  v-elim:    518  v-fix:    0  time:  0.01 s
0.00/0.27	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.27	c Finding non-binary XORs:     0.00 s (found:     457, avg size: 3.0)
0.00/0.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     13 locsubst:     0 time:   0.00
0.00/0.27	c calculated reachability. Time: 0.00
0.00/0.27	c Calc default polars -  time:   0.00 s pos:     166 undec:     589 neg:     939
0.00/0.27	c =========================================================================================
0.00/0.27	c types(t): F = full restart, N = normal restart
0.00/0.27	c types(t): S = simplification begin/end, E = solution found
0.00/0.27	c restart types(rt): st = static, dy = dynamic
0.00/0.27	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.27	c  B st     0         0      1136      1838      1021         0      9651         0   no data   no data
0.00/0.27	c Decided on static restart strategy
0.00/0.40	c  N st     8      4915      1136      1838      1121      4755      9651    168287   no data   no data
2.69/0.89	c  N st    10     11297      1136      1838      1147      4637      9651     96525   no data   no data
5.10/1.46	c  N st    11     17043      1133      1838      1164     10321      9651    362483   no data   no data
5.10/1.46	c Finding binary XORs  T:     0.00 s  found:       0
9.09/2.41	c  F st    12     25000      1133      1829      1333     12958      9604    470482   no data   no data
9.09/2.41	c Replacing        1 vars Replaced       31 lits Time:     0.00 s 
9.09/2.41	c  N st    12     25000      1132      1829      1333     12958      9601    470482   no data   no data
11.08/2.99	c Decided on static restart strategy
11.08/2.99	c  N st    18     30000      1131      1829      1377     11390      9601    306434   no data   no data
11.08/2.99	c  S st    18     30000      1131      1829      1377     11390      9601    306434   no data   no data
11.48/3.05	c  S st    18     30500      1131      1829      1388     11877      9601    317667   no data   no data
11.48/3.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.48/3.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1237 BRemL:    689 BRemN:      0 P:  0.6M T:  0.02
11.48/3.07	c blocked clauses removed:        0 vars:      0 tried:         284 T: 0.00 s
11.48/3.07	c bin-w-bin subsume rem            2 bins  time:  0.00 s
11.48/3.07	c subs with bin:       14  lits-rem:        47  v-fix:    0  time:  0.00 s
11.48/3.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1131 time:  0.00 s
11.48/3.07	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
11.48/3.08	c lits-rem:         0  cl-subs:        7  v-elim:      7  v-fix:    0  time:  0.00 s
11.88/3.13	c subs with bin:       35  lits-rem:      5874  v-fix:    0  time:  0.04 s
12.28/3.22	c lits-rem:      1003  cl-subs:      278  v-elim:      0  v-fix:    0  time:  0.10 s
12.28/3.24	c asymm  cl-useful: 8/1818/1818 lits-rem:8 time: 0.01
12.28/3.24	c calculated reachability. Time: 0.00
12.28/3.24	c  N st    18     30500      1124      1818      1867     11468      9515    303259   no data   no data
13.48/3.56	c Finding binary XORs  T:     0.00 s  found:       0
15.07/3.94	c  N st    20     37612      1124      1818      1876     10922      9515    221218   no data   no data
17.87/4.64	c  N st    21     44013      1123      1818      1876     17234      9515    469994   no data   no data
17.87/4.65	c Finding binary XORs  T:     0.00 s  found:       0
19.07/4.92	c  S st    22     45750      1123      1818      2500     10284      9507    176688   no data   no data
19.07/4.97	c  S st    22     46255      1123      1818      2500     10785      9507    189676   no data   no data
19.07/4.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.07/4.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:    610 BRemN:      6 P:  0.6M T:  0.02
19.07/4.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19.07/4.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.07/4.99	c subs with bin:        5  lits-rem:         6  v-fix:    0  time:  0.00 s
19.07/4.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1123 time:  0.00 s
19.07/4.99	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
19.07/4.99	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
19.46/5.01	c subs with bin:        0  lits-rem:        21  v-fix:    0  time:  0.01 s
19.46/5.02	c lits-rem:       179  cl-subs:       66  v-elim:      0  v-fix:    0  time:  0.01 s
19.46/5.02	c vivif2 --  cl tried     1833 cl shrink        4 lits rem          4 time: 0.00
19.46/5.03	c vivif2 --  cl tried     9709 cl shrink     1223 lits rem       2432 time: 0.01
19.46/5.04	c asymm  cl-useful: 8/1833/1833 lits-rem:8 time: 0.01
19.46/5.04	c calculated reachability. Time: 0.00
19.46/5.04	c  N st    22     46255      1114      1833      1762      9709      9530    158028   no data   no data
26.26/6.76	c  N st    23     60652      1114      1833      1764     14811      9530    271721   no data   no data
26.26/6.76	c Finding binary XORs  T:     0.00 s  found:       0
31.05/7.98	c  N st    24     69383      1114      1833      1850     13006      9530    199041   no data   no data
31.05/7.98	c  S st    24     69383      1114      1833      1850     13006      9530    199041   no data   no data
31.47/8.04	c  S st    24     69885      1114      1833      1852     13505      9530    209935   no data   no data
31.47/8.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.47/8.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     28 BRemL:     54 BRemN:      0 P:  0.6M T:  0.02
31.47/8.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
31.47/8.06	c bin-w-bin subsume rem            1 bins  time:  0.00 s
31.47/8.06	c subs with bin:       18  lits-rem:         3  v-fix:    0  time:  0.00 s
31.47/8.06	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:   1114 time:  0.00 s
31.47/8.06	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
31.47/8.06	c lits-rem:         0  cl-subs:        1  v-elim:      3  v-fix:    0  time:  0.00 s
31.47/8.08	c subs with bin:       22  lits-rem:       134  v-fix:    0  time:  0.01 s
31.87/8.10	c lits-rem:       355  cl-subs:      186  v-elim:      0  v-fix:    0  time:  0.02 s
31.87/8.10	c vivif2 --  cl tried     1817 cl shrink        0 lits rem          0 time: 0.00
31.87/8.11	c vivif2 --  cl tried    13260 cl shrink      662 lits rem       1458 time: 0.01
31.87/8.12	c asymm  cl-useful: 9/1817/1817 lits-rem:13 time: 0.01
31.87/8.12	c calculated reachability. Time: 0.00
31.87/8.12	c  N st    24     69885      1111      1815      1809     13260      9488    202801   no data   no data
41.44/10.54	c  F st    25     87501      1111      1815      1809     19076      9488    393422   no data   no data
41.44/10.54	c  N st    25     87501      1111      1815      1809     19076      9488    393422   no data   no data
41.44/10.55	c Finding binary XORs  T:     0.00 s  found:       0
44.24/11.23	c Decided on static restart strategy
46.23/11.71	c  N st    32     95540      1110      1815      1814     26971      9480    650934   no data   no data
51.42/13.04	c  N st    34    104828      1110      1815      1844     23563      9480    517303   no data   no data
51.42/13.04	c  S st    34    104828      1110      1815      1844     23563      9480    517303   no data   no data
51.82/13.14	c  S st    34    105328      1110      1815      1845     24060      9480    527521   no data   no data
51.82/13.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.82/13.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     19 BRemN:      0 P:  1.0M T:  0.02
51.82/13.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.82/13.17	c bin-w-bin subsume rem            1 bins  time:  0.00 s
51.82/13.17	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  0.00 s
51.82/13.17	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:   1110 time:  0.00 s
51.82/13.17	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
51.82/13.18	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
52.22/13.24	c subs with bin:        5  lits-rem:        57  v-fix:    0  time:  0.05 s
52.62/13.38	c lits-rem:       751  cl-subs:      476  v-elim:      0  v-fix:    0  time:  0.14 s
52.62/13.38	c vivif2 --  cl tried     1800 cl shrink        0 lits rem          0 time: 0.00
53.02/13.40	c vivif2 --  cl tried    23579 cl shrink     4391 lits rem      12032 time: 0.03
53.02/13.42	c asymm  cl-useful: 4/1800/1800 lits-rem:4 time: 0.02
53.02/13.43	c calculated reachability. Time: 0.00
53.02/13.43	c  N st    34    105328      1110      1800      1830     23579      9422    505659   no data   no data
59.42/15.02	c  N st    35    114926      1110      1800      1831     19419      9422    299855   no data   no data
59.42/15.02	c Finding binary XORs  T:     0.00 s  found:       0
69.41/17.50	c  N st    36    129325      1109      1800      1874     18832      9414    276177   no data   no data
83.80/21.19	c  N st    37    150920      1109      1800      1874     24320      9414    405035   no data   no data
89.01/22.41	c  S st    38    157993      1109      1800      1880     31263      9414    608492   no data   no data
89.38/22.51	c  S st    38    158493      1109      1800      1880     31760      9414    617811   no data   no data
89.38/22.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
89.38/22.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      9 BRemL:     20 BRemN:      0 P:  1.2M T:  0.03
89.38/22.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.38/22.54	c bin-w-bin subsume rem            1 bins  time:  0.00 s
89.38/22.54	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.00 s
89.38/22.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1109 time:  0.00 s
89.38/22.54	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
89.38/22.55	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
89.78/22.61	c subs with bin:        4  lits-rem:        69  v-fix:    0  time:  0.04 s
90.98/22.98	c lits-rem:       928  cl-subs:     2962  v-elim:      0  v-fix:    0  time:  0.38 s
90.98/22.98	c vivif2 --  cl tried     1796 cl shrink        0 lits rem          0 time: 0.00
91.38/23.02	c vivif2 --  cl tried    28794 cl shrink     5280 lits rem      13088 time: 0.03
91.38/23.04	c asymm  cl-useful: 9/1796/1796 lits-rem:9 time: 0.02
91.38/23.04	c calculated reachability. Time: 0.00
91.38/23.04	c  N st    38    158493      1109      1796      1868     28794      9393    559464   no data   no data
124.94/31.44	c  N st    39    207082      1109      1796      1868     23786      9393    343160   no data   no data
148.51/37.36	c  N st    40    237739      1108      1796      1869     34451      9393    686899   no data   no data
148.51/37.36	c  S st    40    237739      1108      1796      1869     34451      9393    686899   no data   no data
148.51/37.36	c Finding binary XORs  T:     0.00 s  found:       0
148.91/37.49	c  S st    40    238246      1108      1796      1874     34688      9385    697329   no data   no data
148.91/37.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.31/37.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      5 BRemN:      0 P:  1.5M T:  0.04
149.31/37.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.31/37.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.31/37.53	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
149.31/37.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1108 time:  0.00 s
149.31/37.53	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
149.31/37.54	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.01 s
149.70/37.60	c subs with bin:        1  lits-rem:         7  v-fix:    0  time:  0.04 s
150.52/37.87	c lits-rem:       611  cl-subs:     1448  v-elim:      0  v-fix:    0  time:  0.27 s
150.52/37.87	c vivif2 --  cl tried     1792 cl shrink        0 lits rem          0 time: 0.00
150.90/37.92	c vivif2 --  cl tried    33239 cl shrink     6671 lits rem      18904 time: 0.04
150.90/37.95	c asymm  cl-useful: 0/1792/1792 lits-rem:0 time: 0.03
150.90/37.95	c calculated reachability. Time: 0.00
150.90/37.95	c  N st    40    238246      1108      1792      1876     33239      9357    655700   no data   no data
206.44/51.87	c  F st    41    306250      1108      1792      1877     35427      9357    644315   no data   no data
206.44/51.88	c  N st    41    306250      1108      1792      1877     35427      9357    644315   no data   no data
206.44/51.88	c Finding binary XORs  T:     0.00 s  found:       0
210.03/52.79	c Decided on static restart strategy
226.01/56.76	c  N st    51    334551      1108      1792      1919     39855      9357    680891   no data   no data
242.41/60.84	c  N st    53    357369      1108      1792      1921     37645      9357    632572   no data   no data
242.41/60.84	c  S st    53    357369      1108      1792      1921     37645      9357    632572   no data   no data
242.81/60.97	c  S st    53    357871      1108      1792      1921     38144      9357    643400   no data   no data
242.81/60.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.19/61.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:     26 BRemN:      0 P:  1.6M T:  0.04
243.19/61.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.19/61.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.19/61.01	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
243.19/61.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1108 time:  0.00 s
243.19/61.01	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
243.19/61.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.19/61.07	c subs with bin:       17  lits-rem:       187  v-fix:    0  time:  0.03 s
244.79/61.42	c lits-rem:       663  cl-subs:     2513  v-elim:      0  v-fix:    0  time:  0.35 s
244.79/61.42	c vivif2 --  cl tried     1791 cl shrink        0 lits rem          0 time: 0.00
244.79/61.45	c vivif2 --  cl tried    35614 cl shrink     3868 lits rem       8558 time: 0.03
244.79/61.49	c asymm  cl-useful: 0/1791/1791 lits-rem:0 time: 0.03
244.79/61.49	c calculated reachability. Time: 0.00
244.79/61.49	c  N st    53    357871      1108      1791      1902     35614      9355    594636   no data   no data
276.34/69.33	c  N st    54    390264      1108      1791      1903     42036      9355    778174   no data   no data
319.89/80.20	c  N st    55    438853      1107      1791      1907     35652      9355    516035   no data   no data
319.89/80.20	c Finding binary XORs  T:     0.00 s  found:       0
382.61/95.99	c  N st    56    511736      1107      1791      1911     49265      9348    927539   no data   no data
404.58/101.47	c  N st    57    536808      1107      1791      1925     43830      9348    658718   no data   no data
404.58/101.47	c  S st    57    536808      1107      1791      1925     43830      9348    658718   no data   no data
405.40/101.63	c  S st    57    537312      1107      1791      1926     44332      9348    669599   no data   no data
405.40/101.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
405.40/101.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:     13 BRemN:      0 P:  2.0M T:  0.05
405.40/101.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
405.40/101.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
405.40/101.68	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
405.40/101.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1107 time:  0.00 s
405.40/101.69	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
405.77/101.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
405.77/101.75	c subs with bin:       12  lits-rem:        45  v-fix:    0  time:  0.03 s
406.97/102.01	c lits-rem:       857  cl-subs:     1415  v-elim:      0  v-fix:    0  time:  0.25 s
406.97/102.01	c vivif2 --  cl tried     1789 cl shrink        0 lits rem          0 time: 0.00
406.97/102.04	c vivif2 --  cl tried    42905 cl shrink     2742 lits rem       4763 time: 0.03
406.97/102.09	c asymm  cl-useful: 3/1789/1789 lits-rem:3 time: 0.05
406.97/102.09	c calculated reachability. Time: 0.00
406.97/102.09	c  N st    57    537312      1107      1789      1919     42905      9340    645046   no data   no data
563.98/141.39	c  N st    58    701296      1107      1789      1921     72025      9339   1349518   no data   no data
563.98/141.39	c Finding binary XORs  T:     0.00 s  found:       0
661.86/165.88	c  N st    59    805968      1107      1789      1933     65501      9339   1186928   no data   no data
661.86/165.88	c  S st    59    805968      1107      1789      1933     65501      9339   1186928   no data   no data
663.06/166.13	c  S st    59    806471      1107      1789      1937     66002      9339   1199665   no data   no data
663.06/166.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
663.46/166.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:     14 BRemN:      0 P:  2.7M T:  0.07
663.46/166.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
663.46/166.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
663.46/166.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
663.46/166.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1107 time:  0.00 s
663.46/166.21	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
663.46/166.23	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.02 s
663.86/166.33	c subs with bin:       26  lits-rem:        19  v-fix:    0  time:  0.06 s
674.64/169.05	c lits-rem:      2986  cl-subs:     5963  v-elim:      0  v-fix:    0  time:  2.72 s
674.64/169.05	c vivif2 --  cl tried     1786 cl shrink        0 lits rem          0 time: 0.00
675.05/169.11	c vivif2 --  cl tried    60013 cl shrink     7048 lits rem      12020 time: 0.06
675.05/169.18	c asymm  cl-useful: 4/1786/1786 lits-rem:4 time: 0.07
675.05/169.19	c calculated reachability. Time: 0.00
675.05/169.19	c  N st    59    806471      1107      1786      1936     60013      9306   1068245   no data   no data
972.29/243.56	c  F st    60   1071875      1107      1786      1938     76251      9306   1381774   no data   no data
972.29/243.56	c  N st    60   1071875      1107      1786      1938     76251      9306   1381774   no data   no data
972.29/243.56	c Finding binary XORs  T:     0.00 s  found:       0
978.66/245.13	c Decided on static restart strategy
1003.05/251.24	c  N st    70   1100182      1107      1786      1951     60100      9306    913977   no data   no data
1039.78/260.40	c  N st    72   1136175      1107      1786      1951     50374      9306    633911   no data   no data
1071.35/268.39	c  N st    73   1168568      1107      1786      1951     81797      9306   1531539   no data   no data
1117.31/279.83	c  N st    74   1209707      1107      1786      1953     76098      9306   1319200   no data   no data
1117.31/279.83	c  S st    74   1209707      1107      1786      1953     76098      9306   1319200   no data   no data
1118.48/280.14	c  S st    74   1210209      1107      1786      1953     76596      9306   1331411   no data   no data
1118.48/280.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1118.88/280.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     26 BRemL:     29 BRemN:      0 P:  3.1M T:  0.08
1118.88/280.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1118.88/280.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1118.88/280.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1118.88/280.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1107 time:  0.00 s
1118.88/280.23	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1118.88/280.25	c lits-rem:         2  cl-subs:        2  v-elim:      4  v-fix:    0  time:  0.02 s
1119.28/280.35	c subs with bin:      254  lits-rem:       107  v-fix:    0  time:  0.07 s
1128.07/282.50	c lits-rem:       886  cl-subs:     7204  v-elim:      0  v-fix:    0  time:  2.15 s
1128.07/282.50	c vivif2 --  cl tried     1782 cl shrink        4 lits rem          4 time: 0.00
1128.07/282.58	c vivif2 --  cl tried    64836 cl shrink     9243 lits rem      18775 time: 0.07
1128.47/282.66	c asymm  cl-useful: 3/1782/1782 lits-rem:3 time: 0.08
1128.47/282.66	c calculated reachability. Time: 0.00
1128.47/282.66	c  N st    74   1210209      1103      1782      1937     64836      9305    998944   no data   no data
1128.47/282.66	c Finding binary XORs  T:     0.00 s  found:       0
1213.97/304.01	c  N st    75   1283092      1103      1782      1937     91706      9305   1639382   no data   no data
1213.97/304.02	c Finding binary XORs  T:     0.00 s  found:       0
1346.57/337.29	c  N st    76   1392415      1103      1782      1959     53908      9305    634053   no data   no data
1522.76/381.39	c  N st    77   1556400      1103      1782      1960     58574      9305    715829   no data   no data
1708.11/427.77	c  N st    78   1710210      1102      1782      1970     99872      9305   1831729   no data   no data
1708.11/427.77	c  S st    78   1710210      1102      1782      1970     99872      9305   1831729   no data   no data
1708.11/427.79	c Finding binary XORs  T:     0.00 s  found:       0
1709.71/428.12	c  S st    78   1710712      1101      1780      1938     99499      9281   1833529   no data   no data
1709.71/428.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1710.13/428.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    155 BRemL:    127 BRemN:      0 P:  4.6M T:  0.16
1710.13/428.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1710.13/428.29	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1710.13/428.29	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
1710.13/428.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1101 time:  0.00 s
1710.13/428.29	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1710.53/428.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1711.30/428.53	c subs with bin:      279  lits-rem:       124  v-fix:    0  time:  0.15 s
1756.04/439.76	c lits-rem:      4171  cl-subs:    14537  v-elim:      0  v-fix:    0  time: 11.23 s
1756.04/439.76	c vivif2 --  cl tried     1778 cl shrink        0 lits rem          0 time: 0.00
1756.45/439.84	c vivif2 --  cl tried    84683 cl shrink     6399 lits rem       8973 time: 0.08
1756.85/439.96	c asymm  cl-useful: 1/1778/1778 lits-rem:1 time: 0.12
1756.85/439.97	c calculated reachability. Time: 0.00
1756.85/439.97	c  N st    78   1710712      1101      1778      1963     84682      9247   1547802   no data   no data
1756.85/439.97	c Finding binary XORs  T:     0.00 s  found:       0
2205.09/552.11	c  N st    79   2079678      1101      1778      1964     99657      9247   1695723   no data   no data
2205.09/552.11	c Finding binary XORs  T:     0.00 s  found:       0
2385.66/597.37	c  N st    80   2210714      1101      1778      2079    102730      9247   1809083   no data   no data
2385.66/597.37	c  S st    80   2210714      1101      1778      2079    102730      9247   1809083   no data   no data
2385.66/597.37	c Finding binary XORs  T:     0.00 s  found:       0
2387.28/597.75	c  S st    80   2211215      1101      1778      2103    103229      9247   1820845   no data   no data
2387.28/597.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2387.66/597.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     17 BRemL:    122 BRemN:      0 P:  4.6M T:  0.13
2387.66/597.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2387.66/597.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2387.66/597.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2387.66/597.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1101 time:  0.00 s
2387.66/597.89	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2388.06/597.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2388.46/598.08	c subs with bin:       24  lits-rem:        70  v-fix:    0  time:  0.11 s
2407.23/602.77	c lits-rem:      2165  cl-subs:    10561  v-elim:      0  v-fix:    0  time:  4.69 s
2407.23/602.77	c vivif2 --  cl tried     1778 cl shrink        0 lits rem          0 time: 0.00
2407.63/602.87	c vivif2 --  cl tried    92644 cl shrink    10015 lits rem      18803 time: 0.11
2408.44/603.00	c asymm  cl-useful: 0/1778/1778 lits-rem:0 time: 0.12
2408.44/603.00	c calculated reachability. Time: 0.00
2408.44/603.00	c  N st    80   2211215      1101      1778      1999     92643      9247   1636793   no data   no data
3042.43/761.72	c  N st    81   2711215      1101      1778      1999    114002      9247   1948948   no data   no data
3042.43/761.72	c  S st    81   2711215      1101      1778      1999    114002      9247   1948948   no data   no data
3042.43/761.72	c Finding binary XORs  T:     0.00 s  found:       0
3044.03/762.15	c  S st    81   2711718      1101      1778      2034    114504      9247   1960055   no data   no data
3044.03/762.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3044.83/762.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     42 BRemL:     46 BRemN:      0 P:  4.8M T:  0.14
3044.83/762.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3044.83/762.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3044.83/762.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3044.83/762.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1101 time:  0.00 s
3044.83/762.30	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3044.83/762.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3045.23/762.48	c subs with bin:       22  lits-rem:        96  v-fix:    0  time:  0.08 s
3089.16/773.47	c lits-rem:      3182  cl-subs:    16681  v-elim:      0  v-fix:    0  time: 11.00 s
3089.16/773.47	c vivif2 --  cl tried     1778 cl shrink        0 lits rem          0 time: 0.00
3089.56/773.56	c vivif2 --  cl tried    97801 cl shrink     6629 lits rem       9097 time: 0.09
3090.38/773.71	c asymm  cl-useful: 2/1778/1778 lits-rem:2 time: 0.15
3090.38/773.71	c calculated reachability. Time: 0.00
3090.38/773.71	c  N st    81   2711718      1101      1778      2031     97800      9245   1637205   no data   no data
3873.36/969.79	c  N st    82   3211718      1101      1778      2031    150971      9245   2770599   no data   no data
3873.36/969.79	c  S st    82   3211718      1101      1778      2031    150971      9245   2770599   no data   no data
3873.76/969.82	c Finding binary XORs  T:     0.00 s  found:       0
3875.76/970.37	c  S st    82   3212220      1098      1774      1970    151197      9209   2778583   no data   no data
3875.76/970.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3876.58/970.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     99 BRemL:    103 BRemN:      0 P:  6.8M T:  0.22
3876.98/970.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3876.98/970.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3876.98/970.60	c subs with bin:        4  lits-rem:         6  v-fix:    0  time:  0.00 s
3876.98/970.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1098 time:  0.00 s
3876.98/970.60	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3876.98/970.65	c lits-rem:         0  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.04 s
3877.76/970.85	c subs with bin:        5  lits-rem:        41  v-fix:    0  time:  0.12 s
4014.37/1005.00	c lits-rem:      5646  cl-subs:    25602  v-elim:      0  v-fix:    0  time: 34.15 s
4014.37/1005.00	c vivif2 --  cl tried     1776 cl shrink        0 lits rem          0 time: 0.00
4014.77/1005.16	c vivif2 --  cl tried   125487 cl shrink    11703 lits rem      19907 time: 0.15
4015.57/1005.37	c asymm  cl-useful: 0/1776/1776 lits-rem:0 time: 0.21
4015.57/1005.37	c calculated reachability. Time: 0.00
4015.57/1005.37	c  N st    82   3212220      1096      1776      1948    125487      9203   2293267   no data   no data
4015.57/1005.37	c Finding binary XORs  T:     0.00 s  found:       0

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3280870-1304028694/watcher-3280870-1304028694 -o /tmp/evaluation-result-3280870-1304028694/solver-3280870-1304028694 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3280870-1304028694.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: 0.00 0.00 0.00 1/172 31310
/proc/meminfo: memFree=20057072/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 409 0 0 0 0 0 0 0 23 0 4 0 514469107 52441088 348 33554432000 4194304 4627427 140733655552080 18446744073709551615 47497492879276 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 12803 348 299 106 0 7774 0
[pid=31310/tid=31311] ppid=31308 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 514469107 52441088 348 33554432000 4194304 4627427 140733655552080 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 514469107 52441088 348 33554432000 4194304 4627427 140733655552080 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 514469107 52441088 348 33554432000 4194304 4627427 140733655552080 18446744073709551615 47497492879286 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.484604 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 31310
/proc/meminfo: memFree=20057072/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=286784 CPUtime=1.43 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 3608 0 0 0 142 1 0 0 18 0 4 0 514469107 293666816 2737 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 71696 2737 388 106 0 66667 0
[pid=31310/tid=31311] ppid=31308 vsize=286784 CPUtime=0.46 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 935 0 0 0 46 0 0 0 18 0 4 0 514469107 293666816 2737 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309760 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=286784 CPUtime=0.46 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 990 0 0 0 46 0 0 0 18 0 4 0 514469107 293666816 2737 33554432000 4194304 4627427 140733655552080 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=286784 CPUtime=0.04 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 291 0 0 0 4 0 0 0 25 0 4 0 514469107 293666816 2737 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 286784

[startup+0.500547 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 31310
/proc/meminfo: memFree=20057072/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=286784 CPUtime=1.49 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 3644 0 0 0 148 1 0 0 18 0 4 0 514469107 293666816 2773 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309735 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 71696 2773 388 106 0 66667 0
[pid=31310/tid=31311] ppid=31308 vsize=286784 CPUtime=0.47 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 944 0 0 0 47 0 0 0 18 0 4 0 514469107 293666816 2773 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=286784 CPUtime=0.48 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1001 0 0 0 48 0 0 0 18 0 4 0 514469107 293666816 2773 33554432000 4194304 4627427 140733655552080 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=286784 CPUtime=0.06 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 301 0 0 0 6 0 0 0 25 0 4 0 514469107 293666816 2773 33554432000 4194304 4627427 140733655552080 18446744073709551615 4329933 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 286784

[startup+0.600525 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 31310
/proc/meminfo: memFree=20057072/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=286784 CPUtime=1.89 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 3948 0 0 0 188 1 0 0 18 0 4 0 514469107 293666816 3077 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308127 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 71696 3077 388 106 0 66667 0
[pid=31310/tid=31311] ppid=31308 vsize=286784 CPUtime=0.57 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1002 0 0 0 57 0 0 0 18 0 4 0 514469107 293666816 3077 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=286784 CPUtime=0.58 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1075 0 0 0 58 0 0 0 18 0 4 0 514469107 293666816 3077 33554432000 4194304 4627427 140733655552080 18446744073709551615 4321723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=286784 CPUtime=0.16 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 393 0 0 0 16 0 0 0 25 0 4 0 514469107 293666816 3077 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 286784

[startup+0.700508 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 31310
/proc/meminfo: memFree=20057072/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=286952 CPUtime=2.29 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 4216 0 0 0 228 1 0 0 18 0 4 0 514469107 293838848 3345 33554432000 4194304 4627427 140733655552080 18446744073709551615 4321603 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 71738 3345 388 106 0 66709 0
[pid=31310/tid=31311] ppid=31308 vsize=286952 CPUtime=0.67 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1060 0 0 0 67 0 0 0 18 0 4 0 514469107 293838848 3345 33554432000 4194304 4627427 140733655552080 18446744073709551615 4327603 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=286952 CPUtime=0.68 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1137 0 0 0 68 0 0 0 18 0 4 0 514469107 293838848 3345 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=286952 CPUtime=0.26 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 480 0 0 0 26 0 0 0 25 0 4 0 514469107 293838848 3345 33554432000 4194304 4627427 140733655552080 18446744073709551615 4327595 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 286952

[startup+1.50631 s]
/proc/loadavg: 0.00 0.00 0.00 10/184 31327
/proc/meminfo: memFree=19944624/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=288528 CPUtime=5.51 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 6646 0 0 0 549 2 0 0 19 0 4 0 514469107 295452672 3952 33554432000 4194304 4627427 140733655552080 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 72132 3952 388 106 0 67103 0
[pid=31310/tid=31311] ppid=31308 vsize=288528 CPUtime=1.48 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1633 0 0 0 148 0 0 0 20 0 4 0 514469107 295452672 3952 33554432000 4194304 4627427 140733655552080 18446744073709551615 4227687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=288528 CPUtime=1.48 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1751 0 0 0 148 0 0 0 19 0 4 0 514469107 295452672 3952 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=288528 CPUtime=1.06 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 1168 0 0 0 106 0 0 0 25 0 4 0 514469107 295452672 3952 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 288528

[startup+3.10103 s]
/proc/loadavg: 0.72 0.15 0.05 9/184 31327
/proc/meminfo: memFree=19873492/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=287764 CPUtime=11.88 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 11855 0 0 0 1186 2 0 0 24 0 4 0 514469107 294670336 6517 33554432000 4194304 4627427 140733655552080 18446744073709551615 4424704 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 71941 6517 390 106 0 66912 0
[pid=31310/tid=31311] ppid=31308 vsize=287764 CPUtime=3.07 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 2676 0 0 0 307 0 0 0 25 0 4 0 514469107 294670336 6517 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=287764 CPUtime=3.09 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 2486 0 0 0 308 1 0 0 25 0 4 0 514469107 294670336 6517 33554432000 4194304 4627427 140733655552080 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=287764 CPUtime=2.65 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 2006 0 0 0 265 0 0 0 25 0 4 0 514469107 294670336 6517 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308120 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 287764

[startup+6.30046 s]
/proc/loadavg: 0.72 0.15 0.05 9/184 31327
/proc/meminfo: memFree=19597592/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=293568 CPUtime=24.65 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 21505 0 0 0 2461 4 0 0 25 0 4 0 514469107 300613632 10741 33554432000 4194304 4627427 140733655552080 18446744073709551615 4321678 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 73392 10741 390 106 0 68363 0
[pid=31310/tid=31311] ppid=31308 vsize=293568 CPUtime=6.27 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 5240 0 0 0 627 0 0 0 25 0 4 0 514469107 300613632 10741 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309085 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=293568 CPUtime=6.28 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 6339 0 0 0 626 2 0 0 25 0 4 0 514469107 300613632 10741 33554432000 4194304 4627427 140733655552080 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=293568 CPUtime=5.83 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 3442 0 0 0 583 0 0 0 25 0 4 0 514469107 300613632 10741 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 293568

[startup+12.7003 s]
/proc/loadavg: 1.84 0.41 0.13 9/184 31327
/proc/meminfo: memFree=19408632/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=302316 CPUtime=50.22 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 33918 0 0 0 5016 6 0 0 25 0 4 0 514469107 309571584 15513 33554432000 4194304 4627427 140733655552080 18446744073709551615 4310064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 75579 15513 390 106 0 70550 0
[pid=31310/tid=31311] ppid=31308 vsize=302316 CPUtime=12.67 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 9301 0 0 0 1266 1 0 0 25 0 4 0 514469107 309571584 15513 33554432000 4194304 4627427 140733655552080 18446744073709551615 4310064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=302316 CPUtime=12.68 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 10058 0 0 0 1266 2 0 0 25 0 4 0 514469107 309571584 15513 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309679 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=302316 CPUtime=12.2 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 5203 0 0 0 1219 1 0 0 25 0 4 0 514469107 309571584 15513 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.22
Current children cumulated vsize (KiB) 302316

[startup+25.501 s]
/proc/loadavg: 2.79 0.66 0.22 9/184 31328
/proc/meminfo: memFree=19294212/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=324384 CPUtime=101.37 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 52166 0 0 0 10128 9 0 0 25 0 4 0 514469107 332169216 22235 33554432000 4194304 4627427 140733655552080 18446744073709551615 4321405 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 81096 22235 390 106 0 76067 0
[pid=31310/tid=31311] ppid=31308 vsize=324384 CPUtime=25.47 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 14401 0 0 0 2546 1 0 0 25 0 4 0 514469107 332169216 22235 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=324384 CPUtime=25.48 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 14238 0 0 0 2545 3 0 0 25 0 4 0 514469107 332169216 22235 33554432000 4194304 4627427 140733655552080 18446744073709551615 4332615 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=324384 CPUtime=24.94 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 9551 0 0 0 2493 1 0 0 25 0 4 0 514469107 332169216 22235 33554432000 4194304 4627427 140733655552080 18446744073709551615 4321648 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 324384

[startup+51.1005 s]
/proc/loadavg: 4.63 1.26 0.43 9/184 31328
/proc/meminfo: memFree=19109652/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=331968 CPUtime=203.64 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 81306 0 0 0 20350 14 0 0 25 0 4 0 514469107 339935232 30630 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 82992 30630 390 106 0 77963 0
[pid=31310/tid=31311] ppid=31308 vsize=331968 CPUtime=51.07 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 22246 0 0 0 5105 2 0 0 25 0 4 0 514469107 339935232 30630 33554432000 4194304 4627427 140733655552080 18446744073709551615 4332964 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=331968 CPUtime=51.08 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 22897 0 0 0 5104 4 0 0 25 0 4 0 514469107 339935232 30630 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=331968 CPUtime=50.41 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 14459 0 0 0 5039 2 0 0 25 0 4 0 514469107 339935232 30630 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.64
Current children cumulated vsize (KiB) 331968

[startup+102.3 s]
/proc/loadavg: 6.59 2.31 0.83 9/184 31330
/proc/meminfo: memFree=18932696/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=354644 CPUtime=408.17 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 122339 0 0 0 40791 26 0 0 25 0 4 0 514469107 363155456 37412 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 88661 37412 390 106 0 83632 0
[pid=31310/tid=31311] ppid=31308 vsize=354644 CPUtime=102.27 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 33388 0 0 0 10221 6 0 0 25 0 4 0 514469107 363155456 37412 33554432000 4194304 4627427 140733655552080 18446744073709551615 4322605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=354644 CPUtime=102.28 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 36242 0 0 0 10220 8 0 0 25 0 4 0 514469107 363155456 37412 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=354644 CPUtime=101.35 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 20661 0 0 0 10130 5 0 0 25 0 4 0 514469107 363155456 37412 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 354644

[startup+162.301 s]

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

[pid=31310] ppid=31308 vsize=617604 CPUtime=2805.12 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 444143 0 0 0 280386 126 0 0 25 0 4 0 514469107 632426496 93196 33554432000 4194304 4627427 140733655552080 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 154401 93196 390 106 0 149372 0
[pid=31310/tid=31311] ppid=31308 vsize=617604 CPUtime=702.29 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 111867 0 0 0 70199 30 0 0 25 0 4 0 514469107 632426496 93196 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=617604 CPUtime=702.29 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 132314 0 0 0 70189 40 0 0 25 0 4 0 514469107 632426496 93196 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=617604 CPUtime=698.28 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 91465 0 0 0 69802 26 0 0 25 0 4 0 514469107 632426496 93196 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.12
Current children cumulated vsize (KiB) 617604

[startup+762.301 s]
/proc/loadavg: 8.04 7.46 4.51 9/184 31377
/proc/meminfo: memFree=19360356/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=591736 CPUtime=3044.83 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 466573 0 0 0 304350 133 0 0 25 0 4 0 514469107 605937664 91352 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 147934 91352 390 106 0 142905 0
[pid=31310/tid=31311] ppid=31308 vsize=591736 CPUtime=762.29 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 117066 0 0 0 76198 31 0 0 25 0 4 0 514469107 605937664 91352 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=591736 CPUtime=762.29 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 140260 0 0 0 76186 43 0 0 25 0 4 0 514469107 605937664 91352 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=591736 CPUtime=757.98 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 95860 0 0 0 75771 27 0 0 25 0 4 0 514469107 605937664 91352 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.83
Current children cumulated vsize (KiB) 591736

[startup+822.301 s]
/proc/loadavg: 8.01 7.56 4.74 9/184 31379
/proc/meminfo: memFree=19345848/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=605140 CPUtime=3284.52 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 486166 0 0 0 328313 139 0 0 25 0 4 0 514469107 619663360 93066 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 151285 93066 390 106 0 146256 0
[pid=31310/tid=31311] ppid=31308 vsize=605140 CPUtime=822.29 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 119717 0 0 0 82197 32 0 0 25 0 4 0 514469107 619663360 93066 33554432000 4194304 4627427 140733655552080 18446744073709551615 4321335 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=605140 CPUtime=822.29 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 146700 0 0 0 82184 45 0 0 25 0 4 0 514469107 619663360 93066 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=605140 CPUtime=817.67 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 99912 0 0 0 81739 28 0 0 25 0 4 0 514469107 619663360 93066 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.52
Current children cumulated vsize (KiB) 605140

[startup+882.3 s]
/proc/loadavg: 8.06 7.65 4.93 9/184 31380
/proc/meminfo: memFree=19278760/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=632300 CPUtime=3524.21 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 512194 0 0 0 352272 149 0 0 25 0 4 0 514469107 647475200 98110 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 158075 98110 390 106 0 153046 0
[pid=31310/tid=31311] ppid=31308 vsize=632300 CPUtime=882.29 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 125556 0 0 0 88194 35 0 0 25 0 4 0 514469107 647475200 98110 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=632300 CPUtime=882.29 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 153519 0 0 0 88182 47 0 0 25 0 4 0 514469107 647475200 98110 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=632300 CPUtime=877.36 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 106944 0 0 0 87706 30 0 0 25 0 4 0 514469107 647475200 98110 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.21
Current children cumulated vsize (KiB) 632300

[startup+942.301 s]
/proc/loadavg: 8.15 7.74 5.14 9/184 31382
/proc/meminfo: memFree=19234608/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=606152 CPUtime=3763.9 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 537034 0 0 0 376232 158 0 0 25 0 4 0 514469107 620699648 98751 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 151538 98751 390 106 0 146509 0
[pid=31310/tid=31311] ppid=31308 vsize=606152 CPUtime=942.28 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 130370 0 0 0 94192 36 0 0 25 0 4 0 514469107 620699648 98751 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=606152 CPUtime=942.3 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 160534 0 0 0 94180 50 0 0 25 0 4 0 514469107 620699648 98751 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=606152 CPUtime=937.06 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 113822 0 0 0 93672 34 0 0 25 0 4 0 514469107 620699648 98751 33554432000 4194304 4627427 140733655552080 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.9
Current children cumulated vsize (KiB) 606152

[startup+1002.3 s]
/proc/loadavg: 8.13 7.80 5.31 9/184 31384
/proc/meminfo: memFree=19209292/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=685348 CPUtime=4003.59 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 549734 0 0 0 400194 165 0 0 25 0 4 0 514469107 701796352 107043 33554432000 4194304 4627427 140733655552080 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 171337 107043 390 106 0 166308 0
[pid=31310/tid=31311] ppid=31308 vsize=685348 CPUtime=1002.28 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 133581 0 0 0 100190 38 0 0 25 0 4 0 514469107 701796352 107043 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=685348 CPUtime=1002.3 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 165017 0 0 0 100177 53 0 0 25 0 4 0 514469107 701796352 107043 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=685348 CPUtime=996.75 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 117243 0 0 0 99640 35 0 0 25 0 4 0 514469107 701796352 107043 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 685348

[startup+1062.3 s]
/proc/loadavg: 8.10 7.85 5.50 9/184 31385
/proc/meminfo: memFree=19205676/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=640588 CPUtime=4243.27 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 571149 0 0 0 424155 172 0 0 25 0 4 0 514469107 655962112 107335 33554432000 4194304 4627427 140733655552080 18446744073709551615 4308349 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 160147 107335 390 106 0 155118 0
[pid=31310/tid=31311] ppid=31308 vsize=640588 CPUtime=1062.29 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 138254 0 0 0 106189 40 0 0 25 0 4 0 514469107 655962112 107335 33554432000 4194304 4627427 140733655552080 18446744073709551615 4330825 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=640588 CPUtime=1062.3 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 172202 0 0 0 106175 55 0 0 25 0 4 0 514469107 655962112 107335 33554432000 4194304 4627427 140733655552080 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=640588 CPUtime=1056.43 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 119686 0 0 0 105608 35 0 0 25 0 4 0 514469107 655962112 107335 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 640588

[startup+1122.3 s]
/proc/loadavg: 8.13 7.91 5.66 9/184 31387
/proc/meminfo: memFree=19227244/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=682064 CPUtime=4482.97 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 585972 0 0 0 448120 177 0 0 25 0 4 0 514469107 698433536 104204 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 170516 104204 390 106 0 165487 0
[pid=31310/tid=31311] ppid=31308 vsize=682064 CPUtime=1122.29 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 139404 0 0 0 112189 40 0 0 25 0 4 0 514469107 698433536 104204 33554432000 4194304 4627427 140733655552080 18446744073709551615 4330926 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=682064 CPUtime=1122.3 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 178290 0 0 0 112174 56 0 0 25 0 4 0 514469107 698433536 104204 33554432000 4194304 4627427 140733655552080 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=682064 CPUtime=1116.12 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 124077 0 0 0 111575 37 0 0 25 0 4 0 514469107 698433536 104204 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.97
Current children cumulated vsize (KiB) 682064

[startup+1182.3 s]
/proc/loadavg: 8.14 7.95 5.81 9/184 31388
/proc/meminfo: memFree=19206028/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=614656 CPUtime=4722.64 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 602389 0 0 0 472082 182 0 0 25 0 4 0 514469107 629407744 102640 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 153664 102640 390 106 0 148635 0
[pid=31310/tid=31311] ppid=31308 vsize=614656 CPUtime=1182.3 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 139715 0 0 0 118189 41 0 0 25 0 4 0 514469107 629407744 102640 33554432000 4194304 4627427 140733655552080 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=614656 CPUtime=1182.3 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 187083 0 0 0 118171 59 0 0 25 0 4 0 514469107 629407744 102640 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=614656 CPUtime=1175.81 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 126660 0 0 0 117543 38 0 0 25 0 4 0 514469107 629407744 102640 33554432000 4194304 4627427 140733655552080 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.64
Current children cumulated vsize (KiB) 614656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 7.97 5.86 9/184 31389
/proc/meminfo: memFree=19198700/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=614656 CPUtime=4800.16 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 603870 0 0 0 479832 184 0 0 25 0 4 0 514469107 629407744 104030 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 153664 104030 390 106 0 148635 0
[pid=31310/tid=31311] ppid=31308 vsize=614656 CPUtime=1201.7 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 139715 0 0 0 120129 41 0 0 25 0 4 0 514469107 629407744 104030 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=614656 CPUtime=1201.7 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 188414 0 0 0 120110 60 0 0 25 0 4 0 514469107 629407744 104030 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=614656 CPUtime=1195.1 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 126770 0 0 0 119472 38 0 0 25 0 4 0 514469107 629407744 104030 33554432000 4194304 4627427 140733655552080 18446744073709551615 4504799 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 614656

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

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

[startup+1201.7 s]
/proc/loadavg: 8.17 7.97 5.86 9/184 31389
/proc/meminfo: memFree=19198700/32950904 swapFree=67082284/67111528
[pid=31310] ppid=31308 vsize=614656 CPUtime=4800.16 cores=0,2,4,6
/proc/31310/stat : 31310 (strangenight2-m) R 31308 31310 31281 0 -1 4202496 603870 0 0 0 479832 184 0 0 25 0 4 0 514469107 629407744 104030 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31310/statm: 153664 104030 390 106 0 148635 0
[pid=31310/tid=31311] ppid=31308 vsize=614656 CPUtime=1201.7 cores=0,2,4,6
/proc/31310/task/31311/stat : 31311 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 139715 0 0 0 120129 41 0 0 25 0 4 0 514469107 629407744 104030 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31310/tid=31312] ppid=31308 vsize=614656 CPUtime=1201.7 cores=0,2,4,6
/proc/31310/task/31312/stat : 31312 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 188414 0 0 0 120110 60 0 0 25 0 4 0 514469107 629407744 104030 33554432000 4194304 4627427 140733655552080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31310/tid=31313] ppid=31308 vsize=614656 CPUtime=1195.1 cores=0,2,4,6
/proc/31310/task/31313/stat : 31313 (strangenight2-m) R 31308 31310 31281 0 -1 4202560 126770 0 0 0 119472 38 0 0 25 0 4 0 514469107 629407744 104030 33554432000 4194304 4627427 140733655552080 18446744073709551615 4504799 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 614656

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.21
CPU user time (s): 4798.35
CPU system time (s): 1.86072
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 794352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.35
system time used= 1.86072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603889
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= 310
involuntary context switches= 21351

runsolver used 1.9707 second user time and 4.17436 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 00:11:34
IDJOB=3280870
IDBENCH=20468
IDSOLVER=1586
FILE ID=node121/3280870-1304028694
RUNJOBID= node121-1304028687-31300
PBS_JOBID= 13170331
Free space on /tmp= 72656 MiB

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

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

MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED=1814620607

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      20057228 kB
Buffers:       2176776 kB
Cached:       10160156 kB
SwapCached:       2776 kB
Active:        9083880 kB
Inactive:      3291436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20057228 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            6076 kB
Writeback:           0 kB
AnonPages:       35692 kB
Mapped:          13436 kB
Slab:           454256 kB
PageTables:       4484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   192164 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= 72644 MiB
End job on node121 at 2011-04-29 00:31:37