Trace number 3366350

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.28 1203.05

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf
MD5SUM70c8eb249da14b3681c26bea452706d8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012997
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-3366350-1305402228.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
3.40/0.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.40/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.40/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.40/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.40/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.40/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.40/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.40/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.40/0.90	c calculated reachability. Time: 0.00
3.40/0.90	c Calc default polars -  time:   0.00 s pos:      46 undec:       2 neg:      52
3.40/0.90	c =========================================================================================
3.40/0.90	c types(t): F = full restart, N = normal restart
3.40/0.90	c types(t): S = simplification begin/end, E = solution found
3.40/0.90	c restart types(rt): st = static, dy = dynamic
3.40/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.40/0.90	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
3.40/0.90	c Decided on static restart strategy
3.40/0.90	c  N st     8      4917       100      2130         0      4588     10650    101846   no data   no data
3.40/0.90	c  N st    10     11301       100      2130         0      4230     10650     74385   no data   no data
3.40/0.90	c  N st    11     17045       100      2130         0      9535     10650    187762   no data   no data
3.40/0.90	c  F st    12     25000       100      2130         0     11684     10650    234167   no data   no data
3.40/0.90	c  N st    12     25000       100      2130         0     11684     10650    234167   no data   no data
3.81/1.00	c Decided on static restart strategy
3.81/1.00	c  N st    18     30002       100      2130         0     10052     10650    187097   no data   no data
3.81/1.00	c  S st    18     30002       100      2130         0     10052     10650    187097   no data   no data
4.21/1.10	c  S st    18     30505       100      2130         0     10539     10650    197738   no data   no data
4.21/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.21/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.21/1.10	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
4.21/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.21/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.21/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4.21/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.21/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.21/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.61/1.20	c lits-rem:       223  cl-subs:     1813  v-elim:      0  v-fix:    0  time:  0.17 s
5.01/1.30	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
5.01/1.30	c calculated reachability. Time: 0.00
5.01/1.30	c  N st    18     30505       100      2130         0      8726     10650    158372   no data   no data
5.96/1.55	c  N st    20     37618       100      2130         0      8019     10650    129996   no data   no data
7.18/1.83	c  N st    21     44017       100      2130         0     13945     10650    261314   no data   no data
7.60/1.91	c  S st    22     45758       100      2130         0     15561     10650    296981   no data   no data
7.60/1.96	c  S st    22     46261       100      2130         0     16049     10650    308112   no data   no data
7.60/1.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.60/1.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.60/1.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.60/1.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.60/1.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.60/1.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.60/1.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.60/1.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.60/1.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.36	c lits-rem:       383  cl-subs:     2066  v-elim:      0  v-fix:    0  time:  0.39 s
9.15/2.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.15/2.36	c vivif2 --  cl tried    13983 cl shrink        0 lits rem          0 time: 0.00
9.56/2.41	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.56/2.42	c calculated reachability. Time: 0.00
9.56/2.42	c  N st    22     46261       100      2130         0     13983     10650    261804   no data   no data
12.34/3.12	c  N st    23     60658       100      2130         0      9912     10650    148404   no data   no data
13.94/3.58	c  N st    24     69391       100      2130         0     17994     10650    317137   no data   no data
13.94/3.58	c  S st    24     69391       100      2130         0     17994     10650    317137   no data   no data
14.34/3.63	c  S st    24     69891       100      2130         0     18466     10650    328068   no data   no data
14.34/3.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.34/3.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.34/3.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.34/3.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.34/3.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.34/3.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.34/3.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.34/3.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.34/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.38/4.17	c lits-rem:       392  cl-subs:     2628  v-elim:      0  v-fix:    0  time:  0.52 s
16.38/4.17	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.38/4.17	c vivif2 --  cl tried    15838 cl shrink        0 lits rem          0 time: 0.00
16.73/4.23	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.73/4.23	c calculated reachability. Time: 0.00
16.73/4.23	c  N st    24     69891       100      2130         0     15838     10650    275493   no data   no data
20.77/5.28	c  F st    25     87500       100      2130         0     21814     10650    377549   no data   no data
20.77/5.28	c  N st    25     87500       100      2130         0     21814     10650    377549   no data   no data
21.93/5.56	c Decided on static restart strategy
22.72/5.73	c  N st    32     95537       100      2130         0     18341     10650    315360   no data   no data
25.15/6.33	c  N st    34    104836       100      2130         0     15064     10650    243953   no data   no data
25.15/6.33	c  S st    34    104836       100      2130         0     15064     10650    243953   no data   no data
25.15/6.37	c  S st    34    105340       100      2130         0     15544     10650    254448   no data   no data
25.15/6.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.15/6.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.15/6.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.15/6.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.15/6.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.15/6.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.15/6.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.15/6.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.15/6.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.91/6.54	c lits-rem:       229  cl-subs:     1225  v-elim:      0  v-fix:    0  time:  0.15 s
25.91/6.54	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.91/6.54	c vivif2 --  cl tried    14319 cl shrink        0 lits rem          0 time: 0.00
25.91/6.59	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.91/6.59	c calculated reachability. Time: 0.00
25.91/6.59	c  N st    34    105340       100      2130         0     14319     10650    228817   no data   no data
28.31/7.19	c  N st    35    114941       100      2130         0     23215     10650    432798   no data   no data
31.91/8.09	c  N st    36    129339       100      2130         0     23655     10650    414163   no data   no data
37.90/9.55	c  N st    37    150934       100      2130         0     15012     10650    201797   no data   no data
39.48/9.96	c  S st    38    158010       100      2130         0     21606     10650    348176   no data   no data
39.89/10.01	c  S st    38    158512       100      2130         0     22096     10650    358896   no data   no data
39.89/10.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.89/10.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
39.89/10.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.89/10.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.89/10.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.89/10.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
39.89/10.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.89/10.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
39.89/10.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.49/10.40	c lits-rem:       311  cl-subs:     1829  v-elim:      0  v-fix:    0  time:  0.37 s
41.49/10.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.49/10.41	c vivif2 --  cl tried    20267 cl shrink        0 lits rem          0 time: 0.00
41.49/10.48	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.49/10.48	c calculated reachability. Time: 0.00
41.49/10.48	c  N st    38    158512       100      2130         0     20267     10650    320312   no data   no data
55.88/14.03	c  N st    39    207100       100      2130         0     32774     10650    570918   no data   no data
65.82/16.50	c  N st    40    237769       100      2130         0     25090     10650    383753   no data   no data
65.82/16.50	c  S st    40    237769       100      2130         0     25090     10650    383753   no data   no data
65.82/16.57	c  S st    40    238272       100      2130         0     25572     10650    394959   no data   no data
65.82/16.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.82/16.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
65.82/16.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.82/16.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.82/16.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.82/16.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
65.82/16.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.82/16.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
65.82/16.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.22/17.15	c lits-rem:       340  cl-subs:     2533  v-elim:      0  v-fix:    0  time:  0.57 s
68.22/17.15	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
68.22/17.16	c vivif2 --  cl tried    23039 cl shrink        0 lits rem          0 time: 0.00
68.63/17.24	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
68.63/17.24	c calculated reachability. Time: 0.00
68.63/17.24	c  N st    40    238272       100      2130         0     23039     10650    343419   no data   no data
92.16/23.10	c  F st    41    306251       100      2130         0     24961     10650    349528   no data   no data
92.16/23.10	c  N st    41    306251       100      2130         0     24961     10650    349528   no data   no data
94.15/23.60	c Decided on static restart strategy
103.34/25.99	c  N st    51    334558       100      2130         0     29040     10650    417315   no data   no data
113.31/28.48	c  N st    53    357408       100      2130         0     27060     10650    367328   no data   no data
113.31/28.48	c  S st    53    357408       100      2130         0     27060     10650    367328   no data   no data
113.71/28.55	c  S st    53    357908       100      2130         0     27532     10650    378104   no data   no data
113.71/28.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
113.71/28.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
113.71/28.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
113.71/28.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
113.71/28.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
113.71/28.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
113.71/28.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.71/28.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
113.71/28.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.91/28.84	c lits-rem:       357  cl-subs:     1210  v-elim:      0  v-fix:    0  time:  0.26 s
114.91/28.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
114.91/28.84	c vivif2 --  cl tried    26322 cl shrink        0 lits rem          0 time: 0.00
115.31/28.94	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
115.31/28.94	c calculated reachability. Time: 0.00
115.31/28.94	c  N st    53    357908       100      2130         0     26322     10650    352967   no data   no data
128.47/32.24	c  N st    54    390302       100      2130         0     32360     10650    465250   no data   no data
150.83/37.83	c  N st    55    438892       100      2130         0     26303     10650    321425   no data   no data
183.55/46.02	c  N st    56    511774       100      2130         0     38806     10650    545480   no data   no data
194.73/48.83	c  N st    57    536862       100      2130         0     33409     10650    435816   no data   no data
194.73/48.83	c  S st    57    536862       100      2130         0     33409     10650    435816   no data   no data
195.13/48.92	c  S st    57    537364       100      2130         0     33888     10650    446632   no data   no data
195.13/48.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
195.13/48.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
195.13/48.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
195.13/48.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
195.13/48.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
195.13/48.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
195.13/48.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
195.13/48.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
195.13/48.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
197.11/49.40	c lits-rem:       417  cl-subs:     1881  v-elim:      0  v-fix:    0  time:  0.45 s
197.11/49.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
197.11/49.40	c vivif2 --  cl tried    32007 cl shrink        0 lits rem          0 time: 0.00
197.51/49.52	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
197.51/49.52	c calculated reachability. Time: 0.00
197.51/49.52	c  N st    57    537364       100      2130         0     32007     10650    411914   no data   no data
284.52/71.31	c  N st    58    701349       100      2130         0     59274     10650    946456   no data   no data
341.99/85.77	c  N st    59    806047       100      2130         0     53899     10650    806469   no data   no data
341.99/85.77	c  S st    59    806047       100      2130         0     53899     10650    806469   no data   no data
342.79/85.91	c  S st    59    806548       100      2130         0     54377     10650    817434   no data   no data
342.79/85.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
342.79/85.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
342.79/85.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
342.79/85.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
342.79/85.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
342.79/85.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
342.79/85.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
342.79/85.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
342.79/85.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
355.16/89.03	c lits-rem:      1447  cl-subs:     5960  v-elim:      0  v-fix:    0  time:  3.07 s
355.16/89.03	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
355.16/89.04	c vivif2 --  cl tried    48417 cl shrink        0 lits rem          0 time: 0.01
355.96/89.28	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
355.96/89.28	c calculated reachability. Time: 0.00
355.96/89.28	c  N st    59    806548       100      2130         0     48417     10650    699858   no data   no data
511.60/128.22	c  F st    60   1071875       100      2130         0     63769     10650    946867   no data   no data
511.60/128.22	c  N st    60   1071875       100      2130         0     63769     10650    946867   no data   no data
516.41/129.44	c Decided on static restart strategy
533.55/133.72	c  N st    70   1100178       100      2130         0     48690     10650    626911   no data   no data
557.90/139.81	c  N st    72   1136172       100      2130         0     81746     10650   1328480   no data   no data
579.85/145.39	c  N st    73   1168566       100      2130         0     69294     10650   1054021   no data   no data
611.78/153.37	c  N st    74   1209822       100      2130         0     64059     10650    926398   no data   no data
611.78/153.37	c  S st    74   1209822       100      2130         0     64059     10650    926398   no data   no data
612.98/153.64	c  S st    74   1210328       100      2130         0     64541     10650    937541   no data   no data
612.98/153.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
612.98/153.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
612.98/153.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
612.98/153.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
612.98/153.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
612.98/153.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
612.98/153.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
613.40/153.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
613.40/153.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
648.11/162.42	c lits-rem:      1860  cl-subs:     5806  v-elim:      0  v-fix:    0  time:  8.67 s
648.11/162.42	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
648.11/162.43	c vivif2 --  cl tried    58735 cl shrink        0 lits rem          0 time: 0.01
649.68/162.89	c asymm  cl-useful: 0/1905/2130 lits-rem:0 time: 0.46
650.08/162.90	c calculated reachability. Time: 0.00
650.08/162.90	c  N st    74   1210328       100      2130         0     58735     10650    824194   no data   no data
707.55/177.31	c  N st    75   1283210       100      2130         0     81918     10650   1320036   no data   no data
812.10/203.55	c  N st    76   1392533       100      2130         0     91067     10650   1437771   no data   no data
949.40/237.93	c  N st    77   1556518       100      2130         0     98264     10650   1582897   no data   no data
1081.49/271.03	c  N st    78   1710329       100      2130         0     88110     10650   1318379   no data   no data
1081.49/271.03	c  S st    78   1710329       100      2130         0     88110     10650   1318379   no data   no data
1083.12/271.47	c  S st    78   1710831       100      2130         0     88589     10650   1328946   no data   no data
1083.12/271.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1083.48/271.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
1083.48/271.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1083.48/271.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1083.48/271.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1083.48/271.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1083.48/271.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1083.48/271.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1083.88/271.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1191.63/298.62	c lits-rem:      2158  cl-subs:    12770  v-elim:      0  v-fix:    0  time: 27.00 s
1191.63/298.62	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1191.63/298.64	c vivif2 --  cl tried    75819 cl shrink        0 lits rem          0 time: 0.02
1193.22/299.04	c asymm  cl-useful: 0/1542/2130 lits-rem:0 time: 0.40
1193.22/299.04	c calculated reachability. Time: 0.00
1193.22/299.04	c  N st    78   1710831       100      2130         0     75819     10650   1097306   no data   no data
1509.30/378.26	c  N st    79   2079798       100      2130         0     87507     10650   1250325   no data   no data
1642.19/411.58	c  N st    80   2210832       100      2130         0     91527     10650   1328622   no data   no data
1642.19/411.58	c  S st    80   2210832       100      2130         0     91527     10650   1328622   no data   no data
1643.79/411.95	c  S st    80   2211340       100      2130         0     92013     10650   1339911   no data   no data
1643.79/411.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1644.19/412.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
1644.19/412.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1644.19/412.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1644.19/412.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1644.19/412.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1644.19/412.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1644.19/412.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1644.19/412.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1730.77/433.76	c lits-rem:      1465  cl-subs:     9504  v-elim:      0  v-fix:    0  time: 21.68 s
1730.77/433.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1730.77/433.78	c vivif2 --  cl tried    82509 cl shrink        0 lits rem          0 time: 0.02
1731.57/433.99	c asymm  cl-useful: 0/588/2130 lits-rem:0 time: 0.22
1731.97/434.00	c calculated reachability. Time: 0.00
1731.97/434.00	c  N st    80   2211340       100      2130         0     82509     10650   1161492   no data   no data
2210.48/554.00	c  N st    81   2711343       100      2130         0    104909     10650   1544644   no data   no data
2210.48/554.00	c  S st    81   2711343       100      2130         0    104909     10650   1544644   no data   no data
2212.07/554.38	c  S st    81   2711847       100      2130         0    105392     10650   1555667   no data   no data
2212.07/554.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2212.47/554.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
2212.47/554.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2212.47/554.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2212.47/554.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2212.47/554.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2212.47/554.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2212.47/554.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2212.87/554.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2336.16/585.44	c lits-rem:      1400  cl-subs:    12731  v-elim:      0  v-fix:    0  time: 30.92 s
2336.16/585.44	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2336.16/585.47	c vivif2 --  cl tried    92661 cl shrink        0 lits rem          0 time: 0.03
2338.59/586.04	c asymm  cl-useful: 0/1300/2130 lits-rem:0 time: 0.57
2338.59/586.04	c calculated reachability. Time: 0.00
2338.59/586.04	c  N st    81   2711847       100      2130         0     92661     10650   1314572   no data   no data
2861.00/716.95	c  N st    82   3211849       100      2130         0    142680     10650   2298051   no data   no data
2861.00/716.95	c  S st    82   3211849       100      2130         0    142680     10650   2298051   no data   no data
2864.55/717.90	c  S st    82   3212350       100      2130         0     71767     10650    763290   no data   no data
2864.55/717.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2864.98/717.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2864.98/717.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2864.98/717.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2864.98/717.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2864.98/717.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2864.98/717.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2864.98/717.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2864.98/717.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2866.55/718.33	c lits-rem:        25  cl-subs:       48  v-elim:      0  v-fix:    0  time:  0.36 s
2866.55/718.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2866.55/718.34	c vivif2 --  cl tried    71719 cl shrink        0 lits rem          0 time: 0.01
2867.35/718.51	c asymm  cl-useful: 0/830/2130 lits-rem:0 time: 0.17
2867.35/718.52	c calculated reachability. Time: 0.00
2867.35/718.52	c  N st    82   3212350       100      2130         0     71719     10650    762060   no data   no data
3489.89/874.53	c  N st    83   3712350       100      2130         0     81700     10650    910501   no data   no data
3489.89/874.53	c  S st    83   3712350       100      2130         0     81700     10650    910501   no data   no data
3490.69/874.78	c  S st    83   3712855       100      2130         0     82189     10650    921759   no data   no data
3490.69/874.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3491.09/874.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3491.09/874.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3491.09/874.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3491.09/874.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3491.09/874.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3491.09/874.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3491.09/874.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3491.09/874.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3494.69/875.79	c lits-rem:       253  cl-subs:     1614  v-elim:      0  v-fix:    0  time:  0.93 s
3494.69/875.79	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3495.09/875.81	c vivif2 --  cl tried    80575 cl shrink        0 lits rem          0 time: 0.02
3496.29/876.10	c asymm  cl-useful: 0/1429/2130 lits-rem:0 time: 0.29
3496.29/876.11	c calculated reachability. Time: 0.00
3496.29/876.11	c  N st    83   3712855       100      2130         0     80575     10650    892681   no data   no data
3538.60/886.70	c  F st    84   3751565       100      2130         0    116032     10650   1665611   no data   no data
3538.60/886.70	c  N st    84   3751565       100      2130         0    116032     10650   1665611   no data   no data
3547.37/888.92	c Decided on static restart strategy
3592.48/900.25	c  N st    94   3779870       100      2130         0    142128     10650   2243922   no data   no data
3638.37/911.76	c  N st    96   3815864       100      2130         0     97381     10650   1240706   no data   no data
3677.09/921.46	c  N st    97   3848256       100      2130         0    127170     10650   1896205   no data   no data
3766.06/943.77	c  N st    98   3896844       100      2130         0     92959     10650   1136405   no data   no data
3869.42/969.65	c  N st    99   3969726       100      2130         0     79864     10650    839960   no data   no data
4000.73/1002.59	c  N st   100   4079050       100      2130         0     99367     10650   1242766   no data   no data
4170.31/1045.09	c  N st   101   4212856       100      2130         0    139919     10650   2070349   no data   no data
4170.31/1045.09	c  S st   101   4212856       100      2130         0    139919     10650   2070349   no data   no data
4172.71/1045.60	c  S st   101   4213359       100      2130         0    140399     10650   2081456   no data   no data
4172.71/1045.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4172.71/1045.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4172.71/1045.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4172.71/1045.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4172.71/1045.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4172.71/1045.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4172.71/1045.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4173.13/1045.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4173.13/1045.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4374.23/1096.10	c lits-rem:      1608  cl-subs:    19984  v-elim:      0  v-fix:    0  time: 50.34 s
4374.23/1096.11	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4374.23/1096.14	c vivif2 --  cl tried   120415 cl shrink        0 lits rem          0 time: 0.03
4376.22/1096.64	c asymm  cl-useful: 0/701/2130 lits-rem:0 time: 0.50
4376.22/1096.65	c calculated reachability. Time: 0.00
4376.22/1096.65	c  N st   101   4213359       100      2130         0    120415     10650   1716833   no data   no data
4728.61/1184.94	c  N st   102   4459335       100      2130         0     97268     10650   1146060   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-3366350-1305402228/watcher-3366350-1305402228 -o /tmp/evaluation-result-3366350-1305402228/solver-3366350-1305402228 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366350-1305402228.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.47 7.97 7.98 3/288 4836
/proc/meminfo: memFree=16820604/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 651825554 52396032 348 33554432000 4194304 4580107 140737238888048 18446744073709551615 47632614877104 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 12792 348 299 95 0 7774 0
[pid=4835/tid=4837] ppid=4833 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651825555 52396032 348 33554432000 4194304 4580107 140737238888048 18446744073709551615 47632614877096 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651825555 52396032 348 33554432000 4194304 4580107 140737238888048 18446744073709551615 47632614877106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651825555 52396032 348 33554432000 4194304 4580107 140737238888048 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.861865 s]
/proc/loadavg: 7.47 7.97 7.98 3/288 4836
/proc/meminfo: memFree=16820604/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=284216 CPUtime=3.4 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 5761 0 0 0 340 0 0 0 19 0 4 0 651825554 291037184 2711 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 71054 2711 378 95 0 66036 0
[pid=4835/tid=4837] ppid=4833 vsize=284216 CPUtime=0.85 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1256 0 0 0 85 0 0 0 18 0 4 0 651825555 291037184 2711 33554432000 4194304 4580107 140737238888048 18446744073709551615 4305229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=284216 CPUtime=0.85 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1285 0 0 0 85 0 0 0 18 0 4 0 651825555 291037184 2711 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=284216 CPUtime=0.84 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1365 0 0 0 84 0 0 0 19 0 4 0 651825555 291037184 2711 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 284216

[startup+0.961847 s]
/proc/loadavg: 7.47 7.97 7.98 3/288 4836
/proc/meminfo: memFree=16820604/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=284384 CPUtime=3.81 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 6331 0 0 0 380 1 0 0 19 0 4 0 651825554 291209216 2684 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295972 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 71096 2684 378 95 0 66078 0
[pid=4835/tid=4837] ppid=4833 vsize=284384 CPUtime=0.95 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1468 0 0 0 95 0 0 0 19 0 4 0 651825555 291209216 2684 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=284384 CPUtime=0.95 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1509 0 0 0 95 0 0 0 19 0 4 0 651825555 291209216 2684 33554432000 4194304 4580107 140737238888048 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=284384 CPUtime=0.94 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1430 0 0 0 94 0 0 0 19 0 4 0 651825555 291209216 2684 33554432000 4194304 4580107 140737238888048 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 284384

[startup+1.06183 s]
/proc/loadavg: 7.47 7.97 7.98 3/288 4836
/proc/meminfo: memFree=16820604/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=284384 CPUtime=4.21 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 7880 0 0 0 420 1 0 0 19 0 4 0 651825554 291209216 4233 33554432000 4194304 4580107 140737238888048 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 71096 4233 379 95 0 66078 0
[pid=4835/tid=4837] ppid=4833 vsize=284384 CPUtime=1.05 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1521 0 0 0 105 0 0 0 19 0 4 0 651825555 291209216 4233 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=284384 CPUtime=1.05 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1569 0 0 0 105 0 0 0 19 0 4 0 651825555 291209216 4233 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=284384 CPUtime=1.04 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1500 0 0 0 104 0 0 0 19 0 4 0 651825555 291209216 4233 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 284384

[startup+1.16181 s]
/proc/loadavg: 7.47 7.97 7.98 3/288 4836
/proc/meminfo: memFree=16820604/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=284384 CPUtime=4.61 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 8054 0 0 0 460 1 0 0 19 0 4 0 651825554 291209216 4407 33554432000 4194304 4580107 140737238888048 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 71096 4407 379 95 0 66078 0
[pid=4835/tid=4837] ppid=4833 vsize=284384 CPUtime=1.15 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1576 0 0 0 115 0 0 0 19 0 4 0 651825555 291209216 4407 33554432000 4194304 4580107 140737238888048 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=284384 CPUtime=1.15 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1632 0 0 0 115 0 0 0 19 0 4 0 651825555 291209216 4407 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=284384 CPUtime=1.14 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1556 0 0 0 114 0 0 0 19 0 4 0 651825555 291209216 4407 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 284384

[startup+1.50075 s]
/proc/loadavg: 7.47 7.97 7.98 3/288 4836
/proc/meminfo: memFree=16820604/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=284564 CPUtime=5.96 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 10254 0 0 0 595 1 0 0 20 0 4 0 651825554 291393536 5193 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 71141 5193 379 95 0 66123 0
[pid=4835/tid=4837] ppid=4833 vsize=284564 CPUtime=1.48 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 2923 0 0 0 148 0 0 0 20 0 4 0 651825555 291393536 5193 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=284564 CPUtime=1.48 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1976 0 0 0 148 0 0 0 19 0 4 0 651825555 291393536 5193 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=284564 CPUtime=1.48 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 1926 0 0 0 148 0 0 0 20 0 4 0 651825555 291393536 5193 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 284564

[startup+3.10047 s]
/proc/loadavg: 7.47 7.97 7.98 10/298 4850
/proc/meminfo: memFree=16736048/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=285252 CPUtime=12.34 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 19890 0 0 0 1231 3 0 0 25 0 4 0 651825554 292098048 11114 33554432000 4194304 4580107 140737238888048 18446744073709551615 4485991 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 71313 11119 379 95 0 66295 0
[pid=4835/tid=4837] ppid=4833 vsize=285252 CPUtime=3.09 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 5370 0 0 0 308 1 0 0 25 0 4 0 651825555 292098048 11122 33554432000 4194304 4580107 140737238888048 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=285252 CPUtime=3.08 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 4750 0 0 0 308 0 0 0 25 0 4 0 651825555 292098048 11125 33554432000 4194304 4580107 140737238888048 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=285252 CPUtime=3.06 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 4511 0 0 0 305 1 0 0 25 0 4 0 651825555 292098048 11127 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 285252

[startup+6.3109 s]
/proc/loadavg: 7.59 7.98 7.99 9/298 4850
/proc/meminfo: memFree=16695100/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=267684 CPUtime=25.15 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 28357 0 0 0 2510 5 0 0 25 0 4 0 651825554 274108416 13091 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 66921 13091 379 95 0 61903 0
[pid=4835/tid=4837] ppid=4833 vsize=267684 CPUtime=6.3 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 6977 0 0 0 629 1 0 0 25 0 4 0 651825555 274108416 13091 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=267684 CPUtime=6.3 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 7402 0 0 0 629 1 0 0 25 0 4 0 651825555 274108416 13091 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=267684 CPUtime=6.24 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 6575 0 0 0 623 1 0 0 25 0 4 0 651825555 274108416 13091 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 267684

[startup+12.7008 s]
/proc/loadavg: 7.63 7.98 7.99 9/298 4850
/proc/meminfo: memFree=16661912/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=287120 CPUtime=50.67 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 43423 0 0 0 5059 8 0 0 25 0 4 0 651825554 294010880 15629 33554432000 4194304 4580107 140737238888048 18446744073709551615 4321081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 71780 15629 379 95 0 66762 0
[pid=4835/tid=4837] ppid=4833 vsize=287120 CPUtime=12.69 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 11038 0 0 0 1267 2 0 0 25 0 4 0 651825555 294010880 15629 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=287120 CPUtime=12.68 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 10812 0 0 0 1267 1 0 0 25 0 4 0 651825555 294010880 15629 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=287120 CPUtime=12.58 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 10496 0 0 0 1256 2 0 0 25 0 4 0 651825555 294010880 15629 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 287120

[startup+25.5005 s]
/proc/loadavg: 7.71 7.98 7.99 9/298 4850
/proc/meminfo: memFree=16603264/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=289336 CPUtime=101.74 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 68221 0 0 0 10160 14 0 0 25 0 4 0 651825554 296280064 19616 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 72334 19616 379 95 0 67316 0
[pid=4835/tid=4837] ppid=4833 vsize=289336 CPUtime=25.48 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 17399 0 0 0 2545 3 0 0 25 0 4 0 651825555 296280064 19616 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=289336 CPUtime=25.47 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 17440 0 0 0 2544 3 0 0 25 0 4 0 651825555 296280064 19616 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=289336 CPUtime=25.26 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 15926 0 0 0 2523 3 0 0 25 0 4 0 651825555 296280064 19616 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 289336

[startup+51.1009 s]
/proc/loadavg: 7.81 7.98 7.99 9/298 4851
/proc/meminfo: memFree=16551916/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=260180 CPUtime=203.91 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 105066 0 0 0 20368 23 0 0 25 0 4 0 651825554 266424320 25230 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 65045 25230 379 95 0 60027 0
[pid=4835/tid=4837] ppid=4833 vsize=260180 CPUtime=51.08 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 26890 0 0 0 5103 5 0 0 25 0 4 0 651825555 266424320 25230 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=260180 CPUtime=51.08 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 26631 0 0 0 5103 5 0 0 25 0 4 0 651825555 266424320 25230 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=260180 CPUtime=50.63 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 24877 0 0 0 5058 5 0 0 25 0 4 0 651825555 266424320 25230 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 260180

[startup+102.301 s]
/proc/loadavg: 8.02 8.02 8.00 9/298 4852
/proc/meminfo: memFree=16463484/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=293608 CPUtime=408.23 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 156921 0 0 0 40787 36 0 0 25 0 4 0 651825554 300654592 34188 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 73402 34188 379 95 0 68384 0
[pid=4835/tid=4837] ppid=4833 vsize=293608 CPUtime=102.29 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 37632 0 0 0 10220 9 0 0 25 0 4 0 651825555 300654592 34188 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=293608 CPUtime=102.27 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 40727 0 0 0 10218 9 0 0 25 0 4 0 651825555 300654592 34188 33554432000 4194304 4580107 140737238888048 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=293608 CPUtime=101.36 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 37514 0 0 0 10128 8 0 0 25 0 4 0 651825555 300654592 34188 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 293608

[startup+162.301 s]

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

[pid=4835] ppid=4833 vsize=474112 CPUtime=2563.24 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 463093 0 0 0 256185 139 0 0 25 0 4 0 651825554 485490688 89476 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 118528 89476 379 95 0 113510 0
[pid=4835/tid=4837] ppid=4833 vsize=474112 CPUtime=642.29 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 105439 0 0 0 64198 31 0 0 25 0 4 0 651825555 485490688 89476 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=474112 CPUtime=642.2 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 122803 0 0 0 64180 40 0 0 25 0 4 0 651825555 485490688 89476 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=474112 CPUtime=636.42 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 117075 0 0 0 63609 33 0 0 25 0 4 0 651825555 485490688 89476 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.24
Current children cumulated vsize (KiB) 474112

[startup+702.301 s]
/proc/loadavg: 8.21 8.10 8.02 9/298 4868
/proc/meminfo: memFree=16024204/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=539796 CPUtime=2802.7 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 484323 0 0 0 280123 147 0 0 25 0 4 0 651825554 552751104 87685 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 134949 87685 379 95 0 129931 0
[pid=4835/tid=4837] ppid=4833 vsize=539796 CPUtime=702.3 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 110727 0 0 0 70197 33 0 0 25 0 4 0 651825555 552751104 87685 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=539796 CPUtime=702.18 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 130666 0 0 0 70176 42 0 0 25 0 4 0 651825555 552751104 87685 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=539796 CPUtime=695.88 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 121310 0 0 0 69554 34 0 0 25 0 4 0 651825555 552751104 87685 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.7
Current children cumulated vsize (KiB) 539796

[startup+762.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/298 4870
/proc/meminfo: memFree=15994148/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=539844 CPUtime=3042.13 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 502528 0 0 0 304057 156 0 0 25 0 4 0 651825554 552800256 93902 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 134961 93902 379 95 0 129943 0
[pid=4835/tid=4837] ppid=4833 vsize=539844 CPUtime=762.3 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 113107 0 0 0 76196 34 0 0 25 0 4 0 651825555 552800256 93902 33554432000 4194304 4580107 140737238888048 18446744073709551615 4406334 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=539844 CPUtime=762.17 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 137196 0 0 0 76173 44 0 0 25 0 4 0 651825555 552800256 93902 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=539844 CPUtime=755.32 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 127467 0 0 0 75495 37 0 0 25 0 4 0 651825555 552800256 93902 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.13
Current children cumulated vsize (KiB) 539844

[startup+822.301 s]
/proc/loadavg: 8.12 8.09 8.02 9/298 4871
/proc/meminfo: memFree=16017792/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=553052 CPUtime=3281.59 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 523577 0 0 0 327994 165 0 0 25 0 4 0 651825554 566325248 93171 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 138263 93171 379 95 0 133245 0
[pid=4835/tid=4837] ppid=4833 vsize=553052 CPUtime=822.31 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 116639 0 0 0 82194 37 0 0 25 0 4 0 651825555 566325248 93171 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=553052 CPUtime=822.18 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 142475 0 0 0 82171 47 0 0 25 0 4 0 651825555 566325248 93171 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=553052 CPUtime=814.78 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 134070 0 0 0 81438 40 0 0 25 0 4 0 651825555 566325248 93171 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.59
Current children cumulated vsize (KiB) 553052

[startup+882.301 s]
/proc/loadavg: 8.18 8.11 8.02 9/298 4873
/proc/meminfo: memFree=15979564/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=592420 CPUtime=3521.03 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 550196 0 0 0 351929 174 0 0 25 0 4 0 651825554 606638080 102382 33554432000 4194304 4580107 140737238888048 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 148105 102382 379 95 0 143087 0
[pid=4835/tid=4837] ppid=4833 vsize=592420 CPUtime=882.3 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 124143 0 0 0 88190 40 0 0 25 0 4 0 651825555 606638080 102382 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=592420 CPUtime=882.16 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 146360 0 0 0 88168 48 0 0 25 0 4 0 651825555 606638080 102382 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=592420 CPUtime=874.23 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 141394 0 0 0 87381 42 0 0 25 0 4 0 651825555 606638080 102382 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.03
Current children cumulated vsize (KiB) 592420

[startup+942.3 s]
/proc/loadavg: 8.18 8.12 8.03 9/298 4875
/proc/meminfo: memFree=15975060/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=553480 CPUtime=3760.5 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 567963 0 0 0 375868 182 0 0 25 0 4 0 651825554 566763520 94349 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 138370 94349 379 95 0 133352 0
[pid=4835/tid=4837] ppid=4833 vsize=553480 CPUtime=942.31 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 126624 0 0 0 94191 40 0 0 25 0 4 0 651825555 566763520 94350 33554432000 4194304 4580107 140737238888048 18446744073709551615 4406486 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=553480 CPUtime=942.17 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 151411 0 0 0 94167 50 0 0 25 0 4 0 651825555 566763520 94350 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=553480 CPUtime=933.68 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 146062 0 0 0 93324 44 0 0 25 0 4 0 651825555 566763520 94350 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.5
Current children cumulated vsize (KiB) 553480

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.03 9/298 4876
/proc/meminfo: memFree=15888120/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=566760 CPUtime=3999.93 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 589888 0 0 0 399803 190 0 0 25 0 4 0 651825554 580362240 103702 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 141690 103702 379 95 0 136672 0
[pid=4835/tid=4837] ppid=4833 vsize=566760 CPUtime=1002.31 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 131039 0 0 0 100188 43 0 0 25 0 4 0 651825555 580362240 103702 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=566760 CPUtime=1002.14 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 157666 0 0 0 100162 52 0 0 25 0 4 0 651825555 580362240 103702 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=566760 CPUtime=993.13 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 152322 0 0 0 99267 46 0 0 25 0 4 0 651825555 580362240 103702 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.93
Current children cumulated vsize (KiB) 566760

[startup+1062.31 s]
/proc/loadavg: 8.14 8.12 8.03 9/298 4887
/proc/meminfo: memFree=15788148/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=645748 CPUtime=4239.38 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 614656 0 0 0 423740 198 0 0 25 0 4 0 651825554 661245952 113672 33554432000 4194304 4580107 140737238888048 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 161437 113672 379 95 0 156419 0
[pid=4835/tid=4837] ppid=4833 vsize=645748 CPUtime=1062.3 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 135593 0 0 0 106185 45 0 0 25 0 4 0 651825555 661245952 113672 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=645748 CPUtime=1062.14 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 163731 0 0 0 106159 55 0 0 25 0 4 0 651825555 661245952 113672 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=645748 CPUtime=1052.59 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 159033 0 0 0 105211 48 0 0 25 0 4 0 651825555 661245952 113672 33554432000 4194304 4580107 140737238888048 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.38
Current children cumulated vsize (KiB) 645748

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 8.04 9/298 4888
/proc/meminfo: memFree=15812300/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=645748 CPUtime=4478.79 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 620322 0 0 0 447678 201 0 0 25 0 4 0 651825554 661245952 119193 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 161437 119193 379 95 0 156419 0
[pid=4835/tid=4837] ppid=4833 vsize=645748 CPUtime=1122.3 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 135717 0 0 0 112184 46 0 0 25 0 4 0 651825555 661245952 119193 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=645748 CPUtime=1122.12 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 166961 0 0 0 112156 56 0 0 25 0 4 0 651825555 661245952 119193 33554432000 4194304 4580107 140737238888048 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=645748 CPUtime=1112.02 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 159033 0 0 0 111154 48 0 0 25 0 4 0 651825555 661245952 119193 33554432000 4194304 4580107 140737238888048 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.79
Current children cumulated vsize (KiB) 645748

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.04 9/298 4892
/proc/meminfo: memFree=15782612/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=646416 CPUtime=4718.23 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 634400 0 0 0 471615 208 0 0 25 0 4 0 651825554 661929984 121773 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 161604 121773 379 95 0 156586 0
[pid=4835/tid=4837] ppid=4833 vsize=646416 CPUtime=1182.29 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 136192 0 0 0 118183 46 0 0 25 0 4 0 651825555 661929984 121773 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=646416 CPUtime=1182.12 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 173027 0 0 0 118153 59 0 0 25 0 4 0 651825555 661929984 121773 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=646416 CPUtime=1171.47 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 161466 0 0 0 117099 48 0 0 25 0 4 0 651825555 661929984 121773 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.23
Current children cumulated vsize (KiB) 646416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.29 8.15 8.05 6/294 4895
/proc/meminfo: memFree=16326980/32951124 swapFree=52307768/67111528
[pid=4835] ppid=4833 vsize=646760 CPUtime=4800.21 cores=0,2,4,6
/proc/4835/stat : 4835 (strangenight2-m) R 4833 4835 4414 0 -1 4202496 636725 0 0 0 479812 209 0 0 25 0 4 0 651825554 662282240 120921 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4835/statm: 161690 120921 379 95 0 156672 0
[pid=4835/tid=4837] ppid=4833 vsize=646760 CPUtime=1203.02 cores=0,2,4,6
/proc/4835/task/4837/stat : 4837 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 136193 0 0 0 120256 46 0 0 25 0 4 0 651825555 662282240 120921 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4835/tid=4838] ppid=4833 vsize=646760 CPUtime=1202.82 cores=0,2,4,6
/proc/4835/task/4838/stat : 4838 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 174287 0 0 0 120222 60 0 0 25 0 4 0 651825555 662282240 120921 33554432000 4194304 4580107 140737238888048 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4835/tid=4840] ppid=4833 vsize=646760 CPUtime=1191.85 cores=0,2,4,6
/proc/4835/task/4840/stat : 4840 (strangenight2-m) R 4833 4835 4414 0 -1 4202560 162530 0 0 0 119136 49 0 0 25 0 4 0 651825555 662282240 120921 33554432000 4194304 4580107 140737238888048 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 646760

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.05
CPU time (s): 4800.28
CPU user time (s): 4798.16
CPU system time (s): 2.11868
CPU usage (%): 399.01
Max. virtual memory (cumulated for all children) (KiB): 700688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.16
system time used= 2.11868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 636726
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= 458
involuntary context switches= 20034

runsolver used 3.17352 second user time and 7.8748 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 21:43:48
IDJOB=3366350
IDBENCH=82759
IDSOLVER=1844
FILE ID=node101/3366350-1305402228
RUNJOBID= node101-1305401023-4728
PBS_JOBID= 13324459
Free space on /tmp= 73736 MiB

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

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

MD5SUM BENCH= 70c8eb249da14b3681c26bea452706d8
RANDOM SEED=1885517730

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.841
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.74
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.841
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.841
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.75
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.841
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:      16820784 kB
Buffers:        321812 kB
Cached:        5878868 kB
SwapCached:      14848 kB
Active:       10825996 kB
Inactive:      5029188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16820784 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:            5452 kB
Writeback:          16 kB
AnonPages:     9651392 kB
Mapped:          14476 kB
Slab:           149512 kB
PageTables:      61784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41980112 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= 73732 MiB
End job on node101 at 2011-05-14 22:03:53