Trace number 3173941

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.41 1201.73

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173941-1304073874.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	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.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.04/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.04/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.04/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.04/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.04/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.04/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.04/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.04/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.04/0.10	c calculated reachability. Time: 0.00
0.04/0.10	c Calc default polars -  time:   0.00 s pos:      46 undec:       2 neg:      52
0.04/0.10	c =========================================================================================
0.04/0.10	c types(t): F = full restart, N = normal restart
0.04/0.10	c types(t): S = simplification begin/end, E = solution found
0.04/0.10	c restart types(rt): st = static, dy = dynamic
0.04/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.04/0.10	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.04/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4917       100      2130         0      4588     10650    101846   no data   no data
0.77/0.29	c  N st    10     11301       100      2130         0      4230     10650     74385   no data   no data
1.57/0.49	c  N st    11     17045       100      2130         0      9535     10650    187762   no data   no data
2.77/0.78	c  F st    12     25000       100      2130         0     11684     10650    234167   no data   no data
2.77/0.78	c  N st    12     25000       100      2130         0     11684     10650    234167   no data   no data
3.58/0.97	c Decided on static restart strategy
3.58/0.97	c  N st    18     30002       100      2130         0     10052     10650    187097   no data   no data
3.58/0.97	c  S st    18     30002       100      2130         0     10052     10650    187097   no data   no data
3.58/1.00	c  S st    18     30505       100      2130         0     10539     10650    197738   no data   no data
3.58/1.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.99/1.00	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.99/1.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.99/1.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.99/1.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.99/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.18	c lits-rem:       223  cl-subs:     1813  v-elim:      0  v-fix:    0  time:  0.17 s
4.77/1.21	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.77/1.21	c calculated reachability. Time: 0.00
4.77/1.21	c  N st    18     30505       100      2130         0      8726     10650    158372   no data   no data
5.97/1.54	c  N st    20     37618       100      2130         0      8019     10650    129996   no data   no data
7.17/1.82	c  N st    21     44017       100      2130         0     13945     10650    261314   no data   no data
7.57/1.90	c  S st    22     45758       100      2130         0     15561     10650    296981   no data   no data
7.57/1.94	c  S st    22     46261       100      2130         0     16049     10650    308112   no data   no data
7.57/1.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.57/1.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.57/1.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.57/1.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.57/1.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.57/1.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.57/1.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.57/1.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.57/1.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.35	c lits-rem:       383  cl-subs:     2066  v-elim:      0  v-fix:    0  time:  0.39 s
9.17/2.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.17/2.35	c vivif2 --  cl tried    13983 cl shrink        0 lits rem          0 time: 0.00
9.57/2.40	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.57/2.40	c calculated reachability. Time: 0.00
9.57/2.40	c  N st    22     46261       100      2130         0     13983     10650    261804   no data   no data
12.36/3.11	c  N st    23     60658       100      2130         0      9912     10650    148404   no data   no data
13.95/3.56	c  N st    24     69391       100      2130         0     17994     10650    317137   no data   no data
13.95/3.56	c  S st    24     69391       100      2130         0     17994     10650    317137   no data   no data
14.35/3.61	c  S st    24     69891       100      2130         0     18466     10650    328068   no data   no data
14.35/3.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.35/3.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.35/3.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.35/3.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.35/3.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.35/3.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.35/3.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.35/3.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.35/3.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.15	c lits-rem:       392  cl-subs:     2628  v-elim:      0  v-fix:    0  time:  0.52 s
16.35/4.15	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.35/4.15	c vivif2 --  cl tried    15838 cl shrink        0 lits rem          0 time: 0.00
16.75/4.21	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.75/4.21	c calculated reachability. Time: 0.00
16.75/4.21	c  N st    24     69891       100      2130         0     15838     10650    275493   no data   no data
20.75/5.25	c  F st    25     87500       100      2130         0     21814     10650    377549   no data   no data
20.75/5.25	c  N st    25     87500       100      2130         0     21814     10650    377549   no data   no data
21.97/5.54	c Decided on static restart strategy
22.75/5.70	c  N st    32     95537       100      2130         0     18341     10650    315360   no data   no data
25.14/6.30	c  N st    34    104836       100      2130         0     15064     10650    243953   no data   no data
25.14/6.30	c  S st    34    104836       100      2130         0     15064     10650    243953   no data   no data
25.14/6.35	c  S st    34    105340       100      2130         0     15544     10650    254448   no data   no data
25.14/6.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.14/6.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.14/6.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.14/6.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.14/6.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.14/6.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.14/6.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.14/6.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.14/6.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.96/6.51	c lits-rem:       229  cl-subs:     1225  v-elim:      0  v-fix:    0  time:  0.15 s
25.96/6.51	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.96/6.51	c vivif2 --  cl tried    14319 cl shrink        0 lits rem          0 time: 0.00
25.96/6.57	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.96/6.57	c calculated reachability. Time: 0.00
25.96/6.57	c  N st    34    105340       100      2130         0     14319     10650    228817   no data   no data
28.33/7.16	c  N st    35    114941       100      2130         0     23215     10650    432798   no data   no data
31.92/8.05	c  N st    36    129339       100      2130         0     23655     10650    414163   no data   no data
37.92/9.51	c  N st    37    150934       100      2130         0     15012     10650    201797   no data   no data
39.54/9.91	c  S st    38    158010       100      2130         0     21606     10650    348176   no data   no data
39.54/9.97	c  S st    38    158512       100      2130         0     22096     10650    358896   no data   no data
39.54/9.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.54/9.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
39.54/9.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.54/9.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.54/9.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.54/9.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
39.54/9.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.54/9.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
39.54/9.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.12/10.36	c lits-rem:       311  cl-subs:     1829  v-elim:      0  v-fix:    0  time:  0.37 s
41.12/10.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.12/10.37	c vivif2 --  cl tried    20267 cl shrink        0 lits rem          0 time: 0.00
41.52/10.44	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.52/10.44	c calculated reachability. Time: 0.00
41.52/10.44	c  N st    38    158512       100      2130         0     20267     10650    320312   no data   no data
55.50/13.98	c  N st    39    207100       100      2130         0     32774     10650    570918   no data   no data
65.50/16.43	c  N st    40    237769       100      2130         0     25090     10650    383753   no data   no data
65.50/16.43	c  S st    40    237769       100      2130         0     25090     10650    383753   no data   no data
65.50/16.50	c  S st    40    238272       100      2130         0     25572     10650    394959   no data   no data
65.50/16.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.90/16.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
65.90/16.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.90/16.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.90/16.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.90/16.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
65.90/16.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.90/16.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
65.90/16.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.88/17.08	c lits-rem:       340  cl-subs:     2533  v-elim:      0  v-fix:    0  time:  0.56 s
67.88/17.08	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
67.88/17.09	c vivif2 --  cl tried    23039 cl shrink        0 lits rem          0 time: 0.00
68.28/17.17	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
68.28/17.17	c calculated reachability. Time: 0.00
68.28/17.17	c  N st    40    238272       100      2130         0     23039     10650    343419   no data   no data
91.45/23.00	c  F st    41    306251       100      2130         0     24961     10650    349528   no data   no data
91.45/23.00	c  N st    41    306251       100      2130         0     24961     10650    349528   no data   no data
93.45/23.50	c Decided on static restart strategy
103.04/25.86	c  N st    51    334558       100      2130         0     29040     10650    417315   no data   no data
113.03/28.33	c  N st    53    357408       100      2130         0     27060     10650    367328   no data   no data
113.03/28.33	c  S st    53    357408       100      2130         0     27060     10650    367328   no data   no data
113.43/28.40	c  S st    53    357908       100      2130         0     27532     10650    378104   no data   no data
113.43/28.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
113.43/28.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
113.43/28.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
113.43/28.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
113.43/28.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
113.43/28.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
113.43/28.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.43/28.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
113.43/28.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.25/28.69	c lits-rem:       357  cl-subs:     1210  v-elim:      0  v-fix:    0  time:  0.26 s
114.25/28.69	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
114.25/28.69	c vivif2 --  cl tried    26322 cl shrink        0 lits rem          0 time: 0.00
114.62/28.79	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
114.62/28.79	c calculated reachability. Time: 0.00
114.62/28.79	c  N st    53    357908       100      2130         0     26322     10650    352967   no data   no data
127.80/32.07	c  N st    54    390302       100      2130         0     32360     10650    465250   no data   no data
150.17/37.61	c  N st    55    438892       100      2130         0     26303     10650    321425   no data   no data
182.53/45.75	c  N st    56    511774       100      2130         0     38806     10650    545480   no data   no data
193.71/48.55	c  N st    57    536862       100      2130         0     33409     10650    435816   no data   no data
193.71/48.55	c  S st    57    536862       100      2130         0     33409     10650    435816   no data   no data
194.11/48.65	c  S st    57    537364       100      2130         0     33888     10650    446632   no data   no data
194.11/48.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
194.11/48.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
194.11/48.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
194.11/48.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
194.11/48.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
194.11/48.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
194.11/48.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
194.11/48.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
194.11/48.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
196.12/49.12	c lits-rem:       417  cl-subs:     1881  v-elim:      0  v-fix:    0  time:  0.45 s
196.12/49.12	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
196.12/49.13	c vivif2 --  cl tried    32007 cl shrink        0 lits rem          0 time: 0.00
196.52/49.25	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
196.52/49.25	c calculated reachability. Time: 0.00
196.52/49.25	c  N st    57    537364       100      2130         0     32007     10650    411914   no data   no data
283.20/70.91	c  N st    58    701349       100      2130         0     59274     10650    946456   no data   no data
340.72/85.32	c  N st    59    806047       100      2130         0     53899     10650    806469   no data   no data
340.72/85.32	c  S st    59    806047       100      2130         0     53899     10650    806469   no data   no data
341.12/85.47	c  S st    59    806548       100      2130         0     54377     10650    817434   no data   no data
341.12/85.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
341.12/85.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
341.12/85.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
341.12/85.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
341.12/85.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
341.12/85.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
341.12/85.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
341.52/85.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
341.52/85.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
353.50/88.57	c lits-rem:      1447  cl-subs:     5960  v-elim:      0  v-fix:    0  time:  3.05 s
353.50/88.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
353.50/88.58	c vivif2 --  cl tried    48417 cl shrink        0 lits rem          0 time: 0.01
354.70/88.81	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
354.70/88.81	c calculated reachability. Time: 0.00
354.70/88.81	c  N st    59    806548       100      2130         0     48417     10650    699858   no data   no data
509.31/127.51	c  F st    60   1071875       100      2130         0     63769     10650    946867   no data   no data
509.31/127.52	c  N st    60   1071875       100      2130         0     63769     10650    946867   no data   no data
514.11/128.75	c Decided on static restart strategy
531.28/133.03	c  N st    70   1100178       100      2130         0     48690     10650    626911   no data   no data
555.63/139.10	c  N st    72   1136172       100      2130         0     81746     10650   1328480   no data   no data
577.60/144.65	c  N st    73   1168566       100      2130         0     69294     10650   1054021   no data   no data
610.79/152.93	c  N st    74   1209822       100      2130         0     64059     10650    926398   no data   no data
610.79/152.93	c  S st    74   1209822       100      2130         0     64059     10650    926398   no data   no data
611.56/153.15	c  S st    74   1210328       100      2130         0     64541     10650    937541   no data   no data
611.56/153.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
611.56/153.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
611.56/153.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
611.56/153.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
611.56/153.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
611.56/153.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
611.56/153.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
611.96/153.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
611.96/153.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
637.14/159.50	c lits-rem:      1860  cl-subs:     5806  v-elim:      0  v-fix:    0  time:  6.27 s
637.14/159.50	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
637.14/159.52	c vivif2 --  cl tried    58735 cl shrink        0 lits rem          0 time: 0.01
638.72/159.90	c asymm  cl-useful: 0/1905/2130 lits-rem:0 time: 0.38
638.72/159.90	c calculated reachability. Time: 0.00
638.72/159.90	c  N st    74   1210328       100      2130         0     58735     10650    824194   no data   no data
696.25/174.36	c  N st    75   1283210       100      2130         0     81918     10650   1320036   no data   no data
800.90/200.56	c  N st    76   1392533       100      2130         0     91067     10650   1437771   no data   no data
937.52/234.76	c  N st    77   1556518       100      2130         0     98264     10650   1582897   no data   no data
1070.94/268.10	c  N st    78   1710329       100      2130         0     88110     10650   1318379   no data   no data
1070.94/268.10	c  S st    78   1710329       100      2130         0     88110     10650   1318379   no data   no data
1072.54/268.54	c  S st    78   1710831       100      2130         0     88589     10650   1328946   no data   no data
1072.54/268.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1072.94/268.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
1072.94/268.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1072.94/268.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1072.94/268.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1072.94/268.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1072.94/268.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1072.94/268.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1072.94/268.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1168.02/292.50	c lits-rem:      2158  cl-subs:    12770  v-elim:      0  v-fix:    0  time: 23.80 s
1168.02/292.50	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1168.43/292.51	c vivif2 --  cl tried    75819 cl shrink        0 lits rem          0 time: 0.02
1170.01/292.92	c asymm  cl-useful: 0/1542/2130 lits-rem:0 time: 0.41
1170.01/292.92	c calculated reachability. Time: 0.00
1170.01/292.92	c  N st    78   1710831       100      2130         0     75819     10650   1097306   no data   no data
1486.39/372.18	c  N st    79   2079798       100      2130         0     87507     10650   1250325   no data   no data
1625.01/406.84	c  N st    80   2210832       100      2130         0     91527     10650   1328622   no data   no data
1625.01/406.84	c  S st    80   2210832       100      2130         0     91527     10650   1328622   no data   no data
1626.20/407.19	c  S st    80   2211340       100      2130         0     92013     10650   1339911   no data   no data
1626.20/407.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1626.60/407.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
1626.60/407.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1626.60/407.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1626.60/407.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1626.60/407.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1626.60/407.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1626.60/407.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1627.00/407.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1686.13/422.13	c lits-rem:      1465  cl-subs:     9504  v-elim:      0  v-fix:    0  time: 14.82 s
1686.13/422.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1686.13/422.15	c vivif2 --  cl tried    82509 cl shrink        0 lits rem          0 time: 0.02
1686.94/422.36	c asymm  cl-useful: 0/588/2130 lits-rem:0 time: 0.21
1686.94/422.36	c calculated reachability. Time: 0.00
1686.94/422.36	c  N st    80   2211340       100      2130         0     82509     10650   1161492   no data   no data
2175.09/544.55	c  N st    81   2711343       100      2130         0    104909     10650   1544644   no data   no data
2175.09/544.55	c  S st    81   2711343       100      2130         0    104909     10650   1544644   no data   no data
2176.67/544.93	c  S st    81   2711847       100      2130         0    105392     10650   1555667   no data   no data
2176.67/544.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2177.07/545.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
2177.07/545.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2177.07/545.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2177.07/545.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2177.07/545.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2177.07/545.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2177.07/545.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2177.07/545.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2271.76/568.76	c lits-rem:      1400  cl-subs:    12731  v-elim:      0  v-fix:    0  time: 23.67 s
2271.76/568.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2271.76/568.78	c vivif2 --  cl tried    92661 cl shrink        0 lits rem          0 time: 0.02
2273.73/569.23	c asymm  cl-useful: 0/1300/2130 lits-rem:0 time: 0.45
2273.73/569.24	c calculated reachability. Time: 0.00
2273.73/569.24	c  N st    81   2711847       100      2130         0     92661     10650   1314572   no data   no data
2793.05/699.22	c  N st    82   3211849       100      2130         0    142680     10650   2298051   no data   no data
2793.05/699.22	c  S st    82   3211849       100      2130         0    142680     10650   2298051   no data   no data
2797.44/700.31	c  S st    82   3212350       100      2130         0     71767     10650    763290   no data   no data
2797.44/700.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2797.44/700.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2797.44/700.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2797.44/700.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2797.44/700.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2797.44/700.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2797.44/700.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2797.44/700.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2797.44/700.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2799.06/700.76	c lits-rem:        25  cl-subs:       48  v-elim:      0  v-fix:    0  time:  0.37 s
2799.06/700.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2799.06/700.77	c vivif2 --  cl tried    71719 cl shrink        0 lits rem          0 time: 0.01
2799.84/700.94	c asymm  cl-useful: 0/830/2130 lits-rem:0 time: 0.17
2799.84/700.95	c calculated reachability. Time: 0.00
2799.84/700.95	c  N st    82   3212350       100      2130         0     71719     10650    762060   no data   no data
3421.81/856.63	c  N st    83   3712350       100      2130         0     81700     10650    910501   no data   no data
3421.81/856.63	c  S st    83   3712350       100      2130         0     81700     10650    910501   no data   no data
3422.62/856.88	c  S st    83   3712855       100      2130         0     82189     10650    921759   no data   no data
3422.62/856.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3423.02/856.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3423.02/856.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3423.02/856.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3423.02/856.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3423.02/856.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3423.02/856.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3423.02/856.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3423.02/856.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3427.01/857.93	c lits-rem:       253  cl-subs:     1614  v-elim:      0  v-fix:    0  time:  0.96 s
3427.01/857.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3427.01/857.94	c vivif2 --  cl tried    80575 cl shrink        0 lits rem          0 time: 0.01
3428.19/858.23	c asymm  cl-useful: 0/1429/2130 lits-rem:0 time: 0.29
3428.19/858.23	c calculated reachability. Time: 0.00
3428.19/858.23	c  N st    83   3712855       100      2130         0     80575     10650    892681   no data   no data
3469.34/868.54	c  F st    84   3751565       100      2130         0    116032     10650   1665611   no data   no data
3469.34/868.55	c  N st    84   3751565       100      2130         0    116032     10650   1665611   no data   no data
3478.13/870.77	c Decided on static restart strategy
3522.07/881.72	c  N st    94   3779870       100      2130         0    142128     10650   2243922   no data   no data
3569.60/893.61	c  N st    96   3815864       100      2130         0     97381     10650   1240706   no data   no data
3603.96/902.28	c  N st    97   3848256       100      2130         0    127170     10650   1896205   no data   no data
3692.64/924.46	c  N st    98   3896844       100      2130         0     92959     10650   1136405   no data   no data
3800.51/951.46	c  N st    99   3969726       100      2130         0     79864     10650    839960   no data   no data
3931.92/984.37	c  N st   100   4079050       100      2130         0     99367     10650   1242766   no data   no data
4108.48/1028.54	c  N st   101   4212856       100      2130         0    139919     10650   2070349   no data   no data
4108.48/1028.54	c  S st   101   4212856       100      2130         0    139919     10650   2070349   no data   no data
4110.86/1029.19	c  S st   101   4213359       100      2130         0    140399     10650   2081456   no data   no data
4111.26/1029.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4111.26/1029.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.09
4111.26/1029.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4111.26/1029.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4111.26/1029.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4111.26/1029.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4111.26/1029.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4111.66/1029.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4112.06/1029.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4321.38/1081.84	c lits-rem:      1608  cl-subs:    19984  v-elim:      0  v-fix:    0  time: 52.43 s
4321.38/1081.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4321.38/1081.87	c vivif2 --  cl tried   120415 cl shrink        0 lits rem          0 time: 0.03
4322.98/1082.28	c asymm  cl-useful: 0/701/2130 lits-rem:0 time: 0.41
4322.98/1082.28	c calculated reachability. Time: 0.00
4322.98/1082.28	c  N st   101   4213359       100      2130         0    120415     10650   1716833   no data   no data
4658.13/1166.15	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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173941-1304073874/watcher-3173941-1304073874 -o /tmp/evaluation-result-3173941-1304073874/solver-3173941-1304073874 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173941-1304073874.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.13 8.09 7.57 2/174 2868
/proc/meminfo: memFree=23628964/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 597618106 52441088 347 33554432000 4194304 4627427 140736911473824 18446744073709551615 260905450481 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 12803 347 299 106 0 7774 0
[pid=2868/tid=2870] ppid=2864 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597618106 52441088 352 33554432000 4194304 4627427 140736911473824 18446744073709551615 47243034048424 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597618106 52441088 352 33554432000 4194304 4627427 140736911473824 18446744073709551615 47243034048434 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597618106 52441088 352 33554432000 4194304 4627427 140736911473824 18446744073709551615 260900441174 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.016526 s]
/proc/loadavg: 8.13 8.09 7.57 2/174 2868
/proc/meminfo: memFree=23628964/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=281728 CPUtime=0.04 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 815 0 0 0 4 0 0 0 25 0 4 0 597618106 288489472 731 33554432000 4194304 4627427 140736911473824 18446744073709551615 4449608 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 70432 731 369 106 0 65403 0
[pid=2868/tid=2870] ppid=2864 vsize=281728 CPUtime=0.01 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 85 0 0 0 1 0 0 0 25 0 4 0 597618106 288489472 731 33554432000 4194304 4627427 140736911473824 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=281728 CPUtime=0 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) D 2864 2868 2254 0 -1 4202560 91 0 0 0 0 0 0 0 25 0 4 0 597618106 288489472 731 33554432000 4194304 4627427 140736911473824 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=281728 CPUtime=0 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) D 2864 2868 2254 0 -1 4202560 122 0 0 0 0 0 0 0 25 0 4 0 597618106 288489472 731 33554432000 4194304 4627427 140736911473824 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 281728

[startup+0.107075 s]
/proc/loadavg: 8.13 8.09 7.57 2/174 2868
/proc/meminfo: memFree=23628964/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=281876 CPUtime=0.4 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 1711 0 0 0 40 0 0 0 25 0 4 0 597618106 288641024 1599 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 70469 1599 383 106 0 65440 0
[pid=2868/tid=2870] ppid=2864 vsize=281876 CPUtime=0.1 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 331 0 0 0 10 0 0 0 25 0 4 0 597618106 288641024 1600 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=281876 CPUtime=0.1 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 341 0 0 0 10 0 0 0 25 0 4 0 597618106 288641024 1600 33554432000 4194304 4627427 140736911473824 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=281876 CPUtime=0.09 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 273 0 0 0 9 0 0 0 25 0 4 0 597618106 288641024 1600 33554432000 4194304 4627427 140736911473824 18446744073709551615 260905054917 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 281876

[startup+0.30104 s]
/proc/loadavg: 8.13 8.09 7.57 2/174 2868
/proc/meminfo: memFree=23628964/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=283696 CPUtime=1.17 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 2981 0 0 0 117 0 0 0 25 0 4 0 597618106 290504704 1954 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 70924 1954 384 106 0 65895 0
[pid=2868/tid=2870] ppid=2864 vsize=283696 CPUtime=0.29 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 585 0 0 0 29 0 0 0 25 0 4 0 597618106 290504704 1954 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=283696 CPUtime=0.29 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 605 0 0 0 29 0 0 0 25 0 4 0 597618106 290504704 1954 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=283696 CPUtime=0.29 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 652 0 0 0 29 0 0 0 25 0 4 0 597618106 290504704 1954 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283696

[startup+0.700966 s]
/proc/loadavg: 8.13 8.09 7.57 2/174 2868
/proc/meminfo: memFree=23628964/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=284900 CPUtime=2.77 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 4951 0 0 0 277 0 0 0 25 0 4 0 597618106 291737600 2524 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 71225 2524 384 106 0 66196 0
[pid=2868/tid=2870] ppid=2864 vsize=284900 CPUtime=0.69 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 1141 0 0 0 69 0 0 0 25 0 4 0 597618106 291737600 2524 33554432000 4194304 4627427 140736911473824 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=284900 CPUtime=0.69 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 1129 0 0 0 69 0 0 0 25 0 4 0 597618106 291737600 2524 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=284900 CPUtime=0.69 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 1100 0 0 0 69 0 0 0 25 0 4 0 597618106 291737600 2524 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284900

[startup+1.50082 s]
/proc/loadavg: 8.12 8.09 7.57 9/184 2888
/proc/meminfo: memFree=23605796/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=285696 CPUtime=5.97 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 10189 0 0 0 596 1 0 0 25 0 4 0 597618106 292552704 5302 33554432000 4194304 4627427 140736911473824 18446744073709551615 4332648 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 71424 5302 388 106 0 66395 0
[pid=2868/tid=2870] ppid=2864 vsize=285696 CPUtime=1.48 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 2959 0 0 0 148 0 0 0 25 0 4 0 597618106 292552704 5302 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=285696 CPUtime=1.49 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 1923 0 0 0 149 0 0 0 25 0 4 0 597618106 292552704 5302 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=285696 CPUtime=1.49 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 1920 0 0 0 149 0 0 0 25 0 4 0 597618106 292552704 5302 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285696

[startup+3.10053 s]
/proc/loadavg: 8.12 8.09 7.57 9/184 2888
/proc/meminfo: memFree=23568720/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=293544 CPUtime=12.36 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 19942 0 0 0 1234 2 0 0 25 0 4 0 597618106 300589056 10956 33554432000 4194304 4627427 140736911473824 18446744073709551615 4310574 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 73386 10956 388 106 0 68357 0
[pid=2868/tid=2870] ppid=2864 vsize=293544 CPUtime=3.07 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 5417 0 0 0 307 0 0 0 25 0 4 0 597618106 300589056 10956 33554432000 4194304 4627427 140736911473824 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=293544 CPUtime=3.09 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 4698 0 0 0 309 0 0 0 25 0 4 0 597618106 300589056 10956 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=293544 CPUtime=3.08 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 4549 0 0 0 308 0 0 0 25 0 4 0 597618106 300589056 10956 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 293544

[startup+6.30094 s]
/proc/loadavg: 8.12 8.09 7.57 9/184 2888
/proc/meminfo: memFree=23515564/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=275976 CPUtime=25.14 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 28454 0 0 0 2510 4 0 0 25 0 4 0 597618106 282599424 13350 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 68994 13350 388 106 0 63965 0
[pid=2868/tid=2870] ppid=2864 vsize=275976 CPUtime=6.26 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 6985 0 0 0 625 1 0 0 25 0 4 0 597618106 282599424 13350 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=275976 CPUtime=6.28 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 7364 0 0 0 628 0 0 0 25 0 4 0 597618106 282599424 13350 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=275976 CPUtime=6.28 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 6569 0 0 0 628 0 0 0 25 0 4 0 597618106 282599424 13350 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 275976

[startup+12.7008 s]
/proc/loadavg: 8.10 8.08 7.58 9/184 2888
/proc/meminfo: memFree=23457096/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=300268 CPUtime=50.71 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 42819 0 0 0 5064 7 0 0 25 0 4 0 597618106 307474432 16917 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 75067 16917 388 106 0 70038 0
[pid=2868/tid=2870] ppid=2864 vsize=300268 CPUtime=12.62 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 11078 0 0 0 1261 1 0 0 25 0 4 0 597618106 307474432 16917 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=300268 CPUtime=12.68 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 10723 0 0 0 1267 1 0 0 25 0 4 0 597618106 307474432 16917 33554432000 4194304 4627427 140736911473824 18446744073709551615 4302923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=300268 CPUtime=12.68 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 10526 0 0 0 1267 1 0 0 25 0 4 0 597618106 307474432 16917 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 300268

[startup+25.5004 s]
/proc/loadavg: 8.09 8.08 7.58 9/184 2889
/proc/meminfo: memFree=23397116/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=304472 CPUtime=101.84 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 66821 0 0 0 10173 11 0 0 25 0 4 0 597618106 311779328 20713 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 76118 20713 388 106 0 71089 0
[pid=2868/tid=2870] ppid=2864 vsize=304472 CPUtime=25.35 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 17528 0 0 0 2533 2 0 0 25 0 4 0 597618106 311779328 20713 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=304472 CPUtime=25.48 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 17243 0 0 0 2546 2 0 0 25 0 4 0 597618106 311779328 20713 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=304472 CPUtime=25.48 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 15964 0 0 0 2546 2 0 0 25 0 4 0 597618106 311779328 20713 33554432000 4194304 4627427 140736911473824 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 304472

[startup+51.1007 s]
/proc/loadavg: 8.06 8.07 7.59 9/184 2889
/proc/meminfo: memFree=23365400/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=275868 CPUtime=204.11 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 102771 0 0 0 20390 21 0 0 25 0 4 0 597618106 282488832 25702 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 68967 25702 388 106 0 63938 0
[pid=2868/tid=2870] ppid=2864 vsize=275868 CPUtime=50.82 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 27084 0 0 0 5077 5 0 0 25 0 4 0 597618106 282488832 25702 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=275868 CPUtime=51.08 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 26293 0 0 0 5104 4 0 0 25 0 4 0 597618106 282488832 25702 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=275868 CPUtime=51.08 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 24707 0 0 0 5103 5 0 0 25 0 4 0 597618106 282488832 25702 33554432000 4194304 4627427 140736911473824 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 275868

[startup+102.306 s]
/proc/loadavg: 8.16 8.10 7.63 9/184 2891
/proc/meminfo: memFree=23275732/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=297940 CPUtime=408.64 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 157006 0 0 0 40829 35 0 0 25 0 4 0 597618106 305090560 36271 33554432000 4194304 4627427 140736911473824 18446744073709551615 4333399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 74485 36271 388 106 0 69456 0
[pid=2868/tid=2870] ppid=2864 vsize=297940 CPUtime=101.75 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 36607 0 0 0 10166 9 0 0 25 0 4 0 597618106 305090560 36271 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=297940 CPUtime=102.29 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 41361 0 0 0 10221 8 0 0 25 0 4 0 597618106 305090560 36271 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=297940 CPUtime=102.29 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 39854 0 0 0 10220 9 0 0 25 0 4 0 597618106 305090560 36271 33554432000 4194304 4627427 140736911473824 18446744073709551615 4324341 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 297940

[startup+162.3 s]

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

[pid=2868] ppid=2864 vsize=516184 CPUtime=2805.43 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 485697 0 0 0 280379 164 0 0 25 0 4 0 597618106 528572416 92606 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 129046 92606 388 106 0 124017 0
[pid=2868/tid=2870] ppid=2864 vsize=516184 CPUtime=698.48 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 118575 0 0 0 69809 39 0 0 25 0 4 0 597618106 528572416 92606 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=516184 CPUtime=702.29 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 134788 0 0 0 70188 41 0 0 25 0 4 0 597618106 528572416 92606 33554432000 4194304 4627427 140736911473824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=516184 CPUtime=702.31 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 110179 0 0 0 70192 39 0 0 25 0 4 0 597618106 528572416 92606 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 516184

[startup+762.306 s]
/proc/loadavg: 8.11 8.11 7.86 9/184 2909
/proc/meminfo: memFree=22820056/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=596916 CPUtime=3045.12 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 502738 0 0 0 304341 171 0 0 25 0 4 0 597618106 611241984 94149 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 149229 94149 388 106 0 144200 0
[pid=2868/tid=2870] ppid=2864 vsize=596916 CPUtime=758.16 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 124011 0 0 0 75776 40 0 0 25 0 4 0 597618106 611241984 94149 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=596916 CPUtime=762.31 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 142187 0 0 0 76186 45 0 0 25 0 4 0 597618106 611241984 94149 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=596916 CPUtime=762.32 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 111395 0 0 0 76191 41 0 0 25 0 4 0 597618106 611241984 94149 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 596916

[startup+822.3 s]
/proc/loadavg: 8.08 8.10 7.87 9/184 2911
/proc/meminfo: memFree=22781572/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=624176 CPUtime=3284.79 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 528090 0 0 0 328294 185 0 0 25 0 4 0 597618106 639156224 98845 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 156044 98845 388 106 0 151015 0
[pid=2868/tid=2870] ppid=2864 vsize=624176 CPUtime=817.83 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 131622 0 0 0 81739 44 0 0 25 0 4 0 597618106 639156224 98845 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=624176 CPUtime=822.3 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 149413 0 0 0 82181 49 0 0 25 0 4 0 597618106 639156224 98845 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=624176 CPUtime=822.31 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 115354 0 0 0 82189 42 0 0 25 0 4 0 597618106 639156224 98845 33554432000 4194304 4627427 140736911473824 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 624176

[startup+882.3 s]
/proc/loadavg: 8.07 8.10 7.88 9/184 2912
/proc/meminfo: memFree=22803956/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=625504 CPUtime=3524.47 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 549152 0 0 0 352253 194 0 0 25 0 4 0 597618106 640516096 93804 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 156376 93804 388 106 0 151347 0
[pid=2868/tid=2870] ppid=2864 vsize=625504 CPUtime=877.51 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 135402 0 0 0 87705 46 0 0 25 0 4 0 597618106 640516096 93804 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=625504 CPUtime=882.3 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 156854 0 0 0 88178 52 0 0 25 0 4 0 597618106 640516096 93804 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=625504 CPUtime=882.31 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 121828 0 0 0 88186 45 0 0 25 0 4 0 597618106 640516096 93804 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 625504

[startup+942.3 s]
/proc/loadavg: 8.06 8.09 7.89 9/184 2914
/proc/meminfo: memFree=22755316/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=625660 CPUtime=3764.15 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 569031 0 0 0 376211 204 0 0 25 0 4 0 597618106 640675840 103772 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 156415 103772 388 106 0 151386 0
[pid=2868/tid=2870] ppid=2864 vsize=625660 CPUtime=937.19 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 138167 0 0 0 93672 47 0 0 25 0 4 0 597618106 640675840 103772 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=625660 CPUtime=942.3 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 162698 0 0 0 94175 55 0 0 25 0 4 0 597618106 640675840 103772 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=625660 CPUtime=942.31 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 127391 0 0 0 94183 48 0 0 25 0 4 0 597618106 640675840 103772 33554432000 4194304 4627427 140736911473824 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 625660

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 7.90 9/184 2927
/proc/meminfo: memFree=22736388/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=639292 CPUtime=4003.8 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 589034 0 0 0 400166 214 0 0 25 0 4 0 597618106 654635008 96318 33554432000 4194304 4627427 140736911473824 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 159823 96318 388 106 0 154794 0
[pid=2868/tid=2870] ppid=2864 vsize=639292 CPUtime=996.85 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 141759 0 0 0 99637 48 0 0 25 0 4 0 597618106 654635008 96318 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=639292 CPUtime=1002.3 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 169406 0 0 0 100172 58 0 0 25 0 4 0 597618106 654635008 96318 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=639292 CPUtime=1002.31 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 133907 0 0 0 100180 51 0 0 25 0 4 0 597618106 654635008 96318 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 639292

[startup+1062.3 s]
/proc/loadavg: 8.13 8.10 7.91 9/184 2928
/proc/meminfo: memFree=22632700/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=642848 CPUtime=4243.48 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 611155 0 0 0 424125 223 0 0 25 0 4 0 597618106 658276352 109149 33554432000 4194304 4627427 140736911473824 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 160712 109149 388 106 0 155683 0
[pid=2868/tid=2870] ppid=2864 vsize=642848 CPUtime=1056.53 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 147100 0 0 0 105602 51 0 0 25 0 4 0 597618106 658276352 109149 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=642848 CPUtime=1062.3 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 175321 0 0 0 106168 62 0 0 25 0 4 0 597618106 658276352 109149 33554432000 4194304 4627427 140736911473824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=642848 CPUtime=1062.32 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 138701 0 0 0 106180 52 0 0 25 0 4 0 597618106 658276352 109149 33554432000 4194304 4627427 140736911473824 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 642848

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 7.92 9/184 2930
/proc/meminfo: memFree=22627096/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=693528 CPUtime=4483.16 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 625736 0 0 0 448084 232 0 0 25 0 4 0 597618106 710172672 112648 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 173382 112648 388 106 0 168353 0
[pid=2868/tid=2870] ppid=2864 vsize=693528 CPUtime=1116.21 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 149198 0 0 0 111568 53 0 0 25 0 4 0 597618106 710172672 112648 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=693528 CPUtime=1122.3 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 181108 0 0 0 112166 64 0 0 25 0 4 0 597618106 710172672 112648 33554432000 4194304 4627427 140736911473824 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=693528 CPUtime=1122.32 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 141787 0 0 0 112178 54 0 0 25 0 4 0 597618106 710172672 112648 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 693528

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 7.93 9/184 2931
/proc/meminfo: memFree=22495852/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=731896 CPUtime=4722.84 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 649507 0 0 0 472040 244 0 0 25 0 4 0 597618106 749461504 129673 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 182974 129673 388 106 0 177945 0
[pid=2868/tid=2870] ppid=2864 vsize=731896 CPUtime=1175.88 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 154165 0 0 0 117533 55 0 0 25 0 4 0 597618106 749461504 129673 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=731896 CPUtime=1182.3 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 187537 0 0 0 118164 66 0 0 25 0 4 0 597618106 749461504 129673 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=731896 CPUtime=1182.32 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 147989 0 0 0 118174 58 0 0 25 0 4 0 597618106 749461504 129673 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 731896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 7.93 9/184 2932
/proc/meminfo: memFree=22579424/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=680084 CPUtime=4800.35 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 654691 0 0 0 479789 246 0 0 25 0 4 0 597618106 696406016 116068 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 170021 116068 388 106 0 164992 0
[pid=2868/tid=2870] ppid=2864 vsize=680084 CPUtime=1195.18 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 154274 0 0 0 119462 56 0 0 25 0 4 0 597618106 696406016 116069 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=680084 CPUtime=1201.71 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 189974 0 0 0 120104 67 0 0 25 0 4 0 597618106 696406016 116069 33554432000 4194304 4627427 140736911473824 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=680084 CPUtime=1201.73 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 148283 0 0 0 120115 58 0 0 25 0 4 0 597618106 696406016 116069 33554432000 4194304 4627427 140736911473824 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 680084

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

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

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 7.93 9/184 2932
/proc/meminfo: memFree=22579424/32950928 swapFree=67071984/67111528
[pid=2868] ppid=2864 vsize=680084 CPUtime=4800.35 cores=1,3,5,7
/proc/2868/stat : 2868 (strangenight2-m) R 2864 2868 2254 0 -1 4202496 654691 0 0 0 479789 246 0 0 25 0 4 0 597618106 696406016 116068 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2868/statm: 170021 116068 388 106 0 164992 0
[pid=2868/tid=2870] ppid=2864 vsize=680084 CPUtime=1195.18 cores=1,3,5,7
/proc/2868/task/2870/stat : 2870 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 154274 0 0 0 119462 56 0 0 25 0 4 0 597618106 696406016 116069 33554432000 4194304 4627427 140736911473824 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2868/tid=2871] ppid=2864 vsize=680084 CPUtime=1201.71 cores=1,3,5,7
/proc/2868/task/2871/stat : 2871 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 189974 0 0 0 120104 67 0 0 25 0 4 0 597618106 696406016 116069 33554432000 4194304 4627427 140736911473824 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2868/tid=2872] ppid=2864 vsize=680084 CPUtime=1201.73 cores=1,3,5,7
/proc/2868/task/2872/stat : 2872 (strangenight2-m) R 2864 2868 2254 0 -1 4202560 148283 0 0 0 120115 58 0 0 25 0 4 0 597618106 696406016 116069 33554432000 4194304 4627427 140736911473824 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 680084

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4797.92
CPU system time (s): 2.48562
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 731960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.92
system time used= 2.48562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654692
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= 329
involuntary context switches= 31529

runsolver used 1.9527 second user time and 4.6123 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 12:44:34
IDJOB=3173941
IDBENCH=82759
IDSOLVER=1586
FILE ID=node116/3173941-1304073874
RUNJOBID= node116-1304072670-2751
PBS_JOBID= 13170472
Free space on /tmp= 72508 MiB

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

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

MD5SUM BENCH= 70c8eb249da14b3681c26bea452706d8
RANDOM SEED=1079577598

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23629004 kB
Buffers:       1902176 kB
Cached:        6950624 kB
SwapCached:       9732 kB
Active:        4400092 kB
Inactive:      4492240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23629004 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:       33260 kB
Mapped:          13688 kB
Slab:           365036 kB
PageTables:       4288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   197696 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= 72504 MiB
End job on node116 at 2011-04-29 13:04:38