Trace number 3366845

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 (fixed)? (TO) 4800.35 1203.65

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366845-1305416209.cnf'
0.00/0.01	c -- header says num vars:           4499
0.00/0.01	c -- header says num clauses:       18603
0.00/0.05	c -- clauses added:            0 learnts,        18603 normals,            0 xors
0.00/0.05	c -- vars added       4499
0.00/0.05	c Parsing time:  0.01 s
0.00/0.05	c  N st     0         0      4499     17248      1355         0     54454         0   no data   no data
0.00/0.05	c asymm  cl-useful: 0/17248/17248 lits-rem:0 time: 0.03
0.00/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.00/0.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.08	c subs with bin:      369  lits-rem:       246  v-fix:    0  time:  0.00 s
0.00/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4499 time:  0.00 s
0.00/0.08	c Removed useless bin:       3  fixed:     0  props:   0.33M  time:  0.00 s
0.00/0.11	c lits-rem:         3  cl-subs:        9  v-elim:   1499  v-fix:    0  time:  0.03 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.83	c Finding non-binary XORs:     0.01 s (found:    2569, avg size: 3.6)
0.00/0.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1134 locsubst:   126 time:   0.01
0.00/0.83	c Replacing       19 vars Replaced      114 lits Time:     0.00 s 
0.00/0.83	c calculated reachability. Time: 0.00
0.00/0.83	c Calc default polars -  time:   0.00 s pos:       4 undec:    2772 neg:    1723
0.00/0.83	c =========================================================================================
0.00/0.83	c types(t): F = full restart, N = normal restart
0.00/0.83	c types(t): S = simplification begin/end, E = solution found
0.00/0.83	c restart types(rt): st = static, dy = dynamic
0.00/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.83	c  B st     0         0      1847       618      1587         0     11961         0   no data   no data
0.00/0.83	c Decided on static restart strategy
0.00/0.83	c  N st     8      4915      1847       618      1587      4571     11961    159515   no data   no data
0.00/0.83	c  N st    10     11297      1847       618      1590      4065     11961     85484   no data   no data
4.36/1.13	c  N st    11     17041      1847       618      1590      9750     11961    362870   no data   no data
5.16/1.35	c  F st    12     25002      1847       618      1590     11708     11961    275519   no data   no data
5.16/1.35	c  N st    12     25002      1847       618      1590     11708     11961    275519   no data   no data
6.35/1.63	c Decided on static restart strategy
6.35/1.63	c  N st    18     30001      1847       618      1590     10146     11961    249204   no data   no data
6.35/1.63	c  S st    18     30001      1847       618      1590     10146     11961    249204   no data   no data
6.35/1.65	c  S st    18     30505      1847       618      1590     10606     11961    259982   no data   no data
6.35/1.67	c x-sub:    19 x-cut:      0 vfix:      0 v-elim:    551 locsubst:    10 time:   0.02
6.35/1.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      3 BRemN:      0 P:  0.5M T:  0.02
6.35/1.69	c Replacing        2 vars Replaced       12 lits Time:     0.00 s 
6.35/1.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.35/1.69	c bin-w-bin subsume rem          242 bins  time:  0.00 s
6.35/1.69	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.00 s
6.35/1.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1294 time:  0.00 s
6.35/1.69	c Removed useless bin:       1  fixed:     0  props:   0.20M  time:  0.00 s
6.35/1.69	c lits-rem:         0  cl-subs:        0  v-elim:     81  v-fix:    0  time:  0.00 s
6.35/1.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.75/1.70	c lits-rem:        43  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.00 s
6.75/1.70	c asymm  cl-useful: 0/537/537 lits-rem:0 time: 0.00
6.75/1.70	c calculated reachability. Time: 0.00
6.75/1.70	c  N st    18     30505      1213       537      1380       350     10180      4377   no data   no data
7.15/1.85	c  N st    20     37615      1213       537      1380      4533     10180    118062   no data   no data
9.54/2.41	c  N st    21     44015      1213       537      1380     10905     10180    530679   no data   no data
9.54/2.42	c Finding binary XORs  T:     0.00 s  found:       0
9.94/2.59	c  S st    22     45758      1213       537      1380      6460     10180    188073   no data   no data
10.34/2.60	c  S st    22     46261      1213       537      1380      6912     10180    200137   no data   no data
10.34/2.64	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:    286 locsubst:     0 time:   0.03
10.34/2.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:    121 P:  0.3M T:  0.01
10.34/2.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.34/2.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.34/2.65	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    927 time:  0.00 s
10.34/2.65	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
10.34/2.65	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.00 s
10.34/2.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.65	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.00 s
10.34/2.65	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
10.34/2.65	c vivif2 --  cl tried      329 cl shrink        1 lits rem         21 time: 0.00
10.34/2.65	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
10.34/2.65	c calculated reachability. Time: 0.00
10.34/2.65	c  N st    22     46261       925       546      1248       329      9358      4727   no data   no data
13.93/3.58	c  N st    23     60659       925       546      1248      9175      9358    474956   no data   no data
16.35/4.19	c  N st    24     69391       925       546      1248      9321      9358    460823   no data   no data
16.35/4.19	c  S st    24     69391       925       546      1248      9321      9358    460823   no data   no data
16.35/4.21	c  S st    24     69895       925       546      1248      9760      9358    476330   no data   no data
16.77/4.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    150 locsubst:     0 time:   0.06
16.77/4.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
16.77/4.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.77/4.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.77/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.77/4.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    775 time:  0.00 s
16.77/4.28	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
16.77/4.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.77/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.30/6.67	c lits-rem:        91  cl-subs:     6361  v-elim:      0  v-fix:    0  time:  2.38 s
26.30/6.67	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
26.30/6.67	c vivif2 --  cl tried     2268 cl shrink      180 lits rem        286 time: 0.00
26.30/6.68	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
26.30/6.68	c calculated reachability. Time: 0.00
26.30/6.68	c  N st    24     69895       775       546      1248      2268      9058     92942   no data   no data
31.48/7.90	c  F st    25     87501       775       546      1248      9282      9058    450683   no data   no data
31.48/7.90	c  N st    25     87501       775       546      1248      9282      9058    450683   no data   no data
32.68/8.20	c Decided on static restart strategy
33.08/8.39	c  N st    32     95541       775       546      1248     16753      9058    872032   no data   no data
35.87/9.08	c  N st    34    104842       775       546      1248     14330      9058    719270   no data   no data
35.87/9.08	c  S st    34    104842       775       546      1248     14330      9058    719270   no data   no data
36.27/9.10	c  S st    34    105344       775       546      1248     14800      9058    746419   no data   no data
36.27/9.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     42 locsubst:     0 time:   0.07
36.27/9.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
36.27/9.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36.27/9.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.27/9.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.27/9.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
36.27/9.19	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
36.67/9.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
36.67/9.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.99/16.80	c lits-rem:        85  cl-subs:     8423  v-elim:      0  v-fix:    0  time:  7.57 s
66.99/16.80	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
66.99/16.80	c vivif2 --  cl tried     5862 cl shrink      319 lits rem        588 time: 0.00
66.99/16.81	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
66.99/16.81	c calculated reachability. Time: 0.00
66.99/16.81	c  N st    34    105344       733       546      1248      5862      8974    271880   no data   no data
69.42/17.42	c  N st    35    114943       733       546      1248     14515      8974    754157   no data   no data
73.38/18.49	c  N st    36    129340       733       546      1248     15894      8974    795274   no data   no data
80.55/20.21	c  N st    37    150935       733       546      1248     22141      8974   1127753   no data   no data
82.93/20.86	c  S st    38    158019       733       546      1248     14425      8974    699919   no data   no data
82.93/20.88	c  S st    38    158522       733       546      1248     14862      8974    725020   no data   no data
83.33/20.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.07
83.33/20.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
83.33/20.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.33/20.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.33/20.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.33/20.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
83.33/20.97	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
83.33/20.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.73/21.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.59/33.50	c lits-rem:       141  cl-subs:     6315  v-elim:      0  v-fix:    0  time: 12.50 s
133.59/33.50	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
133.59/33.51	c vivif2 --  cl tried     8547 cl shrink      299 lits rem        571 time: 0.01
133.59/33.51	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
133.59/33.51	c calculated reachability. Time: 0.00
133.59/33.51	c  N st    38    158522       732       546      1248      8547      8972    397132   no data   no data
151.54/38.04	c  N st    39    207111       732       546      1248     21449      8972   1063172   no data   no data
163.10/40.92	c  N st    40    237784       732       546      1248     32008      8972   1638907   no data   no data
163.10/40.92	c  S st    40    237784       732       546      1248     32008      8972   1638907   no data   no data
163.10/40.97	c  S st    40    238287       732       546      1248     32460      8972   1663161   no data   no data
163.50/41.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
163.50/41.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.04
163.50/41.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
163.50/41.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.50/41.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.50/41.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
163.50/41.09	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
163.90/41.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
163.90/41.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
437.93/109.85	c lits-rem:       337  cl-subs:    16508  v-elim:      0  v-fix:    0  time: 68.67 s
437.93/109.85	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
437.93/109.87	c vivif2 --  cl tried    15952 cl shrink      523 lits rem        973 time: 0.01
437.93/109.87	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
437.93/109.87	c calculated reachability. Time: 0.00
437.93/109.87	c  N st    40    238287       732       546      1248     15952      8972    797968   no data   no data
463.84/116.37	c  F st    41    306251       732       546      1248     22216      8972   1090494   no data   no data
463.84/116.37	c  N st    41    306251       732       546      1248     22216      8972   1090494   no data   no data
465.81/116.82	c Decided on static restart strategy
474.18/118.97	c  N st    51    334553       732       546      1248     27172      8972   1372015   no data   no data
483.76/121.36	c  N st    53    357431       732       546      1248     26390      8972   1330461   no data   no data
483.76/121.36	c  S st    53    357431       732       546      1248     26390      8972   1330461   no data   no data
484.16/121.40	c  S st    53    357935       732       546      1248     26832      8972   1355218   no data   no data
484.16/121.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
484.56/121.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.03
484.56/121.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
484.56/121.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
484.56/121.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
484.56/121.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
484.56/121.51	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
484.56/121.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
484.56/121.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
573.11/143.73	c lits-rem:       149  cl-subs:    10244  v-elim:      0  v-fix:    0  time: 22.16 s
573.11/143.73	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
573.11/143.74	c vivif2 --  cl tried    16588 cl shrink      311 lits rem        624 time: 0.02
573.11/143.75	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
573.11/143.75	c calculated reachability. Time: 0.00
573.11/143.75	c  N st    53    357935       732       546      1248     16588      8972    818182   no data   no data
584.68/146.68	c  N st    54    390328       732       546      1248     23917      8972   1182016   no data   no data
603.83/151.42	c  N st    55    438916       732       546      1248     44858      8972   2310715   no data   no data
634.55/159.17	c  N st    56    511799       732       546      1248     34891      8972   1735979   no data   no data
646.11/162.06	c  N st    57    536902       732       546      1248     30389      8972   1488231   no data   no data
646.11/162.06	c  S st    57    536902       732       546      1248     30389      8972   1488231   no data   no data
646.11/162.09	c  S st    57    537404       732       546      1248     30855      8972   1515590   no data   no data
646.51/162.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
646.51/162.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
646.51/162.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
646.51/162.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
646.51/162.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
646.51/162.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
646.51/162.19	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
646.91/162.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
646.91/162.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
823.60/206.60	c lits-rem:       237  cl-subs:    11493  v-elim:      0  v-fix:    0  time: 44.35 s
823.60/206.60	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
824.02/206.62	c vivif2 --  cl tried    19362 cl shrink      281 lits rem        555 time: 0.02
824.02/206.62	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
824.02/206.62	c calculated reachability. Time: 0.00
824.02/206.62	c  N st    57    537404       732       546      1248     19362      8972    925002   no data   no data
909.32/228.02	c  N st    58    701389       732       546      1248     51548      8972   2579986   no data   no data
970.73/243.41	c  N st    59    806107       732       546      1248     48642      8972   2412446   no data   no data
970.73/243.41	c  S st    59    806107       732       546      1248     48642      8972   2412446   no data   no data
970.73/243.48	c  S st    59    806607       732       546      1248     49092      8972   2436815   no data   no data
971.13/243.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
971.53/243.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
971.53/243.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
971.53/243.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
971.53/243.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
971.53/243.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
971.53/243.62	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
971.53/243.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
971.94/243.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1623.56/407.13	c lits-rem:       719  cl-subs:    19662  v-elim:      0  v-fix:    0  time: 163.35 s
1623.56/407.13	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
1623.56/407.17	c vivif2 --  cl tried    29430 cl shrink      769 lits rem       1340 time: 0.04
1623.56/407.17	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
1623.56/407.17	c calculated reachability. Time: 0.00
1623.56/407.17	c  N st    59    806607       732       546      1248     29430      8972   1441264   no data   no data
1771.15/444.18	c  F st    60   1071876       732       546      1248     50588      8972   2473665   no data   no data
1771.15/444.19	c  N st    60   1071876       732       546      1248     50588      8972   2473665   no data   no data
1791.47/449.26	c  N dy    69   1115172       732       546      1248     49303      8972   2498372     49.08     51.68
1799.84/451.36	c  N dy   124   1135265       732       546      1248     66727      8972   3531674     49.51     53.77
1832.16/459.47	c  N dy   250   1209910       732       546      1248     49732      8972   2493269     49.41     47.24
1832.16/459.47	c  S st   250   1209910       732       546      1248     49732      8972   2493269     49.41     47.24
1832.57/459.53	c  S st   250   1210410       732       546      1248     50199      8972   2520653     49.41   no data
1832.99/459.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1832.99/459.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
1832.99/459.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1832.99/459.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1832.99/459.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1832.99/459.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
1832.99/459.66	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
1832.99/459.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1833.34/459.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1946.21/488.05	c lits-rem:      2435  cl-subs:     2990  v-elim:      0  v-fix:    0  time: 28.28 s
1946.21/488.06	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
1946.21/488.09	c vivif2 --  cl tried    47209 cl shrink      429 lits rem        943 time: 0.04
1946.21/488.10	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
1946.21/488.10	c calculated reachability. Time: 0.00
1946.21/488.10	c  N dy   250   1210410       732       546      1248     47209      8972   2367405     49.41   no data
1956.17/490.58	c  N dy   447   1230445       732       546      1248     65522      8972   3419233     50.10     54.40
1996.06/500.57	c  N dy   590   1323163       732       546      1248     64606      8972   3360310     49.64     52.26
2101.78/527.06	c  N dy   604   1513358       732       546      1248     56206      8972   2731851     48.34     51.04
2113.37/529.91	c  N dy   803   1533384       732       546      1248     74482      8972   3781591     48.61     54.42
2126.95/533.33	c  N dy  1002   1553417       732       546      1248     92741      8972   4827803     48.87     54.31
2214.71/555.39	c  N dy  1085   1710412       732       546      1248     87431      8972   4526518     48.27     47.95
2214.71/555.39	c  S st  1085   1710412       732       546      1248     87431      8972   4526518     48.27     47.95
2215.46/555.50	c  S st  1085   1710913       732       546      1248     87880      8972   4552002     48.27   no data
2215.46/555.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2215.86/555.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
2215.86/555.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2215.86/555.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2215.86/555.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2215.86/555.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2215.86/555.67	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
2216.26/555.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2217.07/555.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
2616.66/656.19	c lits-rem:      1013  cl-subs:     5096  v-elim:      0  v-fix:    0  time: 100.26 s
2616.66/656.19	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
2617.06/656.27	c vivif2 --  cl tried    82784 cl shrink      143 lits rem        343 time: 0.08
2617.06/656.27	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
2617.06/656.28	c calculated reachability. Time: 0.00
2617.06/656.28	c  N dy  1085   1710913       732       546      1248     82784      8972   4290728     48.27   no data
2633.01/660.23	c  N dy  1270   1731919       732       546      1248     51748      8972   2410229     48.46     51.05
2644.20/663.10	c  N dy  1469   1751947       732       546      1248     70053      8972   3459964     48.64     55.06
2658.52/666.66	c  N dy  1661   1771979       732       546      1248     88180      8972   4498856     48.80     55.14
2674.49/670.68	c  N dy  1860   1792078       732       546      1248     55037      8972   2578518     48.97     54.65
2686.45/673.69	c  N dy  2057   1812091       732       546      1248     73230      8972   3620176     49.12     54.54
2731.93/685.02	c  N dy  2106   1897312       732       546      1248     95259      8972   4928251     48.90     51.49
2745.87/688.58	c  N dy  2305   1917377       732       546      1248     61411      8972   2900402     49.04     55.40
2759.03/691.84	c  N dy  2503   1937405       732       546      1248     79578      8972   3942959     49.17     53.76
2774.19/695.66	c  N dy  2702   1957417       732       546      1248     97767      8972   4983289     49.29     54.75
2789.39/699.49	c  N dy  2900   1977452       732       546      1248     62164      8972   2923021     49.41     54.45
2801.31/702.45	c  N dy  3073   1997460       732       546      1248     80261      8972   3961408     49.51     53.52
2816.06/706.20	c  N dy  3270   2017557       732       546      1248     98540      8972   5007310     49.62     54.27
2926.53/733.89	c  N dy  3358   2210914       732       546      1248    100705      8972   5164482     49.15     46.19
2926.53/733.89	c  S st  3358   2210914       732       546      1248    100705      8972   5164482     49.15     46.19
2927.33/734.06	c  S st  3358   2211415       732       546      1248    101162      8972   5190514     49.15   no data
2927.73/734.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2928.13/734.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.11
2928.13/734.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2928.13/734.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2928.13/734.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2928.13/734.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2928.13/734.26	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
2928.53/734.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
2929.34/734.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
3520.75/882.84	c lits-rem:      4115  cl-subs:     6255  v-elim:      0  v-fix:    0  time: 148.29 s
3520.75/882.84	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
3521.15/882.93	c vivif2 --  cl tried    94907 cl shrink      189 lits rem        514 time: 0.09
3521.15/882.94	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
3521.15/882.94	c calculated reachability. Time: 0.00
3521.15/882.94	c  N dy  3358   2211415       732       546      1248     94907      8972   4865415     49.15   no data
3537.10/886.90	c  N dy  3540   2231509       732       546      1248     57976      8972   2650734     49.24     54.22
3794.35/951.47	c  N dy  3714   2629866       732       546      1248    113919      8972   5866711     48.42     51.01
3810.32/955.42	c  N dy  3913   2649896       732       546      1248     70890      8972   3278519     48.50     54.39
3822.68/958.58	c  N dy  4112   2669930       732       546      1248     89109      8972   4321618     48.58     54.27
3837.04/962.14	c  N dy  4311   2689956       732       546      1248    107295      8972   5360867     48.66     54.97
3853.39/966.20	c  N dy  4510   2709967       732       546      1248    125491      8972   6401644     48.73     54.85
3855.78/966.87	c  S st  4525   2711416       732       546      1248     63418      8972   2825873     48.73   no data
3856.19/966.95	c  S st  4525   2711922       732       546      1248     63858      8972   2850837     48.73   no data
3856.59/967.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3856.59/967.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3856.59/967.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3856.59/967.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3856.59/967.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3856.59/967.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
3856.59/967.09	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
3856.99/967.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3857.39/967.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3900.47/978.01	c lits-rem:      1157  cl-subs:      813  v-elim:      0  v-fix:    0  time: 10.78 s
3900.47/978.01	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
3900.47/978.07	c vivif2 --  cl tried    63045 cl shrink      249 lits rem        652 time: 0.06
3900.47/978.07	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
3900.47/978.07	c calculated reachability. Time: 0.00
3900.47/978.07	c  N dy  4525   2711922       732       546      1248     63045      8972   2813601     48.73   no data
3911.63/980.84	c  N dy  4723   2731933       732       546      1248     81204      8972   3850956     48.81     54.56
3924.80/984.16	c  N dy  4922   2751957       732       546      1248     99395      8972   4891465     48.88     54.79
3953.11/991.24	c  N dy  5030   2797591       732       546      1248     75131      8972   3495126     48.87     51.85
3965.88/994.42	c  N dy  5229   2817630       732       546      1248     93236      8972   4530797     48.94     55.48
3980.64/998.10	c  N dy  5428   2837659       732       546      1248    111434      8972   5573766     49.01     54.61
4261.01/1068.45	c  N dy  5440   3211922       732       546      1248    109078      8972   5403958     48.42     44.55
4261.01/1068.45	c  S st  5440   3211922       732       546      1248    109078      8972   5403958     48.42     44.55
4261.82/1068.61	c  S st  5440   3212423       732       546      1248    109514      8972   5428354     48.42   no data
4262.22/1068.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4262.62/1068.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.11
4262.62/1068.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4262.62/1068.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4262.62/1068.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4262.62/1068.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
4262.62/1068.82	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
4262.62/1068.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
4263.79/1069.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
4589.64/1150.87	c lits-rem:      1296  cl-subs:     4018  v-elim:      0  v-fix:    0  time: 81.73 s
4589.64/1150.87	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
4590.04/1150.94	c vivif2 --  cl tried   105496 cl shrink       21 lits rem         29 time: 0.08
4590.04/1150.95	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
4590.04/1150.95	c calculated reachability. Time: 0.00
4590.04/1150.95	c  N dy  5440   3212423       732       546      1248    105496      8972   5214215     48.42   no data
4603.20/1154.21	c  N dy  5639   3232461       732       546      1248    123723      8972   6256009     48.48     55.28
4619.16/1158.27	c  N dy  5838   3252478       732       546      1248     72894      8972   3274286     48.54     54.39
4629.93/1160.93	c  N dy  6037   3272573       732       546      1248     91187      8972   4320702     48.59     54.34
4642.29/1164.08	c  N dy  6236   3292604       732       546      1248    109439      8972   5365280     48.65     54.34
4656.64/1167.64	c  N dy  6435   3312635       732       546      1248    127629      8972   6405553     48.70     54.63
4672.60/1171.63	c  N dy  6634   3332655       732       546      1248     74955      8972   3367444     48.76     54.96
4683.78/1174.42	c  N dy  6833   3352678       732       546      1248     93171      8972   4409298     48.81     55.19
4696.54/1177.61	c  N dy  7032   3372703       732       546      1248    111418      8972   5450449     48.86     55.07
4710.52/1181.15	c  N dy  7225   3392759       732       546      1248    129576      8972   6488479     48.91     53.86
4726.86/1185.27	c  N dy  7422   3412794       732       546      1248     75548      8972   3383684     48.96     55.30
4738.02/1188.08	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366845-1305416209/watcher-3366845-1305416209 -o /tmp/evaluation-result-3366845-1305416209/solver-3366845-1305416209 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366845-1305416209.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: 8.14 8.12 8.03 5/352 4354
/proc/meminfo: memFree=25516840/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 653223493 52396032 352 33554432000 4194304 4580107 140734461998576 18446744073709551615 216634515387 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 12792 352 302 95 0 7774 0
[pid=4354/tid=4355] ppid=4352 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653223494 52396032 352 33554432000 4194304 4580107 140734461998576 18446744073709551615 47666076710834 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653223494 52396032 352 33554432000 4194304 4580107 140734461998576 18446744073709551615 47666076710425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653223494 52396032 352 33554432000 4194304 4580107 140734461998576 18446744073709551615 47666076710425 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0971979 s]
/proc/loadavg: 8.14 8.12 8.03 5/352 4354
/proc/meminfo: memFree=25516840/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=357476 CPUtime=0.35 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 7307 0 0 0 33 2 0 0 18 0 4 0 653223493 366055424 5977 33554432000 4194304 4580107 140734461998576 18446744073709551615 216634573226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 89576 6350 374 95 0 84558 0
[pid=4354/tid=4355] ppid=4352 vsize=358304 CPUtime=0.08 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) S 4352 4354 4220 0 -1 4202560 2071 0 0 0 8 0 0 0 18 0 4 0 653223494 366903296 6369 33554432000 4194304 4580107 140734461998576 18446744073709551615 216634620398 0 0 4096 2 18446604449292933824 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=359176 CPUtime=0.08 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) D 4352 4354 4220 0 -1 4202560 2314 0 0 0 8 0 0 0 18 0 4 0 653223494 367796224 6582 33554432000 4194304 4580107 140734461998576 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=359364 CPUtime=0.1 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 923 0 0 0 10 0 0 0 18 0 4 0 653223494 367988736 6816 33554432000 4194304 4580107 140734461998576 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 357476

[startup+1.01655 s]
/proc/loadavg: 8.14 8.12 8.03 5/352 4354
/proc/meminfo: memFree=25516840/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=362428 CPUtime=4.02 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 12796 0 0 0 399 3 0 0 19 0 4 0 653223493 371126272 8105 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295051 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 90607 8105 380 95 0 85589 0
[pid=4354/tid=4355] ppid=4352 vsize=362428 CPUtime=0.99 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 3740 0 0 0 99 0 0 0 19 0 4 0 653223494 371126272 8105 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=362428 CPUtime=1 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 3658 0 0 0 99 1 0 0 19 0 4 0 653223494 371126272 8105 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=362428 CPUtime=1 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 1618 0 0 0 100 0 0 0 19 0 4 0 653223494 371126272 8105 33554432000 4194304 4580107 140734461998576 18446744073709551615 4321248 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 362428

[startup+1.10053 s]
/proc/loadavg: 8.14 8.12 8.03 5/352 4354
/proc/meminfo: memFree=25516840/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=362804 CPUtime=4.36 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 13157 0 0 0 433 3 0 0 19 0 4 0 653223493 371511296 8058 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295036 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 90701 8058 380 95 0 85683 0
[pid=4354/tid=4355] ppid=4352 vsize=362804 CPUtime=1.07 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 3787 0 0 0 107 0 0 0 19 0 4 0 653223494 371511296 8059 33554432000 4194304 4580107 140734461998576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=362804 CPUtime=1.08 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 3869 0 0 0 107 1 0 0 19 0 4 0 653223494 371511296 8059 33554432000 4194304 4580107 140734461998576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=362804 CPUtime=1.09 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 1649 0 0 0 109 0 0 0 19 0 4 0 653223494 371511296 8059 33554432000 4194304 4580107 140734461998576 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 362804

[startup+1.20051 s]
/proc/loadavg: 8.14 8.12 8.03 5/352 4354
/proc/meminfo: memFree=25516840/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=354108 CPUtime=4.76 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 13547 0 0 0 473 3 0 0 19 0 4 0 653223493 362606592 8026 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 88527 8026 380 95 0 83509 0
[pid=4354/tid=4355] ppid=4352 vsize=354108 CPUtime=1.17 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 3847 0 0 0 117 0 0 0 19 0 4 0 653223494 362606592 8026 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=354108 CPUtime=1.18 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 3948 0 0 0 117 1 0 0 19 0 4 0 653223494 362606592 8026 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=354108 CPUtime=1.19 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 1684 0 0 0 119 0 0 0 19 0 4 0 653223494 362606592 8027 33554432000 4194304 4580107 140734461998576 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 354108

[startup+1.50046 s]
/proc/loadavg: 8.14 8.12 8.03 5/352 4354
/proc/meminfo: memFree=25516840/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=354928 CPUtime=5.95 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 15190 0 0 0 592 3 0 0 19 0 4 0 653223493 363446272 8895 33554432000 4194304 4580107 140734461998576 18446744073709551615 4316566 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 88732 8895 381 95 0 83714 0
[pid=4354/tid=4355] ppid=4352 vsize=354928 CPUtime=1.47 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 4260 0 0 0 147 0 0 0 20 0 4 0 653223494 363446272 8895 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=354928 CPUtime=1.48 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 4374 0 0 0 147 1 0 0 19 0 4 0 653223494 363446272 8895 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=354928 CPUtime=1.48 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 2024 0 0 0 148 0 0 0 20 0 4 0 653223494 363446272 8895 33554432000 4194304 4580107 140734461998576 18446744073709551615 4316736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 354928

[startup+3.11318 s]
/proc/loadavg: 8.13 8.12 8.03 9/356 4358
/proc/meminfo: memFree=25459064/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=336736 CPUtime=12.38 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 21097 0 0 0 1234 4 0 0 25 0 4 0 653223493 344817664 11944 33554432000 4194304 4580107 140734461998576 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 84184 11944 381 95 0 79166 0
[pid=4354/tid=4355] ppid=4352 vsize=336736 CPUtime=3.07 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 6114 0 0 0 306 1 0 0 25 0 4 0 653223494 344817664 11944 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=336736 CPUtime=3.09 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 5760 0 0 0 308 1 0 0 25 0 4 0 653223494 344817664 11944 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=336736 CPUtime=3.1 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 3086 0 0 0 309 1 0 0 25 0 4 0 653223494 344817664 11944 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 336736

[startup+6.30062 s]
/proc/loadavg: 8.13 8.12 8.03 9/356 4358
/proc/meminfo: memFree=25435016/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=376052 CPUtime=25.12 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 32896 0 0 0 2505 7 0 0 25 0 4 0 653223493 385077248 16158 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406483 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 94013 16158 381 95 0 88995 0
[pid=4354/tid=4355] ppid=4352 vsize=376052 CPUtime=6.23 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 9553 0 0 0 622 1 0 0 25 0 4 0 653223494 385077248 16172 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=376052 CPUtime=6.29 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 9220 0 0 0 627 2 0 0 25 0 4 0 653223494 385077248 16172 33554432000 4194304 4580107 140734461998576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=376052 CPUtime=6.3 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 5106 0 0 0 629 1 0 0 25 0 4 0 653223494 385077248 16172 33554432000 4194304 4580107 140734461998576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 376052

[startup+12.7005 s]
/proc/loadavg: 8.11 8.11 8.03 9/356 4358
/proc/meminfo: memFree=25408368/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=386748 CPUtime=50.63 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 50128 0 0 0 5051 12 0 0 25 0 4 0 653223493 396029952 23721 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 96687 23721 381 95 0 91669 0
[pid=4354/tid=4355] ppid=4352 vsize=386748 CPUtime=12.55 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 12439 0 0 0 1254 1 0 0 25 0 4 0 653223494 396029952 23721 33554432000 4194304 4580107 140734461998576 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=386748 CPUtime=12.68 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 15669 0 0 0 1262 6 0 0 25 0 4 0 653223494 396029952 23721 33554432000 4194304 4580107 140734461998576 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=386748 CPUtime=12.69 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 8395 0 0 0 1267 2 0 0 25 0 4 0 653223494 396029952 23721 33554432000 4194304 4580107 140734461998576 18446744073709551615 4489426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 386748

[startup+25.5013 s]
/proc/loadavg: 8.17 8.13 8.03 9/356 4359
/proc/meminfo: memFree=25384436/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=410212 CPUtime=101.68 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 75894 0 0 0 10148 20 0 0 25 0 4 0 653223493 420057088 37612 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 102553 37612 381 95 0 97535 0
[pid=4354/tid=4355] ppid=4352 vsize=410212 CPUtime=25.21 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 24194 0 0 0 2516 5 0 0 25 0 4 0 653223494 420057088 37612 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=410212 CPUtime=25.48 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 21925 0 0 0 2541 7 0 0 25 0 4 0 653223494 420057088 37612 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=410212 CPUtime=25.48 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 10508 0 0 0 2545 3 0 0 25 0 4 0 653223494 420057088 37612 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 410212

[startup+51.1007 s]
/proc/loadavg: 8.11 8.12 8.03 9/356 4360
/proc/meminfo: memFree=25333348/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=411764 CPUtime=203.78 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 97122 0 0 0 20346 32 0 0 25 0 4 0 653223493 421646336 47184 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 102941 47184 382 95 0 97923 0
[pid=4354/tid=4355] ppid=4352 vsize=411764 CPUtime=50.52 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 24194 0 0 0 5047 5 0 0 25 0 4 0 653223494 421646336 47184 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=411764 CPUtime=51.08 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 25022 0 0 0 5099 9 0 0 25 0 4 0 653223494 421646336 47184 33554432000 4194304 4580107 140734461998576 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=411764 CPUtime=51.09 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 17516 0 0 0 5101 8 0 0 25 0 4 0 653223494 421646336 47184 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 411764

[startup+102.301 s]
/proc/loadavg: 8.11 8.11 8.03 9/356 4361
/proc/meminfo: memFree=25250728/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=435912 CPUtime=407.97 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 135098 0 0 0 40743 54 0 0 25 0 4 0 653223493 446373888 53078 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 108978 53078 382 95 0 103960 0
[pid=4354/tid=4355] ppid=4352 vsize=435912 CPUtime=101.11 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 35264 0 0 0 10100 11 0 0 25 0 4 0 653223494 446373888 53078 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295146 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=435912 CPUtime=102.28 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 43345 0 0 0 10209 19 0 0 25 0 4 0 653223494 446373888 53078 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=435912 CPUtime=102.29 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 26099 0 0 0 10216 13 0 0 25 0 4 0 653223494 446373888 53078 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (KiB) 435912

[startup+162.301 s]

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

[pid=4354] ppid=4352 vsize=738680 CPUtime=2800.91 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 508583 0 0 0 279860 231 0 0 25 0 4 0 653223493 756408320 132642 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 184670 132642 381 95 0 179652 0
[pid=4354/tid=4355] ppid=4352 vsize=738680 CPUtime=694.16 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 111213 0 0 0 69375 41 0 0 25 0 4 0 653223494 756408320 132642 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=738680 CPUtime=702.29 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 124401 0 0 0 70177 52 0 0 25 0 4 0 653223494 756408320 132642 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=738680 CPUtime=702.27 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 88387 0 0 0 70171 56 0 0 25 0 4 0 653223494 756408320 132642 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.91
Current children cumulated vsize (KiB) 738680

[startup+762.301 s]
/proc/loadavg: 8.13 8.09 8.04 9/356 4440
/proc/meminfo: memFree=24424680/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=866392 CPUtime=3040.18 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 537052 0 0 0 303768 250 0 0 25 0 4 0 653223493 887185408 140522 33554432000 4194304 4580107 140734461998576 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 216598 140522 381 95 0 211580 0
[pid=4354/tid=4355] ppid=4352 vsize=866392 CPUtime=753.45 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 111213 0 0 0 75304 41 0 0 25 0 4 0 653223494 887185408 140522 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=866392 CPUtime=762.29 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 124401 0 0 0 76177 52 0 0 25 0 4 0 653223494 887185408 140522 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=866392 CPUtime=762.28 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 94772 0 0 0 76165 63 0 0 25 0 4 0 653223494 887185408 140522 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.18
Current children cumulated vsize (KiB) 866392

[startup+822.301 s]
/proc/loadavg: 8.16 8.11 8.04 9/356 4441
/proc/meminfo: memFree=24388172/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=866612 CPUtime=3279.48 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 559220 0 0 0 327683 265 0 0 25 0 4 0 653223493 887410688 143238 33554432000 4194304 4580107 140734461998576 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 216653 143238 381 95 0 211635 0
[pid=4354/tid=4355] ppid=4352 vsize=866612 CPUtime=812.75 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 131827 0 0 0 81221 54 0 0 25 0 4 0 653223494 887410688 143238 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=866612 CPUtime=822.29 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 124401 0 0 0 82177 52 0 0 25 0 4 0 653223494 887410688 143238 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=866612 CPUtime=822.27 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 96326 0 0 0 82163 64 0 0 25 0 4 0 653223494 887410688 143238 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.48
Current children cumulated vsize (KiB) 866612

[startup+882.301 s]
/proc/loadavg: 8.13 8.10 8.04 9/356 4443
/proc/meminfo: memFree=24296484/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=883560 CPUtime=3518.75 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 583103 0 0 0 351596 279 0 0 25 0 4 0 653223493 904765440 143084 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 220890 143084 381 95 0 215872 0
[pid=4354/tid=4355] ppid=4352 vsize=883560 CPUtime=872.03 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 152375 0 0 0 87137 66 0 0 25 0 4 0 653223494 904765440 143084 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=883560 CPUtime=882.29 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 124401 0 0 0 88177 52 0 0 25 0 4 0 653223494 904765440 143084 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=883560 CPUtime=882.27 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 99661 0 0 0 88161 66 0 0 25 0 4 0 653223494 904765440 143084 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.75
Current children cumulated vsize (KiB) 883560

[startup+942.301 s]
/proc/loadavg: 8.11 8.09 8.04 9/356 4444
/proc/meminfo: memFree=24281440/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=909448 CPUtime=3758.06 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 622052 0 0 0 375503 303 0 0 25 0 4 0 653223493 931274752 152816 33554432000 4194304 4580107 140734461998576 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 227362 152816 381 95 0 222344 0
[pid=4354/tid=4355] ppid=4352 vsize=909448 CPUtime=931.35 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 152375 0 0 0 93069 66 0 0 25 0 4 0 653223494 931274752 152816 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=909448 CPUtime=942.29 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 130405 0 0 0 94174 55 0 0 25 0 4 0 653223494 931274752 152816 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=909448 CPUtime=942.28 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 100068 0 0 0 94161 67 0 0 25 0 4 0 653223494 931274752 152816 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.06
Current children cumulated vsize (KiB) 909448

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 8.04 9/356 4446
/proc/meminfo: memFree=24243068/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=844440 CPUtime=3997.39 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 686818 0 0 0 399406 333 0 0 25 0 4 0 653223493 864706560 151647 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 211110 151647 381 95 0 206092 0
[pid=4354/tid=4355] ppid=4352 vsize=844440 CPUtime=990.69 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 152375 0 0 0 99003 66 0 0 25 0 4 0 653223494 864706560 151647 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=844440 CPUtime=1002.29 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 163040 0 0 0 100160 69 0 0 25 0 4 0 653223494 864706560 151647 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=844440 CPUtime=1002.27 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 101724 0 0 0 100160 67 0 0 25 0 4 0 653223494 864706560 151647 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.39
Current children cumulated vsize (KiB) 844440

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 8.04 9/356 4448
/proc/meminfo: memFree=24207900/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=844880 CPUtime=4236.71 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 723288 0 0 0 423315 356 0 0 25 0 4 0 653223493 865157120 155452 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 211220 155452 381 95 0 206202 0
[pid=4354/tid=4355] ppid=4352 vsize=844880 CPUtime=1050 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 152375 0 0 0 104934 66 0 0 25 0 4 0 653223494 865157120 155454 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=844880 CPUtime=1062.31 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 166621 0 0 0 106160 71 0 0 25 0 4 0 653223494 865157120 155454 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=844880 CPUtime=1062.28 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 105596 0 0 0 106158 70 0 0 25 0 4 0 653223494 865157120 155454 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.71
Current children cumulated vsize (KiB) 844880

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.04 9/356 4539
/proc/meminfo: memFree=25531488/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=926036 CPUtime=4475.96 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 733534 0 0 0 447233 363 0 0 25 0 4 0 653223493 948260864 165300 33554432000 4194304 4580107 140734461998576 18446744073709551615 4451883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 231509 165300 381 95 0 226491 0
[pid=4354/tid=4355] ppid=4352 vsize=926036 CPUtime=1109.29 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 154987 0 0 0 110860 69 0 0 25 0 4 0 653223494 948260864 165300 33554432000 4194304 4580107 140734461998576 18446744073709551615 4304874 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=926036 CPUtime=1122.3 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 166621 0 0 0 112159 71 0 0 25 0 4 0 653223494 948260864 165300 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=926036 CPUtime=1122.27 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 105994 0 0 0 112156 71 0 0 25 0 4 0 653223494 948260864 165300 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.96
Current children cumulated vsize (KiB) 926036

[startup+1182.31 s]
/proc/loadavg: 8.15 8.10 8.05 9/356 4571
/proc/meminfo: memFree=25363464/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=941800 CPUtime=4715.33 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 791085 0 0 0 471150 383 0 0 25 0 4 0 653223493 964403200 168638 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 235450 168638 381 95 0 230432 0
[pid=4354/tid=4355] ppid=4352 vsize=941800 CPUtime=1168.63 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 178627 0 0 0 116784 79 0 0 25 0 4 0 653223494 964403200 168638 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=941800 CPUtime=1182.31 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 182750 0 0 0 118154 77 0 0 25 0 4 0 653223494 964403200 168638 33554432000 4194304 4580107 140734461998576 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=941800 CPUtime=1182.29 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 113226 0 0 0 118156 73 0 0 25 0 4 0 653223494 964403200 168638 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.33
Current children cumulated vsize (KiB) 941800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.10 8.10 8.05 9/356 4571
/proc/meminfo: memFree=25316824/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=911788 CPUtime=4800.28 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 815549 0 0 0 479637 391 0 0 25 0 4 0 653223493 933670912 175562 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 227947 175562 381 95 0 222929 0
[pid=4354/tid=4355] ppid=4352 vsize=911788 CPUtime=1189.69 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 182496 0 0 0 118890 79 0 0 25 0 4 0 653223494 933670912 175565 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=911788 CPUtime=1203.61 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 189344 0 0 0 120283 78 0 0 25 0 4 0 653223494 933670912 175565 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=911788 CPUtime=1203.59 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 113710 0 0 0 120286 73 0 0 25 0 4 0 653223494 933670912 175565 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 911788

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

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

[startup+1203.6 s]
/proc/loadavg: 8.10 8.10 8.05 9/356 4571
/proc/meminfo: memFree=25316824/32951124 swapFree=53501236/67111528
[pid=4354] ppid=4352 vsize=911788 CPUtime=4800.28 cores=0,2,4,6
/proc/4354/stat : 4354 (strangenight2-m) R 4352 4354 4220 0 -1 4202496 815549 0 0 0 479637 391 0 0 25 0 4 0 653223493 933670912 175562 33554432000 4194304 4580107 140734461998576 18446744073709551615 4295327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4354/statm: 227947 175562 381 95 0 222929 0
[pid=4354/tid=4355] ppid=4352 vsize=911788 CPUtime=1189.69 cores=0,2,4,6
/proc/4354/task/4355/stat : 4355 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 182496 0 0 0 118890 79 0 0 25 0 4 0 653223494 933670912 175565 33554432000 4194304 4580107 140734461998576 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4354/tid=4356] ppid=4352 vsize=911788 CPUtime=1203.61 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 189344 0 0 0 120283 78 0 0 25 0 4 0 653223494 933670912 175565 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4354/tid=4357] ppid=4352 vsize=911788 CPUtime=1203.59 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (strangenight2-m) R 4352 4354 4220 0 -1 4202560 113710 0 0 0 120286 73 0 0 25 0 4 0 653223494 933670912 175565 33554432000 4194304 4580107 140734461998576 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 911788

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.65
CPU time (s): 4800.35
CPU user time (s): 4796.41
CPU system time (s): 3.9404
CPU usage (%): 398.817
Max. virtual memory (cumulated for all children) (KiB): 1153104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.41
system time used= 3.9404
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 815553
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= 2243
involuntary context switches= 21653

runsolver used 3.71543 second user time and 10.2304 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 01:36:49
IDJOB=3366845
IDBENCH=84762
IDSOLVER=1844
FILE ID=node103/3366845-1305416209
RUNJOBID= node103-1305415001-4238
PBS_JOBID= 13324557
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366845-1305416209/watcher-3366845-1305416209 -o /tmp/evaluation-result-3366845-1305416209/solver-3366845-1305416209 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366845-1305416209.cnf

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

MD5SUM BENCH= fc993d9544ccd8eaeaa4882599387947
RANDOM SEED=1811165238

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.858
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.83
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.858
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:     32951124 kB
MemFree:      25516996 kB
Buffers:        303532 kB
Cached:        3877216 kB
SwapCached:     340192 kB
Active:        2044564 kB
Inactive:      5118820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25516996 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:            5864 kB
Writeback:           0 kB
AnonPages:     2652872 kB
Mapped:          11176 kB
Slab:           151444 kB
PageTables:      54168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79467776 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= 72980 MiB
End job on node103 at 2011-05-15 01:56:54