Trace number 3264663

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

General information on the benchmark

NameSAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
MD5SUMfc993d9544ccd8eaeaa4882599387947
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark437.97
Satisfiable
(Un)Satisfiability was proved
Number of variables4499
Number of clauses18603
Sum of the clauses size54454
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21355
Number of clauses of size 317248
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3264663-1304128176.cnf'
0.00/0.00	c -- header says num vars:           4499
0.00/0.00	c -- header says num clauses:       18603
0.05/0.05	c -- clauses added:            0 learnts,        18603 normals,            0 xors
0.05/0.05	c -- vars added       4499
0.05/0.05	c Parsing time:  0.01 s
0.05/0.05	c  N st     0         0      4499     17248      1355         0     54454         0   no data   no data
0.05/0.05	c asymm  cl-useful: 0/17248/17248 lits-rem:0 time: 0.03
0.05/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.05/0.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.05/0.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.05/0.08	c subs with bin:      369  lits-rem:       246  v-fix:    0  time:  0.00 s
0.05/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4499 time:  0.00 s
0.05/0.08	c Removed useless bin:       3  fixed:     0  props:   0.33M  time:  0.00 s
0.05/0.10	c lits-rem:         3  cl-subs:        9  v-elim:   1499  v-fix:    0  time:  0.03 s
0.05/0.10	c Finding binary XORs  T:     0.00 s  found:       0
3.56/0.90	c Finding non-binary XORs:     0.01 s (found:    2569, avg size: 3.6)
3.56/0.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1134 locsubst:   126 time:   0.01
3.56/0.90	c Replacing       19 vars Replaced      114 lits Time:     0.00 s 
3.56/0.90	c calculated reachability. Time: 0.00
3.56/0.90	c Calc default polars -  time:   0.00 s pos:       4 undec:    2772 neg:    1723
3.56/0.90	c =========================================================================================
3.56/0.90	c types(t): F = full restart, N = normal restart
3.56/0.90	c types(t): S = simplification begin/end, E = solution found
3.56/0.90	c restart types(rt): st = static, dy = dynamic
3.56/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.56/0.90	c  B st     0         0      1847       618      1587         0     11961         0   no data   no data
3.56/0.90	c Decided on static restart strategy
3.56/0.90	c  N st     8      4915      1847       618      1587      4571     11961    159515   no data   no data
3.56/0.90	c  N st    10     11297      1847       618      1590      4065     11961     85484   no data   no data
3.98/1.10	c  N st    11     17041      1847       618      1590      9750     11961    362870   no data   no data
5.57/1.40	c  F st    12     25002      1847       618      1590     11708     11961    275519   no data   no data
5.57/1.40	c  N st    12     25002      1847       618      1590     11708     11961    275519   no data   no data
6.37/1.65	c Decided on static restart strategy
6.37/1.65	c  N st    18     30001      1847       618      1590     10146     11961    249204   no data   no data
6.37/1.65	c  S st    18     30001      1847       618      1590     10146     11961    249204   no data   no data
6.37/1.67	c  S st    18     30505      1847       618      1590     10606     11961    259982   no data   no data
6.77/1.70	c x-sub:    19 x-cut:      0 vfix:      0 v-elim:    551 locsubst:    10 time:   0.02
6.77/1.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      3 BRemN:      0 P:  0.5M T:  0.02
6.77/1.72	c Replacing        2 vars Replaced       12 lits Time:     0.00 s 
6.77/1.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.77/1.72	c bin-w-bin subsume rem          242 bins  time:  0.00 s
6.77/1.72	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.00 s
6.77/1.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1294 time:  0.00 s
6.77/1.72	c Removed useless bin:       1  fixed:     0  props:   0.20M  time:  0.00 s
6.77/1.72	c lits-rem:         0  cl-subs:        0  v-elim:     81  v-fix:    0  time:  0.00 s
6.77/1.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.77/1.72	c lits-rem:        43  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.00 s
6.77/1.73	c asymm  cl-useful: 0/537/537 lits-rem:0 time: 0.00
6.77/1.73	c calculated reachability. Time: 0.00
6.77/1.73	c  N st    18     30505      1213       537      1380       350     10180      4377   no data   no data
7.17/1.88	c  N st    20     37615      1213       537      1380      4533     10180    118062   no data   no data
9.55/2.44	c  N st    21     44015      1213       537      1380     10905     10180    530679   no data   no data
9.55/2.44	c Finding binary XORs  T:     0.00 s  found:       0
10.36/2.62	c  S st    22     45758      1213       537      1380      6460     10180    188073   no data   no data
10.36/2.63	c  S st    22     46261      1213       537      1380      6912     10180    200137   no data   no data
10.36/2.67	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:    286 locsubst:     0 time:   0.04
10.36/2.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:    121 P:  0.3M T:  0.01
10.36/2.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.68	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    927 time:  0.00 s
10.36/2.68	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
10.36/2.68	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.00 s
10.36/2.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.68	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.68	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
10.36/2.68	c vivif2 --  cl tried      329 cl shrink        1 lits rem         21 time: 0.00
10.36/2.69	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
10.36/2.69	c calculated reachability. Time: 0.00
10.36/2.69	c  N st    22     46261       925       546      1248       329      9358      4727   no data   no data
14.35/3.62	c  N st    23     60659       925       546      1248      9175      9358    474956   no data   no data
16.75/4.23	c  N st    24     69391       925       546      1248      9321      9358    460823   no data   no data
16.75/4.23	c  S st    24     69391       925       546      1248      9321      9358    460823   no data   no data
16.75/4.25	c  S st    24     69895       925       546      1248      9760      9358    476330   no data   no data
17.16/4.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    150 locsubst:     0 time:   0.06
17.16/4.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
17.16/4.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.16/4.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.16/4.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    775 time:  0.00 s
17.16/4.32	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
17.16/4.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.16/4.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.73/6.70	c lits-rem:        91  cl-subs:     6361  v-elim:      0  v-fix:    0  time:  2.37 s
26.73/6.70	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
26.73/6.70	c vivif2 --  cl tried     2268 cl shrink      180 lits rem        286 time: 0.00
26.73/6.71	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
26.73/6.71	c calculated reachability. Time: 0.00
26.73/6.71	c  N st    24     69895       775       546      1248      2268      9058     92942   no data   no data
31.53/7.93	c  F st    25     87501       775       546      1248      9282      9058    450683   no data   no data
31.53/7.93	c  N st    25     87501       775       546      1248      9282      9058    450683   no data   no data
32.73/8.23	c Decided on static restart strategy
33.53/8.42	c  N st    32     95541       775       546      1248     16753      9058    872032   no data   no data
36.32/9.11	c  N st    34    104842       775       546      1248     14330      9058    719270   no data   no data
36.32/9.11	c  S st    34    104842       775       546      1248     14330      9058    719270   no data   no data
36.32/9.13	c  S st    34    105344       775       546      1248     14800      9058    746419   no data   no data
36.72/9.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     42 locsubst:     0 time:   0.07
36.72/9.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
36.72/9.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36.72/9.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.72/9.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.72/9.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
36.72/9.22	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
36.72/9.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
36.72/9.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.67/16.71	c lits-rem:        85  cl-subs:     8423  v-elim:      0  v-fix:    0  time:  7.46 s
66.67/16.71	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
66.67/16.72	c vivif2 --  cl tried     5862 cl shrink      319 lits rem        588 time: 0.01
66.67/16.72	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
66.67/16.72	c calculated reachability. Time: 0.00
66.67/16.72	c  N st    34    105344       733       546      1248      5862      8974    271880   no data   no data
69.08/17.34	c  N st    35    114943       733       546      1248     14515      8974    754157   no data   no data
73.48/18.41	c  N st    36    129340       733       546      1248     15894      8974    795274   no data   no data
80.26/20.13	c  N st    37    150935       733       546      1248     22141      8974   1127753   no data   no data
82.66/20.78	c  S st    38    158019       733       546      1248     14425      8974    699919   no data   no data
82.66/20.80	c  S st    38    158522       733       546      1248     14862      8974    725020   no data   no data
83.08/20.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.08
83.08/20.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
83.08/20.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.08/20.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.08/20.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.08/20.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
83.08/20.90	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
83.48/20.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.48/20.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.39/33.43	c lits-rem:       141  cl-subs:     6315  v-elim:      0  v-fix:    0  time: 12.50 s
133.39/33.43	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
133.39/33.44	c vivif2 --  cl tried     8547 cl shrink      299 lits rem        571 time: 0.01
133.39/33.45	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
133.39/33.45	c calculated reachability. Time: 0.00
133.39/33.45	c  N st    38    158522       732       546      1248      8547      8972    397132   no data   no data
151.37/37.95	c  N st    39    207111       732       546      1248     21449      8972   1063172   no data   no data
162.95/40.81	c  N st    40    237784       732       546      1248     32008      8972   1638907   no data   no data
162.95/40.81	c  S st    40    237784       732       546      1248     32008      8972   1638907   no data   no data
162.95/40.87	c  S st    40    238287       732       546      1248     32460      8972   1663161   no data   no data
163.35/40.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
163.35/40.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.04
163.35/40.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
163.35/40.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.35/40.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.35/40.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
163.35/40.99	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
163.75/41.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
163.75/41.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
438.59/109.81	c lits-rem:       337  cl-subs:    16508  v-elim:      0  v-fix:    0  time: 68.73 s
438.59/109.81	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
438.59/109.83	c vivif2 --  cl tried    15952 cl shrink      523 lits rem        973 time: 0.02
438.59/109.83	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
438.59/109.83	c calculated reachability. Time: 0.00
438.59/109.83	c  N st    40    238287       732       546      1248     15952      8972    797968   no data   no data
464.55/116.38	c  F st    41    306251       732       546      1248     22216      8972   1090494   no data   no data
464.55/116.38	c  N st    41    306251       732       546      1248     22216      8972   1090494   no data   no data
466.54/116.83	c Decided on static restart strategy
474.93/118.97	c  N st    51    334553       732       546      1248     27172      8972   1372015   no data   no data
484.52/121.36	c  N st    53    357431       732       546      1248     26390      8972   1330461   no data   no data
484.52/121.36	c  S st    53    357431       732       546      1248     26390      8972   1330461   no data   no data
484.92/121.40	c  S st    53    357935       732       546      1248     26832      8972   1355218   no data   no data
484.92/121.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
485.32/121.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.03
485.32/121.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
485.32/121.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
485.32/121.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.32/121.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
485.32/121.51	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
485.32/121.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
485.32/121.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
574.41/143.84	c lits-rem:       149  cl-subs:    10244  v-elim:      0  v-fix:    0  time: 22.27 s
574.41/143.84	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
574.41/143.85	c vivif2 --  cl tried    16588 cl shrink      311 lits rem        624 time: 0.01
574.41/143.86	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
574.41/143.86	c calculated reachability. Time: 0.00
574.41/143.86	c  N st    53    357935       732       546      1248     16588      8972    818182   no data   no data
586.38/146.80	c  N st    54    390328       732       546      1248     23917      8972   1182016   no data   no data
605.16/151.52	c  N st    55    438916       732       546      1248     44858      8972   2310715   no data   no data
635.91/159.27	c  N st    56    511799       732       546      1248     34891      8972   1735979   no data   no data
647.50/162.16	c  N st    57    536902       732       546      1248     30389      8972   1488231   no data   no data
647.50/162.16	c  S st    57    536902       732       546      1248     30389      8972   1488231   no data   no data
647.90/162.20	c  S st    57    537404       732       546      1248     30855      8972   1515590   no data   no data
647.90/162.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
648.30/162.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
648.30/162.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
648.30/162.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
648.30/162.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
648.30/162.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
648.30/162.30	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
648.30/162.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
648.30/162.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
824.07/206.37	c lits-rem:       237  cl-subs:    11493  v-elim:      0  v-fix:    0  time: 44.01 s
824.07/206.37	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
824.07/206.39	c vivif2 --  cl tried    19362 cl shrink      281 lits rem        555 time: 0.02
824.07/206.39	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
824.07/206.39	c calculated reachability. Time: 0.00
824.07/206.39	c  N st    57    537404       732       546      1248     19362      8972    925002   no data   no data
909.17/227.69	c  N st    58    701389       732       546      1248     51548      8972   2579986   no data   no data
970.28/242.99	c  N st    59    806107       732       546      1248     48642      8972   2412446   no data   no data
970.28/242.99	c  S st    59    806107       732       546      1248     48642      8972   2412446   no data   no data
970.70/243.06	c  S st    59    806607       732       546      1248     49092      8972   2436815   no data   no data
971.10/243.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
971.47/243.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
971.47/243.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
971.47/243.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
971.47/243.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
971.47/243.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
971.47/243.20	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
971.47/243.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
971.87/243.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1628.99/407.88	c lits-rem:       719  cl-subs:    19662  v-elim:      0  v-fix:    0  time: 164.56 s
1628.99/407.88	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
1629.39/407.91	c vivif2 --  cl tried    29430 cl shrink      769 lits rem       1340 time: 0.03
1629.39/407.92	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
1629.39/407.92	c calculated reachability. Time: 0.00
1629.39/407.92	c  N st    59    806607       732       546      1248     29430      8972   1441264   no data   no data
1776.00/444.63	c  F st    60   1071876       732       546      1248     50588      8972   2473665   no data   no data
1776.00/444.63	c  N st    60   1071876       732       546      1248     50588      8972   2473665   no data   no data
1796.37/449.71	c  N dy    69   1115172       732       546      1248     49303      8972   2498372     49.08     51.68
1804.76/451.80	c  N dy   124   1135265       732       546      1248     66727      8972   3531674     49.51     53.77
1837.11/459.96	c  N dy   250   1209910       732       546      1248     49732      8972   2493269     49.41     47.24
1837.11/459.96	c  S st   250   1209910       732       546      1248     49732      8972   2493269     49.41     47.24
1837.51/460.02	c  S st   250   1210410       732       546      1248     50199      8972   2520653     49.41   no data
1837.91/460.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1837.91/460.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
1837.91/460.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1837.91/460.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1837.91/460.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1837.91/460.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
1837.91/460.15	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
1837.91/460.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1838.31/460.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1951.36/488.59	c lits-rem:      2435  cl-subs:     2990  v-elim:      0  v-fix:    0  time: 28.32 s
1951.36/488.59	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
1951.76/488.63	c vivif2 --  cl tried    47209 cl shrink      429 lits rem        943 time: 0.04
1951.76/488.63	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
1951.76/488.63	c calculated reachability. Time: 0.00
1951.76/488.63	c  N dy   250   1210410       732       546      1248     47209      8972   2367405     49.41   no data
1961.75/491.11	c  N dy   447   1230445       732       546      1248     65522      8972   3419233     50.10     54.40
2002.09/501.26	c  N dy   590   1323163       732       546      1248     64606      8972   3360310     49.64     52.26
2109.17/528.08	c  N dy   604   1513358       732       546      1248     56206      8972   2731851     48.34     51.04
2120.73/530.90	c  N dy   803   1533384       732       546      1248     74482      8972   3781591     48.61     54.42
2134.32/534.30	c  N dy  1002   1553417       732       546      1248     92741      8972   4827803     48.87     54.31
2222.60/556.43	c  N dy  1085   1710412       732       546      1248     87431      8972   4526518     48.27     47.95
2222.60/556.43	c  S st  1085   1710412       732       546      1248     87431      8972   4526518     48.27     47.95
2223.02/556.54	c  S st  1085   1710913       732       546      1248     87880      8972   4552002     48.27   no data
2223.42/556.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2223.80/556.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.08
2223.80/556.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2223.80/556.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2223.80/556.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2223.80/556.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2223.80/556.71	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
2223.80/556.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
2224.59/556.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
2625.66/657.35	c lits-rem:      1013  cl-subs:     5096  v-elim:      0  v-fix:    0  time: 100.38 s
2625.66/657.35	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
2626.06/657.43	c vivif2 --  cl tried    82784 cl shrink      143 lits rem        343 time: 0.08
2626.06/657.44	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.01
2626.06/657.44	c calculated reachability. Time: 0.00
2626.06/657.44	c  N dy  1085   1710913       732       546      1248     82784      8972   4290728     48.27   no data
2642.04/661.43	c  N dy  1270   1731919       732       546      1248     51748      8972   2410229     48.46     51.05
2653.22/664.26	c  N dy  1469   1751947       732       546      1248     70053      8972   3459964     48.64     55.06
2667.23/667.78	c  N dy  1661   1771979       732       546      1248     88180      8972   4498856     48.80     55.14
2683.58/671.83	c  N dy  1860   1792078       732       546      1248     55037      8972   2578518     48.97     54.65
2695.56/674.81	c  N dy  2057   1812091       732       546      1248     73230      8972   3620176     49.12     54.54
2740.70/686.11	c  N dy  2106   1897312       732       546      1248     95259      8972   4928251     48.90     51.49
2754.70/689.69	c  N dy  2305   1917377       732       546      1248     61411      8972   2900402     49.04     55.40
2767.88/692.94	c  N dy  2503   1937405       732       546      1248     79578      8972   3942959     49.17     53.76
2783.04/696.72	c  N dy  2702   1957417       732       546      1248     97767      8972   4983289     49.29     54.75
2798.22/700.59	c  N dy  2900   1977452       732       546      1248     62164      8972   2923021     49.41     54.45
2810.21/703.57	c  N dy  3073   1997460       732       546      1248     80261      8972   3961408     49.51     53.52
2825.41/707.31	c  N dy  3270   2017557       732       546      1248     98540      8972   5007310     49.62     54.27
2935.63/734.92	c  N dy  3358   2210914       732       546      1248    100705      8972   5164482     49.15     46.19
2935.63/734.92	c  S st  3358   2210914       732       546      1248    100705      8972   5164482     49.15     46.19
2936.04/735.09	c  S st  3358   2211415       732       546      1248    101162      8972   5190514     49.15   no data
2936.44/735.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
2936.83/735.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.11
2936.83/735.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2937.23/735.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2937.23/735.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2937.23/735.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2937.23/735.30	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
2937.23/735.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
2938.04/735.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
3532.46/884.47	c lits-rem:      4115  cl-subs:     6255  v-elim:      0  v-fix:    0  time: 148.76 s
3532.46/884.47	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
3532.84/884.56	c vivif2 --  cl tried    94907 cl shrink      189 lits rem        514 time: 0.09
3532.84/884.56	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.01
3532.84/884.57	c calculated reachability. Time: 0.00
3532.84/884.57	c  N dy  3358   2211415       732       546      1248     94907      8972   4865415     49.15   no data
3548.82/888.58	c  N dy  3540   2231509       732       546      1248     57976      8972   2650734     49.24     54.22
3807.67/953.32	c  N dy  3714   2629866       732       546      1248    113919      8972   5866711     48.42     51.01
3823.65/957.36	c  N dy  3913   2649896       732       546      1248     70890      8972   3278519     48.50     54.39
3836.03/960.46	c  N dy  4112   2669930       732       546      1248     89109      8972   4321618     48.58     54.27
3850.01/963.99	c  N dy  4311   2689956       732       546      1248    107295      8972   5360867     48.66     54.97
3866.42/968.02	c  N dy  4510   2709967       732       546      1248    125491      8972   6401644     48.73     54.85
3869.19/968.76	c  S st  4525   2711416       732       546      1248     63418      8972   2825873     48.73   no data
3869.60/968.84	c  S st  4525   2711922       732       546      1248     63858      8972   2850837     48.73   no data
3870.00/968.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3870.00/968.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3870.00/968.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3870.00/968.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3870.00/968.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3870.00/968.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
3870.00/968.99	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
3870.41/969.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3870.81/969.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3913.93/980.00	c lits-rem:      1157  cl-subs:      813  v-elim:      0  v-fix:    0  time: 10.87 s
3913.93/980.00	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
3914.35/980.05	c vivif2 --  cl tried    63045 cl shrink      249 lits rem        652 time: 0.05
3914.35/980.05	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
3914.35/980.06	c calculated reachability. Time: 0.00
3914.35/980.06	c  N dy  4525   2711922       732       546      1248     63045      8972   2813601     48.73   no data
3925.52/982.81	c  N dy  4723   2731933       732       546      1248     81204      8972   3850956     48.81     54.56
3938.70/986.11	c  N dy  4922   2751957       732       546      1248     99395      8972   4891465     48.88     54.79
3966.67/993.20	c  N dy  5030   2797591       732       546      1248     75131      8972   3495126     48.87     51.85
3979.46/996.38	c  N dy  5229   2817630       732       546      1248     93236      8972   4530797     48.94     55.48
3994.23/1000.04	c  N dy  5428   2837659       732       546      1248    111434      8972   5573766     49.01     54.61
4273.48/1069.99	c  N dy  5440   3211922       732       546      1248    109078      8972   5403958     48.42     44.55
4273.48/1069.99	c  S st  5440   3211922       732       546      1248    109078      8972   5403958     48.42     44.55
4274.28/1070.14	c  S st  5440   3212423       732       546      1248    109514      8972   5428354     48.42   no data
4274.69/1070.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4275.09/1070.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.11
4275.09/1070.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4275.09/1070.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4275.09/1070.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4275.09/1070.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
4275.09/1070.36	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
4275.47/1070.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
4276.27/1070.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
4599.04/1151.44	c lits-rem:      1296  cl-subs:     4018  v-elim:      0  v-fix:    0  time: 80.76 s
4599.04/1151.44	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
4599.44/1151.52	c vivif2 --  cl tried   105496 cl shrink       21 lits rem         29 time: 0.08
4599.44/1151.53	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
4599.44/1151.53	c calculated reachability. Time: 0.00
4599.44/1151.53	c  N dy  5440   3212423       732       546      1248    105496      8972   5214215     48.42   no data
4612.62/1154.86	c  N dy  5639   3232461       732       546      1248    123723      8972   6256009     48.48     55.28
4628.99/1158.92	c  N dy  5838   3252478       732       546      1248     72894      8972   3274286     48.54     54.39
4639.40/1161.57	c  N dy  6037   3272573       732       546      1248     91187      8972   4320702     48.59     54.34
4652.17/1164.71	c  N dy  6236   3292604       732       546      1248    109439      8972   5365280     48.65     54.34
4666.17/1168.23	c  N dy  6435   3312635       732       546      1248    127629      8972   6405553     48.70     54.63
4682.52/1172.30	c  N dy  6634   3332655       732       546      1248     74955      8972   3367444     48.76     54.96
4693.31/1175.08	c  N dy  6833   3352678       732       546      1248     93171      8972   4409298     48.81     55.19
4706.09/1178.25	c  N dy  7032   3372703       732       546      1248    111418      8972   5450449     48.86     55.07
4720.07/1181.77	c  N dy  7225   3392759       732       546      1248    129576      8972   6488479     48.91     53.86
4736.85/1185.96	c  N dy  7422   3412794       732       546      1248     75548      8972   3383684     48.96     55.30
4749.25/1189.05	c  N dy  7621   3432821       732       546      1248     93750      8972   4423754     49.01     55.24

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

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

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


[startup+0 s]
/proc/loadavg: 7.31 6.14 6.95 6/180 23605
/proc/meminfo: memFree=30072936/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 524417982 52441088 353 33554432000 4194304 4627427 140735459654592 18446744073709551615 253640859579 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 12803 353 303 106 0 7774 0
[pid=23605/tid=23606] ppid=23603 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524417982 52441088 353 33554432000 4194304 4627427 140735459654592 18446744073709551615 47202221266860 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524417982 52441088 353 33554432000 4194304 4627427 140735459654592 18446744073709551615 253635906646 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524417982 52441088 353 33554432000 4194304 4627427 140735459654592 18446744073709551615 253635906646 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.019558 s]
/proc/loadavg: 7.31 6.14 6.95 6/180 23605
/proc/meminfo: memFree=30072936/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=352396 CPUtime=0.05 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 3681 0 0 0 4 1 0 0 18 0 4 0 524417982 360853504 3234 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 88099 3235 359 106 0 83070 0
[pid=23605/tid=23606] ppid=23603 vsize=352396 CPUtime=0.01 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 788 0 0 0 1 0 0 0 25 0 4 0 524417982 360853504 3236 33554432000 4194304 4627427 140735459654592 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=352396 CPUtime=0 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 772 0 0 0 0 0 0 0 18 0 4 0 524417982 360853504 3236 33554432000 4194304 4627427 140735459654592 18446744073709551615 253640520001 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=352396 CPUtime=0.01 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 850 0 0 0 1 0 0 0 18 0 4 0 524417982 360853504 3238 33554432000 4194304 4627427 140735459654592 18446744073709551615 4515164 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 352396

[startup+0.104727 s]
/proc/loadavg: 7.31 6.14 6.95 6/180 23605
/proc/meminfo: memFree=30072936/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=355628 CPUtime=0.39 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 8811 0 0 0 37 2 0 0 18 0 4 0 524417982 364163072 6708 33554432000 4194304 4627427 140735459654592 18446744073709551615 253640520737 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 88907 6708 383 106 0 83878 0
[pid=23605/tid=23606] ppid=23603 vsize=355628 CPUtime=0.09 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 2460 0 0 0 9 0 0 0 25 0 4 0 524417982 364163072 6708 33554432000 4194304 4627427 140735459654592 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=355628 CPUtime=0.08 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 2395 0 0 0 8 0 0 0 18 0 4 0 524417982 364163072 6708 33554432000 4194304 4627427 140735459654592 18446744073709551615 4409429 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=355628 CPUtime=0.09 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 959 0 0 0 9 0 0 0 18 0 4 0 524417982 364163072 6709 33554432000 4194304 4627427 140735459654592 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 355628

[startup+0.300428 s]
/proc/loadavg: 7.31 6.14 6.95 6/180 23605
/proc/meminfo: memFree=30072936/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=356536 CPUtime=1.17 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 10064 0 0 0 115 2 0 0 18 0 4 0 524417982 365092864 7596 33554432000 4194304 4627427 140735459654592 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 89134 7597 389 106 0 84105 0
[pid=23605/tid=23606] ppid=23603 vsize=356536 CPUtime=0.28 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 2740 0 0 0 28 0 0 0 25 0 4 0 524417982 365092864 7597 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=356536 CPUtime=0.28 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 2964 0 0 0 28 0 0 0 18 0 4 0 524417982 365092864 7597 33554432000 4194304 4627427 140735459654592 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=356536 CPUtime=0.29 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 1059 0 0 0 29 0 0 0 18 0 4 0 524417982 365092864 7597 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 356536

[startup+0.700355 s]
/proc/loadavg: 7.31 6.14 6.95 6/180 23605
/proc/meminfo: memFree=30072936/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=358484 CPUtime=2.76 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 11893 0 0 0 274 2 0 0 18 0 4 0 524417982 367087616 7559 33554432000 4194304 4627427 140735459654592 18446744073709551615 4299569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 89621 7559 389 106 0 84592 0
[pid=23605/tid=23606] ppid=23603 vsize=358484 CPUtime=0.68 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 3343 0 0 0 68 0 0 0 25 0 4 0 524417982 367087616 7559 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=358484 CPUtime=0.68 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 3380 0 0 0 68 0 0 0 18 0 4 0 524417982 367087616 7559 33554432000 4194304 4627427 140735459654592 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=358484 CPUtime=0.69 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 1392 0 0 0 69 0 0 0 18 0 4 0 524417982 367087616 7559 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 358484

[startup+1.50021 s]
/proc/loadavg: 7.31 6.14 6.95 10/184 23609
/proc/meminfo: memFree=30040828/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=342492 CPUtime=5.96 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 15408 0 0 0 593 3 0 0 19 0 4 0 524417982 350711808 8815 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 85623 8815 390 106 0 80594 0
[pid=23605/tid=23606] ppid=23603 vsize=342492 CPUtime=1.47 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 4344 0 0 0 147 0 0 0 25 0 4 0 524417982 350711808 8815 33554432000 4194304 4627427 140735459654592 18446744073709551615 4322160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=342492 CPUtime=1.48 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 4252 0 0 0 148 0 0 0 20 0 4 0 524417982 350711808 8815 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309853 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=342492 CPUtime=1.48 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 2144 0 0 0 148 0 0 0 20 0 4 0 524417982 350711808 8815 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 342492

[startup+3.10092 s]
/proc/loadavg: 7.31 6.14 6.95 10/184 23610
/proc/meminfo: memFree=30034380/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=342864 CPUtime=12.36 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 21166 0 0 0 1232 4 0 0 25 0 4 0 524417982 351092736 11574 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 85716 11574 391 106 0 80687 0
[pid=23605/tid=23606] ppid=23603 vsize=342864 CPUtime=3.07 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 6051 0 0 0 307 0 0 0 25 0 4 0 524417982 351092736 11574 33554432000 4194304 4627427 140735459654592 18446744073709551615 4330915 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=342864 CPUtime=3.09 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 5611 0 0 0 308 1 0 0 25 0 4 0 524417982 351092736 11574 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=342864 CPUtime=3.08 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 3192 0 0 0 308 0 0 0 25 0 4 0 524417982 351092736 11574 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 342864

[startup+6.30034 s]
/proc/loadavg: 7.36 6.17 6.95 10/184 23610
/proc/meminfo: memFree=29996904/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=373252 CPUtime=25.13 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 31781 0 0 0 2508 5 0 0 25 0 4 0 524417982 382210048 16861 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 93313 16861 391 106 0 88284 0
[pid=23605/tid=23606] ppid=23603 vsize=373252 CPUtime=6.26 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 8502 0 0 0 625 1 0 0 25 0 4 0 524417982 382210048 16861 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=373252 CPUtime=6.28 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 8494 0 0 0 627 1 0 0 25 0 4 0 524417982 382210048 16861 33554432000 4194304 4627427 140735459654592 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=373252 CPUtime=6.28 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 5086 0 0 0 628 0 0 0 25 0 4 0 524417982 382210048 16861 33554432000 4194304 4627427 140735459654592 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 373252

[startup+12.7012 s]
/proc/loadavg: 7.41 6.20 6.96 9/184 23610
/proc/meminfo: memFree=29959732/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=376088 CPUtime=50.7 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 49373 0 0 0 5060 10 0 0 25 0 4 0 524417982 385114112 24738 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 94022 24738 391 106 0 88993 0
[pid=23605/tid=23606] ppid=23603 vsize=376088 CPUtime=12.62 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 11934 0 0 0 1260 2 0 0 25 0 4 0 524417982 385114112 24738 33554432000 4194304 4627427 140735459654592 18446744073709551615 4428121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=376088 CPUtime=12.69 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 14864 0 0 0 1265 4 0 0 25 0 4 0 524417982 385114112 24738 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=376088 CPUtime=12.69 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 7808 0 0 0 1268 1 0 0 25 0 4 0 524417982 385114112 24738 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 376088

[startup+25.5008 s]
/proc/loadavg: 7.62 6.30 6.98 10/184 23610
/proc/meminfo: memFree=29890664/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=443028 CPUtime=101.83 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 77127 0 0 0 10163 20 0 0 25 0 4 0 524417982 453660672 42103 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420191 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 110757 42103 391 106 0 105728 0
[pid=23605/tid=23606] ppid=23603 vsize=443028 CPUtime=25.34 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 24948 0 0 0 2528 6 0 0 25 0 4 0 524417982 453660672 42103 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=443028 CPUtime=25.49 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 20803 0 0 0 2544 5 0 0 25 0 4 0 524417982 453660672 42103 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=443028 CPUtime=25.49 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 11373 0 0 0 2546 3 0 0 25 0 4 0 524417982 453660672 42103 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 443028

[startup+51.1012 s]
/proc/loadavg: 7.81 6.45 7.01 9/184 23611
/proc/meminfo: memFree=29791180/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=379540 CPUtime=204.1 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 97274 0 0 0 20381 29 0 0 25 0 4 0 524417982 388648960 46336 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420166 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 94885 46336 391 106 0 89856 0
[pid=23605/tid=23606] ppid=23603 vsize=379540 CPUtime=50.8 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 24948 0 0 0 5074 6 0 0 25 0 4 0 524417982 388648960 46336 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=379540 CPUtime=51.08 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 23719 0 0 0 5102 6 0 0 25 0 4 0 524417982 388648960 46336 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=379540 CPUtime=51.09 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 18138 0 0 0 5102 7 0 0 25 0 4 0 524417982 388648960 46336 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 379540

[startup+102.307 s]
/proc/loadavg: 7.98 6.71 7.07 9/184 23612
/proc/meminfo: memFree=29734716/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=406924 CPUtime=408.64 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 134737 0 0 0 40812 52 0 0 25 0 4 0 524417982 416690176 54722 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 101731 54722 391 106 0 96702 0
[pid=23605/tid=23606] ppid=23603 vsize=406924 CPUtime=101.73 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 36606 0 0 0 10159 14 0 0 25 0 4 0 524417982 416690176 54722 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=406924 CPUtime=102.29 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 39883 0 0 0 10214 15 0 0 25 0 4 0 524417982 416690176 54722 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=406924 CPUtime=102.3 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 27779 0 0 0 10216 14 0 0 25 0 4 0 524417982 416690176 54722 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 406924

[startup+162.301 s]

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

[pid=23605] ppid=23603 vsize=725680 CPUtime=2565.76 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 490448 0 0 0 256380 196 0 0 25 0 4 0 524417982 743096320 125772 33554432000 4194304 4627427 140735459654592 18446744073709551615 4427411 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 181420 125772 391 106 0 176391 0
[pid=23605/tid=23606] ppid=23603 vsize=725680 CPUtime=638.8 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 104185 0 0 0 63843 37 0 0 25 0 4 0 524417982 743096320 125772 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=725680 CPUtime=642.31 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 128239 0 0 0 64184 47 0 0 25 0 4 0 524417982 743096320 125772 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=725680 CPUtime=642.31 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 89601 0 0 0 64182 49 0 0 25 0 4 0 524417982 743096320 125772 33554432000 4194304 4627427 140735459654592 18446744073709551615 4331775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.76
Current children cumulated vsize (KiB) 725680

[startup+702.301 s]
/proc/loadavg: 8.02 7.88 7.53 10/184 23637
/proc/meminfo: memFree=29069368/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=726556 CPUtime=2805.42 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 522818 0 0 0 280325 217 0 0 25 0 4 0 524417982 743993344 124159 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 181639 124159 391 106 0 176610 0
[pid=23605/tid=23606] ppid=23603 vsize=726556 CPUtime=698.47 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 104185 0 0 0 69810 37 0 0 25 0 4 0 524417982 743993344 124159 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=726556 CPUtime=702.3 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 128239 0 0 0 70183 47 0 0 25 0 4 0 524417982 743993344 124159 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=726556 CPUtime=702.3 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 94769 0 0 0 70178 52 0 0 25 0 4 0 524417982 743993344 124159 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 726556

[startup+762.307 s]
/proc/loadavg: 8.49 8.01 7.60 11/189 24105
/proc/meminfo: memFree=29016024/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=863088 CPUtime=3044.71 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 553875 0 0 0 304234 237 0 0 25 0 4 0 524417982 883802112 137574 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 215772 137574 391 106 0 210743 0
[pid=23605/tid=23606] ppid=23603 vsize=863088 CPUtime=758.14 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 104185 0 0 0 75777 37 0 0 25 0 4 0 524417982 883802112 137574 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=863088 CPUtime=762.26 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 128239 0 0 0 76179 47 0 0 25 0 4 0 524417982 883802112 137574 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=863088 CPUtime=762.09 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 101202 0 0 0 76151 58 0 0 25 0 4 0 524417982 883802112 137574 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.71
Current children cumulated vsize (KiB) 863088

[startup+822.3 s]
/proc/loadavg: 8.25 8.02 7.62 9/184 24106
/proc/meminfo: memFree=28933520/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=902624 CPUtime=3284.37 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 585376 0 0 0 328181 256 0 0 25 0 4 0 524417982 924286976 143494 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420171 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 225656 143494 391 106 0 220627 0
[pid=23605/tid=23606] ppid=23603 vsize=902624 CPUtime=817.81 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 129052 0 0 0 81731 50 0 0 25 0 4 0 524417982 924286976 143494 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309961 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=902624 CPUtime=822.26 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 128239 0 0 0 82179 47 0 0 25 0 4 0 524417982 924286976 143494 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=902624 CPUtime=822.08 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 107836 0 0 0 82144 64 0 0 25 0 4 0 524417982 924286976 143494 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.37
Current children cumulated vsize (KiB) 902624

[startup+882.3 s]
/proc/loadavg: 8.57 8.14 7.69 9/184 24111
/proc/meminfo: memFree=28954804/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=910176 CPUtime=3524.04 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 601706 0 0 0 352140 264 0 0 25 0 4 0 524417982 932020224 137575 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 227544 137575 391 106 0 222515 0
[pid=23605/tid=23606] ppid=23603 vsize=910176 CPUtime=877.48 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 141543 0 0 0 87693 55 0 0 25 0 4 0 524417982 932020224 137575 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=910176 CPUtime=882.26 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 128239 0 0 0 88179 47 0 0 25 0 4 0 524417982 932020224 137575 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=910176 CPUtime=882.08 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 111675 0 0 0 88141 67 0 0 25 0 4 0 524417982 932020224 137575 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.04
Current children cumulated vsize (KiB) 910176

[startup+942.3 s]
/proc/loadavg: 8.27 8.13 7.71 10/184 24112
/proc/meminfo: memFree=28876724/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=936064 CPUtime=3763.73 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 644275 0 0 0 376085 288 0 0 25 0 4 0 524417982 958529536 147681 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 234016 147681 391 106 0 228987 0
[pid=23605/tid=23606] ppid=23603 vsize=936064 CPUtime=937.16 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 141543 0 0 0 93661 55 0 0 25 0 4 0 524417982 958529536 147681 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=936064 CPUtime=942.26 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 135179 0 0 0 94176 50 0 0 25 0 4 0 524417982 958529536 147681 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=936064 CPUtime=942.09 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 115151 0 0 0 94140 69 0 0 25 0 4 0 524417982 958529536 147681 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.73
Current children cumulated vsize (KiB) 936064

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 7.73 9/184 24114
/proc/meminfo: memFree=28868888/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=940940 CPUtime=4003.43 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 696328 0 0 0 400029 314 0 0 25 0 4 0 524417982 963522560 148840 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309965 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 235235 148840 391 106 0 230206 0
[pid=23605/tid=23606] ppid=23603 vsize=940940 CPUtime=996.86 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 141543 0 0 0 99630 56 0 0 25 0 4 0 524417982 963522560 148840 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=940940 CPUtime=1002.26 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 164880 0 0 0 100161 65 0 0 25 0 4 0 524417982 963522560 148840 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=940940 CPUtime=1002.09 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 121451 0 0 0 100137 72 0 0 25 0 4 0 524417982 963522560 148840 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.43
Current children cumulated vsize (KiB) 940940

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 7.75 10/184 24116
/proc/meminfo: memFree=28827080/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=850984 CPUtime=4243.11 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 739400 0 0 0 423971 340 0 0 25 0 4 0 524417982 871407616 147227 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 212746 147227 391 106 0 207717 0
[pid=23605/tid=23606] ppid=23603 vsize=850984 CPUtime=1056.54 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 141543 0 0 0 105598 56 0 0 25 0 4 0 524417982 871407616 147227 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=850984 CPUtime=1062.27 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 170137 0 0 0 106158 69 0 0 25 0 4 0 524417982 871407616 147227 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=850984 CPUtime=1062.1 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 127238 0 0 0 106134 76 0 0 25 0 4 0 524417982 871407616 147227 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.11
Current children cumulated vsize (KiB) 850984

[startup+1122.3 s]
/proc/loadavg: 8.15 8.12 7.77 9/184 24148
/proc/meminfo: memFree=29503440/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=851112 CPUtime=4482.79 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 751313 0 0 0 447930 349 0 0 25 0 4 0 524417982 871538688 156518 33554432000 4194304 4627427 140735459654592 18446744073709551615 4468055 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 212778 156518 391 106 0 207749 0
[pid=23605/tid=23606] ppid=23603 vsize=851112 CPUtime=1116.2 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 145020 0 0 0 111561 59 0 0 25 0 4 0 524417982 871538688 156518 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=851112 CPUtime=1122.27 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 170137 0 0 0 112158 69 0 0 25 0 4 0 524417982 871538688 156518 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=851112 CPUtime=1122.1 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 132070 0 0 0 112131 79 0 0 25 0 4 0 524417982 871538688 156518 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.79
Current children cumulated vsize (KiB) 851112

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 7.79 9/184 24150
/proc/meminfo: memFree=29074660/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=1101716 CPUtime=4722.47 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 831151 0 0 0 471874 373 0 0 25 0 4 0 524417982 1128157184 156661 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 275429 156661 391 106 0 270400 0
[pid=23605/tid=23606] ppid=23603 vsize=1101716 CPUtime=1175.88 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 177946 0 0 0 117518 70 0 0 25 0 4 0 524417982 1128157184 156661 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=1101716 CPUtime=1182.26 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 195677 0 0 0 118150 76 0 0 25 0 4 0 524417982 1128157184 156661 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=1101716 CPUtime=1182.09 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 136921 0 0 0 118129 80 0 0 25 0 4 0 524417982 1128157184 156661 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.47
Current children cumulated vsize (KiB) 1101716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.12 8.12 7.80 9/184 24150
/proc/meminfo: memFree=28979416/32951124 swapFree=67111364/67111528
[pid=23605] ppid=23603 vsize=918932 CPUtime=4800.38 cores=1,3,5,7
/proc/23605/stat : 23605 (strangenight2-m) R 23603 23605 23167 0 -1 4202496 861449 0 0 0 479655 383 0 0 25 0 4 0 524417982 940986368 164012 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23605/statm: 229733 164012 391 106 0 224704 0
[pid=23605/tid=23606] ppid=23603 vsize=918932 CPUtime=1195.28 cores=1,3,5,7
/proc/23605/task/23606/stat : 23606 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 181808 0 0 0 119457 71 0 0 25 0 4 0 524417982 940986368 164012 33554432000 4194304 4627427 140735459654592 18446744073709551615 4420247 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23605/tid=23607] ppid=23603 vsize=918932 CPUtime=1201.78 cores=1,3,5,7
/proc/23605/task/23607/stat : 23607 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 206638 0 0 0 120097 81 0 0 25 0 4 0 524417982 940986368 164012 33554432000 4194304 4627427 140735459654592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23605/tid=23608] ppid=23603 vsize=918932 CPUtime=1201.6 cores=1,3,5,7
/proc/23605/task/23608/stat : 23608 (strangenight2-m) R 23603 23605 23167 0 -1 4202560 139782 0 0 0 120079 81 0 0 25 0 4 0 524417982 940986368 164012 33554432000 4194304 4627427 140735459654592 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 918932

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): 1201.84
CPU time (s): 4800.44
CPU user time (s): 4796.58
CPU system time (s): 3.85941
CPU usage (%): 399.425
Max. virtual memory (cumulated for all children) (KiB): 1154540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.58
system time used= 3.85941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 861453
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= 1635
involuntary context switches= 32131

runsolver used 1.82372 second user time and 4.72228 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 03:49:36
IDJOB=3264663
IDBENCH=84762
IDSOLVER=1586
FILE ID=node106/3264663-1304128176
RUNJOBID= node106-1304128083-23551
PBS_JOBID= 13170755
Free space on /tmp= 72152 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT04/handmade/marijn/equilarge-l/equilarge_l4.used-as.sat04-896.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264663-1304128176/watcher-3264663-1304128176 -o /tmp/evaluation-result-3264663-1304128176/solver-3264663-1304128176 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3264663-1304128176.cnf

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

MD5SUM BENCH= fc993d9544ccd8eaeaa4882599387947
RANDOM SEED=1644133276

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30073216 kB
Buffers:        268808 kB
Cached:        2093196 kB
SwapCached:         88 kB
Active:        1057324 kB
Inactive:      1609344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30073216 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5836 kB
Writeback:           0 kB
AnonPages:      304020 kB
Mapped:          15452 kB
Slab:           146804 kB
PageTables:       4932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   534408 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= 72876 MiB
End job on node106 at 2011-04-30 04:09:40