Trace number 3173931

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

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.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-3173931-1304073600.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      73 undec:       4 neg:      73
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.16/0.06	c Decided on static restart strategy
0.37/0.14	c  N st     8      4916       150      3195         0      4695     15975    138376   no data   no data
1.17/0.37	c  N st    10     11300       150      3195         0      4359     15975    101181   no data   no data
2.37/0.61	c  N st    11     17043       150      3195         0      9800     15975    260899   no data   no data
3.57/0.96	c  F st    12     25001       150      3195         0     11979     15975    310237   no data   no data
3.57/0.96	c  N st    12     25001       150      3195         0     11979     15975    310237   no data   no data
4.39/1.17	c Decided on static restart strategy
4.39/1.17	c  N st    18     30000       150      3195         0     10280     15975    261912   no data   no data
4.39/1.17	c  S st    18     30000       150      3195         0     10280     15975    261912   no data   no data
4.77/1.20	c  S st    18     30507       150      3195         0     10774     15975    276732   no data   no data
4.77/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.77/1.20	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.77/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.77/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c lits-rem:       228  cl-subs:     1212  v-elim:      0  v-fix:    0  time:  0.19 s
5.56/1.44	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.56/1.44	c calculated reachability. Time: 0.00
5.56/1.44	c  N st    18     30507       150      3195         0      9562     15975    238119   no data   no data
7.17/1.80	c  N st    20     37617       150      3195         0      8839     15975    196175   no data   no data
8.38/2.13	c  N st    21     44016       150      3195         0     14924     15975    379328   no data   no data
8.79/2.22	c  S st    22     45760       150      3195         0     16601     15975    429125   no data   no data
8.79/2.28	c  S st    22     46262       150      3195         0      8570     15975    167818   no data   no data
8.79/2.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.79/2.28	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.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.31	c lits-rem:        17  cl-subs:      128  v-elim:      0  v-fix:    0  time:  0.02 s
9.16/2.31	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.16/2.32	c vivif2 --  cl tried     8442 cl shrink        0 lits rem          0 time: 0.00
9.16/2.35	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.16/2.35	c calculated reachability. Time: 0.00
9.16/2.35	c  N st    22     46262       150      3195         0      8442     15975    163676   no data   no data
12.36/3.10	c  N st    23     60660       150      3195         0     12635     15975    272677   no data   no data
14.36/3.61	c  N st    24     69393       150      3195         0     10484     15975    193956   no data   no data
14.36/3.61	c  S st    24     69393       150      3195         0     10484     15975    193956   no data   no data
14.36/3.65	c  S st    24     69899       150      3195         0     10980     15975    208910   no data   no data
14.36/3.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.36/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.36/3.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.36/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.36/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.36/3.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.36/3.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.70	c lits-rem:        37  cl-subs:      263  v-elim:      0  v-fix:    0  time:  0.04 s
14.76/3.70	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.76/3.70	c vivif2 --  cl tried    10717 cl shrink        0 lits rem          0 time: 0.00
14.76/3.75	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
14.76/3.75	c calculated reachability. Time: 0.00
14.76/3.75	c  N st    24     69899       150      3195         0     10717     15975    200274   no data   no data
19.15/4.84	c  F st    25     87502       150      3195         0     16040     15975    353307   no data   no data
19.15/4.84	c  N st    25     87502       150      3195         0     16040     15975    353307   no data   no data
20.35/5.18	c Decided on static restart strategy
21.14/5.36	c  N st    32     95540       150      3195         0     23710     15975    584280   no data   no data
23.54/5.91	c  N st    34    104848       150      3195         0     20191     15975    473798   no data   no data
23.54/5.91	c  S st    34    104848       150      3195         0     20191     15975    473798   no data   no data
23.54/5.97	c  S st    34    105351       150      3195         0     20686     15975    488497   no data   no data
23.54/5.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.54/5.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.54/5.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.54/5.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.54/5.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.54/5.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.54/5.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.54/5.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
23.54/5.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.43	c lits-rem:       732  cl-subs:     1249  v-elim:      0  v-fix:    0  time:  0.43 s
25.54/6.43	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.54/6.43	c vivif2 --  cl tried    19437 cl shrink        0 lits rem          0 time: 0.00
25.95/6.51	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
25.95/6.51	c calculated reachability. Time: 0.00
25.95/6.51	c  N st    34    105351       150      3195         0     19437     15975    444665   no data   no data
28.74/7.22	c  N st    35    114950       150      3195         0     15287     15975    304518   no data   no data
33.13/8.37	c  N st    36    129348       150      3195         0     14735     15975    262170   no data   no data
39.92/10.02	c  N st    37    150943       150      3195         0     20009     15975    399158   no data   no data
41.92/10.58	c  S st    38    158026       150      3195         0     26738     15975    595134   no data   no data
42.32/10.64	c  S st    38    158530       150      3195         0     27236     15975    609682   no data   no data
42.32/10.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.32/10.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.32/10.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.32/10.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.32/10.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.32/10.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.32/10.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.32/10.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.32/10.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.91/11.57	c lits-rem:       873  cl-subs:     2173  v-elim:      0  v-fix:    0  time:  0.89 s
45.91/11.57	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.91/11.58	c vivif2 --  cl tried    25063 cl shrink        0 lits rem          0 time: 0.01
46.31/11.68	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
46.31/11.68	c calculated reachability. Time: 0.00
46.31/11.68	c  N st    38    158530       150      3195         0     25063     15975    543758   no data   no data
63.09/15.81	c  N st    39    207118       150      3195         0     20000     15975    356598   no data   no data
74.29/18.69	c  N st    40    237795       150      3195         0     30084     15975    654473   no data   no data
74.29/18.69	c  S st    40    237795       150      3195         0     30084     15975    654473   no data   no data
74.70/18.79	c  S st    40    238300       150      3195         0     30579     15975    669763   no data   no data
74.70/18.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.07/18.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.07/18.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.07/18.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.07/18.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.07/18.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
75.07/18.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.07/18.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.07/18.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.27/20.13	c lits-rem:      1084  cl-subs:     2192  v-elim:      0  v-fix:    0  time:  1.30 s
80.27/20.13	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
80.27/20.14	c vivif2 --  cl tried    28387 cl shrink        0 lits rem          0 time: 0.01
80.67/20.26	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
80.67/20.26	c calculated reachability. Time: 0.00
80.67/20.26	c  N st    40    238300       150      3195         0     28387     15975    600049   no data   no data
105.84/26.54	c  F st    41    306250       150      3195         0     30287     15975    607937   no data   no data
105.84/26.54	c  N st    41    306250       150      3195         0     30287     15975    607937   no data   no data
107.84/27.04	c Decided on static restart strategy
117.42/29.45	c  N st    51    334554       150      3195         0     34464     15975    709366   no data   no data
127.43/31.91	c  N st    53    357453       150      3195         0     32517     15975    643577   no data   no data
127.43/31.91	c  S st    53    357453       150      3195         0     32517     15975    643577   no data   no data
127.81/32.00	c  S st    53    357956       150      3195         0     33006     15975    658400   no data   no data
127.81/32.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.81/32.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
127.81/32.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
127.81/32.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
127.81/32.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
127.81/32.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
127.81/32.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
127.81/32.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
127.81/32.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.61/32.77	c lits-rem:       409  cl-subs:     1326  v-elim:      0  v-fix:    0  time:  0.74 s
130.61/32.77	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
130.61/32.78	c vivif2 --  cl tried    31680 cl shrink        0 lits rem          0 time: 0.01
131.43/32.91	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
131.43/32.91	c calculated reachability. Time: 0.00
131.43/32.91	c  N st    53    357956       150      3195         0     31680     15975    610398   no data   no data
146.19/36.61	c  N st    54    390350       150      3195         0     37762     15975    776305   no data   no data
174.55/43.77	c  N st    55    438939       150      3195         0     31676     15975    554313   no data   no data
210.53/52.75	c  N st    56    511821       150      3195         0     44649     15975    914749   no data   no data
223.72/56.02	c  N st    57    536936       150      3195         0     39188     15975    722100   no data   no data
223.72/56.02	c  S st    57    536936       150      3195         0     39188     15975    722100   no data   no data
224.12/56.13	c  S st    57    537439       150      3195         0     39681     15975    736932   no data   no data
224.12/56.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
224.12/56.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
224.12/56.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
224.12/56.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
224.12/56.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.12/56.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
224.12/56.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.12/56.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
224.12/56.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
228.51/57.24	c lits-rem:       622  cl-subs:     1746  v-elim:      0  v-fix:    0  time:  1.06 s
228.51/57.24	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
228.51/57.25	c vivif2 --  cl tried    37935 cl shrink        0 lits rem          0 time: 0.01
229.28/57.42	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
229.28/57.42	c calculated reachability. Time: 0.00
229.28/57.42	c  N st    57    537439       150      3195         0     37935     15975    683014   no data   no data
327.57/82.09	c  N st    58    701423       150      3195         0     66137     15975   1528056   no data   no data
392.29/98.26	c  N st    59    806159       150      3195         0     60371     15975   1283617   no data   no data
392.29/98.26	c  S st    59    806159       150      3195         0     60371     15975   1283617   no data   no data
393.09/98.44	c  S st    59    806660       150      3195         0     60855     15975   1298705   no data   no data
393.09/98.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
393.09/98.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
393.09/98.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
393.09/98.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
393.09/98.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
393.09/98.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
393.09/98.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
393.09/98.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
393.49/98.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
422.25/105.73	c lits-rem:      2243  cl-subs:     4777  v-elim:      0  v-fix:    0  time:  7.21 s
422.25/105.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
422.25/105.75	c vivif2 --  cl tried    56078 cl shrink        0 lits rem          0 time: 0.01
423.45/106.03	c asymm  cl-useful: 0/2929/3195 lits-rem:0 time: 0.29
423.45/106.03	c calculated reachability. Time: 0.00
423.45/106.03	c  N st    59    806660       150      3195         0     56078     15975   1142346   no data   no data
612.81/153.44	c  F st    60   1071875       150      3195         0     71497     15975   1531608   no data   no data
612.81/153.44	c  N st    60   1071875       150      3195         0     71497     15975   1531608   no data   no data
617.61/154.68	c Decided on static restart strategy
634.39/158.86	c  N st    70   1100183       150      3195         0     55945     15975    994639   no data   no data
660.35/165.35	c  N st    72   1136178       150      3195         0     46478     15975    678066   no data   no data
687.52/172.18	c  N st    73   1168570       150      3195         0     77214     15975   1625777   no data   no data
732.67/183.41	c  N st    74   1209990       150      3195         0     71753     15975   1418911   no data   no data
732.67/183.41	c  S st    74   1209990       150      3195         0     71753     15975   1418911   no data   no data
733.88/183.73	c  S st    74   1210492       150      3195         0     72244     15975   1433634   no data   no data
733.88/183.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
733.88/183.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
733.88/183.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
733.88/183.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
733.88/183.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
733.88/183.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
733.88/183.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
734.26/183.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
734.26/183.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
792.98/198.51	c lits-rem:      1144  cl-subs:     5754  v-elim:      0  v-fix:    0  time: 14.63 s
792.98/198.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
792.98/198.53	c vivif2 --  cl tried    66490 cl shrink        0 lits rem          0 time: 0.02
794.58/198.90	c asymm  cl-useful: 0/2585/3195 lits-rem:0 time: 0.38
794.58/198.91	c calculated reachability. Time: 0.00
794.58/198.91	c  N st    74   1210492       150      3195         0     66490     15975   1259686   no data   no data
862.89/216.06	c  N st    75   1283374       150      3195         0     90089     15975   1978245   no data   no data
972.74/243.53	c  N st    76   1392698       150      3195         0     51775     15975    740523   no data   no data
1100.19/275.47	c  N st    77   1556682       150      3195         0     56364     15975    829097   no data   no data
1228.02/307.45	c  N st    78   1710494       150      3195         0     96587     15975   2043753   no data   no data
1228.02/307.45	c  S st    78   1710494       150      3195         0     96587     15975   2043753   no data   no data
1229.23/307.74	c  S st    78   1710997       150      3195         0     97079     15975   2058690   no data   no data
1229.23/307.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1229.62/307.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1229.62/307.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1229.62/307.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1229.62/307.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1229.62/307.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1229.62/307.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1229.62/307.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1229.62/307.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1329.49/332.81	c lits-rem:      2659  cl-subs:     9781  v-elim:      0  v-fix:    0  time: 24.93 s
1329.49/332.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1329.49/332.84	c vivif2 --  cl tried    87298 cl shrink        0 lits rem          0 time: 0.02
1329.89/332.97	c asymm  cl-useful: 0/610/3195 lits-rem:0 time: 0.13
1329.89/332.98	c calculated reachability. Time: 0.00
1329.89/332.98	c  N st    78   1710997       150      3195         0     87298     15975   1758725   no data   no data
1668.25/417.66	c  N st    79   2079962       150      3195         0     99328     15975   2075221   no data   no data
1804.48/451.77	c  N st    80   2210998       150      3195         0    103373     15975   2107670   no data   no data
1804.48/451.77	c  S st    80   2210998       150      3195         0    103373     15975   2107670   no data   no data
1806.09/452.11	c  S st    80   2211501       150      3195         0    103866     15975   2122322   no data   no data
1806.09/452.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1806.09/452.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1806.09/452.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1806.09/452.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1806.09/452.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1806.09/452.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1806.09/452.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1806.47/452.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1806.47/452.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1900.74/475.82	c lits-rem:      2393  cl-subs:     8776  v-elim:      0  v-fix:    0  time: 23.56 s
1900.74/475.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1900.74/475.85	c vivif2 --  cl tried    95090 cl shrink        0 lits rem          0 time: 0.03
1902.35/476.21	c asymm  cl-useful: 0/1917/3195 lits-rem:0 time: 0.36
1902.35/476.21	c calculated reachability. Time: 0.00
1902.35/476.21	c  N st    80   2211501       150      3195         0     95090     15975   1851494   no data   no data
2430.85/608.50	c  N st    81   2711501       150      3195         0    118253     15975   2505099   no data   no data
2430.85/608.50	c  S st    81   2711501       150      3195         0    118253     15975   2505099   no data   no data
2432.05/608.86	c  S st    81   2712005       150      3195         0    118750     15975   2520381   no data   no data
2432.05/608.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2432.45/608.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2432.45/608.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2432.45/608.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2432.45/608.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2432.45/608.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2432.45/608.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2432.45/608.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2432.85/609.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2566.67/642.54	c lits-rem:      2447  cl-subs:     9784  v-elim:      0  v-fix:    0  time: 33.51 s
2566.67/642.54	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2566.67/642.57	c vivif2 --  cl tried   108966 cl shrink        0 lits rem          0 time: 0.03
2568.26/642.95	c asymm  cl-useful: 0/1278/3195 lits-rem:0 time: 0.37
2568.26/642.95	c calculated reachability. Time: 0.00
2568.26/642.95	c  N st    81   2712005       150      3195         0    108966     15975   2216004   no data   no data
3214.61/804.77	c  N st    82   3212007       150      3195         0     85747     15975   1313987   no data   no data
3214.61/804.77	c  S st    82   3212007       150      3195         0     85747     15975   1313987   no data   no data
3215.81/805.02	c  S st    82   3212511       150      3195         0     86240     15975   1328686   no data   no data
3215.81/805.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3215.81/805.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3215.81/805.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3215.81/805.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3215.81/805.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3215.81/805.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3215.81/805.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3215.81/805.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3216.22/805.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3227.79/808.03	c lits-rem:       432  cl-subs:     2343  v-elim:      0  v-fix:    0  time:  2.90 s
3227.79/808.03	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3227.79/808.05	c vivif2 --  cl tried    83897 cl shrink        0 lits rem          0 time: 0.02
3228.99/808.38	c asymm  cl-useful: 0/2130/3195 lits-rem:0 time: 0.33
3228.99/808.38	c calculated reachability. Time: 0.00
3228.99/808.38	c  N st    82   3212511       150      3195         0     83897     15975   1256737   no data   no data
3974.39/994.95	c  N st    83   3712513       150      3195         0     93784     15975   1437266   no data   no data
3974.39/994.95	c  S st    83   3712513       150      3195         0     93784     15975   1437266   no data   no data
3975.59/995.25	c  S st    83   3713017       150      3195         0     94277     15975   1452077   no data   no data
3975.59/995.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3975.99/995.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3975.99/995.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3975.99/995.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3975.99/995.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3975.99/995.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3975.99/995.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3975.99/995.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3975.99/995.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3993.16/999.61	c lits-rem:       881  cl-subs:     3302  v-elim:      0  v-fix:    0  time:  4.24 s
3993.16/999.61	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3993.16/999.63	c vivif2 --  cl tried    90975 cl shrink        0 lits rem          0 time: 0.02
3993.98/999.87	c asymm  cl-useful: 0/1065/3195 lits-rem:0 time: 0.24
3993.98/999.88	c calculated reachability. Time: 0.00
3993.98/999.88	c  N st    83   3713017       150      3195         0     90975     15975   1360541   no data   no data
4041.90/1011.87	c  F st    84   3751563       150      3195         0    127324     15975   2473013   no data   no data
4041.90/1011.88	c  N st    84   3751563       150      3195         0    127324     15975   2473013   no data   no data
4052.28/1014.44	c Decided on static restart strategy
4095.04/1025.16	c  N st    94   3779867       150      3195         0    154116     15975   3278915   no data   no data
4141.36/1036.70	c  N st    96   3815859       150      3195         0    108337     15975   1869890   no data   no data
4188.50/1048.56	c  N st    97   3848251       150      3195         0    138937     15975   2842403   no data   no data
4255.21/1065.20	c  N st    98   3896840       150      3195         0    103846     15975   1703095   no data   no data
4346.28/1088.09	c  N st    99   3969723       150      3195         0     90519     15975   1274552   no data   no data
4488.49/1123.69	c  N st   100   4079047       150      3195         0    110540     15975   1865469   no data   no data
4676.23/1170.60	c  N st   101   4213017       150      3195         0    152859     15975   3064137   no data   no data
4676.23/1170.60	c  S st   101   4213017       150      3195         0    152859     15975   3064137   no data   no data
4678.23/1171.15	c  S st   101   4213524       150      3195         0    153352     15975   3078810   no data   no data
4678.23/1171.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4678.64/1171.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4678.64/1171.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4678.64/1171.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4678.64/1171.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4678.64/1171.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4678.64/1171.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4678.64/1171.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4679.04/1171.37	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: 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-3173931-1304073600/watcher-3173931-1304073600 -o /tmp/evaluation-result-3173931-1304073600/solver-3173931-1304073600 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173931-1304073600.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.48 7.96 7.83 2/175 32255
/proc/meminfo: memFree=25582476/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 409 0 0 0 0 0 0 0 22 0 4 0 499775916 52441088 348 33554432000 4194304 4627427 140734492029936 18446744073709551615 47344129218482 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 12803 348 299 106 0 7774 0
[pid=32255/tid=32256] ppid=32253 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 499775917 52441088 348 33554432000 4194304 4627427 140734492029936 18446744073709551615 47344129218482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 499775917 52441088 348 33554432000 4194304 4627427 140734492029936 18446744073709551615 47344129218486 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 499775917 52441088 348 33554432000 4194304 4627427 140734492029936 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0474009 s]
/proc/loadavg: 7.48 7.96 7.83 2/175 32255
/proc/meminfo: memFree=25582476/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=281864 CPUtime=0.16 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 1684 0 0 0 16 0 0 0 18 0 4 0 499775916 288628736 1500 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 70466 1500 383 106 0 65437 0
[pid=32255/tid=32256] ppid=32253 vsize=281864 CPUtime=0.04 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 372 0 0 0 4 0 0 0 18 0 4 0 499775917 288628736 1500 33554432000 4194304 4627427 140734492029936 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=281864 CPUtime=0.03 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 336 0 0 0 3 0 0 0 24 0 4 0 499775917 288628736 1501 33554432000 4194304 4627427 140734492029936 18446744073709551615 4332314 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=281864 CPUtime=0.03 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 209 0 0 0 3 0 0 0 25 0 4 0 499775917 288628736 1502 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 281864

[startup+0.100391 s]
/proc/loadavg: 7.48 7.96 7.83 2/175 32255
/proc/meminfo: memFree=25582476/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=282016 CPUtime=0.37 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 1994 0 0 0 37 0 0 0 18 0 4 0 499775916 288784384 1810 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 70504 1810 383 106 0 65475 0
[pid=32255/tid=32256] ppid=32253 vsize=282016 CPUtime=0.09 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 447 0 0 0 9 0 0 0 18 0 4 0 499775917 288784384 1810 33554432000 4194304 4627427 140734492029936 18446744073709551615 4332655 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=282016 CPUtime=0.09 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 407 0 0 0 9 0 0 0 24 0 4 0 499775917 288784384 1810 33554432000 4194304 4627427 140734492029936 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=282016 CPUtime=0.09 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 303 0 0 0 9 0 0 0 25 0 4 0 499775917 288784384 1810 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282016

[startup+0.300355 s]
/proc/loadavg: 7.48 7.96 7.83 2/175 32255
/proc/meminfo: memFree=25582476/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=283944 CPUtime=1.17 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 3361 0 0 0 117 0 0 0 18 0 4 0 499775916 290758656 2466 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 70986 2466 384 106 0 65957 0
[pid=32255/tid=32256] ppid=32253 vsize=283944 CPUtime=0.29 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 801 0 0 0 29 0 0 0 18 0 4 0 499775917 290758656 2466 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=283944 CPUtime=0.29 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 746 0 0 0 29 0 0 0 25 0 4 0 499775917 290758656 2466 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=283944 CPUtime=0.29 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 631 0 0 0 29 0 0 0 25 0 4 0 499775917 290758656 2466 33554432000 4194304 4627427 140734492029936 18446744073709551615 4332206 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) 283944

[startup+0.700281 s]
/proc/loadavg: 7.48 7.96 7.83 2/175 32255
/proc/meminfo: memFree=25582476/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=285748 CPUtime=2.77 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 6053 0 0 0 277 0 0 0 18 0 4 0 499775916 292605952 2695 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 71437 2695 384 106 0 66408 0
[pid=32255/tid=32256] ppid=32253 vsize=285748 CPUtime=0.69 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 1488 0 0 0 69 0 0 0 18 0 4 0 499775917 292605952 2695 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=285748 CPUtime=0.69 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 1416 0 0 0 69 0 0 0 25 0 4 0 499775917 292605952 2695 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=285748 CPUtime=0.69 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 1309 0 0 0 69 0 0 0 25 0 4 0 499775917 292605952 2695 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285748

[startup+1.50113 s]
/proc/loadavg: 7.48 7.96 7.83 9/184 32289
/proc/meminfo: memFree=25560876/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=286872 CPUtime=5.96 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 11383 0 0 0 595 1 0 0 20 0 4 0 499775916 293756928 4954 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 71718 4954 388 106 0 66689 0
[pid=32255/tid=32256] ppid=32253 vsize=286872 CPUtime=1.48 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 2504 0 0 0 148 0 0 0 20 0 4 0 499775917 293756928 4954 33554432000 4194304 4627427 140734492029936 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=286872 CPUtime=1.49 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 2416 0 0 0 149 0 0 0 25 0 4 0 499775917 293756928 4954 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=286872 CPUtime=1.48 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 2359 0 0 0 148 0 0 0 25 0 4 0 499775917 293756928 4955 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 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) 286872

[startup+3.10084 s]
/proc/loadavg: 7.48 7.96 7.83 9/184 32289
/proc/meminfo: memFree=25528632/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=296436 CPUtime=12.36 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 22326 0 0 0 1233 3 0 0 25 0 4 0 499775916 303550464 11065 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 74109 11065 388 106 0 69080 0
[pid=32255/tid=32256] ppid=32253 vsize=296436 CPUtime=3.09 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 5179 0 0 0 308 1 0 0 25 0 4 0 499775917 303550464 11065 33554432000 4194304 4627427 140734492029936 18446744073709551615 4328859 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=296436 CPUtime=3.08 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 5720 0 0 0 308 0 0 0 25 0 4 0 499775917 303550464 11065 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=296436 CPUtime=3.07 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 5694 0 0 0 307 0 0 0 25 0 4 0 499775917 303550464 11065 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 296436

[startup+6.30025 s]
/proc/loadavg: 7.52 7.96 7.83 9/184 32289
/proc/meminfo: memFree=25479904/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=297436 CPUtime=25.14 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 35787 0 0 0 2508 6 0 0 25 0 4 0 499775916 304574464 16892 33554432000 4194304 4627427 140734492029936 18446744073709551615 4420278 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 74359 16892 388 106 0 69330 0
[pid=32255/tid=32256] ppid=32253 vsize=297436 CPUtime=6.28 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 8822 0 0 0 627 1 0 0 25 0 4 0 499775917 304574464 16892 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=297436 CPUtime=6.28 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 9192 0 0 0 627 1 0 0 25 0 4 0 499775917 304574464 16892 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=297436 CPUtime=6.25 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 7987 0 0 0 625 0 0 0 25 0 4 0 499775917 304574464 16892 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297436

[startup+12.7011 s]
/proc/loadavg: 7.56 7.96 7.83 9/184 32289
/proc/meminfo: memFree=25430796/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=306520 CPUtime=50.71 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 55500 0 0 0 5062 9 0 0 25 0 4 0 499775916 313876480 21250 33554432000 4194304 4627427 140734492029936 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 76630 21250 388 106 0 71601 0
[pid=32255/tid=32256] ppid=32253 vsize=306520 CPUtime=12.68 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 14118 0 0 0 1266 2 0 0 25 0 4 0 499775917 313876480 21250 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=306520 CPUtime=12.68 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 13444 0 0 0 1266 2 0 0 25 0 4 0 499775917 313876480 21250 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=306520 CPUtime=12.62 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 13295 0 0 0 1261 1 0 0 25 0 4 0 499775917 313876480 21250 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 306520

[startup+25.5007 s]
/proc/loadavg: 7.66 7.97 7.83 9/184 32290
/proc/meminfo: memFree=25376108/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=291288 CPUtime=101.84 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 85108 0 0 0 10167 17 0 0 25 0 4 0 499775916 298278912 30043 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 72822 30043 388 106 0 67793 0
[pid=32255/tid=32256] ppid=32253 vsize=291288 CPUtime=25.48 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 22019 0 0 0 2544 4 0 0 25 0 4 0 499775917 298278912 30043 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=291288 CPUtime=25.48 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 21170 0 0 0 2545 3 0 0 25 0 4 0 499775917 298278912 30043 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=291288 CPUtime=25.36 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 20288 0 0 0 2532 4 0 0 25 0 4 0 499775917 298278912 30043 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 291288

[startup+51.101 s]
/proc/loadavg: 7.77 7.97 7.84 9/184 32290
/proc/meminfo: memFree=25333388/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=292784 CPUtime=204.12 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 128593 0 0 0 20384 28 0 0 25 0 4 0 499775916 299810816 35839 33554432000 4194304 4627427 140734492029936 18446744073709551615 4327429 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 73196 35839 388 106 0 68167 0
[pid=32255/tid=32256] ppid=32253 vsize=292784 CPUtime=51.09 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 32801 0 0 0 5102 7 0 0 25 0 4 0 499775917 299810816 35839 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=292784 CPUtime=51.08 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 32410 0 0 0 5102 6 0 0 25 0 4 0 499775917 299810816 35839 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=292784 CPUtime=50.84 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 30327 0 0 0 5077 7 0 0 25 0 4 0 499775917 299810816 35839 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 292784

[startup+102.307 s]
/proc/loadavg: 7.95 7.99 7.85 9/184 32292
/proc/meminfo: memFree=25259328/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=385484 CPUtime=408.69 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 197548 0 0 0 40822 47 0 0 25 0 4 0 499775916 394735616 50634 33554432000 4194304 4627427 140734492029936 18446744073709551615 4420191 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 96371 50634 388 106 0 91342 0
[pid=32255/tid=32256] ppid=32253 vsize=385484 CPUtime=102.3 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 46806 0 0 0 10219 11 0 0 25 0 4 0 499775917 394735616 50634 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=385484 CPUtime=102.28 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 49832 0 0 0 10218 10 0 0 25 0 4 0 499775917 394735616 50634 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=385484 CPUtime=101.79 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 49528 0 0 0 10166 13 0 0 25 0 4 0 499775917 394735616 50634 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 385484

[startup+162.3 s]

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

[pid=32255] ppid=32253 vsize=561020 CPUtime=2565.89 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 562950 0 0 0 256395 194 0 0 25 0 4 0 499775916 574484480 99083 33554432000 4194304 4627427 140734492029936 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 140255 99083 388 106 0 135226 0
[pid=32255/tid=32256] ppid=32253 vsize=561020 CPUtime=642.32 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 142355 0 0 0 64182 50 0 0 25 0 4 0 499775917 574484480 99083 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=561020 CPUtime=642.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 134138 0 0 0 64188 42 0 0 25 0 4 0 499775917 574484480 99083 33554432000 4194304 4627427 140734492029936 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=561020 CPUtime=639 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 151873 0 0 0 63843 57 0 0 25 0 4 0 499775917 574484480 99083 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.89
Current children cumulated vsize (KiB) 561020

[startup+702.301 s]
/proc/loadavg: 8.15 8.07 7.94 9/184 32308
/proc/meminfo: memFree=24880964/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=613608 CPUtime=2805.54 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 599056 0 0 0 280346 208 0 0 25 0 4 0 499775916 628334592 103552 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 153402 103552 388 106 0 148373 0
[pid=32255/tid=32256] ppid=32253 vsize=613608 CPUtime=702.31 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 152474 0 0 0 70176 55 0 0 25 0 4 0 499775917 628334592 103552 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=613608 CPUtime=702.29 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 140961 0 0 0 70185 44 0 0 25 0 4 0 499775917 628334592 103552 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=613608 CPUtime=698.67 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 161239 0 0 0 69807 60 0 0 25 0 4 0 499775917 628334592 103552 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.54
Current children cumulated vsize (KiB) 613608

[startup+762.307 s]
/proc/loadavg: 8.11 8.07 7.94 9/184 32309
/proc/meminfo: memFree=24826776/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=706456 CPUtime=3045.26 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 633948 0 0 0 304303 223 0 0 25 0 4 0 499775916 723410944 120574 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 176614 120574 388 106 0 171585 0
[pid=32255/tid=32256] ppid=32253 vsize=706456 CPUtime=762.32 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 165023 0 0 0 76173 59 0 0 25 0 4 0 499775917 723410944 120574 33554432000 4194304 4627427 140734492029936 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=706456 CPUtime=762.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 147379 0 0 0 76183 47 0 0 25 0 4 0 499775917 723410944 120574 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=706456 CPUtime=758.37 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 172033 0 0 0 75773 64 0 0 25 0 4 0 499775917 723410944 120574 33554432000 4194304 4627427 140734492029936 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.26
Current children cumulated vsize (KiB) 706456

[startup+822.301 s]
/proc/loadavg: 8.09 8.07 7.95 9/184 32311
/proc/meminfo: memFree=24837680/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=603036 CPUtime=3284.91 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 655565 0 0 0 328257 234 0 0 25 0 4 0 499775916 617508864 109112 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 150759 109112 388 106 0 145730 0
[pid=32255/tid=32256] ppid=32253 vsize=603036 CPUtime=822.31 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 169342 0 0 0 82170 61 0 0 25 0 4 0 499775917 617508864 109112 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=603036 CPUtime=822.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 151422 0 0 0 82180 50 0 0 25 0 4 0 499775917 617508864 109112 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=603036 CPUtime=818.04 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 178186 0 0 0 81737 67 0 0 25 0 4 0 499775917 617508864 109112 33554432000 4194304 4627427 140734492029936 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.91
Current children cumulated vsize (KiB) 603036

[startup+882.301 s]
/proc/loadavg: 8.07 8.07 7.95 9/184 32313
/proc/meminfo: memFree=24814240/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=645176 CPUtime=3524.59 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 689939 0 0 0 352210 249 0 0 25 0 4 0 499775916 660660224 112473 33554432000 4194304 4627427 140734492029936 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 161294 112473 388 106 0 156265 0
[pid=32255/tid=32256] ppid=32253 vsize=645176 CPUtime=882.31 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 177693 0 0 0 88167 64 0 0 25 0 4 0 499775917 660660224 112473 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=645176 CPUtime=882.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 161347 0 0 0 88176 54 0 0 25 0 4 0 499775917 660660224 112473 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=645176 CPUtime=877.72 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 186819 0 0 0 87701 71 0 0 25 0 4 0 499775917 660660224 112473 33554432000 4194304 4627427 140734492029936 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.59
Current children cumulated vsize (KiB) 645176

[startup+942.301 s]
/proc/loadavg: 8.07 8.07 7.96 9/184 32314
/proc/meminfo: memFree=24757184/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=665280 CPUtime=3764.26 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 726389 0 0 0 376161 265 0 0 25 0 4 0 499775916 681246720 121126 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 166320 121126 388 106 0 161291 0
[pid=32255/tid=32256] ppid=32253 vsize=665280 CPUtime=942.32 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 187727 0 0 0 94163 69 0 0 25 0 4 0 499775917 681246720 121126 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=665280 CPUtime=942.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 169763 0 0 0 94172 58 0 0 25 0 4 0 499775917 681246720 121126 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=665280 CPUtime=937.4 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 196958 0 0 0 93665 75 0 0 25 0 4 0 499775917 681246720 121126 33554432000 4194304 4627427 140734492029936 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.26
Current children cumulated vsize (KiB) 665280

[startup+1002.3 s]
/proc/loadavg: 8.06 8.07 7.96 9/184 32316
/proc/meminfo: memFree=24784080/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=670288 CPUtime=4003.94 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 745114 0 0 0 400120 274 0 0 25 0 4 0 499775916 686374912 115456 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 167572 115456 388 106 0 162543 0
[pid=32255/tid=32256] ppid=32253 vsize=670288 CPUtime=1002.32 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 192129 0 0 0 100161 71 0 0 25 0 4 0 499775917 686374912 115456 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=670288 CPUtime=1002.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 177011 0 0 0 100168 62 0 0 25 0 4 0 499775917 686374912 115456 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=670288 CPUtime=997.08 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 200232 0 0 0 99632 76 0 0 25 0 4 0 499775917 686374912 115456 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.94
Current children cumulated vsize (KiB) 670288

[startup+1062.3 s]
/proc/loadavg: 8.06 8.07 7.97 9/184 32317
/proc/meminfo: memFree=24747492/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=779480 CPUtime=4243.62 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 777288 0 0 0 424071 291 0 0 25 0 4 0 499775916 798187520 121831 33554432000 4194304 4627427 140734492029936 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 194870 121831 388 106 0 189841 0
[pid=32255/tid=32256] ppid=32253 vsize=779480 CPUtime=1062.32 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 200216 0 0 0 106158 74 0 0 25 0 4 0 499775917 798187520 121831 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=779480 CPUtime=1062.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 185107 0 0 0 106164 66 0 0 25 0 4 0 499775917 798187520 121831 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=779480 CPUtime=1056.76 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 208484 0 0 0 105595 81 0 0 25 0 4 0 499775917 798187520 121831 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.62
Current children cumulated vsize (KiB) 779480

[startup+1122.3 s]
/proc/loadavg: 8.02 8.05 7.97 9/184 32319
/proc/meminfo: memFree=24755672/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=723384 CPUtime=4483.3 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 808202 0 0 0 448023 307 0 0 25 0 4 0 499775916 740745216 120184 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 180846 120184 388 106 0 175817 0
[pid=32255/tid=32256] ppid=32253 vsize=723384 CPUtime=1122.33 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 208129 0 0 0 112155 78 0 0 25 0 4 0 499775917 740745216 120184 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=723384 CPUtime=1122.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 193372 0 0 0 112160 70 0 0 25 0 4 0 499775917 740745216 120184 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=723384 CPUtime=1116.43 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 216791 0 0 0 111557 86 0 0 25 0 4 0 499775917 740745216 120184 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.3
Current children cumulated vsize (KiB) 723384

[startup+1182.3 s]
/proc/loadavg: 8.04 8.05 7.97 9/184 32321
/proc/meminfo: memFree=24722664/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=740204 CPUtime=4722.97 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 841480 0 0 0 471977 320 0 0 25 0 4 0 499775916 757968896 127793 33554432000 4194304 4627427 140734492029936 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 185051 127793 388 106 0 180022 0
[pid=32255/tid=32256] ppid=32253 vsize=740204 CPUtime=1182.32 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 216537 0 0 0 118150 82 0 0 25 0 4 0 499775917 757968896 127793 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=740204 CPUtime=1182.3 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 201373 0 0 0 118157 73 0 0 25 0 4 0 499775917 757968896 127793 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=740204 CPUtime=1176.11 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 223105 0 0 0 117521 90 0 0 25 0 4 0 499775917 757968896 127793 33554432000 4194304 4627427 140734492029936 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.97
Current children cumulated vsize (KiB) 740204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.10 8.07 7.98 9/184 32321
/proc/meminfo: memFree=24736556/32951124 swapFree=67111524/67111528
[pid=32255] ppid=32253 vsize=725596 CPUtime=4800.09 cores=1,3,5,7
/proc/32255/stat : 32255 (strangenight2-m) R 32253 32255 30400 0 -1 4202496 848306 0 0 0 479685 324 0 0 25 0 4 0 499775916 743010304 125930 33554432000 4194304 4627427 140734492029936 18446744073709551615 4420204 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32255/statm: 181399 125930 388 106 0 176370 0
[pid=32255/tid=32256] ppid=32253 vsize=725596 CPUtime=1201.63 cores=1,3,5,7
/proc/32255/task/32256/stat : 32256 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 217977 0 0 0 120080 83 0 0 25 0 4 0 499775917 743010304 125930 33554432000 4194304 4627427 140734492029936 18446744073709551615 4338564 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32255/tid=32257] ppid=32253 vsize=725596 CPUtime=1201.61 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 203853 0 0 0 120087 74 0 0 25 0 4 0 499775917 743010304 125930 33554432000 4194304 4627427 140734492029936 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32253 vsize=725596 CPUtime=1195.3 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (strangenight2-m) R 32253 32255 30400 0 -1 4202560 226011 0 0 0 119439 91 0 0 25 0 4 0 499775917 743010304 125930 33554432000 4194304 4627427 140734492029936 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 725596

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.13
CPU user time (s): 4796.87
CPU system time (s): 3.2615
CPU usage (%): 399.468
Max. virtual memory (cumulated for all children) (KiB): 815188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.87
system time used= 3.2615
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 848308
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= 437
involuntary context switches= 32575

runsolver used 1.85572 second user time and 4.48532 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 12:40:00
IDJOB=3173931
IDBENCH=82749
IDSOLVER=1586
FILE ID=node147/3173931-1304073600
RUNJOBID= node147-1304072396-32166
PBS_JOBID= 13170424
Free space on /tmp= 72648 MiB

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

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

MD5SUM BENCH= 04148c6828d9f9ccd74e3efaedcb8c52
RANDOM SEED=683057087

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25582756 kB
Buffers:       1030752 kB
Cached:        5825620 kB
SwapCached:          4 kB
Active:        1364040 kB
Inactive:      5558404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25582756 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5492 kB
Writeback:           0 kB
AnonPages:       65748 kB
Mapped:          15096 kB
Slab:           382492 kB
PageTables:       4720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218324 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= 72648 MiB
End job on node147 at 2011-04-29 13:00:04