Trace number 3366628

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.39 1203.35

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf
MD5SUMd6fc0fc1938fb2a6255c0a87d93d5767
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3366628-1305410850.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2130/2130 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:    100 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.77/0.29	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.29	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.77/0.29	c calculated reachability. Time: 0.00
0.77/0.29	c Calc default polars -  time:   0.00 s pos:      44 undec:       0 neg:      56
0.77/0.29	c =========================================================================================
0.77/0.29	c types(t): F = full restart, N = normal restart
0.77/0.29	c types(t): S = simplification begin/end, E = solution found
0.77/0.29	c restart types(rt): st = static, dy = dynamic
0.77/0.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.29	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.77/0.29	c Decided on static restart strategy
0.77/0.29	c  N st     8      4919       100      2130         0      4610     10650    100850   no data   no data
3.57/0.90	c  N st    10     11304       100      2130         0      4257     10650     74181   no data   no data
3.57/0.90	c  N st    11     17047       100      2130         0      9628     10650    196008   no data   no data
3.57/0.90	c  F st    12     25000       100      2130         0     11773     10650    238058   no data   no data
3.57/0.90	c  N st    12     25000       100      2130         0     11773     10650    238058   no data   no data
3.99/1.10	c Decided on static restart strategy
3.99/1.10	c  N st    18     30000       100      2130         0     10124     10650    188975   no data   no data
3.99/1.10	c  S st    18     30000       100      2130         0     10124     10650    188975   no data   no data
3.99/1.10	c  S st    18     30503       100      2130         0     10605     10650    199696   no data   no data
3.99/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.99/1.10	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.99/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.99/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.99/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.99/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c lits-rem:       342  cl-subs:     1819  v-elim:      0  v-fix:    0  time:  0.17 s
5.17/1.30	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
5.17/1.30	c calculated reachability. Time: 0.00
5.17/1.30	c  N st    18     30503       100      2130         0      8786     10650    159060   no data   no data
5.96/1.60	c  N st    20     37617       100      2130         0      8098     10650    131339   no data   no data
7.16/1.89	c  N st    21     44017       100      2130         0     13948     10650    250987   no data   no data
7.56/1.97	c  S st    22     45754       100      2130         0     15559     10650    284898   no data   no data
7.96/2.02	c  S st    22     46257       100      2130         0     16039     10650    295585   no data   no data
7.96/2.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.96/2.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.96/2.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.96/2.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.96/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.96/2.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.96/2.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.43	c lits-rem:       327  cl-subs:     2389  v-elim:      0  v-fix:    0  time:  0.40 s
9.55/2.43	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.55/2.44	c vivif2 --  cl tried    13650 cl shrink        0 lits rem          0 time: 0.00
9.55/2.49	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.55/2.49	c calculated reachability. Time: 0.00
9.55/2.49	c  N st    22     46257       100      2130         0     13650     10650    247284   no data   no data
12.35/3.19	c  N st    23     60654       100      2130         0      9627     10650    141471   no data   no data
14.34/3.61	c  N st    24     69385       100      2130         0     17710     10650    317511   no data   no data
14.34/3.61	c  S st    24     69385       100      2130         0     17710     10650    317511   no data   no data
14.34/3.66	c  S st    24     69889       100      2130         0     18198     10650    328390   no data   no data
14.34/3.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.34/3.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.34/3.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.34/3.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.34/3.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.34/3.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.34/3.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.34/3.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.34/3.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.11	c lits-rem:       380  cl-subs:     2198  v-elim:      0  v-fix:    0  time:  0.43 s
16.34/4.11	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.34/4.11	c vivif2 --  cl tried    16000 cl shrink        0 lits rem          0 time: 0.00
16.34/4.17	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.34/4.17	c calculated reachability. Time: 0.00
16.34/4.17	c  N st    24     69889       100      2130         0     16000     10650    282277   no data   no data
20.72/5.23	c  F st    25     87500       100      2130         0     11111     10650    159621   no data   no data
20.72/5.23	c  N st    25     87500       100      2130         0     11111     10650    159621   no data   no data
21.54/5.50	c Decided on static restart strategy
22.31/5.68	c  N st    32     95539       100      2130         0     18583     10650    322100   no data   no data
24.71/6.21	c  N st    34    104833       100      2130         0     15213     10650    243623   no data   no data
24.71/6.21	c  S st    34    104833       100      2130         0     15213     10650    243623   no data   no data
24.71/6.26	c  S st    34    105335       100      2130         0     15696     10650    254375   no data   no data
24.71/6.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.71/6.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.71/6.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.71/6.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.71/6.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.71/6.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.71/6.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.71/6.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.71/6.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.52/6.41	c lits-rem:       154  cl-subs:     1185  v-elim:      0  v-fix:    0  time:  0.14 s
25.52/6.41	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.52/6.42	c vivif2 --  cl tried    14511 cl shrink        0 lits rem          0 time: 0.00
25.52/6.47	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.52/6.47	c calculated reachability. Time: 0.00
25.52/6.47	c  N st    34    105335       100      2130         0     14511     10650    228757   no data   no data
27.90/7.09	c  N st    35    114934       100      2130         0     23403     10650    417530   no data   no data
31.89/8.08	c  N st    36    129335       100      2130         0     23721     10650    413616   no data   no data
38.28/9.66	c  N st    37    150932       100      2130         0     15088     10650    200374   no data   no data
39.86/10.08	c  S st    38    158002       100      2130         0     21662     10650    343257   no data   no data
40.26/10.14	c  S st    38    158504       100      2130         0     22140     10650    354075   no data   no data
40.26/10.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.26/10.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
40.26/10.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.26/10.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.26/10.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.26/10.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.26/10.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.26/10.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.26/10.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.87/10.56	c lits-rem:       434  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  0.40 s
41.87/10.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.87/10.57	c vivif2 --  cl tried    20081 cl shrink        0 lits rem          0 time: 0.00
42.27/10.64	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
42.27/10.64	c calculated reachability. Time: 0.00
42.27/10.64	c  N st    38    158504       100      2130         0     20081     10650    311411   no data   no data
57.82/14.57	c  N st    39    207092       100      2130         0     32508     10650    546395   no data   no data
69.00/17.36	c  N st    40    237757       100      2130         0     24924     10650    373330   no data   no data
69.00/17.36	c  S st    40    237757       100      2130         0     24924     10650    373330   no data   no data
69.40/17.42	c  S st    40    238265       100      2130         0     25416     10650    384247   no data   no data
69.40/17.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.40/17.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
69.40/17.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.40/17.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.40/17.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.40/17.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
69.40/17.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.40/17.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
69.40/17.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.38/17.95	c lits-rem:       377  cl-subs:     2341  v-elim:      0  v-fix:    0  time:  0.50 s
71.38/17.95	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
71.38/17.95	c vivif2 --  cl tried    23075 cl shrink        0 lits rem          0 time: 0.00
71.78/18.03	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
71.78/18.04	c calculated reachability. Time: 0.00
71.78/18.04	c  N st    40    238265       100      2130         0     23075     10650    340269   no data   no data
96.91/24.35	c  F st    41    306250       100      2130         0     24938     10650    340815   no data   no data
96.91/24.35	c  N st    41    306250       100      2130         0     24938     10650    340815   no data   no data
98.91/24.87	c Decided on static restart strategy
107.69/27.09	c  N st    51    334554       100      2130         0     29085     10650    421978   no data   no data
116.47/29.22	c  N st    53    357398       100      2130         0     27129     10650    365019   no data   no data
116.47/29.22	c  S st    53    357398       100      2130         0     27129     10650    365019   no data   no data
116.47/29.29	c  S st    53    357902       100      2130         0     27606     10650    375744   no data   no data
116.47/29.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
116.86/29.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
116.86/29.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.86/29.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
116.86/29.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.86/29.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
116.86/29.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.86/29.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
116.86/29.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
117.66/29.58	c lits-rem:       379  cl-subs:     1341  v-elim:      0  v-fix:    0  time:  0.27 s
117.66/29.58	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
117.66/29.59	c vivif2 --  cl tried    26265 cl shrink        0 lits rem          0 time: 0.00
118.08/29.69	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
118.08/29.69	c calculated reachability. Time: 0.00
118.08/29.69	c  N st    53    357902       100      2130         0     26265     10650    349954   no data   no data
130.43/32.72	c  N st    54    390294       100      2130         0     32229     10650    473354   no data   no data
153.19/38.47	c  N st    55    438882       100      2130         0     26343     10650    321832   no data   no data
185.48/46.53	c  N st    56    511764       100      2130         0     38957     10650    567978   no data   no data
197.84/49.69	c  N st    57    536853       100      2130         0     33551     10650    439232   no data   no data
197.84/49.69	c  S st    57    536853       100      2130         0     33551     10650    439232   no data   no data
198.24/49.78	c  S st    57    537357       100      2130         0     34035     10650    450435   no data   no data
198.24/49.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
198.24/49.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
198.24/49.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.24/49.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
198.24/49.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.24/49.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
198.24/49.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
198.24/49.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
198.64/49.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
200.24/50.23	c lits-rem:       381  cl-subs:     1618  v-elim:      0  v-fix:    0  time:  0.42 s
200.24/50.23	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
200.24/50.23	c vivif2 --  cl tried    32417 cl shrink        0 lits rem          0 time: 0.01
200.64/50.35	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
200.64/50.35	c calculated reachability. Time: 0.00
200.64/50.35	c  N st    57    537357       100      2130         0     32417     10650    419386   no data   no data
288.82/72.42	c  N st    58    701342       100      2130         0     60069     10650    963073   no data   no data
344.26/86.36	c  N st    59    806035       100      2130         0     54136     10650    802550   no data   no data
344.26/86.36	c  S st    59    806035       100      2130         0     54136     10650    802550   no data   no data
345.06/86.52	c  S st    59    806541       100      2130         0     54619     10650    813725   no data   no data
345.06/86.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
345.06/86.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
345.06/86.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
345.06/86.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
345.06/86.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
345.06/86.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
345.06/86.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
345.06/86.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
345.06/86.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
357.42/89.68	c lits-rem:      1406  cl-subs:     6366  v-elim:      0  v-fix:    0  time:  3.11 s
357.42/89.68	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
357.42/89.69	c vivif2 --  cl tried    48253 cl shrink        0 lits rem          0 time: 0.01
358.63/89.92	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.22
358.63/89.92	c calculated reachability. Time: 0.00
358.63/89.92	c  N st    59    806541       100      2130         0     48253     10650    693230   no data   no data
522.98/131.16	c  F st    60   1071876       100      2130         0     63371     10650    929749   no data   no data
522.98/131.16	c  N st    60   1071876       100      2130         0     63371     10650    929749   no data   no data
526.98/132.13	c Decided on static restart strategy
542.94/136.14	c  N st    70   1100176       100      2130         0     48532     10650    624775   no data   no data
568.87/142.65	c  N st    72   1136168       100      2130         0     81794     10650   1370805   no data   no data
590.41/148.01	c  N st    73   1168560       100      2130         0     69309     10650   1073298   no data   no data
622.32/156.05	c  N st    74   1209811       100      2130         0     63903     10650    930769   no data   no data
622.32/156.05	c  S st    74   1209811       100      2130         0     63903     10650    930769   no data   no data
623.16/156.23	c  S st    74   1210317       100      2130         0     64379     10650    941532   no data   no data
623.16/156.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
623.16/156.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
623.16/156.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
623.16/156.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
623.16/156.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
623.16/156.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
623.16/156.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
623.16/156.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
623.52/156.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
642.27/161.08	c lits-rem:      1106  cl-subs:     5755  v-elim:      0  v-fix:    0  time:  4.78 s
642.27/161.08	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
642.67/161.10	c vivif2 --  cl tried    58624 cl shrink        0 lits rem          0 time: 0.01
644.27/161.50	c asymm  cl-useful: 0/1906/2130 lits-rem:0 time: 0.40
644.27/161.50	c calculated reachability. Time: 0.00
644.27/161.50	c  N st    74   1210317       100      2130         0     58624     10650    823079   no data   no data
710.52/178.18	c  N st    75   1283200       100      2130         0     81794     10650   1315329   no data   no data
799.04/200.32	c  N st    76   1392526       100      2130         0     91325     10650   1517371   no data   no data
927.50/232.59	c  N st    77   1556511       100      2130         0     98380     10650   1576330   no data   no data
1053.97/264.29	c  N st    78   1710318       100      2130         0     87681     10650   1293667   no data   no data
1053.97/264.29	c  S st    78   1710318       100      2130         0     87681     10650   1293667   no data   no data
1055.17/264.56	c  S st    78   1710825       100      2130         0     88169     10650   1304711   no data   no data
1055.17/264.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1055.57/264.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1055.57/264.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1055.57/264.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1055.57/264.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1055.57/264.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1055.57/264.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1055.57/264.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1055.57/264.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1102.23/276.30	c lits-rem:      1843  cl-subs:    12565  v-elim:      0  v-fix:    0  time: 11.64 s
1102.23/276.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1102.23/276.32	c vivif2 --  cl tried    75604 cl shrink        0 lits rem          0 time: 0.02
1103.83/276.75	c asymm  cl-useful: 0/1626/2130 lits-rem:0 time: 0.43
1103.83/276.75	c calculated reachability. Time: 0.00
1103.83/276.75	c  N st    78   1710825       100      2130         0     75604     10650   1077488   no data   no data
1472.84/369.24	c  N st    79   2079790       100      2130         0     87307     10650   1229047   no data   no data
1587.33/397.91	c  N st    80   2210825       100      2130         0     91290     10650   1300769   no data   no data
1587.33/397.91	c  S st    80   2210825       100      2130         0     91290     10650   1300769   no data   no data
1588.15/398.19	c  S st    80   2211325       100      2130         0     91770     10650   1312256   no data   no data
1588.15/398.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1588.57/398.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1588.57/398.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1588.57/398.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1588.57/398.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1588.57/398.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1588.57/398.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1588.57/398.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1588.57/398.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1625.22/407.49	c lits-rem:      1893  cl-subs:    10997  v-elim:      0  v-fix:    0  time:  9.19 s
1625.22/407.49	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1625.62/407.51	c vivif2 --  cl tried    80773 cl shrink        0 lits rem          0 time: 0.02
1626.02/407.64	c asymm  cl-useful: 0/504/2130 lits-rem:0 time: 0.13
1626.02/407.64	c calculated reachability. Time: 0.00
1626.02/407.64	c  N st    80   2211325       100      2130         0     80773     10650   1114743   no data   no data
2139.45/536.31	c  N st    81   2711325       100      2130         0    103418     10650   1493716   no data   no data
2139.45/536.31	c  S st    81   2711325       100      2130         0    103418     10650   1493716   no data   no data
2140.65/536.65	c  S st    81   2711831       100      2130         0    103904     10650   1505297   no data   no data
2140.65/536.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2140.65/536.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2140.65/536.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2140.65/536.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2140.65/536.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2140.65/536.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2140.65/536.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2141.07/536.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2141.07/536.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2188.52/548.65	c lits-rem:      1160  cl-subs:    12584  v-elim:      0  v-fix:    0  time: 11.89 s
2188.52/548.65	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2188.52/548.67	c vivif2 --  cl tried    91320 cl shrink        0 lits rem          0 time: 0.02
2190.10/549.00	c asymm  cl-useful: 0/1284/2130 lits-rem:0 time: 0.33
2190.10/549.00	c calculated reachability. Time: 0.00
2190.10/549.00	c  N st    81   2711831       100      2130         0     91320     10650   1272554   no data   no data
2786.13/698.45	c  N st    82   3211832       100      2130         0    140543     10650   2198937   no data   no data
2786.13/698.45	c  S st    82   3211832       100      2130         0    140543     10650   2198937   no data   no data
2788.10/698.94	c  S st    82   3212336       100      2130         0    141020     10650   2209965   no data   no data
2788.10/698.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2788.50/699.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2788.50/699.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2788.50/699.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2788.50/699.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2788.50/699.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2788.50/699.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2788.50/699.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2788.90/699.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2962.07/742.58	c lits-rem:      2949  cl-subs:    25516  v-elim:      0  v-fix:    0  time: 43.46 s
2962.07/742.58	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2962.42/742.60	c vivif2 --  cl tried   115504 cl shrink        0 lits rem          0 time: 0.03
2964.02/743.00	c asymm  cl-useful: 0/846/2130 lits-rem:0 time: 0.40
2964.02/743.01	c calculated reachability. Time: 0.00
2964.02/743.01	c  N st    82   3212336       100      2130         0    115504     10650   1745513   no data   no data
3506.22/878.95	c  N st    83   3712339       100      2130         0    133173     10650   1964384   no data   no data
3506.22/878.95	c  S st    83   3712339       100      2130         0    133173     10650   1964384   no data   no data
3507.77/879.35	c  S st    83   3712841       100      2130         0    133653     10650   1975670   no data   no data
3507.77/879.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3508.17/879.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
3508.17/879.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3508.17/879.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3508.17/879.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3508.17/879.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3508.17/879.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3508.17/879.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3508.57/879.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3634.63/911.18	c lits-rem:      2863  cl-subs:    22100  v-elim:      0  v-fix:    0  time: 31.67 s
3634.63/911.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3635.03/911.20	c vivif2 --  cl tried   111553 cl shrink        0 lits rem          0 time: 0.02
3636.23/911.57	c asymm  cl-useful: 0/1047/2130 lits-rem:0 time: 0.36
3636.23/911.57	c calculated reachability. Time: 0.00
3636.23/911.57	c  N st    83   3712841       100      2130         0    111553     10650   1588236   no data   no data
3692.07/925.57	c  F st    84   3751562       100      2130         0    146849     10650   2328257   no data   no data
3692.07/925.57	c  N st    84   3751562       100      2130         0    146849     10650   2328257   no data   no data
3704.44/928.62	c Decided on static restart strategy
3727.97/934.53	c  N st    94   3779866       100      2130         0     97433     10650   1273656   no data   no data
3775.84/946.57	c  N st    96   3815858       100      2130         0    130386     10650   1971005   no data   no data
3822.92/958.31	c  N st    97   3848250       100      2130         0     82909     10650    926337   no data   no data
3871.98/970.66	c  N st    98   3896839       100      2130         0    127393     10650   1876622   no data   no data
3962.17/993.28	c  N st    99   3969723       100      2130         0    115987     10650   1634484   no data   no data
4114.13/1031.38	c  N st   100   4079047       100      2130         0    136779     10650   2114687   no data   no data
4307.60/1079.81	c  N st   101   4212842       100      2130         0     96897     10650   1173418   no data   no data
4307.60/1079.81	c  S st   101   4212842       100      2130         0     96897     10650   1173418   no data   no data
4308.83/1080.17	c  S st   101   4213347       100      2130         0     97379     10650   1184689   no data   no data
4308.83/1080.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4309.24/1080.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
4309.24/1080.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4309.24/1080.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4309.24/1080.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4309.24/1080.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4309.24/1080.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4309.24/1080.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4309.59/1080.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4332.73/1086.13	c lits-rem:       489  cl-subs:     5062  v-elim:      0  v-fix:    0  time:  5.82 s
4332.73/1086.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4332.73/1086.15	c vivif2 --  cl tried    92317 cl shrink        0 lits rem          0 time: 0.02
4334.33/1086.59	c asymm  cl-useful: 0/1083/2130 lits-rem:0 time: 0.45
4334.33/1086.60	c calculated reachability. Time: 0.00
4334.33/1086.60	c  N st   101   4213347       100      2130         0     92317     10650   1090004   no data   no data
4726.86/1184.96	c  N st   102   4459325       100      2130         0    151885     10650   2322791   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366628-1305410850/watcher-3366628-1305410850 -o /tmp/evaluation-result-3366628-1305410850/solver-3366628-1305410850 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366628-1305410850.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: 0.00 0.00 0.04 7/333 21053
/proc/meminfo: memFree=23392048/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 407 0 0 0 1 0 0 0 21 0 4 0 633500585 52396032 348 33554432000 4194304 4580107 140735364907040 18446744073709551615 47831901157298 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 12792 348 299 95 0 7774 0
[pid=21053/tid=21054] ppid=21051 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 633500585 52396032 348 33554432000 4194304 4580107 140735364907040 18446744073709551615 47831901157298 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 633500585 52396032 348 33554432000 4194304 4580107 140735364907040 18446744073709551615 47831901157298 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 633500585 52396032 348 33554432000 4194304 4580107 140735364907040 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.031362 s]
/proc/loadavg: 0.00 0.00 0.04 7/333 21053
/proc/meminfo: memFree=23392048/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=282104 CPUtime=0.1 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 1255 0 0 0 10 0 0 0 18 0 4 0 633500585 288874496 1127 33554432000 4194304 4580107 140735364907040 18446744073709551615 4301432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 70526 1127 375 95 0 65508 0
[pid=21053/tid=21054] ppid=21051 vsize=282104 CPUtime=0.02 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 255 0 0 0 2 0 0 0 18 0 4 0 633500585 288874496 1127 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294721 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=282104 CPUtime=0.02 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 202 0 0 0 2 0 0 0 18 0 4 0 633500585 288874496 1127 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294818 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=282104 CPUtime=0.01 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 149 0 0 0 1 0 0 0 24 0 4 0 633500585 288874496 1127 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 282104

[startup+0.100348 s]
/proc/loadavg: 0.00 0.00 0.04 7/333 21053
/proc/meminfo: memFree=23392048/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=282236 CPUtime=0.37 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 1670 0 0 0 37 0 0 0 18 0 4 0 633500585 289009664 1542 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 70559 1542 376 95 0 65541 0
[pid=21053/tid=21054] ppid=21051 vsize=282236 CPUtime=0.09 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 377 0 0 0 9 0 0 0 18 0 4 0 633500585 289009664 1542 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=282236 CPUtime=0.09 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 300 0 0 0 9 0 0 0 18 0 4 0 633500585 289009664 1542 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=282236 CPUtime=0.08 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 243 0 0 0 8 0 0 0 24 0 4 0 633500585 289009664 1542 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 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) 282236

[startup+0.300308 s]
/proc/loadavg: 0.00 0.00 0.04 7/333 21053
/proc/meminfo: memFree=23392048/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=284244 CPUtime=1.17 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 3019 0 0 0 117 0 0 0 18 0 4 0 633500585 291065856 1970 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 71061 1970 377 95 0 66043 0
[pid=21053/tid=21054] ppid=21051 vsize=284244 CPUtime=0.29 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 783 0 0 0 29 0 0 0 18 0 4 0 633500585 291065856 1970 33554432000 4194304 4580107 140735364907040 18446744073709551615 4321096 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=284244 CPUtime=0.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 589 0 0 0 29 0 0 0 18 0 4 0 633500585 291065856 1970 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=284244 CPUtime=0.28 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 625 0 0 0 28 0 0 0 25 0 4 0 633500585 291065856 1970 33554432000 4194304 4580107 140735364907040 18446744073709551615 4306352 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) 284244

[startup+0.700229 s]
/proc/loadavg: 0.00 0.00 0.04 7/333 21053
/proc/meminfo: memFree=23392048/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=285408 CPUtime=2.77 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 5021 0 0 0 277 0 0 0 18 0 4 0 633500585 292257792 2547 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 71352 2547 377 95 0 66334 0
[pid=21053/tid=21054] ppid=21051 vsize=285408 CPUtime=0.69 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 1234 0 0 0 69 0 0 0 18 0 4 0 633500585 292257792 2547 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=285408 CPUtime=0.69 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 1164 0 0 0 69 0 0 0 18 0 4 0 633500585 292257792 2547 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=285408 CPUtime=0.68 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 1054 0 0 0 68 0 0 0 25 0 4 0 633500585 292257792 2547 33554432000 4194304 4580107 140735364907040 18446744073709551615 4293229 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) 285408

[startup+1.50107 s]
/proc/loadavg: 0.00 0.00 0.04 9/337 21057
/proc/meminfo: memFree=23372920/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=286480 CPUtime=5.96 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 10164 0 0 0 595 1 0 0 20 0 4 0 633500585 293355520 5248 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 71620 5248 379 95 0 66602 0
[pid=21053/tid=21054] ppid=21051 vsize=286480 CPUtime=1.49 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 3031 0 0 0 149 0 0 0 19 0 4 0 633500585 293355520 5248 33554432000 4194304 4580107 140735364907040 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=286480 CPUtime=1.49 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 1940 0 0 0 149 0 0 0 19 0 4 0 633500585 293355520 5248 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=286480 CPUtime=1.47 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 1841 0 0 0 147 0 0 0 25 0 4 0 633500585 293355520 5248 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294624 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) 286480

[startup+3.10076 s]
/proc/loadavg: 0.64 0.13 0.08 9/337 21057
/proc/meminfo: memFree=23320960/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=285960 CPUtime=12.35 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 19731 0 0 0 1232 3 0 0 25 0 4 0 633500585 292823040 11224 33554432000 4194304 4580107 140735364907040 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 71490 11224 379 95 0 66472 0
[pid=21053/tid=21054] ppid=21051 vsize=285960 CPUtime=3.08 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 5530 0 0 0 308 0 0 0 25 0 4 0 633500585 292823040 11224 33554432000 4194304 4580107 140735364907040 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=285960 CPUtime=3.08 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 4776 0 0 0 308 0 0 0 25 0 4 0 633500585 292823040 11224 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=285960 CPUtime=3.05 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 4410 0 0 0 305 0 0 0 25 0 4 0 633500585 292823040 11224 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 285960

[startup+6.30113 s]
/proc/loadavg: 0.64 0.13 0.08 9/337 21057
/proc/meminfo: memFree=23299080/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=281212 CPUtime=25.12 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 28137 0 0 0 2507 5 0 0 25 0 4 0 633500585 287961088 12949 33554432000 4194304 4580107 140735364907040 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 70303 12949 379 95 0 65285 0
[pid=21053/tid=21054] ppid=21051 vsize=281212 CPUtime=6.29 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 7127 0 0 0 628 1 0 0 25 0 4 0 633500585 287961088 12949 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=281212 CPUtime=6.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 7205 0 0 0 628 1 0 0 25 0 4 0 633500585 287961088 12949 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=281212 CPUtime=6.23 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 6450 0 0 0 622 1 0 0 25 0 4 0 633500585 287961088 12949 33554432000 4194304 4580107 140735364907040 18446744073709551615 4295828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 281212

[startup+12.7009 s]
/proc/loadavg: 1.77 0.39 0.16 9/337 21057
/proc/meminfo: memFree=23269092/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=296580 CPUtime=50.64 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 43748 0 0 0 5056 8 0 0 25 0 4 0 633500585 303697920 17238 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 74145 17238 379 95 0 69127 0
[pid=21053/tid=21054] ppid=21051 vsize=296580 CPUtime=12.68 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 10748 0 0 0 1267 1 0 0 25 0 4 0 633500585 303697920 17238 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=296580 CPUtime=12.68 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 11747 0 0 0 1267 1 0 0 25 0 4 0 633500585 303697920 17238 33554432000 4194304 4580107 140735364907040 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=296580 CPUtime=12.56 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 10418 0 0 0 1254 2 0 0 25 0 4 0 633500585 303697920 17238 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 296580

[startup+25.5003 s]
/proc/loadavg: 2.73 0.64 0.25 9/337 21058
/proc/meminfo: memFree=23223896/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=307328 CPUtime=101.7 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 65321 0 0 0 10155 15 0 0 25 0 4 0 633500585 314703872 20445 33554432000 4194304 4580107 140735364907040 18446744073709551615 4324374 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 76832 20445 379 95 0 71814 0
[pid=21053/tid=21054] ppid=21051 vsize=307328 CPUtime=25.49 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 16814 0 0 0 2546 3 0 0 25 0 4 0 633500585 314703872 20445 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=307328 CPUtime=25.48 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 16773 0 0 0 2545 3 0 0 25 0 4 0 633500585 314703872 20445 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=307328 CPUtime=25.22 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 15526 0 0 0 2518 4 0 0 25 0 4 0 633500585 314703872 20445 33554432000 4194304 4580107 140735364907040 18446744073709551615 4331710 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 307328

[startup+51.1002 s]
/proc/loadavg: 4.61 1.25 0.46 9/337 21058
/proc/meminfo: memFree=23180340/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=323324 CPUtime=203.83 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 101226 0 0 0 20358 25 0 0 25 0 4 0 633500585 331083776 25965 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 80831 25965 379 95 0 75813 0
[pid=21053/tid=21054] ppid=21051 vsize=323324 CPUtime=51.09 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 26030 0 0 0 5103 6 0 0 25 0 4 0 633500585 331083776 25965 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=323324 CPUtime=51.08 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 25471 0 0 0 5103 5 0 0 25 0 4 0 633500585 331083776 25965 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=323324 CPUtime=50.55 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 23601 0 0 0 5048 7 0 0 25 0 4 0 633500585 331083776 25965 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 323324

[startup+102.312 s]
/proc/loadavg: 6.72 2.40 0.89 9/337 21060
/proc/meminfo: memFree=23113460/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=325348 CPUtime=408.13 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 158674 0 0 0 40771 42 0 0 25 0 4 0 633500585 333156352 33487 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 81337 33487 379 95 0 76319 0
[pid=21053/tid=21054] ppid=21051 vsize=325348 CPUtime=102.3 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 40608 0 0 0 10220 10 0 0 25 0 4 0 633500585 333156352 33487 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=325348 CPUtime=102.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 39089 0 0 0 10220 9 0 0 25 0 4 0 633500585 333156352 33487 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=325348 CPUtime=101.21 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 38181 0 0 0 10110 11 0 0 25 0 4 0 633500585 333156352 33487 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.13
Current children cumulated vsize (KiB) 325348

[startup+162.301 s]

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

[pid=21053] ppid=21051 vsize=576564 CPUtime=2801.67 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 493993 0 0 0 279989 178 0 0 25 0 4 0 633500585 590401536 90392 33554432000 4194304 4580107 140735364907040 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 144141 90392 379 95 0 139123 0
[pid=21053/tid=21054] ppid=21051 vsize=576564 CPUtime=702.31 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 122628 0 0 0 70186 45 0 0 25 0 4 0 633500585 590401536 90392 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=576564 CPUtime=702.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 120071 0 0 0 70186 43 0 0 25 0 4 0 633500585 590401536 90392 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=576564 CPUtime=694.71 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 122590 0 0 0 69426 45 0 0 25 0 4 0 633500585 590401536 90392 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.67
Current children cumulated vsize (KiB) 576564

[startup+762.313 s]
/proc/loadavg: 8.13 7.50 4.56 9/337 21077
/proc/meminfo: memFree=22698584/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=563836 CPUtime=3041.06 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 511572 0 0 0 303918 188 0 0 25 0 4 0 633500585 577368064 90291 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 140959 90291 379 95 0 135941 0
[pid=21053/tid=21054] ppid=21051 vsize=563836 CPUtime=762.33 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 128562 0 0 0 76185 48 0 0 25 0 4 0 633500585 577368064 90291 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=563836 CPUtime=762.3 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 124230 0 0 0 76184 46 0 0 25 0 4 0 633500585 577368064 90291 33554432000 4194304 4580107 140735364907040 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=563836 CPUtime=754.06 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 127764 0 0 0 75359 47 0 0 25 0 4 0 633500585 577368064 90291 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.06
Current children cumulated vsize (KiB) 563836

[startup+822.301 s]
/proc/loadavg: 8.14 7.62 4.78 9/337 21079
/proc/meminfo: memFree=22694208/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=590020 CPUtime=3280.39 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 538954 0 0 0 327840 199 0 0 25 0 4 0 633500585 604180480 94960 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 147505 94960 379 95 0 142487 0
[pid=21053/tid=21054] ppid=21051 vsize=590020 CPUtime=822.32 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 137254 0 0 0 82179 53 0 0 25 0 4 0 633500585 604180480 94960 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=590020 CPUtime=822.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 129481 0 0 0 82181 48 0 0 25 0 4 0 633500585 604180480 94960 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=590020 CPUtime=813.41 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 133621 0 0 0 81292 49 0 0 25 0 4 0 633500585 604180480 94960 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.39
Current children cumulated vsize (KiB) 590020

[startup+882.3 s]
/proc/loadavg: 8.09 7.70 4.99 9/337 21081
/proc/meminfo: memFree=22637008/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=577296 CPUtime=3519.73 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 563101 0 0 0 351760 213 0 0 25 0 4 0 633500585 591151104 98988 33554432000 4194304 4580107 140735364907040 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 144324 98988 379 95 0 139306 0
[pid=21053/tid=21054] ppid=21051 vsize=577296 CPUtime=882.32 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 144276 0 0 0 88174 58 0 0 25 0 4 0 633500585 591151104 98988 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=577296 CPUtime=882.3 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 133089 0 0 0 88180 50 0 0 25 0 4 0 633500585 591151104 98988 33554432000 4194304 4580107 140735364907040 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=577296 CPUtime=872.76 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 140550 0 0 0 87223 53 0 0 25 0 4 0 633500585 591151104 98988 33554432000 4194304 4580107 140735364907040 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.73
Current children cumulated vsize (KiB) 577296

[startup+942.3 s]
/proc/loadavg: 8.08 7.77 5.18 9/337 21082
/proc/meminfo: memFree=22629772/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=590704 CPUtime=3759.09 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 582617 0 0 0 375686 223 0 0 25 0 4 0 633500585 604880896 102941 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 147676 102941 379 95 0 142658 0
[pid=21053/tid=21054] ppid=21051 vsize=590704 CPUtime=942.32 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 149916 0 0 0 94172 60 0 0 25 0 4 0 633500585 604880896 102941 33554432000 4194304 4580107 140735364907040 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=590704 CPUtime=942.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 138938 0 0 0 94177 52 0 0 25 0 4 0 633500585 604880896 102941 33554432000 4194304 4580107 140735364907040 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=590704 CPUtime=932.11 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 145585 0 0 0 93155 56 0 0 25 0 4 0 633500585 604880896 102941 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.09
Current children cumulated vsize (KiB) 590704

[startup+1002.3 s]
/proc/loadavg: 8.03 7.80 5.35 9/337 21084
/proc/meminfo: memFree=22633328/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=578364 CPUtime=3998.44 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 602389 0 0 0 399611 233 0 0 25 0 4 0 633500585 592244736 103378 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 144591 103378 379 95 0 139573 0
[pid=21053/tid=21054] ppid=21051 vsize=578364 CPUtime=1002.32 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 156363 0 0 0 100169 63 0 0 25 0 4 0 633500585 592244736 103378 33554432000 4194304 4580107 140735364907040 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=578364 CPUtime=1002.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 145559 0 0 0 100173 56 0 0 25 0 4 0 633500585 592244736 103378 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=578364 CPUtime=991.46 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 148651 0 0 0 99089 57 0 0 25 0 4 0 633500585 592244736 103378 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.44
Current children cumulated vsize (KiB) 578364

[startup+1062.3 s]
/proc/loadavg: 8.16 7.87 5.52 10/338 21088
/proc/meminfo: memFree=22620980/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=578728 CPUtime=4237.8 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 627186 0 0 0 423535 245 0 0 25 0 4 0 633500585 592617472 99929 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 144682 99929 379 95 0 139664 0
[pid=21053/tid=21054] ppid=21051 vsize=578728 CPUtime=1062.32 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 164123 0 0 0 106166 66 0 0 25 0 4 0 633500585 592617472 99929 33554432000 4194304 4580107 140735364907040 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=578728 CPUtime=1062.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 152448 0 0 0 106169 60 0 0 25 0 4 0 633500585 592617472 99929 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=578728 CPUtime=1050.81 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 152492 0 0 0 105023 58 0 0 25 0 4 0 633500585 592617472 99929 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.8
Current children cumulated vsize (KiB) 578728

[startup+1122.3 s]
/proc/loadavg: 8.27 7.95 5.70 9/337 21090
/proc/meminfo: memFree=22576524/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=711676 CPUtime=4477.14 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 644728 0 0 0 447459 255 0 0 25 0 4 0 633500585 728756224 110487 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 177919 110487 379 95 0 172901 0
[pid=21053/tid=21054] ppid=21051 vsize=711676 CPUtime=1122.32 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 165045 0 0 0 112165 67 0 0 25 0 4 0 633500585 728756224 110487 33554432000 4194304 4580107 140735364907040 18446744073709551615 4304874 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=711676 CPUtime=1122.29 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 156212 0 0 0 112167 62 0 0 25 0 4 0 633500585 728756224 110487 33554432000 4194304 4580107 140735364907040 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=711676 CPUtime=1110.15 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 159657 0 0 0 110953 62 0 0 25 0 4 0 633500585 728756224 110487 33554432000 4194304 4580107 140735364907040 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.14
Current children cumulated vsize (KiB) 711676

[startup+1182.3 s]
/proc/loadavg: 8.17 7.97 5.84 9/337 21092
/proc/meminfo: memFree=22583680/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=605876 CPUtime=4716.5 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 660266 0 0 0 471387 263 0 0 25 0 4 0 633500585 620417024 107450 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 151469 107450 379 95 0 146451 0
[pid=21053/tid=21054] ppid=21051 vsize=605876 CPUtime=1182.32 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 170621 0 0 0 118162 70 0 0 25 0 4 0 633500585 620417024 107450 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=605876 CPUtime=1182.3 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 159204 0 0 0 118166 64 0 0 25 0 4 0 633500585 620417024 107450 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=605876 CPUtime=1169.5 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 162016 0 0 0 116887 63 0 0 25 0 4 0 633500585 620417024 107450 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.5
Current children cumulated vsize (KiB) 605876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.18 7.99 5.89 5/332 21093
/proc/meminfo: memFree=22968224/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=606012 CPUtime=4800.33 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 668068 0 0 0 479766 267 0 0 25 0 4 0 633500585 620556288 108754 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 151503 108754 379 95 0 146485 0
[pid=21053/tid=21054] ppid=21051 vsize=606012 CPUtime=1203.35 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 173086 0 0 0 120264 71 0 0 25 0 4 0 633500585 620556288 108755 33554432000 4194304 4580107 140735364907040 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=606012 CPUtime=1203.32 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 160474 0 0 0 120267 65 0 0 25 0 4 0 633500585 620556288 108755 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=606012 CPUtime=1190.28 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 163465 0 0 0 118964 64 0 0 25 0 4 0 633500585 620556288 108755 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 606012

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

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

[startup+1203.3 s]
/proc/loadavg: 8.18 7.99 5.89 5/332 21093
/proc/meminfo: memFree=22968224/32951124 swapFree=59367104/67111528
[pid=21053] ppid=21051 vsize=606012 CPUtime=4800.33 cores=1,3,5,7
/proc/21053/stat : 21053 (strangenight2-m) R 21051 21053 21012 0 -1 4202496 668068 0 0 0 479766 267 0 0 25 0 4 0 633500585 620556288 108754 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21053/statm: 151503 108754 379 95 0 146485 0
[pid=21053/tid=21054] ppid=21051 vsize=606012 CPUtime=1203.35 cores=1,3,5,7
/proc/21053/task/21054/stat : 21054 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 173086 0 0 0 120264 71 0 0 25 0 4 0 633500585 620556288 108755 33554432000 4194304 4580107 140735364907040 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21053/tid=21055] ppid=21051 vsize=606012 CPUtime=1203.32 cores=1,3,5,7
/proc/21053/task/21055/stat : 21055 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 160474 0 0 0 120267 65 0 0 25 0 4 0 633500585 620556288 108755 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21053/tid=21056] ppid=21051 vsize=606012 CPUtime=1190.28 cores=1,3,5,7
/proc/21053/task/21056/stat : 21056 (strangenight2-m) R 21051 21053 21012 0 -1 4202560 163465 0 0 0 118964 64 0 0 25 0 4 0 633500585 620556288 108755 33554432000 4194304 4580107 140735364907040 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 606012

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.35
CPU time (s): 4800.39
CPU user time (s): 4797.7
CPU system time (s): 2.69259
CPU usage (%): 398.919
Max. virtual memory (cumulated for all children) (KiB): 711676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.7
system time used= 2.69259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 668069
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= 417
involuntary context switches= 20306

runsolver used 3.61945 second user time and 9.48856 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-15 00:07:30
IDJOB=3366628
IDBENCH=83037
IDSOLVER=1844
FILE ID=node143/3366628-1305410850
RUNJOBID= node143-1305410849-21031
PBS_JOBID= 13324518
Free space on /tmp= 73412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366628-1305410850/watcher-3366628-1305410850 -o /tmp/evaluation-result-3366628-1305410850/solver-3366628-1305410850 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366628-1305410850.cnf

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

MD5SUM BENCH= d6fc0fc1938fb2a6255c0a87d93d5767
RANDOM SEED=1106751146

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23392328 kB
Buffers:        148072 kB
Cached:         650448 kB
SwapCached:      67368 kB
Active:         104552 kB
Inactive:      9229652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23392328 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:           11284 kB
Writeback:           0 kB
AnonPages:     8468536 kB
Mapped:          22536 kB
Slab:           105116 kB
PageTables:      52896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70032936 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= 73404 MiB
End job on node143 at 2011-05-15 00:27:35