Trace number 3266247

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.25 1201.84

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
MD5SUM82789f57e506af1994452e76af2dcbf0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.073988
Satisfiable
(Un)Satisfiability was proved
Number of variables170
Number of clauses2924
Sum of the clauses size14457
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31
Number of clauses of size 4161
Number of clauses of size 52762
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-3266247-1304130104.cnf'
0.00/0.00	c -- header says num vars:            170
0.00/0.00	c -- header says num clauses:        2924
0.00/0.00	c -- clauses added:            0 learnts,         2924 normals,            0 xors
0.00/0.00	c -- vars added        170
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       170      2924         0         0     14457         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2924/2924 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.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.37/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.37/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.37/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
2.37/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.18/0.82	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.82	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.82	c calculated reachability. Time: 0.00
3.18/0.82	c Calc default polars -  time:   0.00 s pos:      77 undec:      28 neg:      65
3.18/0.82	c =========================================================================================
3.18/0.82	c types(t): F = full restart, N = normal restart
3.18/0.82	c types(t): S = simplification begin/end, E = solution found
3.18/0.82	c restart types(rt): st = static, dy = dynamic
3.18/0.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.82	c  B st     0         0       170      2924         0         0     14457         0   no data   no data
3.18/0.82	c Decided on static restart strategy
3.18/0.82	c  N st     8      4919       170      2924         0      4732     14457    166432   no data   no data
3.18/0.82	c  N st    10     11301       170      2924         0      4388     14457    114396   no data   no data
3.18/0.82	c  N st    11     17046       170      2924         0      9902     14457    309431   no data   no data
3.99/1.02	c  F st    12     25001       170      2924         0     12146     14457    378220   no data   no data
3.99/1.02	c  N st    12     25001       170      2924         0     12146     14457    378220   no data   no data
4.77/1.22	c Decided on static restart strategy
4.77/1.22	c  N st    18     30000       170      2924         0     10430     14457    299480   no data   no data
4.77/1.22	c  S st    18     30000       170      2924         0     10430     14457    299480   no data   no data
4.77/1.22	c  S st    18     30509       170      2924         0     10934     14457    316539   no data   no data
4.77/1.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.77/1.22	c blocked clauses removed:        0 vars:      0 tried:         170 T: 0.00 s
4.77/1.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
4.77/1.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c lits-rem:       202  cl-subs:      940  v-elim:      0  v-fix:    0  time:  0.18 s
5.97/1.52	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.03
5.97/1.52	c calculated reachability. Time: 0.00
5.97/1.52	c  N st    18     30509       170      2924         0      9994     14457    278538   no data   no data
6.76/1.78	c  N st    20     37620       170      2924         0      9232     14457    230988   no data   no data
8.39/2.11	c  N st    21     44020       170      2924         0     15346     14457    441786   no data   no data
8.79/2.22	c  S st    22     45764       170      2924         0     17027     14457    500060   no data   no data
8.79/2.26	c  S st    22     46266       170      2924         0      8918     14457    193224   no data   no data
8.79/2.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
8.79/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.30	c lits-rem:        21  cl-subs:      119  v-elim:      0  v-fix:    0  time:  0.03 s
9.16/2.30	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
9.16/2.30	c vivif2 --  cl tried     8799 cl shrink        0 lits rem          0 time: 0.00
9.16/2.34	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.03
9.16/2.34	c calculated reachability. Time: 0.00
9.16/2.34	c  N st    22     46266       170      2924         0      8799     14457    188182   no data   no data
12.37/3.19	c  N st    23     60663       170      2924         0     13046     14457    322979   no data   no data
15.16/3.81	c  N st    24     69399       170      2924         0     10900     14457    227981   no data   no data
15.16/3.81	c  S st    24     69399       170      2924         0     10900     14457    227981   no data   no data
15.16/3.84	c  S st    24     69901       170      2924         0     11390     14457    244614   no data   no data
15.16/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.16/3.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
15.16/3.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.16/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.91	c lits-rem:        45  cl-subs:      209  v-elim:      0  v-fix:    0  time:  0.05 s
15.56/3.91	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
15.56/3.91	c vivif2 --  cl tried    11181 cl shrink        0 lits rem          0 time: 0.00
15.56/3.95	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.04
15.56/3.95	c calculated reachability. Time: 0.00
15.56/3.95	c  N st    24     69901       170      2924         0     11181     14457    236308   no data   no data
20.35/5.13	c  F st    25     87500       170      2924         0     16562     14457    422984   no data   no data
20.35/5.13	c  N st    25     87500       170      2924         0     16562     14457    422984   no data   no data
21.97/5.51	c Decided on static restart strategy
22.74/5.76	c  N st    32     95541       170      2924         0     24289     14457    689254   no data   no data
25.15/6.39	c  N st    34    104854       170      2924         0     20725     14457    550892   no data   no data
25.15/6.39	c  S st    34    104854       170      2924         0     20725     14457    550892   no data   no data
25.55/6.44	c  S st    34    105357       170      2924         0     21213     14457    567004   no data   no data
25.55/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.55/6.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.55/6.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
25.55/6.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.55/6.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.55/6.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.94	c lits-rem:       644  cl-subs:     1093  v-elim:      0  v-fix:    0  time:  0.47 s
27.54/6.94	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
27.54/6.94	c vivif2 --  cl tried    20120 cl shrink        0 lits rem          0 time: 0.01
27.94/7.01	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.07
27.94/7.01	c calculated reachability. Time: 0.00
27.94/7.01	c  N st    34    105357       170      2924         0     20120     14457    522000   no data   no data
30.76/7.70	c  N st    35    114956       170      2924         0     15931     14457    351211   no data   no data
35.53/8.92	c  N st    36    129355       170      2924         0     15371     14457    301014   no data   no data
42.32/10.62	c  N st    37    150950       170      2924         0     20638     14457    462207   no data   no data
44.32/11.14	c  S st    38    158037       170      2924         0     27452     14457    703914   no data   no data
44.72/11.21	c  S st    38    158541       170      2924         0     27949     14457    720019   no data   no data
44.72/11.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.72/11.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.72/11.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.72/11.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.72/11.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.72/11.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
44.72/11.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.72/11.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.72/11.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.71/12.29	c lits-rem:       417  cl-subs:     1774  v-elim:      0  v-fix:    0  time:  1.04 s
48.71/12.29	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
49.11/12.30	c vivif2 --  cl tried    26175 cl shrink        0 lits rem          0 time: 0.01
49.11/12.39	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.09
49.11/12.39	c calculated reachability. Time: 0.00
49.11/12.39	c  N st    38    158541       170      2924         0     26175     14457    649531   no data   no data
67.89/17.08	c  N st    39    207129       170      2924         0     20984     14457    425130   no data   no data
80.27/20.19	c  N st    40    237812       170      2924         0     31291     14457    781975   no data   no data
80.27/20.19	c  S st    40    237812       170      2924         0     31291     14457    781975   no data   no data
81.07/20.30	c  S st    40    238315       170      2924         0     31789     14457    798256   no data   no data
81.07/20.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.07/20.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
81.07/20.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.07/20.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.07/20.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.07/20.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
81.07/20.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.07/20.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.07/20.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.26/22.14	c lits-rem:       577  cl-subs:     2028  v-elim:      0  v-fix:    0  time:  1.79 s
88.26/22.14	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
88.26/22.15	c vivif2 --  cl tried    29761 cl shrink        0 lits rem          0 time: 0.01
88.66/22.26	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.10
88.66/22.26	c calculated reachability. Time: 0.00
88.66/22.26	c  N st    40    238315       170      2924         0     29761     14457    720218   no data   no data
118.24/29.64	c  F st    41    306251       170      2924         0     31646     14457    722843   no data   no data
118.24/29.64	c  N st    41    306251       170      2924         0     31646     14457    722843   no data   no data
120.63/30.22	c Decided on static restart strategy
129.81/32.58	c  N st    51    334555       170      2924         0     35777     14457    831883   no data   no data
139.80/35.03	c  N st    53    357474       170      2924         0     33852     14457    756302   no data   no data
139.80/35.03	c  S st    53    357474       170      2924         0     33852     14457    756302   no data   no data
140.22/35.12	c  S st    53    357975       170      2924         0     34348     14457    772427   no data   no data
140.22/35.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.22/35.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
140.22/35.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.22/35.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.22/35.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.22/35.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
140.22/35.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
140.22/35.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.22/35.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.79/36.07	c lits-rem:       490  cl-subs:     1304  v-elim:      0  v-fix:    0  time:  0.91 s
143.79/36.07	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
143.79/36.08	c vivif2 --  cl tried    33044 cl shrink        0 lits rem          0 time: 0.01
144.61/36.20	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.12
144.61/36.20	c calculated reachability. Time: 0.00
144.61/36.20	c  N st    53    357975       170      2924         0     33044     14457    717086   no data   no data
159.77/40.04	c  N st    54    390367       170      2924         0     39194     14457    920401   no data   no data
189.34/47.47	c  N st    55    438955       170      2924         0     33062     14457    646199   no data   no data
227.69/57.05	c  N st    56    511837       170      2924         0     46354     14457   1087388   no data   no data
240.47/60.29	c  N st    57    536962       170      2924         0     40755     14457    852824   no data   no data
240.47/60.29	c  S st    57    536962       170      2924         0     40755     14457    852824   no data   no data
240.87/60.39	c  S st    57    537462       170      2924         0     41249     14457    869071   no data   no data
240.87/60.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
241.29/60.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
241.29/60.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.29/60.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.29/60.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.29/60.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
241.29/60.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.29/60.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
241.29/60.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.45/61.77	c lits-rem:       655  cl-subs:     1572  v-elim:      0  v-fix:    0  time:  1.33 s
246.45/61.77	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
246.45/61.79	c vivif2 --  cl tried    39677 cl shrink        0 lits rem          0 time: 0.01
247.25/61.95	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.16
247.25/61.95	c calculated reachability. Time: 0.00
247.25/61.95	c  N st    57    537462       170      2924         0     39677     14457    807293   no data   no data
347.53/87.09	c  N st    58    701447       170      2924         0     67959     14457   1708075   no data   no data
420.64/105.32	c  N st    59    806193       170      2924         0     62308     14457   1464700   no data   no data
420.64/105.32	c  S st    59    806193       170      2924         0     62308     14457   1464700   no data   no data
421.04/105.48	c  S st    59    806697       170      2924         0     62804     14457   1481203   no data   no data
421.04/105.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
421.46/105.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
421.46/105.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
421.46/105.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
421.46/105.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
421.46/105.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
421.46/105.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
421.46/105.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
421.46/105.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.22/113.28	c lits-rem:      1876  cl-subs:     4130  v-elim:      0  v-fix:    0  time:  7.70 s
452.22/113.28	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
452.62/113.30	c vivif2 --  cl tried    58674 cl shrink        0 lits rem          0 time: 0.02
453.80/113.60	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.30
453.80/113.60	c calculated reachability. Time: 0.00
453.80/113.60	c  N st    59    806697       170      2924         0     58674     14457   1331288   no data   no data
651.55/163.11	c  F st    60   1071876       170      2924         0     74187     14457   1817692   no data   no data
651.55/163.11	c  N st    60   1071876       170      2924         0     74187     14457   1817692   no data   no data
656.35/164.34	c Decided on static restart strategy
674.32/168.80	c  N st    70   1100183       170      2924         0     58403     14457   1162621   no data   no data
704.68/176.42	c  N st    72   1136180       170      2924         0     48862     14457    802740   no data   no data
733.87/183.70	c  N st    73   1168572       170      2924         0     79789     14457   1940753   no data   no data
770.60/192.99	c  N st    74   1210048       170      2924         0     74668     14457   1756956   no data   no data
770.60/192.99	c  S st    74   1210048       170      2924         0     74668     14457   1756956   no data   no data
772.20/193.32	c  S st    74   1210548       170      2924         0     75162     14457   1773389   no data   no data
772.20/193.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
772.20/193.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
772.20/193.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
772.20/193.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
772.20/193.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
772.20/193.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
772.20/193.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
772.60/193.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
772.60/193.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
842.44/211.09	c lits-rem:      1863  cl-subs:     4001  v-elim:      0  v-fix:    0  time: 17.61 s
842.44/211.09	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
842.85/211.11	c vivif2 --  cl tried    71161 cl shrink        0 lits rem          0 time: 0.02
844.41/211.59	c asymm  cl-useful: 0/2656/2924 lits-rem:0 time: 0.48
844.41/211.59	c calculated reachability. Time: 0.00
844.41/211.59	c  N st    74   1210548       170      2924         0     71161     14457   1607043   no data   no data
914.31/229.19	c  N st    75   1283431       170      2924         0     47980     14457    707879   no data   no data
1020.58/255.79	c  N st    76   1392755       170      2924         0     56002     14457    942535   no data   no data
1168.80/292.82	c  N st    77   1556740       170      2924         0     60674     14457   1048284   no data   no data
1319.41/330.58	c  N st    78   1710548       170      2924         0    101218     14457   2440843   no data   no data
1319.41/330.58	c  S st    78   1710548       170      2924         0    101218     14457   2440843   no data   no data
1321.00/330.90	c  S st    78   1711051       170      2924         0    101712     14457   2456983   no data   no data
1321.00/330.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1321.00/330.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1321.00/330.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1321.00/330.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1321.00/330.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1321.00/330.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
1321.00/330.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1321.42/331.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1321.42/331.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1433.65/359.10	c lits-rem:      3768  cl-subs:     8395  v-elim:      0  v-fix:    0  time: 28.02 s
1433.65/359.10	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
1433.65/359.13	c vivif2 --  cl tried    93317 cl shrink        0 lits rem          0 time: 0.03
1435.26/359.50	c asymm  cl-useful: 0/1965/2924 lits-rem:0 time: 0.37
1435.26/359.51	c calculated reachability. Time: 0.00
1435.26/359.51	c  N st    78   1711051       170      2924         0     93317     14457   2159502   no data   no data
1815.57/454.78	c  N st    79   2080015       170      2924         0    105375     14457   2516535   no data   no data
1950.59/488.60	c  N st    80   2211054       170      2924         0    109117     14457   2567277   no data   no data
1950.59/488.60	c  S st    80   2211054       170      2924         0    109117     14457   2567277   no data   no data
1952.20/488.95	c  S st    80   2211554       170      2924         0    109612     14457   2583967   no data   no data
1952.20/488.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1952.60/489.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1952.60/489.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1952.60/489.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1952.60/489.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1952.60/489.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
1952.60/489.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1952.60/489.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1952.99/489.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2075.23/519.70	c lits-rem:      2314  cl-subs:     8622  v-elim:      0  v-fix:    0  time: 30.59 s
2075.23/519.70	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
2075.23/519.74	c vivif2 --  cl tried   100990 cl shrink        0 lits rem          0 time: 0.04
2076.03/519.96	c asymm  cl-useful: 0/959/2924 lits-rem:0 time: 0.22
2076.03/519.96	c calculated reachability. Time: 0.00
2076.03/519.96	c  N st    80   2211554       170      2924         0    100990     14457   2270507   no data   no data
2665.28/667.42	c  N st    81   2711554       170      2924         0    123723     14457   2940279   no data   no data
2665.28/667.42	c  S st    81   2711554       170      2924         0    123723     14457   2940279   no data   no data
2666.49/667.78	c  S st    81   2712057       170      2924         0    124221     14457   2957745   no data   no data
2666.49/667.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2666.87/667.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2666.87/667.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2666.87/667.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2666.87/667.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2666.87/667.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
2666.87/667.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2667.27/667.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2667.27/667.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2846.25/712.71	c lits-rem:      4039  cl-subs:    10543  v-elim:      0  v-fix:    0  time: 44.73 s
2846.25/712.71	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
2846.25/712.75	c vivif2 --  cl tried   113678 cl shrink        0 lits rem          0 time: 0.05
2847.84/713.15	c asymm  cl-useful: 0/1594/2924 lits-rem:0 time: 0.40
2847.84/713.16	c calculated reachability. Time: 0.00
2847.84/713.16	c  N st    81   2712057       170      2924         0    113678     14457   2584658   no data   no data
3559.70/891.31	c  N st    82   3212057       170      2924         0     90698     14457   1600212   no data   no data
3559.70/891.31	c  S st    82   3212057       170      2924         0     90698     14457   1600212   no data   no data
3560.90/891.66	c  S st    82   3212560       170      2924         0     91196     14457   1616891   no data   no data
3560.90/891.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3561.30/891.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3561.30/891.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3561.30/891.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3561.30/891.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3561.30/891.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
3561.30/891.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3561.30/891.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3561.69/891.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3596.44/900.56	c lits-rem:      1151  cl-subs:     2800  v-elim:      0  v-fix:    0  time:  8.75 s
3596.44/900.56	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
3596.44/900.59	c vivif2 --  cl tried    88396 cl shrink        0 lits rem          0 time: 0.03
3598.06/900.92	c asymm  cl-useful: 0/1330/2924 lits-rem:0 time: 0.33
3598.06/900.92	c calculated reachability. Time: 0.00
3598.06/900.92	c  N st    82   3212560       170      2924         0     88396     14457   1515718   no data   no data
4337.09/1085.93	c  N st    83   3712560       170      2924         0     99253     14457   1779733   no data   no data
4337.09/1085.93	c  S st    83   3712560       170      2924         0     99253     14457   1779733   no data   no data
4338.29/1086.22	c  S st    83   3713067       170      2924         0     99753     14457   1797087   no data   no data
4338.29/1086.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4338.29/1086.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4338.29/1086.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4338.29/1086.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4338.29/1086.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4338.29/1086.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
4338.29/1086.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4338.69/1086.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4338.69/1086.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4369.06/1093.98	c lits-rem:       738  cl-subs:     3389  v-elim:      0  v-fix:    0  time:  7.62 s
4369.06/1093.98	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
4369.46/1094.01	c vivif2 --  cl tried    96364 cl shrink        0 lits rem          0 time: 0.03
4371.48/1094.51	c asymm  cl-useful: 0/1878/2924 lits-rem:0 time: 0.50
4371.48/1094.51	c calculated reachability. Time: 0.00
4371.48/1094.51	c  N st    83   3713067       170      2924         0     96364     14457   1668884   no data   no data
4432.60/1109.80	c  F st    84   3751564       170      2924         0    133208     14457   2997231   no data   no data
4432.60/1109.81	c  N st    84   3751564       170      2924         0    133208     14457   2997231   no data   no data
4442.57/1112.32	c Decided on static restart strategy
4486.92/1123.46	c  N st    94   3779871       170      2924         0    160471     14457   3970222   no data   no data
4532.47/1134.87	c  N st    96   3815866       170      2924         0    113689     14457   2237541   no data   no data
4586.83/1148.42	c  N st    97   3848258       170      2924         0    144660     14457   3361616   no data   no data
4661.55/1167.16	c  N st    98   3896846       170      2924         0    108781     14457   2050707   no data   no data
4771.80/1194.73	c  N st    99   3969729       170      2924         0     95175     14457   1538987   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-3266247-1304130104/watcher-3266247-1304130104 -o /tmp/evaluation-result-3266247-1304130104/solver-3266247-1304130104 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3266247-1304130104.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.99 7.85 7.73 5/180 8051
/proc/meminfo: memFree=30429480/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 505426338 52441088 348 33554432000 4194304 4627427 140735266541120 18446744073709551615 47080957855666 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 12803 348 299 106 0 7774 0
[pid=8051/tid=8052] ppid=8049 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505426339 52441088 348 33554432000 4194304 4627427 140735266541120 18446744073709551615 47080957855666 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 505426339 52441088 348 33554432000 4194304 4627427 140735266541120 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 505426339 52441088 348 33554432000 4194304 4627427 140735266541120 18446744073709551615 47080957855660 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.069533 s]
/proc/loadavg: 7.99 7.85 7.73 5/180 8051
/proc/meminfo: memFree=30429480/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=282388 CPUtime=0.25 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 1860 0 0 0 25 0 0 0 18 0 4 0 505426338 289165312 1739 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 70597 1740 383 106 0 65568 0
[pid=8051/tid=8052] ppid=8049 vsize=282388 CPUtime=0.06 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 434 0 0 0 6 0 0 0 18 0 4 0 505426339 289165312 1740 33554432000 4194304 4627427 140735266541120 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=282388 CPUtime=0.05 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 401 0 0 0 5 0 0 0 25 0 4 0 505426339 289165312 1740 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=282388 CPUtime=0.06 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 215 0 0 0 6 0 0 0 18 0 4 0 505426339 289165312 1740 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 282388

[startup+0.100527 s]
/proc/loadavg: 7.99 7.85 7.73 5/180 8051
/proc/meminfo: memFree=30429480/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=282524 CPUtime=0.38 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 2056 0 0 0 38 0 0 0 18 0 4 0 505426338 289304576 1935 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309405 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 70631 1935 383 106 0 65602 0
[pid=8051/tid=8052] ppid=8049 vsize=282524 CPUtime=0.09 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 485 0 0 0 9 0 0 0 18 0 4 0 505426339 289304576 1935 33554432000 4194304 4627427 140735266541120 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=282524 CPUtime=0.09 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 460 0 0 0 9 0 0 0 25 0 4 0 505426339 289304576 1935 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=282524 CPUtime=0.09 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 256 0 0 0 9 0 0 0 18 0 4 0 505426339 289304576 1935 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282524

[startup+0.30049 s]
/proc/loadavg: 7.99 7.85 7.73 5/180 8051
/proc/meminfo: memFree=30429480/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=284460 CPUtime=1.17 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 3514 0 0 0 117 0 0 0 18 0 4 0 505426338 291287040 2587 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 71115 2587 384 106 0 66086 0
[pid=8051/tid=8052] ppid=8049 vsize=284460 CPUtime=0.29 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 852 0 0 0 29 0 0 0 18 0 4 0 505426339 291287040 2587 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=284460 CPUtime=0.29 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 807 0 0 0 29 0 0 0 25 0 4 0 505426339 291287040 2587 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=284460 CPUtime=0.29 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 622 0 0 0 29 0 0 0 18 0 4 0 505426339 291287040 2588 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284460

[startup+0.700418 s]
/proc/loadavg: 7.99 7.85 7.73 5/180 8051
/proc/meminfo: memFree=30429480/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=286360 CPUtime=2.78 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 6482 0 0 0 277 1 0 0 18 0 4 0 505426338 293232640 2791 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 71590 2791 384 106 0 66561 0
[pid=8051/tid=8052] ppid=8049 vsize=286360 CPUtime=0.69 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 1596 0 0 0 69 0 0 0 18 0 4 0 505426339 293232640 2791 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=286360 CPUtime=0.69 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 1546 0 0 0 69 0 0 0 25 0 4 0 505426339 293232640 2791 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=286360 CPUtime=0.69 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 1342 0 0 0 69 0 0 0 18 0 4 0 505426339 293232640 2791 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286360

[startup+1.50027 s]
/proc/loadavg: 7.99 7.85 7.73 10/184 8055
/proc/meminfo: memFree=30414444/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=295464 CPUtime=5.97 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 12472 0 0 0 595 2 0 0 20 0 4 0 505426338 302555136 5362 33554432000 4194304 4627427 140735266541120 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 73866 5362 388 106 0 68837 0
[pid=8051/tid=8052] ppid=8049 vsize=295464 CPUtime=1.49 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 2718 0 0 0 149 0 0 0 19 0 4 0 505426339 302555136 5362 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=295464 CPUtime=1.48 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 2638 0 0 0 148 0 0 0 25 0 4 0 505426339 302555136 5362 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=295464 CPUtime=1.49 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 2471 0 0 0 149 0 0 0 20 0 4 0 505426339 302555136 5362 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 295464

[startup+3.10097 s]
/proc/loadavg: 7.99 7.85 7.73 9/184 8055
/proc/meminfo: memFree=30388280/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=304536 CPUtime=12.37 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 24418 0 0 0 1233 4 0 0 25 0 4 0 505426338 311844864 11964 33554432000 4194304 4627427 140735266541120 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 76134 11964 388 106 0 71105 0
[pid=8051/tid=8052] ppid=8049 vsize=304536 CPUtime=3.09 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 5735 0 0 0 308 1 0 0 25 0 4 0 505426339 311844864 11964 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=304536 CPUtime=3.07 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 6468 0 0 0 306 1 0 0 25 0 4 0 505426339 311844864 11964 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=304536 CPUtime=3.08 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 5807 0 0 0 308 0 0 0 25 0 4 0 505426339 311844864 11964 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 304536

[startup+6.30039 s]
/proc/loadavg: 7.99 7.86 7.73 9/184 8055
/proc/meminfo: memFree=30366336/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=306240 CPUtime=25.15 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 37871 0 0 0 2508 7 0 0 25 0 4 0 505426338 313589760 17208 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 76560 17208 388 106 0 71531 0
[pid=8051/tid=8052] ppid=8049 vsize=306240 CPUtime=6.29 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 9673 0 0 0 627 2 0 0 25 0 4 0 505426339 313589760 17208 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=306240 CPUtime=6.26 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 10626 0 0 0 624 2 0 0 25 0 4 0 505426339 313589760 17208 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=306240 CPUtime=6.29 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 8508 0 0 0 628 1 0 0 25 0 4 0 505426339 313589760 17208 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 306240

[startup+12.7002 s]
/proc/loadavg: 7.99 7.86 7.73 9/184 8055
/proc/meminfo: memFree=30323320/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=329944 CPUtime=50.71 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 60540 0 0 0 5060 11 0 0 25 0 4 0 505426338 337862656 25077 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 82486 25077 388 106 0 77457 0
[pid=8051/tid=8052] ppid=8049 vsize=329944 CPUtime=12.68 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 15264 0 0 0 1265 3 0 0 25 0 4 0 505426339 337862656 25077 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=329944 CPUtime=12.62 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 15394 0 0 0 1259 3 0 0 25 0 4 0 505426339 337862656 25077 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=329944 CPUtime=12.69 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 14328 0 0 0 1267 2 0 0 25 0 4 0 505426339 337862656 25077 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 329944

[startup+25.5008 s]
/proc/loadavg: 7.99 7.86 7.73 9/184 8056
/proc/meminfo: memFree=30274956/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=326480 CPUtime=101.84 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 91991 0 0 0 10165 19 0 0 25 0 4 0 505426338 334315520 31307 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 81620 31307 388 106 0 76591 0
[pid=8051/tid=8052] ppid=8049 vsize=326480 CPUtime=25.49 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 24497 0 0 0 2544 5 0 0 25 0 4 0 505426339 334315520 31307 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=326480 CPUtime=25.35 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 23638 0 0 0 2530 5 0 0 25 0 4 0 505426339 334315520 31307 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=326480 CPUtime=25.49 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 21333 0 0 0 2545 4 0 0 25 0 4 0 505426339 334315520 31307 33554432000 4194304 4627427 140735266541120 18446744073709551615 4302998 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 326480

[startup+51.1011 s]
/proc/loadavg: 8.06 7.89 7.74 9/184 8056
/proc/meminfo: memFree=30196524/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=404952 CPUtime=204.12 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 135221 0 0 0 20380 32 0 0 25 0 4 0 505426338 414670848 46133 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 101238 46133 388 106 0 96209 0
[pid=8051/tid=8052] ppid=8049 vsize=404952 CPUtime=51.09 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 37541 0 0 0 5102 7 0 0 25 0 4 0 505426339 414670848 46133 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=404952 CPUtime=50.82 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 32604 0 0 0 5074 8 0 0 25 0 4 0 505426339 414670848 46133 33554432000 4194304 4627427 140735266541120 18446744073709551615 4338556 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=404952 CPUtime=51.08 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 32743 0 0 0 5100 8 0 0 25 0 4 0 505426339 414670848 46133 33554432000 4194304 4627427 140735266541120 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 404952

[startup+102.307 s]
/proc/loadavg: 8.09 7.92 7.76 9/184 8058
/proc/meminfo: memFree=30166716/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=366904 CPUtime=408.68 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 203548 0 0 0 40819 49 0 0 25 0 4 0 505426338 375709696 51923 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 91726 51923 388 106 0 86697 0
[pid=8051/tid=8052] ppid=8049 vsize=366904 CPUtime=102.3 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 56859 0 0 0 10218 12 0 0 25 0 4 0 505426339 375709696 51923 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=366904 CPUtime=101.76 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 50594 0 0 0 10163 13 0 0 25 0 4 0 505426339 375709696 51923 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=366904 CPUtime=102.29 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 48435 0 0 0 10217 12 0 0 25 0 4 0 505426339 375709696 51923 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 366904

[startup+162.301 s]

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

[pid=8051] ppid=8049 vsize=697396 CPUtime=2565.02 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 628723 0 0 0 256282 220 0 0 25 0 4 0 505426338 714133504 120351 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 174349 120351 388 106 0 169320 0
[pid=8051/tid=8052] ppid=8049 vsize=697396 CPUtime=642.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 172037 0 0 0 64173 59 0 0 25 0 4 0 505426339 714133504 120351 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=697396 CPUtime=638.06 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 162172 0 0 0 63750 56 0 0 25 0 4 0 505426339 714133504 120351 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=697396 CPUtime=642.31 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 149995 0 0 0 64174 57 0 0 25 0 4 0 505426339 714133504 120351 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.02
Current children cumulated vsize (KiB) 697396

[startup+702.301 s]
/proc/loadavg: 8.09 8.12 7.93 9/184 8077
/proc/meminfo: memFree=29776112/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=694288 CPUtime=2804.69 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 660833 0 0 0 280233 236 0 0 25 0 4 0 505426338 710950912 131443 33554432000 4194304 4627427 140735266541120 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 173572 131443 388 106 0 168543 0
[pid=8051/tid=8052] ppid=8049 vsize=694288 CPUtime=702.31 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 181018 0 0 0 70167 64 0 0 25 0 4 0 505426339 710950912 131443 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=694288 CPUtime=697.73 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 172301 0 0 0 69712 61 0 0 25 0 4 0 505426339 710950912 131443 33554432000 4194304 4627427 140735266541120 18446744073709551615 4419919 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=694288 CPUtime=702.3 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 153518 0 0 0 70171 59 0 0 25 0 4 0 505426339 710950912 131443 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.69
Current children cumulated vsize (KiB) 694288

[startup+762.307 s]
/proc/loadavg: 8.07 8.11 7.94 9/184 8078
/proc/meminfo: memFree=29817216/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=739548 CPUtime=3044.39 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 694525 0 0 0 304188 251 0 0 25 0 4 0 505426338 757297152 119138 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 184887 119138 388 106 0 179858 0
[pid=8051/tid=8052] ppid=8049 vsize=739548 CPUtime=762.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 191410 0 0 0 76164 68 0 0 25 0 4 0 505426339 757297152 119138 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=739548 CPUtime=757.41 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 181686 0 0 0 75676 65 0 0 25 0 4 0 505426339 757297152 119138 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=739548 CPUtime=762.31 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 159204 0 0 0 76169 62 0 0 25 0 4 0 505426339 757297152 119138 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.39
Current children cumulated vsize (KiB) 739548

[startup+822.301 s]
/proc/loadavg: 8.06 8.10 7.94 9/184 8080
/proc/meminfo: memFree=29732208/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=727140 CPUtime=3284.05 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 724785 0 0 0 328141 264 0 0 25 0 4 0 505426338 744591360 139344 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 181785 139344 388 106 0 176756 0
[pid=8051/tid=8052] ppid=8049 vsize=727140 CPUtime=822.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 198472 0 0 0 82162 70 0 0 25 0 4 0 505426339 744591360 139344 33554432000 4194304 4627427 140735266541120 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=727140 CPUtime=817.09 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 189906 0 0 0 81640 69 0 0 25 0 4 0 505426339 744591360 139344 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=727140 CPUtime=822.31 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 166198 0 0 0 82166 65 0 0 25 0 4 0 505426339 744591360 139344 33554432000 4194304 4627427 140735266541120 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.05
Current children cumulated vsize (KiB) 727140

[startup+882.301 s]
/proc/loadavg: 8.20 8.13 7.96 9/184 8081
/proc/meminfo: memFree=29717132/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=835860 CPUtime=3523.74 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 749808 0 0 0 352097 277 0 0 25 0 4 0 505426338 855920640 144521 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 208965 144521 388 106 0 203936 0
[pid=8051/tid=8052] ppid=8049 vsize=835860 CPUtime=882.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 202920 0 0 0 88160 72 0 0 25 0 4 0 505426339 855920640 144521 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=835860 CPUtime=876.76 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 200002 0 0 0 87602 74 0 0 25 0 4 0 505426339 855920640 144521 33554432000 4194304 4627427 140735266541120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=835860 CPUtime=882.3 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 168239 0 0 0 88164 66 0 0 25 0 4 0 505426339 855920640 144521 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.74
Current children cumulated vsize (KiB) 835860

[startup+942.301 s]
/proc/loadavg: 8.21 8.13 7.97 9/184 8083
/proc/meminfo: memFree=29667488/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=908600 CPUtime=3763.43 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 777236 0 0 0 376052 291 0 0 25 0 4 0 505426338 930406400 155962 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 227150 155962 388 106 0 222121 0
[pid=8051/tid=8052] ppid=8049 vsize=908600 CPUtime=942.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 208143 0 0 0 94158 74 0 0 25 0 4 0 505426339 930406400 155962 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=908600 CPUtime=936.45 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 205465 0 0 0 93568 77 0 0 25 0 4 0 505426339 930406400 155962 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=908600 CPUtime=942.31 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 176872 0 0 0 94160 71 0 0 25 0 4 0 505426339 930406400 155962 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.43
Current children cumulated vsize (KiB) 908600

[startup+1002.3 s]
/proc/loadavg: 8.21 8.14 7.98 9/184 8085
/proc/meminfo: memFree=29611872/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=853244 CPUtime=4003.12 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 808852 0 0 0 400008 304 0 0 25 0 4 0 505426338 873721856 154846 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 213311 154846 388 106 0 208282 0
[pid=8051/tid=8052] ppid=8049 vsize=853244 CPUtime=1002.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 217479 0 0 0 100155 77 0 0 25 0 4 0 505426339 873721856 154846 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=853244 CPUtime=996.14 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 214885 0 0 0 99532 82 0 0 25 0 4 0 505426339 873721856 154846 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=853244 CPUtime=1002.31 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 184129 0 0 0 100158 73 0 0 25 0 4 0 505426339 873721856 154846 33554432000 4194304 4627427 140735266541120 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.12
Current children cumulated vsize (KiB) 853244

[startup+1062.3 s]
/proc/loadavg: 7.65 8.03 7.95 5/175 8104
/proc/meminfo: memFree=30105912/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=796540 CPUtime=4242.81 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 826972 0 0 0 423967 314 0 0 25 0 4 0 505426338 815656960 154447 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 199135 154447 388 106 0 194106 0
[pid=8051/tid=8052] ppid=8049 vsize=796540 CPUtime=1062.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 221559 0 0 0 106153 79 0 0 25 0 4 0 505426339 815656960 154447 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=796540 CPUtime=1055.81 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 222461 0 0 0 105496 85 0 0 25 0 4 0 505426339 815656960 154447 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=796540 CPUtime=1062.31 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 185817 0 0 0 106157 74 0 0 25 0 4 0 505426339 815656960 154447 33554432000 4194304 4627427 140735266541120 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.81
Current children cumulated vsize (KiB) 796540

[startup+1122.3 s]
/proc/loadavg: 5.34 7.29 7.70 5/175 8106
/proc/meminfo: memFree=30090016/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=856020 CPUtime=4482.53 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 855013 0 0 0 447923 330 0 0 25 0 4 0 505426338 876564480 158617 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 214005 158617 388 106 0 208976 0
[pid=8051/tid=8052] ppid=8049 vsize=856020 CPUtime=1122.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 230162 0 0 0 112149 83 0 0 25 0 4 0 505426339 876564480 158617 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=856020 CPUtime=1115.53 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 228522 0 0 0 111462 91 0 0 25 0 4 0 505426339 876564480 158617 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=856020 CPUtime=1122.31 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 193812 0 0 0 112152 79 0 0 25 0 4 0 505426339 876564480 158617 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.53
Current children cumulated vsize (KiB) 856020

[startup+1182.3 s]
/proc/loadavg: 4.55 6.70 7.47 5/175 8107
/proc/meminfo: memFree=30101508/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=869464 CPUtime=4722.26 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 889082 0 0 0 471882 344 0 0 25 0 4 0 505426338 890331136 155996 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 217366 155996 388 106 0 212337 0
[pid=8051/tid=8052] ppid=8049 vsize=869464 CPUtime=1182.32 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 238515 0 0 0 118146 86 0 0 25 0 4 0 505426339 890331136 155996 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=869464 CPUtime=1175.26 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 237510 0 0 0 117432 94 0 0 25 0 4 0 505426339 890331136 155996 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=869464 CPUtime=1182.31 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 202673 0 0 0 118148 83 0 0 25 0 4 0 505426339 890331136 155996 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.26
Current children cumulated vsize (KiB) 869464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 4.39 6.53 7.40 5/175 8108
/proc/meminfo: memFree=30079180/32951124 swapFree=67105204/67111528
[pid=8051] ppid=8049 vsize=870092 CPUtime=4800.19 cores=1,3,5,7
/proc/8051/stat : 8051 (strangenight2-m) R 8049 8051 5257 0 -1 4202496 899770 0 0 0 479669 350 0 0 25 0 4 0 505426338 890974208 161185 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8051/statm: 217523 161185 388 106 0 212494 0
[pid=8051/tid=8052] ppid=8049 vsize=870092 CPUtime=1201.83 cores=1,3,5,7
/proc/8051/task/8052/stat : 8052 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 240076 0 0 0 120096 87 0 0 25 0 4 0 505426339 890974208 161185 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=870092 CPUtime=1194.67 cores=1,3,5,7
/proc/8051/task/8053/stat : 8053 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 241087 0 0 0 119371 96 0 0 25 0 4 0 505426339 890974208 161185 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=870092 CPUtime=1201.82 cores=1,3,5,7
/proc/8051/task/8054/stat : 8054 (strangenight2-m) R 8049 8051 5257 0 -1 4202560 204857 0 0 0 120098 84 0 0 25 0 4 0 505426339 890974208 161185 33554432000 4194304 4627427 140735266541120 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 870092

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.84
CPU time (s): 4800.25
CPU user time (s): 4796.72
CPU system time (s): 3.52646
CPU usage (%): 399.409
Max. virtual memory (cumulated for all children) (KiB): 928332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.72
system time used= 3.52646
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 899770
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= 645
involuntary context switches= 31516

runsolver used 1.92071 second user time and 4.35134 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-30 04:21:44
IDJOB=3266247
IDBENCH=87447
IDSOLVER=1586
FILE ID=node147/3266247-1304130104
RUNJOBID= node147-1304128647-5572
PBS_JOBID= 13170763
Free space on /tmp= 73076 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_170.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266247-1304130104/watcher-3266247-1304130104 -o /tmp/evaluation-result-3266247-1304130104/solver-3266247-1304130104 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3266247-1304130104.cnf

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

MD5SUM BENCH= 82789f57e506af1994452e76af2dcbf0
RANDOM SEED=1346221099

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30429760 kB
Buffers:        309416 kB
Cached:        1532828 kB
SwapCached:       3064 kB
Active:         472768 kB
Inactive:      1717836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30429760 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            5452 kB
Writeback:           0 kB
AnonPages:      346164 kB
Mapped:          15392 kB
Slab:           267712 kB
PageTables:       5340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   578968 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= 73076 MiB
End job on node147 at 2011-04-30 04:41:48