Trace number 3366340

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf
MD5SUM04148c6828d9f9ccd74e3efaedcb8c52
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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-3366340-1305402087.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.09/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.09/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.09/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.09/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.09/0.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.37/0.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
2.37/0.64	c Finding binary XORs  T:     0.00 s  found:       0
2.37/0.64	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.37/0.64	c calculated reachability. Time: 0.00
2.37/0.64	c Calc default polars -  time:   0.00 s pos:      73 undec:       4 neg:      73
2.37/0.64	c =========================================================================================
2.37/0.64	c types(t): F = full restart, N = normal restart
2.37/0.64	c types(t): S = simplification begin/end, E = solution found
2.37/0.64	c restart types(rt): st = static, dy = dynamic
2.37/0.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.37/0.64	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
2.37/0.64	c Decided on static restart strategy
2.37/0.64	c  N st     8      4916       150      3195         0      4695     15975    138376   no data   no data
2.37/0.64	c  N st    10     11300       150      3195         0      4359     15975    101181   no data   no data
2.37/0.64	c  N st    11     17043       150      3195         0      9800     15975    260899   no data   no data
3.58/1.00	c  F st    12     25001       150      3195         0     11979     15975    310237   no data   no data
3.58/1.00	c  N st    12     25001       150      3195         0     11979     15975    310237   no data   no data
4.76/1.20	c Decided on static restart strategy
4.76/1.20	c  N st    18     30000       150      3195         0     10280     15975    261912   no data   no data
4.76/1.20	c  S st    18     30000       150      3195         0     10280     15975    261912   no data   no data
5.16/1.30	c  S st    18     30507       150      3195         0     10774     15975    276732   no data   no data
5.16/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.16/1.30	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
5.16/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
5.16/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c lits-rem:       228  cl-subs:     1212  v-elim:      0  v-fix:    0  time:  0.19 s
5.96/1.50	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N st    18     30507       150      3195         0      9562     15975    238119   no data   no data
7.16/1.80	c  N st    20     37617       150      3195         0      8839     15975    196175   no data   no data
8.39/2.13	c  N st    21     44016       150      3195         0     14924     15975    379328   no data   no data
8.80/2.22	c  S st    22     45760       150      3195         0     16601     15975    429125   no data   no data
8.80/2.28	c  S st    22     46262       150      3195         0      8570     15975    167818   no data   no data
8.80/2.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.80/2.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.80/2.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.80/2.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.80/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.80/2.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.80/2.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.80/2.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.80/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.31	c lits-rem:        17  cl-subs:      128  v-elim:      0  v-fix:    0  time:  0.02 s
9.15/2.31	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.15/2.32	c vivif2 --  cl tried     8442 cl shrink        0 lits rem          0 time: 0.00
9.15/2.35	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.15/2.35	c calculated reachability. Time: 0.00
9.15/2.35	c  N st    22     46262       150      3195         0      8442     15975    163676   no data   no data
12.34/3.10	c  N st    23     60660       150      3195         0     12635     15975    272677   no data   no data
14.33/3.61	c  N st    24     69393       150      3195         0     10484     15975    193956   no data   no data
14.33/3.61	c  S st    24     69393       150      3195         0     10484     15975    193956   no data   no data
14.33/3.64	c  S st    24     69899       150      3195         0     10980     15975    208910   no data   no data
14.33/3.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.33/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.33/3.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.33/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.33/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.33/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.33/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.33/3.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.33/3.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.70	c lits-rem:        37  cl-subs:      263  v-elim:      0  v-fix:    0  time:  0.04 s
14.73/3.70	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.73/3.70	c vivif2 --  cl tried    10717 cl shrink        0 lits rem          0 time: 0.00
14.73/3.75	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
14.73/3.75	c calculated reachability. Time: 0.00
14.73/3.75	c  N st    24     69899       150      3195         0     10717     15975    200274   no data   no data
19.13/4.84	c  F st    25     87502       150      3195         0     16040     15975    353307   no data   no data
19.13/4.84	c  N st    25     87502       150      3195         0     16040     15975    353307   no data   no data
20.32/5.18	c Decided on static restart strategy
21.12/5.36	c  N st    32     95540       150      3195         0     23710     15975    584280   no data   no data
23.51/5.91	c  N st    34    104848       150      3195         0     20191     15975    473798   no data   no data
23.51/5.91	c  S st    34    104848       150      3195         0     20191     15975    473798   no data   no data
23.51/5.97	c  S st    34    105351       150      3195         0     20686     15975    488497   no data   no data
23.51/5.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.51/5.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.51/5.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.51/5.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.51/5.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.51/5.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.51/5.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.51/5.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.51/5.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.51/6.42	c lits-rem:       732  cl-subs:     1249  v-elim:      0  v-fix:    0  time:  0.43 s
25.51/6.42	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.51/6.43	c vivif2 --  cl tried    19437 cl shrink        0 lits rem          0 time: 0.00
25.51/6.51	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
25.51/6.51	c calculated reachability. Time: 0.00
25.51/6.51	c  N st    34    105351       150      3195         0     19437     15975    444665   no data   no data
28.70/7.22	c  N st    35    114950       150      3195         0     15287     15975    304518   no data   no data
33.09/8.36	c  N st    36    129348       150      3195         0     14735     15975    262170   no data   no data
39.86/10.01	c  N st    37    150943       150      3195         0     20009     15975    399158   no data   no data
41.86/10.57	c  S st    38    158026       150      3195         0     26738     15975    595134   no data   no data
42.26/10.64	c  S st    38    158530       150      3195         0     27236     15975    609682   no data   no data
42.26/10.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.26/10.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.26/10.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.26/10.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.26/10.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.26/10.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.26/10.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.26/10.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.26/10.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.85/11.56	c lits-rem:       873  cl-subs:     2173  v-elim:      0  v-fix:    0  time:  0.89 s
45.85/11.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.85/11.57	c vivif2 --  cl tried    25063 cl shrink        0 lits rem          0 time: 0.01
46.25/11.67	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
46.25/11.67	c calculated reachability. Time: 0.00
46.25/11.67	c  N st    38    158530       150      3195         0     25063     15975    543758   no data   no data
63.00/15.80	c  N st    39    207118       150      3195         0     20000     15975    356598   no data   no data
74.20/18.66	c  N st    40    237795       150      3195         0     30084     15975    654473   no data   no data
74.20/18.66	c  S st    40    237795       150      3195         0     30084     15975    654473   no data   no data
74.61/18.75	c  S st    40    238300       150      3195         0     30579     15975    669763   no data   no data
74.61/18.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.61/18.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.61/18.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.61/18.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.61/18.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.61/18.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
74.61/18.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.61/18.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.96/18.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.15/20.12	c lits-rem:      1084  cl-subs:     2192  v-elim:      0  v-fix:    0  time:  1.32 s
80.15/20.12	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
80.15/20.12	c vivif2 --  cl tried    28387 cl shrink        0 lits rem          0 time: 0.01
80.55/20.24	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
80.55/20.24	c calculated reachability. Time: 0.00
80.55/20.24	c  N st    40    238300       150      3195         0     28387     15975    600049   no data   no data
105.68/26.52	c  F st    41    306250       150      3195         0     30287     15975    607937   no data   no data
105.68/26.52	c  N st    41    306250       150      3195         0     30287     15975    607937   no data   no data
107.67/27.03	c Decided on static restart strategy
117.25/29.43	c  N st    51    334554       150      3195         0     34464     15975    709366   no data   no data
126.85/31.90	c  N st    53    357453       150      3195         0     32517     15975    643577   no data   no data
126.85/31.90	c  S st    53    357453       150      3195         0     32517     15975    643577   no data   no data
127.26/31.99	c  S st    53    357956       150      3195         0     33006     15975    658400   no data   no data
127.26/31.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.61/32.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
127.61/32.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
127.61/32.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
127.61/32.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
127.61/32.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
127.61/32.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
127.61/32.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
127.61/32.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.41/32.76	c lits-rem:       409  cl-subs:     1326  v-elim:      0  v-fix:    0  time:  0.73 s
130.41/32.76	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
130.41/32.77	c vivif2 --  cl tried    31680 cl shrink        0 lits rem          0 time: 0.01
130.81/32.90	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
130.81/32.90	c calculated reachability. Time: 0.00
130.81/32.90	c  N st    53    357956       150      3195         0     31680     15975    610398   no data   no data
145.95/36.60	c  N st    54    390350       150      3195         0     37762     15975    776305   no data   no data
174.28/43.74	c  N st    55    438939       150      3195         0     31676     15975    554313   no data   no data
210.21/52.71	c  N st    56    511821       150      3195         0     44649     15975    914749   no data   no data
222.95/55.97	c  N st    57    536936       150      3195         0     39188     15975    722100   no data   no data
222.95/55.97	c  S st    57    536936       150      3195         0     39188     15975    722100   no data   no data
223.38/56.08	c  S st    57    537439       150      3195         0     39681     15975    736932   no data   no data
223.38/56.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
223.38/56.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
223.38/56.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
223.38/56.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
223.38/56.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
223.38/56.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
223.38/56.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
223.38/56.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
223.79/56.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
227.76/57.18	c lits-rem:       622  cl-subs:     1746  v-elim:      0  v-fix:    0  time:  1.05 s
227.76/57.18	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
227.76/57.19	c vivif2 --  cl tried    37935 cl shrink        0 lits rem          0 time: 0.01
228.52/57.36	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
228.52/57.36	c calculated reachability. Time: 0.00
228.52/57.36	c  N st    57    537439       150      3195         0     37935     15975    683014   no data   no data
327.03/82.02	c  N st    58    701423       150      3195         0     66137     15975   1528056   no data   no data
391.24/98.15	c  N st    59    806159       150      3195         0     60371     15975   1283617   no data   no data
391.24/98.15	c  S st    59    806159       150      3195         0     60371     15975   1283617   no data   no data
392.04/98.33	c  S st    59    806660       150      3195         0     60855     15975   1298705   no data   no data
392.04/98.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
392.04/98.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
392.04/98.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
392.04/98.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
392.04/98.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
392.04/98.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
392.04/98.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
392.04/98.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
392.44/98.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
420.37/105.40	c lits-rem:      2243  cl-subs:     4777  v-elim:      0  v-fix:    0  time:  6.99 s
420.37/105.40	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
420.37/105.42	c vivif2 --  cl tried    56078 cl shrink        0 lits rem          0 time: 0.02
421.56/105.71	c asymm  cl-useful: 0/2929/3195 lits-rem:0 time: 0.30
421.56/105.71	c calculated reachability. Time: 0.00
421.56/105.71	c  N st    59    806660       150      3195         0     56078     15975   1142346   no data   no data
610.60/153.12	c  F st    60   1071875       150      3195         0     71497     15975   1531608   no data   no data
610.60/153.12	c  N st    60   1071875       150      3195         0     71497     15975   1531608   no data   no data
615.39/154.36	c Decided on static restart strategy
632.14/158.51	c  N st    70   1100183       150      3195         0     55945     15975    994639   no data   no data
657.70/164.98	c  N st    72   1136178       150      3195         0     46478     15975    678066   no data   no data
683.20/171.31	c  N st    73   1168570       150      3195         0     77214     15975   1625777   no data   no data
727.47/182.50	c  N st    74   1209990       150      3195         0     71753     15975   1418911   no data   no data
727.47/182.50	c  S st    74   1209990       150      3195         0     71753     15975   1418911   no data   no data
729.06/182.85	c  S st    74   1210492       150      3195         0     72244     15975   1433634   no data   no data
729.06/182.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
729.46/182.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.06
729.46/182.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
729.46/182.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
729.46/182.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
729.46/182.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
729.46/182.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
729.46/182.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
729.86/183.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
790.87/198.33	c lits-rem:      1144  cl-subs:     5754  v-elim:      0  v-fix:    0  time: 15.33 s
790.87/198.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
790.87/198.35	c vivif2 --  cl tried    66490 cl shrink        0 lits rem          0 time: 0.02
792.47/198.74	c asymm  cl-useful: 0/2585/3195 lits-rem:0 time: 0.39
792.47/198.75	c calculated reachability. Time: 0.00
792.47/198.75	c  N st    74   1210492       150      3195         0     66490     15975   1259686   no data   no data
861.07/215.95	c  N st    75   1283374       150      3195         0     90089     15975   1978245   no data   no data
969.60/243.18	c  N st    76   1392698       150      3195         0     51775     15975    740523   no data   no data
1096.83/275.07	c  N st    77   1556682       150      3195         0     56364     15975    829097   no data   no data
1224.06/306.99	c  N st    78   1710494       150      3195         0     96587     15975   2043753   no data   no data
1224.06/306.99	c  S st    78   1710494       150      3195         0     96587     15975   2043753   no data   no data
1225.20/307.29	c  S st    78   1710997       150      3195         0     97079     15975   2058690   no data   no data
1225.60/307.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1225.60/307.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1225.60/307.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1225.60/307.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1225.60/307.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1225.60/307.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1225.60/307.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1225.60/307.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1226.00/307.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1324.13/332.01	c lits-rem:      2659  cl-subs:     9781  v-elim:      0  v-fix:    0  time: 24.58 s
1324.13/332.02	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1324.13/332.04	c vivif2 --  cl tried    87298 cl shrink        0 lits rem          0 time: 0.02
1324.55/332.17	c asymm  cl-useful: 0/610/3195 lits-rem:0 time: 0.13
1324.55/332.17	c calculated reachability. Time: 0.00
1324.55/332.17	c  N st    78   1710997       150      3195         0     87298     15975   1758725   no data   no data
1661.94/416.71	c  N st    79   2079962       150      3195         0     99328     15975   2075221   no data   no data
1797.55/450.74	c  N st    80   2210998       150      3195         0    103373     15975   2107670   no data   no data
1797.55/450.74	c  S st    80   2210998       150      3195         0    103373     15975   2107670   no data   no data
1798.79/451.07	c  S st    80   2211501       150      3195         0    103866     15975   2122322   no data   no data
1798.79/451.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1799.14/451.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1799.14/451.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1799.14/451.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1799.14/451.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1799.14/451.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1799.14/451.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1799.14/451.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1799.53/451.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1891.66/474.33	c lits-rem:      2393  cl-subs:     8776  v-elim:      0  v-fix:    0  time: 23.11 s
1891.66/474.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1891.66/474.35	c vivif2 --  cl tried    95090 cl shrink        0 lits rem          0 time: 0.03
1893.26/474.72	c asymm  cl-useful: 0/1917/3195 lits-rem:0 time: 0.36
1893.26/474.72	c calculated reachability. Time: 0.00
1893.26/474.72	c  N st    80   2211501       150      3195         0     95090     15975   1851494   no data   no data
2419.73/606.76	c  N st    81   2711501       150      3195         0    118253     15975   2505099   no data   no data
2419.73/606.76	c  S st    81   2711501       150      3195         0    118253     15975   2505099   no data   no data
2421.36/607.11	c  S st    81   2712005       150      3195         0    118750     15975   2520381   no data   no data
2421.36/607.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2421.36/607.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2421.36/607.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2421.36/607.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2421.36/607.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2421.36/607.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2421.36/607.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2421.77/607.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2421.77/607.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2553.39/640.25	c lits-rem:      2447  cl-subs:     9784  v-elim:      0  v-fix:    0  time: 32.97 s
2553.39/640.25	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2553.39/640.28	c vivif2 --  cl tried   108966 cl shrink        0 lits rem          0 time: 0.03
2554.93/640.65	c asymm  cl-useful: 0/1278/3195 lits-rem:0 time: 0.37
2554.93/640.65	c calculated reachability. Time: 0.00
2554.93/640.65	c  N st    81   2712005       150      3195         0    108966     15975   2216004   no data   no data
3201.85/802.89	c  N st    82   3212007       150      3195         0     85747     15975   1313987   no data   no data
3201.85/802.89	c  S st    82   3212007       150      3195         0     85747     15975   1313987   no data   no data
3203.04/803.14	c  S st    82   3212511       150      3195         0     86240     15975   1328686   no data   no data
3203.04/803.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3203.04/803.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3203.04/803.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3203.04/803.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3203.04/803.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3203.04/803.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3203.04/803.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3203.44/803.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3203.44/803.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3215.01/806.15	c lits-rem:       432  cl-subs:     2343  v-elim:      0  v-fix:    0  time:  2.91 s
3215.01/806.15	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3215.01/806.17	c vivif2 --  cl tried    83897 cl shrink        0 lits rem          0 time: 0.02
3216.19/806.49	c asymm  cl-useful: 0/2130/3195 lits-rem:0 time: 0.33
3216.59/806.50	c calculated reachability. Time: 0.00
3216.59/806.50	c  N st    82   3212511       150      3195         0     83897     15975   1256737   no data   no data
3960.41/993.02	c  N st    83   3712513       150      3195         0     93784     15975   1437266   no data   no data
3960.41/993.02	c  S st    83   3712513       150      3195         0     93784     15975   1437266   no data   no data
3961.66/993.31	c  S st    83   3713017       150      3195         0     94277     15975   1452077   no data   no data
3961.66/993.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3961.66/993.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3961.66/993.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3961.66/993.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3961.66/993.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3961.66/993.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3961.66/993.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3961.66/993.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3962.01/993.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3978.37/997.60	c lits-rem:       881  cl-subs:     3302  v-elim:      0  v-fix:    0  time:  4.17 s
3978.37/997.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3978.79/997.62	c vivif2 --  cl tried    90975 cl shrink        0 lits rem          0 time: 0.02
3979.56/997.86	c asymm  cl-useful: 0/1065/3195 lits-rem:0 time: 0.24
3979.56/997.86	c calculated reachability. Time: 0.00
3979.56/997.86	c  N st    83   3713017       150      3195         0     90975     15975   1360541   no data   no data
4028.22/1010.01	c  F st    84   3751563       150      3195         0    127324     15975   2473013   no data   no data
4028.22/1010.02	c  N st    84   3751563       150      3195         0    127324     15975   2473013   no data   no data
4038.19/1012.58	c Decided on static restart strategy
4080.86/1023.24	c  N st    94   3779867       150      3195         0    154116     15975   3278915   no data   no data
4126.32/1034.60	c  N st    96   3815859       150      3195         0    108337     15975   1869890   no data   no data
4173.39/1046.48	c  N st    97   3848251       150      3195         0    138937     15975   2842403   no data   no data
4239.99/1063.13	c  N st    98   3896840       150      3195         0    103846     15975   1703095   no data   no data
4330.93/1085.97	c  N st    99   3969723       150      3195         0     90519     15975   1274552   no data   no data
4472.92/1121.54	c  N st   100   4079047       150      3195         0    110540     15975   1865469   no data   no data
4659.56/1168.33	c  N st   101   4213017       150      3195         0    152859     15975   3064137   no data   no data
4659.56/1168.33	c  S st   101   4213017       150      3195         0    152859     15975   3064137   no data   no data
4661.56/1168.87	c  S st   101   4213524       150      3195         0    153352     15975   3078810   no data   no data
4661.56/1168.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4661.96/1168.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4661.96/1168.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4661.96/1168.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4661.96/1168.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4661.96/1168.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4661.96/1168.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4662.36/1169.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4662.36/1169.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3366340-1305402087/watcher-3366340-1305402087 -o /tmp/evaluation-result-3366340-1305402087/solver-3366340-1305402087 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366340-1305402087.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: 8.15 8.14 8.09 5/360 18594
/proc/meminfo: memFree=18617360/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 407 0 0 0 1 0 0 0 25 0 4 0 632624586 52396032 347 33554432000 4194304 4580107 140736542800752 18446744073709551615 47034781337520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 12792 347 299 95 0 7774 0
[pid=18594/tid=18595] ppid=18592 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 632624586 52396032 347 33554432000 4194304 4580107 140736542800752 18446744073709551615 47034781337526 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632624586 52396032 347 33554432000 4194304 4580107 140736542800752 18446744073709551615 47034781337522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632624586 52396032 347 33554432000 4194304 4580107 140736542800752 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.029351 s]
/proc/loadavg: 8.15 8.14 8.09 5/360 18594
/proc/meminfo: memFree=18617360/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=282120 CPUtime=0.09 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) D 18592 18594 18129 0 -1 4202496 1201 0 0 0 9 0 0 0 18 0 4 0 632624586 288890880 1108 33554432000 4194304 4580107 140736542800752 18446744073709551615 233510340791 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 70530 1108 362 95 0 65512 0
[pid=18594/tid=18595] ppid=18592 vsize=282120 CPUtime=0.02 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) D 18592 18594 18129 0 -1 4202560 215 0 0 0 2 0 0 0 18 0 4 0 632624586 288890880 1108 33554432000 4194304 4580107 140736542800752 18446744073709551615 233509958341 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=282120 CPUtime=0.02 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) D 18592 18594 18129 0 -1 4202560 211 0 0 0 2 0 0 0 18 0 4 0 632624586 288890880 1108 33554432000 4194304 4580107 140736542800752 18446744073709551615 233510340791 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=282120 CPUtime=0.01 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 158 0 0 0 1 0 0 0 25 0 4 0 632624586 288890880 1108 33554432000 4194304 4580107 140736542800752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 282120

[startup+0.14434 s]
/proc/loadavg: 8.15 8.14 8.09 5/360 18594
/proc/meminfo: memFree=18617360/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=291056 CPUtime=0.55 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 2206 0 0 0 55 0 0 0 18 0 4 0 632624586 298041344 2020 33554432000 4194304 4580107 140736542800752 18446744073709551615 233509958689 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 72764 2020 376 95 0 67746 0
[pid=18594/tid=18595] ppid=18592 vsize=291056 CPUtime=0.14 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 487 0 0 0 14 0 0 0 18 0 4 0 632624586 298041344 2020 33554432000 4194304 4580107 140736542800752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=291056 CPUtime=0.13 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 480 0 0 0 13 0 0 0 18 0 4 0 632624586 298041344 2020 33554432000 4194304 4580107 140736542800752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=291056 CPUtime=0.12 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 348 0 0 0 12 0 0 0 25 0 4 0 632624586 298041344 2020 33554432000 4194304 4580107 140736542800752 18446744073709551615 233510340791 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 291056

[startup+0.300831 s]
/proc/loadavg: 8.15 8.14 8.09 5/360 18594
/proc/meminfo: memFree=18617360/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=284232 CPUtime=1.17 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 3333 0 0 0 117 0 0 0 18 0 4 0 632624586 291053568 2436 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 71058 2436 377 95 0 66040 0
[pid=18594/tid=18595] ppid=18592 vsize=284232 CPUtime=0.29 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 780 0 0 0 29 0 0 0 18 0 4 0 632624586 291053568 2437 33554432000 4194304 4580107 140736542800752 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=284232 CPUtime=0.29 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 757 0 0 0 29 0 0 0 18 0 4 0 632624586 291053568 2437 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=284232 CPUtime=0.28 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 622 0 0 0 28 0 0 0 25 0 4 0 632624586 291053568 2437 33554432000 4194304 4580107 140736542800752 18446744073709551615 4316600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284232

[startup+0.700762 s]
/proc/loadavg: 8.15 8.14 8.09 5/360 18594
/proc/meminfo: memFree=18617360/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=286036 CPUtime=2.78 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 6037 0 0 0 277 1 0 0 18 0 4 0 632624586 292900864 2677 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 71509 2677 377 95 0 66491 0
[pid=18594/tid=18595] ppid=18592 vsize=286036 CPUtime=0.69 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 1464 0 0 0 69 0 0 0 18 0 4 0 632624586 292900864 2677 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=286036 CPUtime=0.69 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 1430 0 0 0 69 0 0 0 18 0 4 0 632624586 292900864 2677 33554432000 4194304 4580107 140736542800752 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=286036 CPUtime=0.68 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 1299 0 0 0 68 0 0 0 25 0 4 0 632624586 292900864 2677 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286036

[startup+1.50062 s]
/proc/loadavg: 8.15 8.14 8.09 10/364 18598
/proc/meminfo: memFree=18604184/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=287324 CPUtime=5.96 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 11321 0 0 0 595 1 0 0 20 0 4 0 632624586 294219776 4848 33554432000 4194304 4580107 140736542800752 18446744073709551615 4321264 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 71831 4848 379 95 0 66813 0
[pid=18594/tid=18595] ppid=18592 vsize=287324 CPUtime=1.49 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 2482 0 0 0 149 0 0 0 19 0 4 0 632624586 294219776 4848 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=287324 CPUtime=1.48 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 2429 0 0 0 148 0 0 0 19 0 4 0 632624586 294219776 4848 33554432000 4194304 4580107 140736542800752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=287324 CPUtime=1.46 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 2335 0 0 0 146 0 0 0 25 0 4 0 632624586 294219776 4848 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287324

[startup+3.10033 s]
/proc/loadavg: 8.15 8.14 8.09 9/364 18598
/proc/meminfo: memFree=18578028/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=293456 CPUtime=12.34 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 22351 0 0 0 1232 2 0 0 25 0 4 0 632624586 300498944 10934 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 73364 10934 379 95 0 68346 0
[pid=18594/tid=18595] ppid=18592 vsize=293456 CPUtime=3.09 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 5100 0 0 0 309 0 0 0 25 0 4 0 632624586 300498944 10934 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=293456 CPUtime=3.09 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 5734 0 0 0 308 1 0 0 25 0 4 0 632624586 300498944 10934 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=293456 CPUtime=3.05 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 5728 0 0 0 305 0 0 0 25 0 4 0 632624586 300498944 10934 33554432000 4194304 4580107 140736542800752 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293456

[startup+6.30077 s]
/proc/loadavg: 8.13 8.14 8.09 10/364 18598
/proc/meminfo: memFree=18553708/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=302332 CPUtime=25.11 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 35707 0 0 0 2506 5 0 0 25 0 4 0 632624586 309587968 16941 33554432000 4194304 4580107 140736542800752 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 75583 16941 379 95 0 70565 0
[pid=18594/tid=18595] ppid=18592 vsize=302332 CPUtime=6.28 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 8532 0 0 0 628 0 0 0 25 0 4 0 632624586 309587968 16941 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=302332 CPUtime=6.29 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 9199 0 0 0 627 2 0 0 25 0 4 0 632624586 309587968 16941 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=302332 CPUtime=6.21 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 8067 0 0 0 621 0 0 0 25 0 4 0 632624586 309587968 16941 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 302332

[startup+12.7006 s]
/proc/loadavg: 8.12 8.14 8.09 9/364 18599
/proc/meminfo: memFree=18518104/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=308100 CPUtime=50.63 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 55186 0 0 0 5055 8 0 0 25 0 4 0 632624586 315494400 20851 33554432000 4194304 4580107 140736542800752 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 77025 20852 379 95 0 72007 0
[pid=18594/tid=18595] ppid=18592 vsize=308100 CPUtime=12.69 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 13468 0 0 0 1267 2 0 0 25 0 4 0 632624586 315494400 20852 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=308100 CPUtime=12.69 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 13431 0 0 0 1267 2 0 0 25 0 4 0 632624586 315494400 20852 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=308100 CPUtime=12.54 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 13511 0 0 0 1253 1 0 0 25 0 4 0 632624586 315494400 20852 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 308100

[startup+25.5003 s]
/proc/loadavg: 8.10 8.13 8.09 9/364 18599
/proc/meminfo: memFree=18482712/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=327776 CPUtime=101.68 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 84466 0 0 0 10152 16 0 0 25 0 4 0 632624586 335642624 29638 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 81944 29638 379 95 0 76926 0
[pid=18594/tid=18595] ppid=18592 vsize=327776 CPUtime=25.49 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 20653 0 0 0 2546 3 0 0 25 0 4 0 632624586 335642624 29638 33554432000 4194304 4580107 140736542800752 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=327776 CPUtime=25.49 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 20985 0 0 0 2545 4 0 0 25 0 4 0 632624586 335642624 29638 33554432000 4194304 4580107 140736542800752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=327776 CPUtime=25.19 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 20791 0 0 0 2515 4 0 0 25 0 4 0 632624586 335642624 29638 33554432000 4194304 4580107 140736542800752 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 327776

[startup+51.1007 s]
/proc/loadavg: 8.06 8.12 8.09 10/364 18600
/proc/meminfo: memFree=18442492/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=331904 CPUtime=203.79 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 124325 0 0 0 20353 26 0 0 25 0 4 0 632624586 339869696 35785 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 82976 35785 379 95 0 77958 0
[pid=18594/tid=18595] ppid=18592 vsize=331904 CPUtime=51.09 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 27595 0 0 0 5104 5 0 0 25 0 4 0 632624586 339869696 35785 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=331904 CPUtime=51.08 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 32063 0 0 0 5102 6 0 0 25 0 4 0 632624586 339869696 35785 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=331904 CPUtime=50.5 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 31095 0 0 0 5044 6 0 0 25 0 4 0 632624586 339869696 35785 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 331904

[startup+102.314 s]
/proc/loadavg: 8.07 8.11 8.09 9/364 18601
/proc/meminfo: memFree=18362000/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=351932 CPUtime=408.05 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 190009 0 0 0 40757 48 0 0 25 0 4 0 632624586 360378368 47909 33554432000 4194304 4580107 140736542800752 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 87983 47909 379 95 0 82965 0
[pid=18594/tid=18595] ppid=18592 vsize=351932 CPUtime=102.31 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 38305 0 0 0 10222 9 0 0 25 0 4 0 632624586 360378368 47909 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=351932 CPUtime=102.3 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 49473 0 0 0 10218 12 0 0 25 0 4 0 632624586 360378368 47909 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=351932 CPUtime=101.12 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 50195 0 0 0 10099 13 0 0 25 0 4 0 632624586 360378368 47909 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 351932

[startup+162.301 s]

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

[pid=18594] ppid=18592 vsize=747312 CPUtime=2561.74 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 571756 0 0 0 255961 213 0 0 25 0 4 0 632624586 765247488 107673 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 186828 107673 379 95 0 181810 0
[pid=18594/tid=18595] ppid=18592 vsize=747312 CPUtime=642.32 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 138253 0 0 0 64177 55 0 0 25 0 4 0 632624586 765247488 107673 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=747312 CPUtime=642.3 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 140062 0 0 0 64178 52 0 0 25 0 4 0 632624586 765247488 107673 33554432000 4194304 4580107 140736542800752 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=747312 CPUtime=634.79 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 157257 0 0 0 63419 60 0 0 25 0 4 0 632624586 765247488 107673 33554432000 4194304 4580107 140736542800752 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.74
Current children cumulated vsize (KiB) 747312

[startup+702.301 s]
/proc/loadavg: 8.08 8.11 8.09 9/364 18617
/proc/meminfo: memFree=17874796/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=747396 CPUtime=2801.01 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 605657 0 0 0 279873 228 0 0 25 0 4 0 632624586 765333504 113792 33554432000 4194304 4580107 140736542800752 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 186849 113792 379 95 0 181831 0
[pid=18594/tid=18595] ppid=18592 vsize=747396 CPUtime=702.31 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 148064 0 0 0 70172 59 0 0 25 0 4 0 632624586 765333504 113792 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=747396 CPUtime=702.29 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 146120 0 0 0 70175 54 0 0 25 0 4 0 632624586 765333504 113792 33554432000 4194304 4580107 140736542800752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=747396 CPUtime=694.08 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 165408 0 0 0 69345 63 0 0 25 0 4 0 632624586 765333504 113792 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.01
Current children cumulated vsize (KiB) 747396

[startup+762.314 s]
/proc/loadavg: 8.07 8.10 8.09 9/364 18619
/proc/meminfo: memFree=17848976/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=646316 CPUtime=3040.36 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 638324 0 0 0 303795 241 0 0 25 0 4 0 632624586 661827584 118534 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 161579 118534 379 95 0 156561 0
[pid=18594/tid=18595] ppid=18592 vsize=646316 CPUtime=762.31 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 159254 0 0 0 76169 62 0 0 25 0 4 0 632624586 661827584 118534 33554432000 4194304 4580107 140736542800752 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=646316 CPUtime=762.31 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 150159 0 0 0 76174 57 0 0 25 0 4 0 632624586 661827584 118534 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=646316 CPUtime=753.38 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 177982 0 0 0 75271 67 0 0 25 0 4 0 632624586 661827584 118534 33554432000 4194304 4580107 140736542800752 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.36
Current children cumulated vsize (KiB) 646316

[startup+822.301 s]
/proc/loadavg: 8.07 8.09 8.08 9/364 18620
/proc/meminfo: memFree=17853412/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=608372 CPUtime=3279.61 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 661320 0 0 0 327709 252 0 0 25 0 4 0 632624586 622972928 111769 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 152093 111769 379 95 0 147075 0
[pid=18594/tid=18595] ppid=18592 vsize=608372 CPUtime=822.31 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 163328 0 0 0 82167 64 0 0 25 0 4 0 632624586 622972928 111769 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=608372 CPUtime=822.29 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 157487 0 0 0 82169 60 0 0 25 0 4 0 632624586 622972928 111769 33554432000 4194304 4580107 140736542800752 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=608372 CPUtime=812.67 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 182286 0 0 0 81198 69 0 0 25 0 4 0 632624586 622972928 111769 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.61
Current children cumulated vsize (KiB) 608372

[startup+882.301 s]
/proc/loadavg: 8.11 8.10 8.09 9/364 18622
/proc/meminfo: memFree=17864672/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=608264 CPUtime=3518.9 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 695577 0 0 0 351622 268 0 0 25 0 4 0 632624586 622862336 111166 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 152066 111166 379 95 0 147048 0
[pid=18594/tid=18595] ppid=18592 vsize=608264 CPUtime=882.3 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 171362 0 0 0 88163 67 0 0 25 0 4 0 632624586 622862336 111166 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=608264 CPUtime=882.3 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 166379 0 0 0 88165 65 0 0 25 0 4 0 632624586 622862336 111166 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=608264 CPUtime=871.95 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 192224 0 0 0 87123 72 0 0 25 0 4 0 632624586 622862336 111166 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.9
Current children cumulated vsize (KiB) 608264

[startup+942.301 s]
/proc/loadavg: 8.11 8.11 8.09 9/364 18623
/proc/meminfo: memFree=17837872/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=716192 CPUtime=3758.21 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 730807 0 0 0 375536 285 0 0 25 0 4 0 632624586 733380608 111687 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 179048 111687 379 95 0 174030 0
[pid=18594/tid=18595] ppid=18592 vsize=716192 CPUtime=942.31 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 181292 0 0 0 94159 72 0 0 25 0 4 0 632624586 733380608 111687 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=716192 CPUtime=942.3 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 175043 0 0 0 94160 70 0 0 25 0 4 0 632624586 733380608 111687 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=716192 CPUtime=931.26 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 200984 0 0 0 93050 76 0 0 25 0 4 0 632624586 733380608 111687 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.21
Current children cumulated vsize (KiB) 716192

[startup+1002.3 s]
/proc/loadavg: 8.19 8.13 8.10 9/364 18625
/proc/meminfo: memFree=17808828/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=731404 CPUtime=3997.5 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 753632 0 0 0 399454 296 0 0 25 0 4 0 632624586 748957696 118218 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 182851 118218 379 95 0 177833 0
[pid=18594/tid=18595] ppid=18592 vsize=731404 CPUtime=1002.31 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 185488 0 0 0 100158 73 0 0 25 0 4 0 632624586 748957696 118218 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=731404 CPUtime=1002.3 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 182301 0 0 0 100156 74 0 0 25 0 4 0 632624586 748957696 118218 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=731404 CPUtime=990.54 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 205259 0 0 0 98977 77 0 0 25 0 4 0 632624586 748957696 118219 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.5
Current children cumulated vsize (KiB) 731404

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/364 18627
/proc/meminfo: memFree=17806216/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=733124 CPUtime=4236.81 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 785211 0 0 0 423368 313 0 0 25 0 4 0 632624586 750718976 120435 33554432000 4194304 4580107 140736542800752 18446744073709551615 4301535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 183281 120435 379 95 0 178263 0
[pid=18594/tid=18595] ppid=18592 vsize=733124 CPUtime=1062.32 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 193305 0 0 0 106154 78 0 0 25 0 4 0 632624586 750718976 120435 33554432000 4194304 4580107 140736542800752 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=733124 CPUtime=1062.3 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 190134 0 0 0 106153 77 0 0 25 0 4 0 632624586 750718976 120435 33554432000 4194304 4580107 140736542800752 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=733124 CPUtime=1049.85 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 213269 0 0 0 104903 82 0 0 25 0 4 0 632624586 750718976 120435 33554432000 4194304 4580107 140736542800752 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.81
Current children cumulated vsize (KiB) 733124

[startup+1122.3 s]
/proc/loadavg: 8.05 8.10 8.09 9/364 18628
/proc/meminfo: memFree=17746560/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=746036 CPUtime=4476.1 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 817727 0 0 0 447280 330 0 0 25 0 4 0 632624586 763940864 123768 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 186509 123768 379 95 0 181491 0
[pid=18594/tid=18595] ppid=18592 vsize=746036 CPUtime=1122.32 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 200537 0 0 0 112150 82 0 0 25 0 4 0 632624586 763940864 123768 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=746036 CPUtime=1122.3 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 198354 0 0 0 112149 81 0 0 25 0 4 0 632624586 763940864 123768 33554432000 4194304 4580107 140736542800752 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=746036 CPUtime=1109.14 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 221583 0 0 0 110828 86 0 0 25 0 4 0 632624586 763940864 123768 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.1
Current children cumulated vsize (KiB) 746036

[startup+1182.3 s]
/proc/loadavg: 7.80 8.04 8.07 5/356 18657
/proc/meminfo: memFree=18191132/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=697340 CPUtime=4715.41 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 853191 0 0 0 471196 345 0 0 25 0 4 0 632624586 714076160 129496 33554432000 4194304 4580107 140736542800752 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 174335 129496 379 95 0 169317 0
[pid=18594/tid=18595] ppid=18592 vsize=697340 CPUtime=1182.31 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 208230 0 0 0 118145 86 0 0 25 0 4 0 632624586 714076160 129496 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=697340 CPUtime=1182.3 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 206249 0 0 0 118146 84 0 0 25 0 4 0 632624586 714076160 129496 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=697340 CPUtime=1168.44 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 229776 0 0 0 116755 89 0 0 25 0 4 0 632624586 714076160 129496 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.41
Current children cumulated vsize (KiB) 697340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 6.51 7.71 7.96 5/355 18657
/proc/meminfo: memFree=18184988/32951124 swapFree=67111348/67111528
[pid=18594] ppid=18592 vsize=813068 CPUtime=4800.37 cores=1,3,5,7
/proc/18594/stat : 18594 (strangenight2-m) R 18592 18594 18129 0 -1 4202496 858944 0 0 0 479689 348 0 0 25 0 4 0 632624586 832581632 131027 33554432000 4194304 4580107 140736542800752 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18594/statm: 203267 131027 379 95 0 198249 0
[pid=18594/tid=18595] ppid=18592 vsize=813068 CPUtime=1203.62 cores=1,3,5,7
/proc/18594/task/18595/stat : 18595 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 209746 0 0 0 120275 87 0 0 25 0 4 0 632624586 832581632 131028 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18594/tid=18596] ppid=18592 vsize=813068 CPUtime=1203.61 cores=1,3,5,7
/proc/18594/task/18596/stat : 18596 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 208954 0 0 0 120276 85 0 0 25 0 4 0 632624586 832581632 131028 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=813068 CPUtime=1189.48 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (strangenight2-m) R 18592 18594 18129 0 -1 4202560 231309 0 0 0 118858 90 0 0 25 0 4 0 632624586 832581632 131028 33554432000 4194304 4580107 140736542800752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 813068

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): 1203.64
CPU time (s): 4800.44
CPU user time (s): 4796.93
CPU system time (s): 3.50647
CPU usage (%): 398.825
Max. virtual memory (cumulated for all children) (KiB): 870796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.93
system time used= 3.50647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 858945
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= 385
involuntary context switches= 29839

runsolver used 3.79642 second user time and 10.3694 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 21:41:27
IDJOB=3366340
IDBENCH=82749
IDSOLVER=1844
FILE ID=node145/3366340-1305402087
RUNJOBID= node145-1305400853-18444
PBS_JOBID= 13324453
Free space on /tmp= 73656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366340-1305402087/watcher-3366340-1305402087 -o /tmp/evaluation-result-3366340-1305402087/solver-3366340-1305402087 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366340-1305402087.cnf

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

MD5SUM BENCH= 04148c6828d9f9ccd74e3efaedcb8c52
RANDOM SEED=2002277452

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18617640 kB
Buffers:        294740 kB
Cached:        8123616 kB
SwapCached:          0 kB
Active:        7356896 kB
Inactive:      6622764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18617640 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11336 kB
Writeback:           0 kB
AnonPages:     5561104 kB
Mapped:          27972 kB
Slab:           255596 kB
PageTables:      34464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79526880 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= 73656 MiB
End job on node145 at 2011-05-14 22:01:33