Trace number 3174242

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.16 1201.63

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf
MD5SUMc3607b4797e262c1da0dfb143eedc361
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark144.264
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3174242-1304115840.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.18/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.18/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
3.18/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:     203 undec:      48 neg:     199
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       437      1905         0         0      5794         0   no data   no data
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4922       437      1905         0      4819      5794     98935   no data   no data
3.18/0.80	c  N st    10     11304       437      1905         0      4459      5794     70056   no data   no data
3.18/0.80	c  N st    11     17049       437      1905         0     10045      5794    182996   no data   no data
3.99/1.10	c  F st    12     25001       437      1905         0     12322      5794    234895   no data   no data
3.99/1.10	c  N st    12     25001       437      1905         0     12322      5794    234895   no data   no data
4.77/1.27	c Decided on static restart strategy
4.77/1.27	c  N st    18     30001       437      1905         0     10603      5794    176985   no data   no data
4.77/1.27	c  S st    18     30001       437      1905         0     10603      5794    176985   no data   no data
5.17/1.30	c  S st    18     30507       437      1905         0     11107      5794    187653   no data   no data
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.30	c blocked clauses removed:        0 vars:      0 tried:         437 T: 0.00 s
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.36	c lits-rem:       125  cl-subs:      757  v-elim:      0  v-fix:    0  time:  0.05 s
5.17/1.37	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.00
5.17/1.37	c calculated reachability. Time: 0.00
5.17/1.37	c  N st    18     30507       437      1905         0     10350      5794    172284   no data   no data
6.77/1.75	c  N st    20     37618       437      1905         0      9602      5794    144879   no data   no data
8.38/2.13	c  N st    21     44018       437      1905         0     15829      5794    280282   no data   no data
8.79/2.26	c  S st    22     45760       437      1905         0      8829      5794    113044   no data   no data
8.79/2.29	c  S st    22     46265       437      1905         0      9333      5794    122826   no data   no data
8.79/2.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
8.79/2.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.30	c lits-rem:        10  cl-subs:       86  v-elim:      0  v-fix:    0  time:  0.01 s
9.17/2.30	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
9.17/2.30	c vivif2 --  cl tried     9247 cl shrink        0 lits rem          0 time: 0.00
9.17/2.31	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.00
9.17/2.31	c calculated reachability. Time: 0.00
9.17/2.31	c  N st    22     46265       437      1905         0      9247      5794    121049   no data   no data
12.37/3.18	c  N st    23     60662       437      1905         0     13537      5794    197442   no data   no data
14.76/3.77	c  N st    24     69397       437      1905         0     11354      5794    144094   no data   no data
14.76/3.77	c  S st    24     69397       437      1905         0     11354      5794    144094   no data   no data
15.16/3.81	c  S st    24     69899       437      1905         0     11855      5794    154388   no data   no data
15.16/3.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.16/3.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
15.16/3.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.16/3.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.83	c lits-rem:        34  cl-subs:      214  v-elim:      0  v-fix:    0  time:  0.02 s
15.16/3.83	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
15.16/3.84	c vivif2 --  cl tried    11641 cl shrink        0 lits rem          0 time: 0.00
15.16/3.84	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.01
15.16/3.84	c calculated reachability. Time: 0.00
15.16/3.84	c  N st    24     69899       437      1905         0     11641      5794    150845   no data   no data
19.95/5.05	c  F st    25     87502       437      1905         0     17063      5794    248864   no data   no data
19.95/5.06	c  N st    25     87502       437      1905         0     17063      5794    248864   no data   no data
21.57/5.42	c Decided on static restart strategy
22.35/5.66	c  N st    32     95540       437      1905         0     24933      5794    407459   no data   no data
25.15/6.30	c  N st    34    104849       437      1905         0     21411      5794    340845   no data   no data
25.15/6.30	c  S st    34    104849       437      1905         0     21411      5794    340845   no data   no data
25.15/6.35	c  S st    34    105351       437      1905         0     21913      5794    351214   no data   no data
25.15/6.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.15/6.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.15/6.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.15/6.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.15/6.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.15/6.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
25.15/6.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.15/6.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.15/6.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.96/6.51	c lits-rem:       112  cl-subs:      944  v-elim:      0  v-fix:    0  time:  0.13 s
25.96/6.51	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
25.96/6.51	c vivif2 --  cl tried    20969 cl shrink        0 lits rem          0 time: 0.00
25.96/6.52	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.01
25.96/6.53	c calculated reachability. Time: 0.00
25.96/6.53	c  N st    34    105351       437      1905         0     20969      5794    331909   no data   no data
28.75/7.28	c  N st    35    114950       437      1905         0     16669      5794    216924   no data   no data
33.94/8.53	c  N st    36    129351       437      1905         0     16121      5794    190272   no data   no data
41.12/10.30	c  N st    37    150948       437      1905         0     21461      5794    285875   no data   no data
43.55/10.96	c  S st    38    158026       437      1905         0     28384      5794    429127   no data   no data
43.95/11.03	c  S st    38    158528       437      1905         0     28885      5794    439785   no data   no data
43.95/11.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.95/11.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.95/11.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.95/11.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.95/11.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.95/11.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
43.95/11.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.95/11.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.95/11.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.12/11.39	c lits-rem:       219  cl-subs:     1921  v-elim:      0  v-fix:    0  time:  0.33 s
45.12/11.39	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
45.52/11.40	c vivif2 --  cl tried    26964 cl shrink        0 lits rem          0 time: 0.01
45.52/11.41	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.01
45.52/11.41	c calculated reachability. Time: 0.00
45.52/11.41	c  N st    38    158528       437      1905         0     26964      5794    402939   no data   no data
62.70/15.71	c  N st    39    207117       437      1905         0     21666      5794    269091   no data   no data
74.71/18.74	c  N st    40    237793       437      1905         0     32064      5794    466404   no data   no data
74.71/18.74	c  S st    40    237793       437      1905         0     32064      5794    466404   no data   no data
75.08/18.83	c  S st    40    238297       437      1905         0     32566      5794    477091   no data   no data
75.08/18.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.08/18.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.08/18.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.08/18.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.08/18.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.08/18.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
75.08/18.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.08/18.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.08/18.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.68/19.27	c lits-rem:       273  cl-subs:     1862  v-elim:      0  v-fix:    0  time:  0.41 s
76.68/19.27	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
76.68/19.27	c vivif2 --  cl tried    30704 cl shrink        0 lits rem          0 time: 0.01
76.68/19.29	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.02
76.68/19.29	c calculated reachability. Time: 0.00
76.68/19.29	c  N st    40    238297       437      1905         0     30704      5794    442320   no data   no data
104.25/26.16	c  F st    41    306251       437      1905         0     32712      5794    470093   no data   no data
104.25/26.16	c  N st    41    306251       437      1905         0     32712      5794    470093   no data   no data
107.05/26.82	c Decided on static restart strategy
117.84/29.55	c  N st    51    334554       437      1905         0     36914      5794    517319   no data   no data
128.62/32.23	c  N st    53    357446       437      1905         0     34894      5794    483009   no data   no data
128.62/32.23	c  S st    53    357446       437      1905         0     34894      5794    483009   no data   no data
129.02/32.33	c  S st    53    357954       437      1905         0     35399      5794    493802   no data   no data
129.02/32.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.02/32.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
129.02/32.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.02/32.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.02/32.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.02/32.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
129.02/32.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
129.02/32.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
129.02/32.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.22/32.64	c lits-rem:       119  cl-subs:     1238  v-elim:      0  v-fix:    0  time:  0.28 s
130.22/32.64	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
130.22/32.64	c vivif2 --  cl tried    34161 cl shrink        0 lits rem          0 time: 0.01
130.22/32.66	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.02
130.22/32.67	c calculated reachability. Time: 0.00
130.22/32.67	c  N st    53    357954       437      1905         0     34161      5794    466414   no data   no data
146.60/36.78	c  N st    54    390346       437      1905         0     40311      5794    604573   no data   no data
170.99/42.89	c  N st    55    438937       437      1905         0     34021      5794    409792   no data   no data
210.13/52.65	c  N st    56    511819       437      1905         0     47492      5794    676381   no data   no data
222.90/55.83	c  N st    57    536932       437      1905         0     41836      5794    553814   no data   no data
222.90/55.83	c  S st    57    536932       437      1905         0     41836      5794    553814   no data   no data
223.30/55.94	c  S st    57    537434       437      1905         0     42338      5794    564300   no data   no data
223.30/55.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
223.30/55.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
223.30/55.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
223.30/55.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
223.30/55.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
223.30/55.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
223.30/55.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
223.30/55.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
223.30/55.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.90/56.37	c lits-rem:       206  cl-subs:     1518  v-elim:      0  v-fix:    0  time:  0.38 s
224.90/56.37	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
224.90/56.38	c vivif2 --  cl tried    40820 cl shrink        0 lits rem          0 time: 0.01
225.30/56.40	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.03
225.30/56.40	c calculated reachability. Time: 0.00
225.30/56.40	c  N st    57    537434       437      1905         0     40820      5794    534927   no data   no data
341.95/85.68	c  N st    58    701419       437      1905         0     69570      5794   1083449   no data   no data
415.06/103.97	c  N st    59    806151       437      1905         0     63534      5794    914253   no data   no data
415.06/103.97	c  S st    59    806151       437      1905         0     63534      5794    914253   no data   no data
415.86/104.15	c  S st    59    806653       437      1905         0     64032      5794    925265   no data   no data
415.86/104.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
415.86/104.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
415.86/104.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
415.86/104.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
415.86/104.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
415.86/104.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
415.86/104.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
416.25/104.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
416.25/104.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
426.26/106.71	c lits-rem:       482  cl-subs:     5411  v-elim:      0  v-fix:    0  time:  2.48 s
426.26/106.71	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
426.26/106.72	c vivif2 --  cl tried    58621 cl shrink        0 lits rem          0 time: 0.01
426.26/106.77	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.05
426.26/106.77	c calculated reachability. Time: 0.00
426.26/106.77	c  N st    59    806653       437      1905         0     58621      5794    825028   no data   no data
635.57/159.18	c  F st    60   1071875       437      1905         0     74101      5794   1031236   no data   no data
635.57/159.18	c  N st    60   1071875       437      1905         0     74101      5794   1031236   no data   no data
641.18/160.55	c Decided on static restart strategy
659.53/165.18	c  N st    70   1100182       437      1905         0     58281      5794    707621   no data   no data
691.49/173.14	c  N st    72   1136178       437      1905         0     48651      5794    496676   no data   no data
717.47/179.65	c  N st    73   1168571       437      1905         0     80161      5794   1195309   no data   no data
751.82/188.29	c  N st    74   1209979       437      1905         0     74866      5794   1089209   no data   no data
751.82/188.29	c  S st    74   1209979       437      1905         0     74866      5794   1089209   no data   no data
753.02/188.54	c  S st    74   1210481       437      1905         0     75367      5794   1100690   no data   no data
753.02/188.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
753.02/188.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
753.02/188.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
753.02/188.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
753.02/188.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
753.02/188.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
753.02/188.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
753.02/188.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
753.42/188.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
765.00/191.51	c lits-rem:       499  cl-subs:     4039  v-elim:      0  v-fix:    0  time:  2.88 s
765.00/191.51	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
765.00/191.53	c vivif2 --  cl tried    71328 cl shrink        0 lits rem          0 time: 0.02
765.40/191.61	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.09
765.40/191.62	c calculated reachability. Time: 0.00
765.40/191.62	c  N st    74   1210481       437      1905         0     71328      5794   1012961   no data   no data
844.50/211.44	c  N st    75   1283363       437      1905         0     47983      5794    445403   no data   no data
944.38/236.45	c  N st    76   1392686       437      1905         0     56086      5794    593193   no data   no data
1091.77/273.38	c  N st    77   1556671       437      1905         0     60735      5794    657320   no data   no data
1240.37/310.58	c  N st    78   1710482       437      1905         0    102188      5794   1524600   no data   no data
1240.37/310.58	c  S st    78   1710482       437      1905         0    102188      5794   1524600   no data   no data
1241.97/310.95	c  S st    78   1710983       437      1905         0    102687      5794   1535604   no data   no data
1241.97/310.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1242.37/311.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1242.37/311.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1242.37/311.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1242.37/311.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1242.37/311.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
1242.37/311.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1242.37/311.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1242.37/311.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1280.72/320.68	c lits-rem:       641  cl-subs:    10834  v-elim:      0  v-fix:    0  time:  9.61 s
1280.72/320.68	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
1281.12/320.70	c vivif2 --  cl tried    91853 cl shrink        0 lits rem          0 time: 0.02
1281.12/320.79	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.09
1281.52/320.80	c calculated reachability. Time: 0.00
1281.52/320.80	c  N st    78   1710983       437      1905         0     91853      5794   1323245   no data   no data
1644.24/411.62	c  N st    79   2079947       437      1905         0    103270      5794   1477410   no data   no data
1788.85/447.83	c  N st    80   2210983       437      1905         0    107436      5794   1515468   no data   no data
1788.85/447.83	c  S st    80   2210983       437      1905         0    107436      5794   1515468   no data   no data
1790.05/448.18	c  S st    80   2211484       437      1905         0    107937      5794   1526284   no data   no data
1790.05/448.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1790.45/448.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1790.45/448.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1790.45/448.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1790.45/448.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1790.45/448.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
1790.45/448.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1790.45/448.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1790.85/448.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1826.41/457.29	c lits-rem:       655  cl-subs:    11268  v-elim:      0  v-fix:    0  time:  8.98 s
1826.41/457.29	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
1826.81/457.31	c vivif2 --  cl tried    96669 cl shrink        0 lits rem          0 time: 0.02
1827.21/457.41	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.10
1827.21/457.42	c calculated reachability. Time: 0.00
1827.21/457.42	c  N st    80   2211484       437      1905         0     96669      5794   1315791   no data   no data
2414.43/604.42	c  N st    81   2711485       437      1905         0    120441      5794   1788556   no data   no data
2414.43/604.42	c  S st    81   2711485       437      1905         0    120441      5794   1788556   no data   no data
2416.03/604.84	c  S st    81   2711986       437      1905         0    120941      5794   1799820   no data   no data
2416.03/604.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2416.44/604.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2416.44/604.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2416.44/604.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2416.44/604.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2416.44/604.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
2416.44/604.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2416.44/604.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2416.44/604.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2467.56/617.70	c lits-rem:       772  cl-subs:    11095  v-elim:      0  v-fix:    0  time: 12.70 s
2467.56/617.70	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
2467.56/617.72	c vivif2 --  cl tried   109846 cl shrink        0 lits rem          0 time: 0.02
2467.96/617.83	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.11
2467.96/617.84	c calculated reachability. Time: 0.00
2467.96/617.84	c  N st    81   2711986       437      1905         0    109846      5794   1580898   no data   no data
3109.12/778.33	c  N st    82   3211987       437      1905         0     85769      5794    889420   no data   no data
3109.12/778.33	c  S st    82   3211987       437      1905         0     85769      5794    889420   no data   no data
3109.92/778.59	c  S st    82   3212490       437      1905         0     86270      5794    900443   no data   no data
3110.32/778.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3110.32/778.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3110.32/778.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3110.32/778.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3110.32/778.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3110.32/778.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
3110.32/778.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3110.32/778.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3110.32/778.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3113.51/779.41	c lits-rem:       128  cl-subs:     2306  v-elim:      0  v-fix:    0  time:  0.72 s
3113.51/779.41	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
3113.51/779.42	c vivif2 --  cl tried    83964 cl shrink        0 lits rem          0 time: 0.01
3113.91/779.50	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.08
3113.91/779.50	c calculated reachability. Time: 0.00
3113.91/779.50	c  N st    82   3212490       437      1905         0     83964      5794    859488   no data   no data
3836.56/960.47	c  N st    83   3712490       437      1905         0     94684      5794   1010475   no data   no data
3836.56/960.47	c  S st    83   3712490       437      1905         0     94684      5794   1010475   no data   no data
3837.76/960.79	c  S st    83   3712995       437      1905         0     95188      5794   1021867   no data   no data
3837.76/960.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3838.16/960.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3838.16/960.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3838.16/960.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3838.16/960.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3838.16/960.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
3838.16/960.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3838.16/960.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3838.16/960.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3844.57/962.46	c lits-rem:       282  cl-subs:     2836  v-elim:      0  v-fix:    0  time:  1.56 s
3844.57/962.46	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
3844.57/962.47	c vivif2 --  cl tried    92352 cl shrink        0 lits rem          0 time: 0.02
3844.97/962.59	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.12
3844.97/962.59	c calculated reachability. Time: 0.00
3844.97/962.59	c  N st    83   3712995       437      1905         0     92352      5794    970230   no data   no data
3914.88/980.05	c  F st    84   3751564       437      1905         0    129348      5794   1719829   no data   no data
3914.88/980.06	c  N st    84   3751564       437      1905         0    129348      5794   1719829   no data   no data
3923.66/982.29	c Decided on static restart strategy
3963.61/992.27	c  N st    94   3779865       437      1905         0    156805      5794   2324619   no data   no data
4013.53/1004.76	c  N st    96   3815859       437      1905         0    109696      5794   1308194   no data   no data
4053.48/1014.73	c  N st    97   3848252       437      1905         0    141049      5794   1975549   no data   no data
4125.38/1032.80	c  N st    98   3896840       437      1905         0    104947      5794   1217233   no data   no data
4239.23/1061.29	c  N st    99   3969722       437      1905         0     91520      5794    896696   no data   no data
4392.23/1099.57	c  N st   100   4079047       437      1905         0    112058      5794   1335391   no data   no data
4607.54/1153.41	c  N st   101   4212995       437      1905         0    155986      5794   2383605   no data   no data
4607.54/1153.41	c  S st   101   4212995       437      1905         0    155986      5794   2383605   no data   no data
4609.56/1153.97	c  S st   101   4213505       437      1905         0    156490      5794   2394939   no data   no data
4609.56/1153.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4609.93/1154.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4609.93/1154.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4609.93/1154.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4609.93/1154.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4609.93/1154.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
4609.93/1154.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4610.33/1154.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4610.33/1154.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4704.62/1177.71	c lits-rem:      1284  cl-subs:    12171  v-elim:      0  v-fix:    0  time: 23.53 s
4704.62/1177.71	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
4704.62/1177.74	c vivif2 --  cl tried   144319 cl shrink        0 lits rem          0 time: 0.03
4705.42/1177.90	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.16
4705.42/1177.91	c calculated reachability. Time: 0.00
4705.42/1177.91	c  N st   101   4213505       437      1905         0    144319      5794   2130816   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174242-1304115840/watcher-3174242-1304115840 -o /tmp/evaluation-result-3174242-1304115840/solver-3174242-1304115840 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174242-1304115840.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.63 3.93 4.25 5/180 10007
/proc/meminfo: memFree=31299040/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 553 0 0 0 0 0 0 0 22 0 4 0 503999649 187658240 480 33554432000 4194304 4627427 140734606303248 18446744073709551615 270338044613 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 45815 495 336 106 0 40786 0
[pid=10007/tid=10008] ppid=10005 vsize=183392 CPUtime=0 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 52 0 0 0 0 0 0 0 23 0 4 0 503999649 187793408 530 33554432000 4194304 4627427 140734606303248 18446744073709551615 270338044613 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=183392 CPUtime=0 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 60 0 0 0 0 0 0 0 23 0 4 0 503999649 187793408 533 33554432000 4194304 4627427 140734606303248 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=183392 CPUtime=0 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 31 0 0 0 0 0 0 0 23 0 4 0 503999649 187793408 544 33554432000 4194304 4627427 140734606303248 18446744073709551615 270338032485 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0665571 s]
/proc/loadavg: 3.63 3.93 4.25 5/180 10007
/proc/meminfo: memFree=31299040/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=282220 CPUtime=0.24 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 1431 0 0 0 24 0 0 0 18 0 4 0 503999649 288993280 1334 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309130 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 70555 1334 384 106 0 65526 0
[pid=10007/tid=10008] ppid=10005 vsize=282220 CPUtime=0.06 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 301 0 0 0 6 0 0 0 18 0 4 0 503999649 288993280 1334 33554432000 4194304 4627427 140734606303248 18446744073709551615 4327616 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=282220 CPUtime=0.05 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 261 0 0 0 5 0 0 0 23 0 4 0 503999649 288993280 1334 33554432000 4194304 4627427 140734606303248 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=282220 CPUtime=0.06 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 184 0 0 0 6 0 0 0 18 0 4 0 503999649 288993280 1334 33554432000 4194304 4627427 140734606303248 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 282220

[startup+0.10055 s]
/proc/loadavg: 3.63 3.93 4.25 5/180 10007
/proc/meminfo: memFree=31299040/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=282372 CPUtime=0.38 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 1611 0 0 0 38 0 0 0 18 0 4 0 503999649 289148928 1514 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 70593 1514 384 106 0 65564 0
[pid=10007/tid=10008] ppid=10005 vsize=282372 CPUtime=0.09 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 347 0 0 0 9 0 0 0 18 0 4 0 503999649 289148928 1515 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=282372 CPUtime=0.09 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 300 0 0 0 9 0 0 0 23 0 4 0 503999649 289148928 1515 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=282372 CPUtime=0.09 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 232 0 0 0 9 0 0 0 18 0 4 0 503999649 289148928 1515 33554432000 4194304 4627427 140734606303248 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282372

[startup+0.30051 s]
/proc/loadavg: 3.63 3.93 4.25 5/180 10007
/proc/meminfo: memFree=31299040/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=283772 CPUtime=1.18 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 2598 0 0 0 118 0 0 0 18 0 4 0 503999649 290582528 1994 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 70943 1994 385 106 0 65914 0
[pid=10007/tid=10008] ppid=10005 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 600 0 0 0 29 0 0 0 18 0 4 0 503999649 290582528 1994 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 544 0 0 0 29 0 0 0 23 0 4 0 503999649 290582528 1994 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 467 0 0 0 29 0 0 0 18 0 4 0 503999649 290582528 1994 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283772

[startup+0.700433 s]
/proc/loadavg: 3.63 3.93 4.25 5/180 10007
/proc/meminfo: memFree=31299040/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=284924 CPUtime=2.78 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 4277 0 0 0 278 0 0 0 18 0 4 0 503999649 291762176 2409 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 71231 2409 385 106 0 66202 0
[pid=10007/tid=10008] ppid=10005 vsize=284924 CPUtime=0.69 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 954 0 0 0 69 0 0 0 18 0 4 0 503999649 291762176 2409 33554432000 4194304 4627427 140734606303248 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=284924 CPUtime=0.69 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 1024 0 0 0 69 0 0 0 25 0 4 0 503999649 291762176 2409 33554432000 4194304 4627427 140734606303248 18446744073709551615 4310523 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=284924 CPUtime=0.69 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 930 0 0 0 69 0 0 0 18 0 4 0 503999649 291762176 2409 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284924

[startup+1.50027 s]
/proc/loadavg: 3.63 3.93 4.25 9/184 10011
/proc/meminfo: memFree=31276316/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=291028 CPUtime=5.97 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 8030 0 0 0 596 1 0 0 20 0 4 0 503999649 298012672 4480 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 72757 4480 389 106 0 67728 0
[pid=10007/tid=10008] ppid=10005 vsize=291028 CPUtime=1.49 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 1661 0 0 0 149 0 0 0 20 0 4 0 503999649 298012672 4480 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=291028 CPUtime=1.48 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 1583 0 0 0 148 0 0 0 25 0 4 0 503999649 298012672 4480 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=291028 CPUtime=1.49 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 1491 0 0 0 149 0 0 0 20 0 4 0 503999649 298012672 4480 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291028

[startup+3.10096 s]
/proc/loadavg: 3.63 3.93 4.25 9/184 10011
/proc/meminfo: memFree=31244188/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=291672 CPUtime=12.37 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 16810 0 0 0 1234 3 0 0 25 0 4 0 503999649 298672128 8263 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 72918 8263 389 106 0 67889 0
[pid=10007/tid=10008] ppid=10005 vsize=291672 CPUtime=3.08 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 3743 0 0 0 308 0 0 0 25 0 4 0 503999649 298672128 8263 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=291672 CPUtime=3.08 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 4519 0 0 0 308 0 0 0 25 0 4 0 503999649 298672128 8263 33554432000 4194304 4627427 140734606303248 18446744073709551615 4332812 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=291672 CPUtime=3.09 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 4041 0 0 0 308 1 0 0 25 0 4 0 503999649 298672128 8263 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 291672

[startup+6.30032 s]
/proc/loadavg: 3.98 4.00 4.27 9/184 10012
/proc/meminfo: memFree=31205288/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=293712 CPUtime=25.15 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 26127 0 0 0 2510 5 0 0 25 0 4 0 503999649 300761088 11239 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 73428 11239 389 106 0 68399 0
[pid=10007/tid=10008] ppid=10005 vsize=293712 CPUtime=6.29 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 6749 0 0 0 628 1 0 0 25 0 4 0 503999649 300761088 11239 33554432000 4194304 4627427 140734606303248 18446744073709551615 4321442 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=293712 CPUtime=6.26 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 7322 0 0 0 626 0 0 0 25 0 4 0 503999649 300761088 11239 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=293712 CPUtime=6.29 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 5600 0 0 0 628 1 0 0 25 0 4 0 503999649 300761088 11239 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293712

[startup+12.7011 s]
/proc/loadavg: 4.38 4.08 4.29 9/184 10012
/proc/meminfo: memFree=31156840/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=304080 CPUtime=50.72 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 42044 0 0 0 5064 8 0 0 25 0 4 0 503999649 311377920 16753 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 76020 16753 389 106 0 70991 0
[pid=10007/tid=10008] ppid=10005 vsize=304080 CPUtime=12.69 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 10355 0 0 0 1267 2 0 0 25 0 4 0 503999649 311377920 16753 33554432000 4194304 4627427 140734606303248 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=304080 CPUtime=12.63 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 10196 0 0 0 1262 1 0 0 25 0 4 0 503999649 311377920 16753 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=304080 CPUtime=12.69 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 10052 0 0 0 1267 2 0 0 25 0 4 0 503999649 311377920 16753 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 304080

[startup+25.5005 s]
/proc/loadavg: 5.18 4.27 4.35 9/184 10012
/proc/meminfo: memFree=31110076/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=308640 CPUtime=101.85 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 64299 0 0 0 10172 13 0 0 25 0 4 0 503999649 316047360 21425 33554432000 4194304 4627427 140734606303248 18446744073709551615 4327647 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 77160 21425 389 106 0 72131 0
[pid=10007/tid=10008] ppid=10005 vsize=308640 CPUtime=25.49 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 16342 0 0 0 2546 3 0 0 25 0 4 0 503999649 316047360 21425 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=308640 CPUtime=25.37 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 15960 0 0 0 2534 3 0 0 25 0 4 0 503999649 316047360 21425 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=308640 CPUtime=25.49 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 14656 0 0 0 2545 4 0 0 25 0 4 0 503999649 316047360 21425 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 308640

[startup+51.1004 s]
/proc/loadavg: 6.14 4.57 4.45 9/184 10013
/proc/meminfo: memFree=31064676/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=314456 CPUtime=204.12 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 97762 0 0 0 20389 23 0 0 25 0 4 0 503999649 322002944 26540 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 78614 26540 389 106 0 73585 0
[pid=10007/tid=10008] ppid=10005 vsize=314456 CPUtime=51.08 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 25407 0 0 0 5103 5 0 0 25 0 4 0 503999649 322002944 26540 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=314456 CPUtime=50.84 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 24487 0 0 0 5078 6 0 0 25 0 4 0 503999649 322002944 26540 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=314456 CPUtime=51.09 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 21936 0 0 0 5103 6 0 0 25 0 4 0 503999649 322002944 26540 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 314456

[startup+102.306 s]
/proc/loadavg: 7.46 5.17 4.66 9/184 10017
/proc/meminfo: memFree=31038556/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=321844 CPUtime=408.68 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 147073 0 0 0 40829 39 0 0 25 0 4 0 503999649 329568256 32123 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 80461 32123 389 106 0 75432 0
[pid=10007/tid=10008] ppid=10005 vsize=321844 CPUtime=102.3 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 37613 0 0 0 10220 10 0 0 25 0 4 0 503999649 329568256 32123 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=321844 CPUtime=101.76 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 35753 0 0 0 10167 9 0 0 25 0 4 0 503999649 329568256 32123 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=321844 CPUtime=102.29 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 35490 0 0 0 10220 9 0 0 25 0 4 0 503999649 329568256 32123 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 321844

[startup+162.3 s]

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

[pid=10007] ppid=10005 vsize=452192 CPUtime=2565.85 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 449377 0 0 0 256421 164 0 0 25 0 4 0 503999649 463044608 72518 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 113048 72518 389 106 0 108019 0
[pid=10007/tid=10008] ppid=10005 vsize=452192 CPUtime=642.32 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 106808 0 0 0 64192 40 0 0 25 0 4 0 503999649 463044608 72518 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=452192 CPUtime=638.87 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 116614 0 0 0 63845 42 0 0 25 0 4 0 503999649 463044608 72518 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=452192 CPUtime=642.32 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 106360 0 0 0 64193 39 0 0 25 0 4 0 503999649 463044608 72518 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.85
Current children cumulated vsize (KiB) 452192

[startup+702.301 s]
/proc/loadavg: 8.13 7.70 6.28 9/184 10033
/proc/meminfo: memFree=30665180/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=452760 CPUtime=2805.52 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 477204 0 0 0 280375 177 0 0 25 0 4 0 503999649 463626240 71340 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 113190 71340 389 106 0 108161 0
[pid=10007/tid=10008] ppid=10005 vsize=452760 CPUtime=702.31 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 113746 0 0 0 70188 43 0 0 25 0 4 0 503999649 463626240 71341 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=452760 CPUtime=698.54 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 123482 0 0 0 69809 45 0 0 25 0 4 0 503999649 463626240 71341 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=452760 CPUtime=702.32 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 113070 0 0 0 70190 42 0 0 25 0 4 0 503999649 463626240 71341 33554432000 4194304 4627427 140734606303248 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.52
Current children cumulated vsize (KiB) 452760

[startup+762.306 s]
/proc/loadavg: 8.08 7.77 6.39 9/184 10035
/proc/meminfo: memFree=30647540/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=453220 CPUtime=3045.22 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 503029 0 0 0 304332 190 0 0 25 0 4 0 503999649 464097280 72972 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 113305 72972 389 106 0 108276 0
[pid=10007/tid=10008] ppid=10005 vsize=453220 CPUtime=762.32 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 119569 0 0 0 76186 46 0 0 25 0 4 0 503999649 464097280 72972 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=453220 CPUtime=758.22 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 130843 0 0 0 75773 49 0 0 25 0 4 0 503999649 464097280 72972 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=453220 CPUtime=762.33 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 119121 0 0 0 76188 45 0 0 25 0 4 0 503999649 464097280 72972 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.22
Current children cumulated vsize (KiB) 453220

[startup+822.3 s]
/proc/loadavg: 8.06 7.82 6.49 9/184 10036
/proc/meminfo: memFree=30591712/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=454160 CPUtime=3284.89 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 532785 0 0 0 328286 203 0 0 25 0 4 0 503999649 465059840 78904 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309179 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 113540 78904 389 106 0 108511 0
[pid=10007/tid=10008] ppid=10005 vsize=454160 CPUtime=822.32 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 128163 0 0 0 82183 49 0 0 25 0 4 0 503999649 465059840 78904 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=454160 CPUtime=817.89 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 136813 0 0 0 81737 52 0 0 25 0 4 0 503999649 465059840 78904 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=454160 CPUtime=822.32 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 127785 0 0 0 82184 48 0 0 25 0 4 0 503999649 465059840 78904 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.89
Current children cumulated vsize (KiB) 454160

[startup+882.3 s]
/proc/loadavg: 8.02 7.85 6.58 9/184 10038
/proc/meminfo: memFree=30553096/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=545232 CPUtime=3524.57 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 555270 0 0 0 352244 213 0 0 25 0 4 0 503999649 558317568 89055 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 136308 89055 389 106 0 131279 0
[pid=10007/tid=10008] ppid=10005 vsize=545232 CPUtime=882.32 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 129801 0 0 0 88182 50 0 0 25 0 4 0 503999649 558317568 89055 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=545232 CPUtime=877.57 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 145471 0 0 0 87701 56 0 0 25 0 4 0 503999649 558317568 89055 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=545232 CPUtime=882.32 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 133941 0 0 0 88181 51 0 0 25 0 4 0 503999649 558317568 89055 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.57
Current children cumulated vsize (KiB) 545232

[startup+942.301 s]
/proc/loadavg: 8.01 7.88 6.67 9/184 10040
/proc/meminfo: memFree=30592356/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=520160 CPUtime=3764.26 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 572176 0 0 0 376204 222 0 0 25 0 4 0 503999649 532643840 87988 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 130040 87988 389 106 0 125011 0
[pid=10007/tid=10008] ppid=10005 vsize=520160 CPUtime=942.32 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 130222 0 0 0 94182 50 0 0 25 0 4 0 503999649 532643840 87988 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=520160 CPUtime=937.25 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 152433 0 0 0 93665 60 0 0 25 0 4 0 503999649 532643840 87988 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=520160 CPUtime=942.33 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 137453 0 0 0 94180 53 0 0 25 0 4 0 503999649 532643840 87988 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.26
Current children cumulated vsize (KiB) 520160

[startup+1002.3 s]
/proc/loadavg: 8.16 7.94 6.77 9/184 10041
/proc/meminfo: memFree=30540988/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=611400 CPUtime=4003.94 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 593243 0 0 0 400165 229 0 0 25 0 4 0 503999649 626073600 95467 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 152850 95467 389 106 0 147821 0
[pid=10007/tid=10008] ppid=10005 vsize=611400 CPUtime=1002.32 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 136097 0 0 0 100180 52 0 0 25 0 4 0 503999649 626073600 95467 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=611400 CPUtime=996.93 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 155321 0 0 0 99632 61 0 0 25 0 4 0 503999649 626073600 95467 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=611400 CPUtime=1002.33 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 144289 0 0 0 100178 55 0 0 25 0 4 0 503999649 626073600 95467 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.94
Current children cumulated vsize (KiB) 611400

[startup+1062.3 s]
/proc/loadavg: 8.17 7.98 6.85 9/184 10043
/proc/meminfo: memFree=30477576/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=602616 CPUtime=4243.63 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 609204 0 0 0 424125 238 0 0 25 0 4 0 503999649 617078784 98436 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 150654 98436 389 106 0 145625 0
[pid=10007/tid=10008] ppid=10005 vsize=602616 CPUtime=1062.33 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 137100 0 0 0 106180 53 0 0 25 0 4 0 503999649 617078784 98436 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=602616 CPUtime=1056.6 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 158713 0 0 0 105598 62 0 0 25 0 4 0 503999649 617078784 98436 33554432000 4194304 4627427 140734606303248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=602616 CPUtime=1062.34 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 150049 0 0 0 106176 58 0 0 25 0 4 0 503999649 617078784 98436 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.63
Current children cumulated vsize (KiB) 602616

[startup+1122.3 s]
/proc/loadavg: 8.17 8.01 6.93 9/184 10044
/proc/meminfo: memFree=30495636/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=589832 CPUtime=4483.31 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 626636 0 0 0 448085 246 0 0 25 0 4 0 503999649 603987968 102911 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 147458 102911 389 106 0 142429 0
[pid=10007/tid=10008] ppid=10005 vsize=589832 CPUtime=1122.33 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 140000 0 0 0 112179 54 0 0 25 0 4 0 503999649 603987968 102911 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=589832 CPUtime=1116.28 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 163773 0 0 0 111564 64 0 0 25 0 4 0 503999649 603987968 102911 33554432000 4194304 4627427 140734606303248 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=589832 CPUtime=1122.33 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 154701 0 0 0 112174 59 0 0 25 0 4 0 503999649 603987968 102911 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.31
Current children cumulated vsize (KiB) 589832

[startup+1182.3 s]
/proc/loadavg: 8.24 8.05 7.01 9/184 10046
/proc/meminfo: memFree=30498068/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=615368 CPUtime=4723 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 642175 0 0 0 472048 252 0 0 25 0 4 0 503999649 630136832 102786 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 153842 102786 389 106 0 148813 0
[pid=10007/tid=10008] ppid=10005 vsize=615368 CPUtime=1182.33 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 144900 0 0 0 118177 56 0 0 25 0 4 0 503999649 630136832 102786 33554432000 4194304 4627427 140734606303248 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=615368 CPUtime=1175.96 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 169057 0 0 0 117530 66 0 0 25 0 4 0 503999649 630136832 102786 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=615368 CPUtime=1182.34 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 156696 0 0 0 118174 60 0 0 25 0 4 0 503999649 630136832 102786 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4723
Current children cumulated vsize (KiB) 615368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.23 8.07 7.04 9/184 10046
/proc/meminfo: memFree=30477340/32951124 swapFree=67111356/67111528
[pid=10007] ppid=10005 vsize=602336 CPUtime=4800.11 cores=1,3,5,7
/proc/10007/stat : 10007 (strangenight2-m) R 10005 10007 8948 0 -1 4202496 647687 0 0 0 479756 255 0 0 25 0 4 0 503999649 616792064 104750 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10007/statm: 150584 104750 389 106 0 145555 0
[pid=10007/tid=10008] ppid=10005 vsize=602336 CPUtime=1201.64 cores=1,3,5,7
/proc/10007/task/10008/stat : 10008 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 146044 0 0 0 120107 57 0 0 25 0 4 0 503999649 616792064 104750 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10007/tid=10009] ppid=10005 vsize=602336 CPUtime=1195.14 cores=1,3,5,7
/proc/10007/task/10009/stat : 10009 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 169918 0 0 0 119448 66 0 0 25 0 4 0 503999649 616792064 104750 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10007/tid=10010] ppid=10005 vsize=602336 CPUtime=1201.65 cores=1,3,5,7
/proc/10007/task/10010/stat : 10010 (strangenight2-m) R 10005 10007 8948 0 -1 4202560 157906 0 0 0 120104 61 0 0 25 0 4 0 503999649 616792064 104750 33554432000 4194304 4627427 140734606303248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 602336

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.63
CPU time (s): 4800.16
CPU user time (s): 4797.58
CPU system time (s): 2.57161
CPU usage (%): 399.47
Max. virtual memory (cumulated for all children) (KiB): 675020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.57161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647689
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= 206
involuntary context switches= 17034

runsolver used 1.81972 second user time and 4.69529 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-30 00:24:00
IDJOB=3174242
IDBENCH=83060
IDSOLVER=1586
FILE ID=node143/3174242-1304115840
RUNJOBID= node143-1304115840-9985
PBS_JOBID= 13170658
Free space on /tmp= 72920 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174242-1304115840/watcher-3174242-1304115840 -o /tmp/evaluation-result-3174242-1304115840/solver-3174242-1304115840 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174242-1304115840.cnf

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

MD5SUM BENCH= c3607b4797e262c1da0dfb143eedc361
RANDOM SEED=1214199079

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.846
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.83
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.846
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.74
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.846
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:      31299320 kB
Buffers:        238856 kB
Cached:        1069028 kB
SwapCached:        168 kB
Active:         304740 kB
Inactive:      1071660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31299320 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11328 kB
Writeback:           0 kB
AnonPages:       68632 kB
Mapped:          15468 kB
Slab:           212516 kB
PageTables:       4512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   272632 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= 72916 MiB
End job on node143 at 2011-04-30 00:44:04