Trace number 3174036

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.36 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf
MD5SUMeeb610362e04643aaf1590ad5e0ca989
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.088986
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174036-1304077995.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      71 undec:       7 neg:      72
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4915       150      3195         0      4676     15975    139389   no data   no data
1.18/0.37	c  N st    10     11297       150      3195         0      4329     15975     98175   no data   no data
1.98/0.59	c  N st    11     17041       150      3195         0      9782     15975    260134   no data   no data
3.57/0.98	c  F st    12     25001       150      3195         0     11980     15975    316714   no data   no data
3.57/0.99	c  N st    12     25001       150      3195         0     11980     15975    316714   no data   no data
4.39/1.19	c Decided on static restart strategy
4.39/1.19	c  N st    18     30000       150      3195         0     10290     15975    262721   no data   no data
4.39/1.19	c  S st    18     30000       150      3195         0     10290     15975    262721   no data   no data
4.80/1.22	c  S st    18     30506       150      3195         0     10785     15975    277040   no data   no data
4.80/1.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.80/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.80/1.23	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.80/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.80/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.80/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.80/1.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.80/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c lits-rem:       188  cl-subs:     1271  v-elim:      0  v-fix:    0  time:  0.19 s
5.57/1.47	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.47	c calculated reachability. Time: 0.00
5.57/1.47	c  N st    18     30506       150      3195         0      9514     15975    235342   no data   no data
7.17/1.81	c  N st    20     37618       150      3195         0      8780     15975    196542   no data   no data
8.37/2.15	c  N st    21     44018       150      3195         0     14923     15975    382506   no data   no data
8.78/2.26	c  S st    22     45761       150      3195         0     16585     15975    433574   no data   no data
8.78/2.30	c  S st    22     46263       150      3195         0     17077     15975    448023   no data   no data
9.20/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.20/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
9.20/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.20/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.20/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.20/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.20/2.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
9.20/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.77/2.79	c lits-rem:       408  cl-subs:     1458  v-elim:      0  v-fix:    0  time:  0.46 s
10.77/2.79	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
10.77/2.79	c vivif2 --  cl tried    15619 cl shrink        0 lits rem          0 time: 0.00
11.17/2.86	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.06
11.17/2.86	c calculated reachability. Time: 0.00
11.17/2.86	c  N st    22     46263       150      3195         0     15619     15975    399110   no data   no data
14.36/3.68	c  N st    23     60661       150      3195         0     11300     15975    233528   no data   no data
16.76/4.22	c  N st    24     69395       150      3195         0     19550     15975    477993   no data   no data
16.76/4.22	c  S st    24     69395       150      3195         0     19550     15975    477993   no data   no data
16.76/4.26	c  S st    24     69897       150      3195         0     20047     15975    491992   no data   no data
16.76/4.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
16.76/4.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.76/4.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
16.76/4.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.76/4.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
16.76/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.96/5.05	c lits-rem:       286  cl-subs:     2066  v-elim:      0  v-fix:    0  time:  0.75 s
19.96/5.05	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
19.96/5.06	c vivif2 --  cl tried    17981 cl shrink        0 lits rem          0 time: 0.00
20.36/5.13	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
20.36/5.13	c calculated reachability. Time: 0.00
20.36/5.13	c  N st    24     69897       150      3195         0     17981     15975    427016   no data   no data
24.75/6.22	c  F st    25     87501       150      3195         0     12956     15975    258426   no data   no data
24.75/6.22	c  N st    25     87501       150      3195         0     12956     15975    258426   no data   no data
25.95/6.51	c Decided on static restart strategy
26.77/6.71	c  N st    32     95541       150      3195         0     20635     15975    493217   no data   no data
29.14/7.34	c  N st    34    104846       150      3195         0     17154     15975    375089   no data   no data
29.14/7.34	c  S st    34    104846       150      3195         0     17154     15975    375089   no data   no data
29.14/7.39	c  S st    34    105350       150      3195         0     17650     15975    389953   no data   no data
29.14/7.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.14/7.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
29.14/7.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.14/7.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.14/7.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
29.14/7.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.54/7.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
29.54/7.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.35/7.66	c lits-rem:       186  cl-subs:      953  v-elim:      0  v-fix:    0  time:  0.25 s
30.35/7.66	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
30.35/7.66	c vivif2 --  cl tried    16697 cl shrink        0 lits rem          0 time: 0.00
30.75/7.75	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
30.75/7.75	c calculated reachability. Time: 0.00
30.75/7.75	c  N st    34    105350       150      3195         0     16697     15975    358324   no data   no data
33.93/8.56	c  N st    35    114948       150      3195         0     25757     15975    634582   no data   no data
38.33/9.64	c  N st    36    129346       150      3195         0     26159     15975    630410   no data   no data
45.52/11.43	c  N st    37    150942       150      3195         0     17245     15975    316789   no data   no data
47.52/11.94	c  S st    38    158026       150      3195         0     23991     15975    526636   no data   no data
47.91/12.00	c  S st    38    158528       150      3195         0     24476     15975    541231   no data   no data
47.91/12.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.91/12.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
47.91/12.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.91/12.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.91/12.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
47.91/12.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.91/12.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.91/12.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.31/12.62	c lits-rem:       366  cl-subs:     1515  v-elim:      0  v-fix:    0  time:  0.59 s
50.31/12.63	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
50.31/12.63	c vivif2 --  cl tried    22961 cl shrink        0 lits rem          0 time: 0.01
50.71/12.72	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.09
50.71/12.72	c calculated reachability. Time: 0.00
50.71/12.72	c  N st    38    158528       150      3195         0     22961     15975    490767   no data   no data
66.69/16.74	c  N st    39    207116       150      3195         0     35870     15975    856396   no data   no data
77.88/19.58	c  N st    40    237793       150      3195         0     27985     15975    592063   no data   no data
77.88/19.58	c  S st    40    237793       150      3195         0     27985     15975    592063   no data   no data
78.28/19.66	c  S st    40    238295       150      3195         0     28480     15975    606602   no data   no data
78.28/19.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.28/19.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
78.28/19.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.28/19.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.28/19.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.28/19.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
78.28/19.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.28/19.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.28/19.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.87/20.51	c lits-rem:       591  cl-subs:     1753  v-elim:      0  v-fix:    0  time:  0.81 s
81.87/20.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.87/20.52	c vivif2 --  cl tried    26727 cl shrink        0 lits rem          0 time: 0.01
82.28/20.63	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
82.28/20.63	c calculated reachability. Time: 0.00
82.28/20.63	c  N st    40    238295       150      3195         0     26727     15975    553640   no data   no data
109.04/27.33	c  F st    41    306251       150      3195         0     28495     15975    548495   no data   no data
109.04/27.33	c  N st    41    306251       150      3195         0     28495     15975    548495   no data   no data
111.03/27.86	c Decided on static restart strategy
121.42/30.47	c  N st    51    334563       150      3195         0     32740     15975    649390   no data   no data
132.61/33.25	c  N st    53    357442       150      3195         0     30805     15975    573858   no data   no data
132.61/33.25	c  S st    53    357442       150      3195         0     30805     15975    573858   no data   no data
133.01/33.33	c  S st    53    357943       150      3195         0     31293     15975    588140   no data   no data
133.01/33.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
133.01/33.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
133.01/33.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
133.01/33.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
133.01/33.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.01/33.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
133.01/33.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
133.01/33.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
133.01/33.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.00/33.88	c lits-rem:       270  cl-subs:     1211  v-elim:      0  v-fix:    0  time:  0.52 s
135.00/33.88	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
135.00/33.89	c vivif2 --  cl tried    30082 cl shrink        0 lits rem          0 time: 0.01
135.80/34.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
135.80/34.02	c calculated reachability. Time: 0.00
135.80/34.02	c  N st    53    357943       150      3195         0     30082     15975    549335   no data   no data
149.80/37.51	c  N st    54    390336       150      3195         0     36225     15975    735828   no data   no data
178.14/44.66	c  N st    55    438924       150      3195         0     30030     15975    518115   no data   no data
211.70/53.01	c  N st    56    511806       150      3195         0     43171     15975    885026   no data   no data
224.87/56.31	c  N st    57    536914       150      3195         0     37705     15975    677989   no data   no data
224.87/56.31	c  S st    57    536914       150      3195         0     37705     15975    677989   no data   no data
225.27/56.40	c  S st    57    537416       150      3195         0     38197     15975    692515   no data   no data
225.27/56.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
225.27/56.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
225.27/56.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
225.27/56.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
225.27/56.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
225.27/56.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
225.27/56.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
225.27/56.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
225.27/56.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
228.48/57.24	c lits-rem:       511  cl-subs:     1370  v-elim:      0  v-fix:    0  time:  0.79 s
228.48/57.24	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
228.48/57.25	c vivif2 --  cl tried    36827 cl shrink        0 lits rem          0 time: 0.01
229.27/57.41	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
229.27/57.41	c calculated reachability. Time: 0.00
229.27/57.41	c  N st    57    537416       150      3195         0     36827     15975    649547   no data   no data
323.54/81.01	c  N st    58    701401       150      3195         0     65015     15975   1471722   no data   no data
388.65/97.36	c  N st    59    806124       150      3195         0     59306     15975   1244105   no data   no data
388.65/97.36	c  S st    59    806124       150      3195         0     59306     15975   1244105   no data   no data
389.46/97.53	c  S st    59    806629       150      3195         0     59798     15975   1258922   no data   no data
389.46/97.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
389.46/97.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
389.46/97.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
389.46/97.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
389.46/97.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
389.46/97.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
389.46/97.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
389.46/97.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
389.85/97.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
411.82/103.17	c lits-rem:      1728  cl-subs:     3954  v-elim:      0  v-fix:    0  time:  5.53 s
411.82/103.17	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
411.82/103.19	c vivif2 --  cl tried    55844 cl shrink        0 lits rem          0 time: 0.01
413.03/103.48	c asymm  cl-useful: 0/2926/3195 lits-rem:0 time: 0.28
413.03/103.48	c calculated reachability. Time: 0.00
413.03/103.48	c  N st    59    806629       150      3195         0     55844     15975   1135050   no data   no data
594.77/148.98	c  F st    60   1071875       150      3195         0     71118     15975   1475591   no data   no data
594.77/148.98	c  N st    60   1071875       150      3195         0     71118     15975   1475591   no data   no data
599.57/150.17	c Decided on static restart strategy
616.35/154.30	c  N st    70   1100176       150      3195         0     55465     15975    977942   no data   no data
647.10/162.03	c  N st    72   1136170       150      3195         0     45983     15975    662063   no data   no data
670.27/167.84	c  N st    73   1168562       150      3195         0     76684     15975   1606543   no data   no data
702.63/175.99	c  N st    74   1209944       150      3195         0     71433     15975   1419182   no data   no data
702.63/175.99	c  S st    74   1209944       150      3195         0     71433     15975   1419182   no data   no data
703.82/176.27	c  S st    74   1210449       150      3195         0     71921     15975   1433817   no data   no data
703.82/176.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
704.22/176.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
704.22/176.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
704.22/176.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
704.22/176.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
704.22/176.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
704.22/176.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
704.22/176.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
704.63/176.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
772.93/193.57	c lits-rem:      1363  cl-subs:     4798  v-elim:      0  v-fix:    0  time: 17.09 s
772.93/193.57	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
773.34/193.60	c vivif2 --  cl tried    67123 cl shrink        0 lits rem          0 time: 0.02
775.33/194.18	c asymm  cl-useful: 0/2396/3195 lits-rem:0 time: 0.57
775.33/194.18	c calculated reachability. Time: 0.00
775.33/194.18	c  N st    74   1210449       150      3195         0     67123     15975   1282995   no data   no data
843.23/211.12	c  N st    75   1283331       150      3195         0     90692     15975   2026951   no data   no data
960.68/240.53	c  N st    76   1392654       150      3195         0     52036     15975    755149   no data   no data
1117.66/279.81	c  N st    77   1556639       150      3195         0     56688     15975    845898   no data   no data
1257.88/314.97	c  N st    78   1710450       150      3195         0     96811     15975   1998813   no data   no data
1257.88/314.97	c  S st    78   1710450       150      3195         0     96811     15975   1998813   no data   no data
1259.08/315.26	c  S st    78   1710952       150      3195         0     97299     15975   2013541   no data   no data
1259.08/315.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1259.48/315.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1259.48/315.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1259.48/315.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1259.48/315.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1259.48/315.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1259.48/315.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1259.48/315.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1259.88/315.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1362.15/341.09	c lits-rem:      3002  cl-subs:    11061  v-elim:      0  v-fix:    0  time: 25.55 s
1362.15/341.09	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1362.56/341.11	c vivif2 --  cl tried    86238 cl shrink        0 lits rem          0 time: 0.02
1362.93/341.29	c asymm  cl-useful: 0/799/3195 lits-rem:0 time: 0.18
1363.33/341.30	c calculated reachability. Time: 0.00
1363.33/341.30	c  N st    78   1710952       150      3195         0     86238     15975   1700551   no data   no data
1728.04/432.60	c  N st    79   2079919       150      3195         0     98510     15975   1994604   no data   no data
1863.48/466.53	c  N st    80   2210952       150      3195         0    102106     15975   2042472   no data   no data
1863.48/466.53	c  S st    80   2210952       150      3195         0    102106     15975   2042472   no data   no data
1864.65/466.81	c  S st    80   2211456       150      3195         0    102598     15975   2057920   no data   no data
1864.65/466.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1864.65/466.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1864.65/466.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1864.65/466.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1864.65/466.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1864.65/466.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1864.65/466.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1865.05/466.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1865.05/466.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1959.74/490.69	c lits-rem:      1621  cl-subs:     9707  v-elim:      0  v-fix:    0  time: 23.60 s
1959.74/490.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1960.15/490.71	c vivif2 --  cl tried    92891 cl shrink        0 lits rem          0 time: 0.02
1961.33/491.06	c asymm  cl-useful: 0/1829/3195 lits-rem:0 time: 0.35
1961.33/491.06	c calculated reachability. Time: 0.00
1961.33/491.06	c  N st    80   2211456       150      3195         0     92891     15975   1775223   no data   no data
2499.40/625.76	c  N st    81   2711457       150      3195         0    116004     15975   2378473   no data   no data
2499.40/625.76	c  S st    81   2711457       150      3195         0    116004     15975   2378473   no data   no data
2500.99/626.12	c  S st    81   2711959       150      3195         0    116494     15975   2393220   no data   no data
2500.99/626.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2500.99/626.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2500.99/626.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2500.99/626.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2500.99/626.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2500.99/626.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2500.99/626.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2501.40/626.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2501.40/626.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2627.22/657.73	c lits-rem:      1729  cl-subs:    10702  v-elim:      0  v-fix:    0  time: 31.27 s
2627.22/657.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2627.22/657.76	c vivif2 --  cl tried   105792 cl shrink        0 lits rem          0 time: 0.03
2628.82/658.15	c asymm  cl-useful: 0/1366/3195 lits-rem:0 time: 0.39
2628.82/658.15	c calculated reachability. Time: 0.00
2628.82/658.15	c  N st    81   2711959       150      3195         0    105792     15975   2077172   no data   no data
3286.74/822.86	c  N st    82   3211959       150      3195         0     82784     15975   1223879   no data   no data
3286.74/822.86	c  S st    82   3211959       150      3195         0     82784     15975   1223879   no data   no data
3287.93/823.11	c  S st    82   3212462       150      3195         0     83274     15975   1238767   no data   no data
3287.93/823.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3287.93/823.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3287.93/823.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3287.93/823.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3287.93/823.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3287.93/823.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3287.93/823.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3287.93/823.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3288.33/823.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3296.31/825.26	c lits-rem:       464  cl-subs:     1851  v-elim:      0  v-fix:    0  time:  2.04 s
3296.31/825.26	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3296.31/825.28	c vivif2 --  cl tried    81423 cl shrink        0 lits rem          0 time: 0.02
3297.92/825.60	c asymm  cl-useful: 0/2039/3195 lits-rem:0 time: 0.32
3297.92/825.61	c calculated reachability. Time: 0.00
3297.92/825.61	c  N st    82   3212462       150      3195         0     81423     15975   1183152   no data   no data
3990.58/999.06	c  N st    83   3712462       150      3195         0     91859     15975   1390814   no data   no data
3990.58/999.06	c  S st    83   3712462       150      3195         0     91859     15975   1390814   no data   no data
3991.77/999.37	c  S st    83   3712962       150      3195         0     92346     15975   1405570   no data   no data
3991.77/999.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3992.17/999.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3992.17/999.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3992.17/999.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3992.17/999.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3992.17/999.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3992.17/999.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3992.17/999.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3992.57/999.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4007.37/1003.22	c lits-rem:       632  cl-subs:     2816  v-elim:      0  v-fix:    0  time:  3.69 s
4007.37/1003.22	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4007.37/1003.24	c vivif2 --  cl tried    89530 cl shrink        0 lits rem          0 time: 0.02
4008.16/1003.50	c asymm  cl-useful: 0/1156/3195 lits-rem:0 time: 0.25
4008.56/1003.50	c calculated reachability. Time: 0.00
4008.56/1003.50	c  N st    83   3712962       150      3195         0     89530     15975   1322432   no data   no data
4057.69/1015.81	c  F st    84   3751562       150      3195         0    125960     15975   2480417   no data   no data
4057.69/1015.81	c  N st    84   3751562       150      3195         0    125960     15975   2480417   no data   no data
4066.88/1018.11	c Decided on static restart strategy
4107.62/1028.32	c  N st    94   3779868       150      3195         0    152826     15975   3339872   no data   no data
4155.55/1040.36	c  N st    96   3815862       150      3195         0    107061     15975   1876703   no data   no data
4214.67/1055.10	c  N st    97   3848254       150      3195         0    137698     15975   2823728   no data   no data
4284.98/1072.72	c  N st    98   3896844       150      3195         0    102431     15975   1672111   no data   no data
4399.22/1101.40	c  N st    99   3969726       150      3195         0     88988     15975   1229606   no data   no data
4562.61/1142.27	c  N st   100   4079051       150      3195         0    108948     15975   1820044   no data   no data
4767.13/1193.49	c  N st   101   4212965       150      3195         0    151236     15975   3139847   no data   no data
4767.13/1193.49	c  S st   101   4212965       150      3195         0    151236     15975   3139847   no data   no data
4769.13/1193.98	c  S st   101   4213468       150      3195         0    151729     15975   3155099   no data   no data
4769.13/1193.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4769.53/1194.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4769.53/1194.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4769.53/1194.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4769.53/1194.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4769.53/1194.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4769.53/1194.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4769.93/1194.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4770.33/1194.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.75 8.01 7.92 6/180 769
/proc/meminfo: memFree=19150884/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 519399166 52441088 348 33554432000 4194304 4627427 140733871869744 18446744073709551615 274474023921 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/769/statm: 12803 348 299 106 0 7774 0
[pid=769/tid=770] ppid=767 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 519399166 52441088 354 33554432000 4194304 4627427 140733871869744 18446744073709551615 47579412928025 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519399166 52441088 354 33554432000 4194304 4627427 140733871869744 18446744073709551615 47579412928019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519399166 52441088 354 33554432000 4194304 4627427 140733871869744 18446744073709551615 47579412928023 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.106435 s]
/proc/loadavg: 7.75 8.01 7.92 6/180 769
/proc/meminfo: memFree=19150884/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=282476 CPUtime=0.4 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 2042 0 0 0 40 0 0 0 25 0 4 0 519399166 289255424 1854 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 70619 1855 383 106 0 65590 0
[pid=769/tid=770] ppid=767 vsize=282476 CPUtime=0.1 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 437 0 0 0 10 0 0 0 25 0 4 0 519399166 289255424 1855 33554432000 4194304 4627427 140733871869744 18446744073709551615 4333195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=282476 CPUtime=0.1 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 434 0 0 0 10 0 0 0 25 0 4 0 519399166 289255424 1855 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=282476 CPUtime=0.1 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 312 0 0 0 10 0 0 0 25 0 4 0 519399166 289255424 1855 33554432000 4194304 4627427 140733871869744 18446744073709551615 4507260 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) 282476

[startup+0.200419 s]
/proc/loadavg: 7.75 8.01 7.92 6/180 769
/proc/meminfo: memFree=19150884/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=284152 CPUtime=0.78 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 2883 0 0 0 78 0 0 0 25 0 4 0 519399166 290971648 1978 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 71038 1978 384 106 0 66009 0
[pid=769/tid=770] ppid=767 vsize=284152 CPUtime=0.19 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 654 0 0 0 19 0 0 0 25 0 4 0 519399166 290971648 1978 33554432000 4194304 4627427 140733871869744 18446744073709551615 4305480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=284152 CPUtime=0.19 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 643 0 0 0 19 0 0 0 25 0 4 0 519399166 290971648 1978 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=284152 CPUtime=0.19 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 512 0 0 0 19 0 0 0 25 0 4 0 519399166 290971648 1978 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284152

[startup+0.300401 s]
/proc/loadavg: 7.75 8.01 7.92 6/180 769
/proc/meminfo: memFree=19150884/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=284288 CPUtime=1.18 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 3366 0 0 0 118 0 0 0 25 0 4 0 519399166 291110912 2461 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 71072 2461 384 106 0 66043 0
[pid=769/tid=770] ppid=767 vsize=284288 CPUtime=0.29 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 780 0 0 0 29 0 0 0 25 0 4 0 519399166 291110912 2461 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=284288 CPUtime=0.29 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 765 0 0 0 29 0 0 0 25 0 4 0 519399166 291110912 2461 33554432000 4194304 4627427 140733871869744 18446744073709551615 4305446 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=284288 CPUtime=0.29 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 636 0 0 0 29 0 0 0 25 0 4 0 519399166 291110912 2461 33554432000 4194304 4627427 140733871869744 18446744073709551615 4333350 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284288

[startup+0.700334 s]
/proc/loadavg: 7.75 8.01 7.92 6/180 769
/proc/meminfo: memFree=19150884/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=286108 CPUtime=2.77 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 6090 0 0 0 277 0 0 0 25 0 4 0 519399166 292974592 2733 33554432000 4194304 4627427 140733871869744 18446744073709551615 4333184 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 71527 2733 384 106 0 66498 0
[pid=769/tid=770] ppid=767 vsize=286108 CPUtime=0.69 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 1475 0 0 0 69 0 0 0 25 0 4 0 519399166 292974592 2733 33554432000 4194304 4627427 140733871869744 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=286108 CPUtime=0.69 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 1449 0 0 0 69 0 0 0 25 0 4 0 519399166 292974592 2734 33554432000 4194304 4627427 140733871869744 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=286108 CPUtime=0.69 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 1311 0 0 0 69 0 0 0 25 0 4 0 519399166 292974592 2734 33554432000 4194304 4627427 140733871869744 18446744073709551615 4308399 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) 286108

[startup+1.50019 s]
/proc/loadavg: 7.75 8.01 7.92 9/184 773
/proc/meminfo: memFree=19132136/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=294128 CPUtime=5.97 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 12854 0 0 0 595 2 0 0 25 0 4 0 519399166 301187072 6450 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 73532 6450 388 106 0 68503 0
[pid=769/tid=770] ppid=767 vsize=294128 CPUtime=1.48 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 3861 0 0 0 148 0 0 0 25 0 4 0 519399166 301187072 6450 33554432000 4194304 4627427 140733871869744 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=294128 CPUtime=1.49 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 2502 0 0 0 149 0 0 0 25 0 4 0 519399166 301187072 6450 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=294128 CPUtime=1.49 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 2353 0 0 0 149 0 0 0 25 0 4 0 519399166 301187072 6450 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309905 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) 294128

[startup+3.10091 s]
/proc/loadavg: 7.75 8.01 7.92 9/184 773
/proc/meminfo: memFree=19085884/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=298880 CPUtime=12.36 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 22960 0 0 0 1233 3 0 0 25 0 4 0 519399166 306053120 12032 33554432000 4194304 4627427 140733871869744 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 74720 12032 388 106 0 69691 0
[pid=769/tid=770] ppid=767 vsize=298880 CPUtime=3.09 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 5188 0 0 0 308 1 0 0 25 0 4 0 519399166 306053120 12032 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=298880 CPUtime=3.08 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 5852 0 0 0 308 0 0 0 25 0 4 0 519399166 306053120 12032 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=298880 CPUtime=3.08 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 5732 0 0 0 308 0 0 0 25 0 4 0 519399166 306053120 12032 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309272 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) 298880

[startup+6.30035 s]
/proc/loadavg: 7.77 8.01 7.92 9/184 773
/proc/meminfo: memFree=19055748/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=318736 CPUtime=25.15 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 35253 0 0 0 2508 7 0 0 25 0 4 0 519399166 326385664 17469 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 79684 17469 388 106 0 74655 0
[pid=769/tid=770] ppid=767 vsize=318736 CPUtime=6.29 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 9033 0 0 0 628 1 0 0 25 0 4 0 519399166 326385664 17469 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=318736 CPUtime=6.29 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 9261 0 0 0 627 2 0 0 25 0 4 0 519399166 326385664 17469 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=318736 CPUtime=6.28 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 8083 0 0 0 627 1 0 0 25 0 4 0 519399166 326385664 17469 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 318736

[startup+12.7002 s]
/proc/loadavg: 7.87 8.03 7.93 9/184 773
/proc/meminfo: memFree=19017516/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=312964 CPUtime=50.71 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 53781 0 0 0 5060 11 0 0 25 0 4 0 519399166 320475136 23084 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 78241 23084 388 106 0 73212 0
[pid=769/tid=770] ppid=767 vsize=312964 CPUtime=12.69 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 14052 0 0 0 1267 2 0 0 25 0 4 0 519399166 320475136 23084 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=312964 CPUtime=12.68 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 13436 0 0 0 1265 3 0 0 25 0 4 0 519399166 320475136 23084 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=312964 CPUtime=12.68 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 13803 0 0 0 1266 2 0 0 25 0 4 0 519399166 320475136 23084 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309584 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) 312964

[startup+25.501 s]
/proc/loadavg: 7.90 8.02 7.93 9/184 774
/proc/meminfo: memFree=18968660/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=312744 CPUtime=101.84 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 80447 0 0 0 10167 17 0 0 25 0 4 0 519399166 320249856 30804 33554432000 4194304 4627427 140733871869744 18446744073709551615 4310580 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 78186 30804 388 106 0 73157 0
[pid=769/tid=770] ppid=767 vsize=312744 CPUtime=25.49 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 21981 0 0 0 2545 4 0 0 25 0 4 0 519399166 320249856 30804 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=312744 CPUtime=25.49 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 21218 0 0 0 2544 5 0 0 25 0 4 0 519399166 320249856 30804 33554432000 4194304 4627427 140733871869744 18446744073709551615 4321895 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=312744 CPUtime=25.48 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 20755 0 0 0 2544 4 0 0 25 0 4 0 519399166 320249856 30804 33554432000 4194304 4627427 140733871869744 18446744073709551615 4308399 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) 312744

[startup+51.1005 s]
/proc/loadavg: 7.93 8.02 7.93 9/184 775
/proc/meminfo: memFree=18898556/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=324200 CPUtime=204.1 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 121636 0 0 0 20382 28 0 0 25 0 4 0 519399166 331980800 36543 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 81050 36543 388 106 0 76021 0
[pid=769/tid=770] ppid=767 vsize=324200 CPUtime=51.09 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 32583 0 0 0 5103 6 0 0 25 0 4 0 519399166 331980800 36543 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=324200 CPUtime=51.08 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 32757 0 0 0 5101 7 0 0 25 0 4 0 519399166 331980800 36543 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=324200 CPUtime=51.08 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 30658 0 0 0 5101 7 0 0 25 0 4 0 519399166 331980800 36543 33554432000 4194304 4627427 140733871869744 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 324200

[startup+102.3 s]
/proc/loadavg: 8.05 8.05 7.94 9/184 776
/proc/meminfo: memFree=18804532/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=401368 CPUtime=408.64 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 193026 0 0 0 40810 54 0 0 25 0 4 0 519399166 411000832 50201 33554432000 4194304 4627427 140733871869744 18446744073709551615 4428244 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 100342 50201 388 106 0 95313 0
[pid=769/tid=770] ppid=767 vsize=401368 CPUtime=102.29 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 49605 0 0 0 10217 12 0 0 25 0 4 0 519399166 411000832 50204 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=401368 CPUtime=102.29 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 50074 0 0 0 10215 14 0 0 25 0 4 0 519399166 411000832 50204 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=401368 CPUtime=102.29 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 48937 0 0 0 10215 14 0 0 25 0 4 0 519399166 411000832 50204 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309109 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) 401368

[startup+162.301 s]

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

[pid=769] ppid=767 vsize=615316 CPUtime=2565.71 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 565073 0 0 0 256360 211 0 0 25 0 4 0 519399166 630083584 98637 33554432000 4194304 4627427 140733871869744 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 153829 98637 388 106 0 148800 0
[pid=769/tid=770] ppid=767 vsize=615316 CPUtime=642.3 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 150235 0 0 0 64175 55 0 0 25 0 4 0 519399166 630083584 98637 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=615316 CPUtime=642.28 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 154650 0 0 0 64168 60 0 0 25 0 4 0 519399166 630083584 98637 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=615316 CPUtime=642.29 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 150178 0 0 0 64174 55 0 0 25 0 4 0 519399166 630083584 98637 33554432000 4194304 4627427 140733871869744 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 615316

[startup+702.301 s]
/proc/loadavg: 8.26 8.11 8.00 9/184 804
/proc/meminfo: memFree=18278016/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=620588 CPUtime=2805.38 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 592954 0 0 0 280314 224 0 0 25 0 4 0 519399166 635482112 101736 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 155147 101736 388 106 0 150118 0
[pid=769/tid=770] ppid=767 vsize=620588 CPUtime=702.3 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 158642 0 0 0 70170 60 0 0 25 0 4 0 519399166 635482112 101736 33554432000 4194304 4627427 140733871869744 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=620588 CPUtime=702.28 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 162618 0 0 0 70164 64 0 0 25 0 4 0 519399166 635482112 101736 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=620588 CPUtime=702.3 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 160025 0 0 0 70171 59 0 0 25 0 4 0 519399166 635482112 101736 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 620588

[startup+762.3 s]
/proc/loadavg: 8.14 8.10 8.00 9/184 805
/proc/meminfo: memFree=18251824/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=676888 CPUtime=3045.07 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 623257 0 0 0 304268 239 0 0 25 0 4 0 519399166 693133312 106775 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 169222 106775 388 106 0 164193 0
[pid=769/tid=770] ppid=767 vsize=676888 CPUtime=762.31 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 171490 0 0 0 76166 65 0 0 25 0 4 0 519399166 693133312 106775 33554432000 4194304 4627427 140733871869744 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=676888 CPUtime=762.28 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 171418 0 0 0 76160 68 0 0 25 0 4 0 519399166 693133312 106775 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=676888 CPUtime=762.3 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 168087 0 0 0 76166 64 0 0 25 0 4 0 519399166 693133312 106775 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 676888

[startup+822.301 s]
/proc/loadavg: 8.05 8.08 8.00 9/184 807
/proc/meminfo: memFree=18231712/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=678180 CPUtime=3284.74 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 643058 0 0 0 328228 246 0 0 25 0 4 0 519399166 694456320 113272 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 169545 113272 388 106 0 164516 0
[pid=769/tid=770] ppid=767 vsize=678180 CPUtime=822.31 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 175480 0 0 0 82164 67 0 0 25 0 4 0 519399166 694456320 113272 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=678180 CPUtime=822.27 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 177377 0 0 0 82156 71 0 0 25 0 4 0 519399166 694456320 113272 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=678180 CPUtime=822.3 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 177633 0 0 0 82164 66 0 0 25 0 4 0 519399166 694456320 113272 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 678180

[startup+882.306 s]
/proc/loadavg: 8.02 8.06 8.00 9/184 809
/proc/meminfo: memFree=18182952/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=637376 CPUtime=3524.43 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 674861 0 0 0 352182 261 0 0 25 0 4 0 519399166 652673024 117756 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 159344 117756 388 106 0 154315 0
[pid=769/tid=770] ppid=767 vsize=637376 CPUtime=882.31 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 183390 0 0 0 88160 71 0 0 25 0 4 0 519399166 652673024 117756 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=637376 CPUtime=882.29 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 186565 0 0 0 88154 75 0 0 25 0 4 0 519399166 652673024 117756 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=637376 CPUtime=882.3 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 186370 0 0 0 88160 70 0 0 25 0 4 0 519399166 652673024 117756 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 637376

[startup+942.301 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 810
/proc/meminfo: memFree=18187528/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=693988 CPUtime=3764.09 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 707909 0 0 0 376131 278 0 0 25 0 4 0 519399166 710643712 119932 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 173497 119932 388 106 0 168468 0
[pid=769/tid=770] ppid=767 vsize=693988 CPUtime=942.31 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 191406 0 0 0 94157 74 0 0 25 0 4 0 519399166 710643712 119932 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=693988 CPUtime=942.27 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 194693 0 0 0 94148 79 0 0 25 0 4 0 519399166 710643712 119932 33554432000 4194304 4627427 140733871869744 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=693988 CPUtime=942.3 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 195059 0 0 0 94155 75 0 0 25 0 4 0 519399166 710643712 119932 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 693988

[startup+1002.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/184 812
/proc/meminfo: memFree=18161968/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=638312 CPUtime=4003.77 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 734949 0 0 0 400088 289 0 0 25 0 4 0 519399166 653631488 121787 33554432000 4194304 4627427 140733871869744 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 159578 121787 388 106 0 154549 0
[pid=769/tid=770] ppid=767 vsize=638312 CPUtime=1002.31 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 197761 0 0 0 100155 76 0 0 25 0 4 0 519399166 653631488 121787 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=638312 CPUtime=1002.28 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 201598 0 0 0 100145 83 0 0 25 0 4 0 519399166 653631488 121787 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=638312 CPUtime=1002.3 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 202113 0 0 0 100153 77 0 0 25 0 4 0 519399166 653631488 121787 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 638312

[startup+1062.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 813
/proc/meminfo: memFree=18125260/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=752344 CPUtime=4243.44 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 765186 0 0 0 424042 302 0 0 25 0 4 0 519399166 770400256 126139 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 188086 126139 388 106 0 183057 0
[pid=769/tid=770] ppid=767 vsize=752344 CPUtime=1062.3 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 206014 0 0 0 106151 79 0 0 25 0 4 0 519399166 770400256 126139 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=752344 CPUtime=1062.27 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 209801 0 0 0 106141 86 0 0 25 0 4 0 519399166 770400256 126139 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=752344 CPUtime=1062.3 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 209755 0 0 0 106150 80 0 0 25 0 4 0 519399166 770400256 126139 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 752344

[startup+1122.3 s]
/proc/loadavg: 8.19 8.12 8.02 9/184 815
/proc/meminfo: memFree=18123264/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=639112 CPUtime=4483.11 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 796587 0 0 0 447995 316 0 0 25 0 4 0 519399166 654450688 124361 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 159778 124361 388 106 0 154749 0
[pid=769/tid=770] ppid=767 vsize=639112 CPUtime=1122.31 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 214131 0 0 0 112148 83 0 0 25 0 4 0 519399166 654450688 124361 33554432000 4194304 4627427 140733871869744 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=639112 CPUtime=1122.28 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 217500 0 0 0 112137 91 0 0 25 0 4 0 519399166 654450688 124361 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=639112 CPUtime=1122.3 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 217803 0 0 0 112146 84 0 0 25 0 4 0 519399166 654450688 124361 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 639112

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 8.03 9/184 817
/proc/meminfo: memFree=18145832/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=639504 CPUtime=4722.79 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 829247 0 0 0 471945 334 0 0 25 0 4 0 519399166 654852096 123089 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 159876 123089 388 106 0 154847 0
[pid=769/tid=770] ppid=767 vsize=639504 CPUtime=1182.31 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 222666 0 0 0 118144 87 0 0 25 0 4 0 519399166 654852096 123089 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=639504 CPUtime=1182.28 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 225817 0 0 0 118133 95 0 0 25 0 4 0 519399166 654852096 123089 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=639504 CPUtime=1182.31 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 226127 0 0 0 118142 89 0 0 25 0 4 0 519399166 654852096 123089 33554432000 4194304 4627427 140733871869744 18446744073709551615 4449635 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 639504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.87 8.06 8.01 5/176 844
/proc/meminfo: memFree=18708204/32950928 swapFree=67111528/67111528
[pid=769] ppid=767 vsize=646156 CPUtime=4800.29 cores=1,3,5,7
/proc/769/stat : 769 (strangenight2-m) R 767 769 499 0 -1 4202496 838278 0 0 0 479692 337 0 0 25 0 4 0 519399166 661663744 127172 33554432000 4194304 4627427 140733871869744 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/769/statm: 161539 127172 388 106 0 156510 0
[pid=769/tid=770] ppid=767 vsize=646156 CPUtime=1201.72 cores=1,3,5,7
/proc/769/task/770/stat : 770 (strangenight2-m) R 767 769 499 0 -1 4202560 224396 0 0 0 120084 88 0 0 25 0 4 0 519399166 661663744 127173 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=769/tid=771] ppid=767 vsize=646156 CPUtime=1201.68 cores=1,3,5,7
/proc/769/task/771/stat : 771 (strangenight2-m) R 767 769 499 0 -1 4202560 228620 0 0 0 120072 96 0 0 25 0 4 0 519399166 661663744 127173 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=769/tid=772] ppid=767 vsize=646156 CPUtime=1201.71 cores=1,3,5,7
/proc/769/task/772/stat : 772 (strangenight2-m) R 767 769 499 0 -1 4202560 228431 0 0 0 120081 90 0 0 25 0 4 0 519399166 661663744 127173 33554432000 4194304 4627427 140733871869744 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 646156

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.36
CPU user time (s): 4796.96
CPU system time (s): 3.39948
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 811664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.96
system time used= 3.39948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 838280
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= 354
involuntary context switches= 17566

runsolver used 1.90871 second user time and 4.65729 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 13:53:15
IDJOB=3174036
IDBENCH=82854
IDSOLVER=1586
FILE ID=node125/3174036-1304077995
RUNJOBID= node125-1304075581-518
PBS_JOBID= 13170502
Free space on /tmp= 72760 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174036-1304077995/watcher-3174036-1304077995 -o /tmp/evaluation-result-3174036-1304077995/solver-3174036-1304077995 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174036-1304077995.cnf

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

MD5SUM BENCH= eeb610362e04643aaf1590ad5e0ca989
RANDOM SEED=1111034583

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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:      19151164 kB
Buffers:       2217820 kB
Cached:       10925160 kB
SwapCached:          0 kB
Active:        8489156 kB
Inactive:      4779076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19151164 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11412 kB
Writeback:           0 kB
AnonPages:      124608 kB
Mapped:          15504 kB
Slab:           467392 kB
PageTables:       4904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   365784 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= 72760 MiB
End job on node125 at 2011-04-29 14:13:19