Trace number 3368741

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-1-mt (fixed)? (TO) 4800.45 1203.74

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf
MD5SUM6303d9fa9d32bd584c08fa1ce867474c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.481926
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 57120

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368741-1305401949.cnf'
0.00/0.01	c -- header says num vars:             80
0.00/0.01	c -- header says num clauses:        7120
0.00/0.18	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.18	c -- vars added         80
0.00/0.18	c Parsing time:  0.01 s
0.00/0.18	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.00/0.18	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.00/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.69/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.69/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.69/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.69/0.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
3.97/1.01	c Finding binary XORs  T:     0.00 s  found:       0
3.97/1.01	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.97/1.01	c calculated reachability. Time: 0.00
3.97/1.01	c Calc default polars -  time:   0.00 s pos:      34 undec:       0 neg:      46
3.97/1.01	c =========================================================================================
3.97/1.01	c types(t): F = full restart, N = normal restart
3.97/1.01	c types(t): S = simplification begin/end, E = solution found
3.97/1.01	c restart types(rt): st = static, dy = dynamic
3.97/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.97/1.01	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.97/1.01	c  N dy     9      4301        80      7120         0      3961     49840    107318     23.30     24.54  --
3.97/1.01	c  N dy    16     11819        80      7120         0      4650     49840    102263     22.72     24.02  --
3.97/1.01	c  N dy    25     18339        80      7120         0      5447     49840    110154     22.38     23.71  --
4.37/1.11	c  N dy    55     22344        80      7120         0      9128     49840    209528     22.73     24.97  --
4.77/1.28	c  F st    68     25001        80      7120         0     11581     49840    275799     22.85   no data  --
5.56/1.41	c  N st    72     27033        80      7120         0      7201     49840    141870     22.85   no data  --
5.96/1.51	c  S st    74     30000        80      7120         0      9921     49840    215224     22.85   no data  --
5.96/1.51	c  S st    74     30503        80      7120         0     10393     49840    228117     22.85   no data  --
5.96/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
6.38/1.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.38/1.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.38/1.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
6.38/1.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.96/2.58	c lits-rem:      1742  cl-subs:      730  v-elim:      0  v-fix:    0  time:  4.22 s
11.59/2.92	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.37
11.59/2.92	c calculated reachability. Time: 0.00
11.59/2.92	c  N dy    74     30503        80      7120         0      9663     49840    205375     22.85   no data  --
12.34/3.17	c  N dy    97     34552        80      7120         0     13398     49840    307061     23.04     24.26  --
13.54/3.42	c  N dy   109     39306        80      7120         0     10515     49840    213151     22.96     24.17  --
14.34/3.67	c  N dy   130     43491        80      7120         0     14376     49840    317448     23.05     24.60  --
15.14/3.83	c  S st   142     45756        80      7120         0      8244     49840    140020     23.11     23.35  --
15.14/3.86	c  S st   142     46261        80      7120         0      8723     49840    153171     23.11   no data  --
15.14/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.14/3.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.14/3.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.73/4.74	c lits-rem:       169  cl-subs:       51  v-elim:      0  v-fix:    0  time:  3.48 s
18.73/4.74	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.73/4.75	c vivif2 --  cl tried     8672 cl shrink        0 lits rem          0 time: 0.00
19.94/5.04	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.16
19.94/5.04	c calculated reachability. Time: 0.00
19.94/5.04	c  N dy   142     46261        80      7120         0      8672     49840    151355     23.11   no data  --
20.71/5.26	c  N dy   151     50287        80      7120         0     12368     49840    248952     23.04     24.48  --
21.51/5.49	c  N dy   165     54360        80      7120         0     16085     49840    348700     23.07     25.39  --
22.71/5.77	c  N dy   189     58410        80      7120         0     10655     49840    190602     23.16     24.50  --
24.75/6.23	c  N dy   197     65962        80      7120         0     17543     49840    370798     23.00     24.22  --
25.50/6.49	c  S st   205     69393        80      7120         0     10630     49840    174001     22.99     21.61  --
25.90/6.53	c  S st   205     69895        80      7120         0     11106     49840    186963     22.99   no data  --
25.90/6.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.90/6.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.90/6.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.90/6.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.90/6.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.90/6.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.90/6.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.50/7.42	c lits-rem:       272  cl-subs:      194  v-elim:      0  v-fix:    0  time:  3.51 s
29.50/7.42	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.50/7.42	c vivif2 --  cl tried    10912 cl shrink        0 lits rem          0 time: 0.00
30.69/7.76	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.36
30.69/7.76	c calculated reachability. Time: 0.00
30.69/7.76	c  N dy   205     69895        80      7120         0     10912     49840    181140     22.99   no data  --
31.89/8.03	c  N dy   226     74355        80      7120         0     15037     49840    291947     23.04     24.67  --
33.09/8.38	c  N dy   245     79144        80      7120         0     19427     49840    409070     23.05     24.67  --
35.08/8.82	c  N dy   262     84695        80      7120         0     13518     49840    235964     23.05     24.35  --
35.88/9.01	c  F st   270     87501        80      7120         0     16088     49840    304352     23.05   no data  --
36.68/9.23	c  N st   275     90800        80      7120         0     19121     49840    387747     23.05   no data  --
38.26/9.68	c  N dy   283     96891        80      7120         0     12768     49840    202017     23.04     24.30  --
39.86/10.09	c  N dy   307    103159        80      7120         0     18557     49840    358537     23.07     25.64  --
40.67/10.20	c  S st   308    104842        80      7120         0     20110     49840    400098     23.06     22.50  --
40.67/10.26	c  S st   308    105345        80      7120         0     20592     49840    413358     23.06   no data  --
40.67/10.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.67/10.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.67/10.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.67/10.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.67/10.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.67/10.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.67/10.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.64/12.21	c lits-rem:      2396  cl-subs:     1546  v-elim:      0  v-fix:    0  time:  7.68 s
48.64/12.21	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
48.64/12.21	c vivif2 --  cl tried    19046 cl shrink        0 lits rem          0 time: 0.02
50.24/12.60	c asymm  cl-useful: 0/5113/7120 lits-rem:0 time: 1.54
50.24/12.60	c calculated reachability. Time: 0.00
50.24/12.60	c  N dy   308    105345        80      7120         0     19046     49840    366891     23.06   no data  --
52.23/13.18	c  N dy   316    113810        80      7120         0     13977     49840    218287     22.95     24.32  --
54.23/13.69	c  N dy   328    121828        80      7120         0     21307     49840    412077     22.89     24.12  --
57.01/14.37	c  N dy   357    129702        80      7120         0     14812     49840    230002     22.92     26.27  --
60.20/15.14	c  N dy   376    140363        80      7120         0     24528     49840    486649     22.87     24.19  --
63.40/15.97	c  N dy   426    149988        80      7120         0     18719     49840    317603     22.95     24.49  --
66.19/16.65	c  S st   459    158018        80      7120         0     26094     49840    515449     22.96   no data  --
66.59/16.72	c  S st   459    158521        80      7120         0     26576     49840    528641     22.96   no data  --
66.59/16.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.59/16.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.59/16.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
66.59/16.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.59/16.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.59/16.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
66.59/16.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.16/19.19	c lits-rem:      1903  cl-subs:     2202  v-elim:      0  v-fix:    0  time:  9.75 s
76.16/19.19	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
76.16/19.19	c vivif2 --  cl tried    24374 cl shrink        0 lits rem          0 time: 0.02
77.40/19.44	c asymm  cl-useful: 0/1753/7120 lits-rem:0 time: 0.96
77.40/19.44	c calculated reachability. Time: 0.00
77.40/19.44	c  N dy   459    158521        80      7120         0     24374     49840    464052     22.96   no data  --
86.53/21.76	c  N dy   482    185761        80      7120         0     17360     49840    252256     22.82     24.09  --
90.56/22.79	c  N dy   507    198200        80      7120         0     28693     49840    553190     22.79     23.99  --
95.70/24.05	c  N dy   514    211003        80      7120         0     23030     49840    383656     22.66     23.91  --
101.68/25.57	c  N dy   558    225095        80      7120         0     35899     49840    726364     22.67     24.04  --
106.47/26.73	c  S st   614    237782        80      7120         0     29318     49840    544222     22.72     21.99  --
106.87/26.80	c  S st   614    238283        80      7120         0     29784     49840    557207     22.72   no data  --
106.87/26.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.87/26.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.87/26.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
106.87/26.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.87/26.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.87/26.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
106.87/26.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
118.04/29.66	c lits-rem:      2035  cl-subs:     2102  v-elim:      0  v-fix:    0  time: 11.28 s
118.04/29.66	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
118.04/29.67	c vivif2 --  cl tried    27682 cl shrink        0 lits rem          0 time: 0.02
118.83/29.85	c asymm  cl-useful: 0/2043/7120 lits-rem:0 time: 0.73
118.83/29.85	c calculated reachability. Time: 0.00
118.83/29.85	c  N dy   614    238283        80      7120         0     27682     49840    494759     22.72   no data  --
125.64/31.53	c  N dy   659    255029        80      7120         0     23901     49840    379338     22.72     24.01  --
133.19/33.43	c  N dy   749    271375        80      7120         0     38935     49840    785905     22.78     25.60  --
140.36/35.20	c  N dy   805    288707        80      7120         0     34682     49840    652856     22.79     24.31  --
147.59/37.02	c  F st   845    306250        80      7120         0     29688     49840    503323     22.76   no data  --
147.94/37.13	c  N st   848    307440        80      7120         0     30776     49840    533806     22.76   no data  --
157.11/39.45	c  N dy   922    327135        80      7120         0     26911     49840    417965     22.79     24.78  --
166.68/41.88	c  N dy   958    347687        80      7120         0     45581     49840    907068     22.75     23.96  --
170.67/42.89	c  S st  1005    357425        80      7120         0     31693     49840    529418     22.77     22.12  --
171.07/42.97	c  S st  1005    357929        80      7120         0     32160     49840    542520     22.77   no data  --
171.07/42.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
171.07/42.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.07/42.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
171.47/43.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.47/43.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.47/43.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
171.47/43.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
181.84/45.66	c lits-rem:      1745  cl-subs:     1579  v-elim:      0  v-fix:    0  time: 10.60 s
181.84/45.66	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
181.84/45.66	c vivif2 --  cl tried    30581 cl shrink        0 lits rem          0 time: 0.02
183.03/45.96	c asymm  cl-useful: 0/1612/7120 lits-rem:0 time: 1.19
183.03/45.96	c calculated reachability. Time: 0.00
183.03/45.96	c  N dy  1005    357929        80      7120         0     30581     49840    494804     22.77   no data  --
196.59/49.34	c  N dy  1097    378006        80      7120         0     25268     49840    339226     22.81     24.48  --
206.97/51.95	c  N dy  1146    398101        80      7120         0     43670     49840    830998     22.80     24.26  --
217.35/54.53	c  N dy  1217    418191        80      7120         0     37431     49840    648382     22.81     24.02  --
230.10/57.74	c  N dy  1296    441836        80      7120         0     33424     49840    522584     22.82     24.03  --
241.67/60.68	c  N dy  1385    461905        80      7120         0     51804     49840   1017736     22.84     25.61  --
252.87/63.48	c  N dy  1503    482518        80      7120         0     44095     49840    800799     22.89     24.11  --
264.80/66.40	c  N dy  1592    502540        80      7120         0     34997     49840    539505     22.92     25.95  --
275.56/69.17	c  N dy  1630    523650        80      7120         0     54219     49840   1048226     22.87     24.12  --
282.35/70.83	c  S st  1659    536894        80      7120         0     37963     49840    602487     22.87     21.79  --
282.75/70.93	c  S st  1659    537395        80      7120         0     38433     49840    615415     22.87   no data  --
282.75/70.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.75/70.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.75/70.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
282.75/70.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.75/70.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.75/70.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
282.75/70.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
292.71/73.49	c lits-rem:      1326  cl-subs:     2177  v-elim:      0  v-fix:    0  time: 10.06 s
292.71/73.49	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
292.71/73.49	c vivif2 --  cl tried    36256 cl shrink        0 lits rem          0 time: 0.02
293.91/73.72	c asymm  cl-useful: 0/1298/7120 lits-rem:0 time: 0.90
293.91/73.72	c calculated reachability. Time: 0.00
293.91/73.72	c  N dy  1659    537395        80      7120         0     36256     49840    554870     22.87   no data  --
306.26/76.84	c  N dy  1726    557612        80      7120         0     54644     49840   1047438     22.87     24.09  --
335.38/84.11	c  N dy  1822    612139        80      7120         0     44976     49840    738889     22.76     24.12  --
350.14/87.81	c  N dy  1909    632666        80      7120         0     32914     49840    421051     22.78     23.99  --
364.09/91.30	c  N dy  1946    656892        80      7120         0     55038     49840   1011467     22.77     24.08  --
377.65/94.79	c  N dy  2031    677117        80      7120         0     41614     49840    636329     22.79     24.12  --
391.62/98.27	c  N dy  2104    697145        80      7120         0     59942     49840   1123916     22.79     26.58  --
409.56/102.75	c  N dy  2219    722020        80      7120         0     49820     49840    844743     22.81     24.03  --
427.92/107.32	c  N dy  2333    742026        80      7120         0     34324     49840    408684     22.84     24.27  --
440.28/110.41	c  N dy  2441    762035        80      7120         0     52644     49840    906904     22.88     24.12  --
457.42/114.73	c  N dy  2516    784085        80      7120         0     37994     49840    489991     22.88     24.14  --
472.22/118.45	c  N dy  2625    805824        80      7120         0     57952     49840   1028340     22.90     24.13  --
472.22/118.49	c  S st  2626    806094        80      7120         0     58201     49840   1034999     22.90     23.24  --
472.97/118.66	c  S st  2626    806597        80      7120         0     58657     49840   1047500     22.90   no data  --
472.97/118.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
472.97/118.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
472.97/118.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
473.37/118.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
473.37/118.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
473.37/118.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
473.37/118.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
517.63/129.85	c lits-rem:      3230  cl-subs:     4660  v-elim:      0  v-fix:    0  time: 44.33 s
517.63/129.85	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
517.63/129.86	c vivif2 --  cl tried    53997 cl shrink        0 lits rem          0 time: 0.05
519.23/130.21	c asymm  cl-useful: 0/912/7120 lits-rem:0 time: 1.38
519.23/130.21	c calculated reachability. Time: 0.00
519.23/130.21	c  N dy  2626    806597        80      7120         0     53997     49840    913931     22.90   no data  --
537.18/134.71	c  N dy  2709    828683        80      7120         0     38700     49840    496751     22.91     24.25  --
550.75/138.13	c  N dy  2807    848777        80      7120         0     57060     49840    995528     22.94     26.54  --
565.50/141.81	c  N dy  2833    868857        80      7120         0     38861     49840    485613     22.92     24.14  --
578.66/145.20	c  N dy  2922    889006        80      7120         0     57334     49840    982441     22.94     24.23  --
598.61/150.12	c  N dy  3015    909319        80      7120         0     38488     49840    458848     22.95     24.22  --
610.97/153.28	c  N dy  3066    929350        80      7120         0     56835     49840    951948     22.95     24.64  --
632.10/158.58	c  N dy  3148    952367        80      7120         0     39484     49840    467231     22.96     24.17  --
656.82/164.72	c  N dy  3177    990975        80      7120         0     74473     49840   1385937     22.90     24.12  --
672.78/168.76	c  N dy  3300   1011359        80      7120         0     54056     49840    849905     22.92     24.15  --
689.12/172.83	c  N dy  3354   1031440        80      7120         0     72422     49840   1342623     22.92     24.87  --
706.67/177.23	c  N dy  3454   1051451        80      7120         0     50493     49840    732886     22.93     24.85  --
721.84/181.08	c  F st  3502   1071875        80      7120         0     69140     49840   1230690     22.93     22.08  --
721.84/181.08	c  N st  3502   1071875        80      7120         0     69140     49840   1230690     22.93     22.08  --
742.17/186.14	c  N dy  3553   1095557        80      7120         0     49653     49840    693014     22.93     24.16  --
758.51/190.23	c  N dy  3594   1117915        80      7120         0     70148     49840   1244673     22.93     24.17  --
778.46/195.22	c  N dy  3641   1139948        80      7120         0     48179     49840    637125     22.92     24.20  --
800.81/200.81	c  N dy  3754   1163085        80      7120         0     69384     49840   1212569     22.94     24.17  --
824.72/206.86	c  N dy  3804   1187000        80      7120         0     48242     49840    620823     22.93     24.52  --
841.86/211.12	c  N dy  3822   1207041        80      7120         0     66320     49840   1098910     22.91     24.73  --
845.45/212.01	c  S st  3834   1209898        80      7120         0     68934     49840   1170330     22.91     21.46  --
846.25/212.27	c  S st  3834   1210402        80      7120         0     69400     49840   1183331     22.91   no data  --
846.25/212.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
846.25/212.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
846.65/212.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
846.65/212.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
846.65/212.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
846.65/212.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
846.65/212.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
928.46/232.89	c lits-rem:      4829  cl-subs:     6324  v-elim:      0  v-fix:    0  time: 81.90 s
928.46/232.90	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
928.81/232.91	c vivif2 --  cl tried    63076 cl shrink        0 lits rem          0 time: 0.05
930.41/233.30	c asymm  cl-useful: 0/764/7120 lits-rem:0 time: 1.56
930.41/233.30	c calculated reachability. Time: 0.00
930.41/233.30	c  N dy  3834   1210402        80      7120         0     63076     49840   1015857     22.91   no data  --
954.78/239.49	c  N dy  3924   1230921        80      7120         0     81876     49840   1523753     22.92     24.25  --
976.71/244.97	c  N dy  4006   1258478        80      7120         0     63532     49840   1017894     22.91     24.13  --
994.27/249.32	c  N dy  4022   1279145        80      7120         0     82310     49840   1515666     22.89     24.18  --
1017.34/255.12	c  N dy  4148   1299147        80      7120         0     56132     49840    813575     22.91     25.31  --
1038.13/260.39	c  N dy  4222   1319426        80      7120         0     74755     49840   1318162     22.92     24.14  --
1066.40/267.44	c  N dy  4305   1342109        80      7120         0     49773     49840    617312     22.93     24.21  --
1101.49/276.21	c  N dy  4350   1379876        80      7120         0     84133     49840   1527302     22.90     24.13  --
1131.00/283.63	c  N dy  4436   1412307        80      7120         0     67273     49840   1070124     22.89     24.14  --
1152.94/289.14	c  N dy  4511   1432688        80      7120         0     85911     49840   1570750     22.89     24.10  --
1176.07/294.92	c  N dy  4612   1453602        80      7120         0     57545     49840    798745     22.91     24.12  --
1196.41/300.01	c  N dy  4703   1475567        80      7120         0     77612     49840   1341840     22.91     24.18  --
1221.14/306.22	c  N dy  4790   1495635        80      7120         0     95974     49840   1840639     22.92     24.70  --
1239.93/310.93	c  N dy  4874   1517549        80      7120         0     67599     49840   1054251     22.93     24.47  --
1263.02/316.71	c  N dy  4917   1541946        80      7120         0     89817     49840   1646781     22.92     24.13  --
1285.35/322.31	c  N dy  5029   1562034        80      7120         0     58912     49840    805074     22.94     24.31  --
1304.10/327.04	c  N dy  5116   1582250        80      7120         0     77422     49840   1310105     22.95     24.16  --
1331.63/333.91	c  N dy  5193   1605358        80      7120         0     98551     49840   1880005     22.95     24.24  --
1349.61/338.41	c  N dy  5289   1625368        80      7120         0     66578     49840    996453     22.96     24.18  --
1375.93/345.04	c  N dy  5343   1653064        80      7120         0     91858     49840   1673085     22.95     24.35  --
1400.21/351.14	c  N dy  5390   1677235        80      7120         0     62681     49840    858652     22.94     24.21  --
1419.80/356.02	c  N dy  5437   1697817        80      7120         0     81486     49840   1365038     22.94     24.29  --
1436.10/360.17	c  S st  5501   1710404        80      7120         0     92989     49840   1678212     22.95     20.80  --
1437.34/360.46	c  S st  5501   1710910        80      7120         0     93461     49840   1691296     22.95   no data  --
1437.34/360.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1437.34/360.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1437.69/360.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1437.69/360.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1437.69/360.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1437.69/360.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1437.69/360.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1767.90/443.36	c lits-rem:      6706  cl-subs:     9361  v-elim:      0  v-fix:    0  time: 330.08 s
1767.90/443.36	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1767.90/443.38	c vivif2 --  cl tried    84100 cl shrink        0 lits rem          0 time: 0.08
1769.50/443.77	c asymm  cl-useful: 0/812/7120 lits-rem:0 time: 1.56
1769.50/443.77	c calculated reachability. Time: 0.00
1769.50/443.77	c  N dy  5501   1710910        80      7120         0     84100     49840   1434998     22.95   no data  --
1798.62/451.08	c  N dy  5609   1730966        80      7120         0    102497     49840   1936739     22.96     26.08  --
1829.32/458.75	c  N dy  5690   1766699        80      7120         0     83325     49840   1398853     22.93     24.46  --
1856.45/465.55	c  N dy  5771   1788858        80      7120         0    103569     49840   1945619     22.94     24.15  --
1883.97/472.44	c  N dy  5811   1820855        80      7120         0     79930     49840   1306661     22.92     24.18  --
1910.70/479.15	c  N dy  5877   1842884        80      7120         0     99992     49840   1843391     22.92     24.26  --
1931.42/484.30	c  N dy  5916   1863502        80      7120         0     65116     49840    891664     22.92     24.19  --
1952.16/489.53	c  N dy  5989   1884301        80      7120         0     84150     49840   1407668     22.92     24.22  --
1976.50/495.66	c  N dy  6033   1904383        80      7120         0    102431     49840   1896084     22.92     24.18  --
1996.82/500.76	c  N dy  6053   1925473        80      7120         0     66976     49840    920024     22.91     24.23  --
2018.36/506.17	c  N dy  6147   1945509        80      7120         0     85388     49840   1421637     22.91     25.02  --
2043.09/512.33	c  N dy  6195   1965545        80      7120         0    103578     49840   1908376     22.90     24.98  --
2069.41/518.93	c  N dy  6320   1985644        80      7120         0     66437     49840    900132     22.92     24.95  --
2093.34/524.91	c  N dy  6398   2005710        80      7120         0     84725     49840   1393892     22.92     24.22  --
2125.24/532.94	c  N dy  6504   2027005        80      7120         0    104176     49840   1923649     22.93     24.19  --
2152.41/539.76	c  N dy  6616   2047082        80      7120         0     65917     49840    866795     22.94     26.10  --
2174.34/545.28	c  N dy  6694   2067982        80      7120         0     85008     49840   1381206     22.95     24.41  --
2199.42/551.59	c  N dy  6747   2088240        80      7120         0    103493     49840   1879106     22.95     24.19  --
2220.96/556.91	c  N dy  6777   2108302        80      7120         0     64204     49840    802015     22.94     24.15  --
2240.90/561.98	c  N dy  6866   2128397        80      7120         0     82564     49840   1300207     22.94     25.28  --
2266.82/568.49	c  N dy  6931   2148677        80      7120         0    101105     49840   1797434     22.94     24.21  --
2299.13/576.50	c  N dy  7047   2168967        80      7120         0     61240     49840    708846     22.95     24.26  --
2316.67/580.91	c  N dy  7100   2189047        80      7120         0     79582     49840   1203058     22.95     26.01  --
2342.99/587.59	c  N dy  7215   2209053        80      7120         0     97873     49840   1702424     22.96     26.66  --
2345.77/588.23	c  S st  7221   2210913        80      7120         0     99557     49840   1746797     22.96     20.53  --
2346.97/588.53	c  S st  7221   2211416        80      7120         0    100020     49840   1759663     22.96   no data  --
2346.97/588.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2346.97/588.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2346.97/588.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2347.37/588.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2347.37/588.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2347.37/588.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2347.37/588.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2746.19/688.65	c lits-rem:      4434  cl-subs:     8245  v-elim:      0  v-fix:    0  time: 398.70 s
2746.19/688.65	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2746.19/688.67	c vivif2 --  cl tried    91775 cl shrink        0 lits rem          0 time: 0.08
2747.79/689.00	c asymm  cl-useful: 0/646/7120 lits-rem:0 time: 1.33
2747.79/689.00	c calculated reachability. Time: 0.00
2747.79/689.00	c  N dy  7221   2211416        80      7120         0     91775     49840   1525253     22.96   no data  --
2778.51/696.76	c  N dy  7312   2232187        80      7120         0    110733     49840   2040388     22.97     24.18  --
2804.43/703.23	c  N dy  7404   2252271        80      7120         0     70085     49840    940207     22.97     25.57  --
2831.94/710.19	c  N dy  7463   2276305        80      7120         0     92018     49840   1530143     22.97     24.30  --
2869.03/719.40	c  N dy  7572   2296381        80      7120         0    110420     49840   2033014     22.98     24.21  --
2896.94/726.48	c  N dy  7631   2316438        80      7120         0     68613     49840    881642     22.98     26.62  --
2924.51/733.35	c  N dy  7710   2340092        80      7120         0     90269     49840   1465569     22.98     24.22  --
2950.84/739.96	c  N dy  7758   2360532        80      7120         0    108893     49840   1967509     22.98     24.31  --
2982.29/747.84	c  N dy  7837   2383017        80      7120         0     68346     49840    853640     22.98     24.31  --
3006.22/753.89	c  N dy  7934   2403676        80      7120         0     87264     49840   1368478     22.99     24.64  --
3037.73/761.70	c  N dy  8070   2423779        80      7120         0    105778     49840   1879223     23.00     24.26  --
3073.66/770.74	c  N dy  8181   2443814        80      7120         0    124190     49840   2382704     23.01     25.05  --
3095.17/776.11	c  N dy  8255   2463980        80      7120         0     80339     49840   1161282     23.01     24.34  --
3122.27/782.98	c  N dy  8360   2484566        80      7120         0     99246     49840   1677093     23.02     24.25  --
3152.98/790.61	c  N dy  8444   2504607        80      7120         0    117539     49840   2169537     23.02     24.65  --
3182.49/798.00	c  N dy  8533   2525020        80      7120         0     73032     49840    947707     23.03     24.33  --
3209.66/804.84	c  N dy  8631   2545080        80      7120         0     91426     49840   1449341     23.03     25.21  --
3243.12/813.24	c  N dy  8748   2565499        80      7120         0    110100     49840   1959809     23.04     24.26  --
3278.21/822.01	c  N dy  8833   2585588        80      7120         0     64422     49840    702582     23.05     24.38  --
3298.94/827.23	c  N dy  8921   2605618        80      7120         0     82691     49840   1200876     23.05     24.69  --
3330.86/835.27	c  N dy  9046   2628424        80      7120         0    103599     49840   1771029     23.06     24.29  --
3365.55/843.95	c  N dy  9102   2650680        80      7120         0    123908     49840   2319503     23.06     24.31  --
3394.66/851.21	c  N dy  9184   2672084        80      7120         0     78593     49840   1068935     23.06     24.50  --
3420.98/857.81	c  N dy  9279   2692162        80      7120         0     96954     49840   1569500     23.07     26.04  --
3449.31/864.98	c  S st  9349   2711417        80      7120         0    114631     49840   2050198     23.07     21.49  --
3450.95/865.34	c  S st  9349   2711921        80      7120         0    115094     49840   2063074     23.07   no data  --
3450.95/865.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3450.95/865.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3451.29/865.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
3451.29/865.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3451.29/865.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3451.29/865.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3451.29/865.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4361.32/1093.60	c lits-rem:      7084  cl-subs:    10166  v-elim:      0  v-fix:    0  time: 909.58 s
4361.32/1093.60	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4361.32/1093.63	c vivif2 --  cl tried   104928 cl shrink        0 lits rem          0 time: 0.11
4363.36/1094.17	c asymm  cl-useful: 0/512/7120 lits-rem:0 time: 2.16
4363.36/1094.18	c calculated reachability. Time: 0.00
4363.36/1094.18	c  N dy  9349   2711921        80      7120         0    104928     49840   1771652     23.07   no data  --
4426.31/1109.93	c  N dy  9455   2740201        80      7120         0    130769     49840   2475806     23.07     24.36  --
4466.98/1120.19	c  N dy  9542   2765471        80      7120         0     88430     49840   1325663     23.07     24.29  --
4506.46/1130.00	c  N dy  9616   2785511        80      7120         0    106670     49840   1819658     23.08     24.36  --
4556.69/1142.61	c  N dy  9719   2806730        80      7120         0    126126     49840   2351037     23.08     24.31  --
4593.79/1151.94	c  N dy  9753   2830372        80      7120         0     81074     49840   1098540     23.07     24.33  --
4624.49/1159.69	c  N dy  9838   2850421        80      7120         0     99417     49840   1601143     23.08     24.37  --
4716.22/1182.60	c  N dy  9872   2923276        80      7120         0     97813     49840   1518384     23.03     24.26  --
4751.71/1191.50	c  N dy  9956   2944071        80      7120         0    116804     49840   2034432     23.03     24.27  --
4790.79/1201.34	c  N dy 10059   2964192        80      7120         0    135184     49840   2536512     23.04     24.29  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.48 7.98 8.05 7/367 447
/proc/meminfo: memFree=25730412/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=40992 CPUtime=0 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 3 0 632610510 41975808 352 33554432000 4194304 4650419 140733444145968 18446744073709551615 264726461425 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/447/statm: 10248 352 303 112 0 5213 0
[pid=447/tid=448] ppid=445 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632610510 52465664 358 33554432000 4194304 4650419 140733444145968 18446744073709551615 46953487087538 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 632610510 52465664 358 33554432000 4194304 4650419 140733444145968 18446744073709551615 46953487087129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632610510 52465664 358 33554432000 4194304 4650419 140733444145968 18446744073709551615 46953487087129 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.180361 s]
/proc/loadavg: 7.48 7.98 8.05 7/367 447
/proc/meminfo: memFree=25730412/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=292580 CPUtime=0.69 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) D 445 447 32471 0 -1 4202496 2148 0 0 0 69 0 0 0 18 0 4 0 632610510 299601920 1917 33554432000 4194304 4650419 140733444145968 18446744073709551615 264726065861 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/447/statm: 73145 1925 378 112 0 68110 0
[pid=447/tid=448] ppid=445 vsize=292712 CPUtime=0.16 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 384 0 0 0 16 0 0 0 18 0 4 0 632610510 299737088 1931 33554432000 4194304 4650419 140733444145968 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=292712 CPUtime=0.17 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 303 0 0 0 17 0 0 0 18 0 4 0 632610510 299737088 1943 33554432000 4194304 4650419 140733444145968 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=292712 CPUtime=0.17 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 451 0 0 0 17 0 0 0 18 0 4 0 632610510 299737088 1956 33554432000 4194304 4650419 140733444145968 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 292580

[startup+0.85429 s]
/proc/loadavg: 7.48 7.98 8.05 7/367 447
/proc/meminfo: memFree=25730412/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=289812 CPUtime=3.38 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 6829 0 0 0 337 1 0 0 19 0 4 0 632610510 296767488 4162 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 72453 4162 390 112 0 67418 0
[pid=447/tid=448] ppid=445 vsize=289812 CPUtime=0.83 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 1678 0 0 0 83 0 0 0 18 0 4 0 632610510 296767488 4162 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=289812 CPUtime=0.84 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 1612 0 0 0 84 0 0 0 18 0 4 0 632610510 296767488 4162 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=289812 CPUtime=0.84 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 1448 0 0 0 84 0 0 0 19 0 4 0 632610510 296767488 4162 33554432000 4194304 4650419 140733444145968 18446744073709551615 4360427 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 289812

[startup+0.900281 s]
/proc/loadavg: 7.48 7.98 8.05 7/367 447
/proc/meminfo: memFree=25730412/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=290092 CPUtime=3.57 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 7156 0 0 0 356 1 0 0 19 0 4 0 632610510 297054208 4136 33554432000 4194304 4650419 140733444145968 18446744073709551615 4350851 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 72523 4136 390 112 0 67488 0
[pid=447/tid=448] ppid=445 vsize=290092 CPUtime=0.88 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 1708 0 0 0 88 0 0 0 18 0 4 0 632610510 297054208 4136 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=290092 CPUtime=0.89 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 1863 0 0 0 89 0 0 0 18 0 4 0 632610510 297054208 4136 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=290092 CPUtime=0.89 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 1473 0 0 0 89 0 0 0 19 0 4 0 632610510 297054208 4136 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 290092

[startup+1.00026 s]
/proc/loadavg: 7.48 7.98 8.05 7/367 447
/proc/meminfo: memFree=25730412/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=290312 CPUtime=3.97 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 7864 0 0 0 396 1 0 0 19 0 4 0 632610510 297279488 4137 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 72578 4137 390 112 0 67543 0
[pid=447/tid=448] ppid=445 vsize=290312 CPUtime=0.98 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 1996 0 0 0 98 0 0 0 18 0 4 0 632610510 297279488 4137 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=290312 CPUtime=0.99 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 1930 0 0 0 99 0 0 0 18 0 4 0 632610510 297279488 4137 33554432000 4194304 4650419 140733444145968 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=290312 CPUtime=0.99 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 1526 0 0 0 99 0 0 0 19 0 4 0 632610510 297279488 4137 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 290312

[startup+1.50017 s]
/proc/loadavg: 7.48 7.98 8.05 7/367 447
/proc/meminfo: memFree=25730412/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=291076 CPUtime=5.96 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 10055 0 0 0 595 1 0 0 20 0 4 0 632610510 298061824 4720 33554432000 4194304 4650419 140733444145968 18446744073709551615 4336247 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 72769 4720 391 112 0 67734 0
[pid=447/tid=448] ppid=445 vsize=291076 CPUtime=1.48 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 2532 0 0 0 148 0 0 0 19 0 4 0 632610510 298061824 4720 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=291076 CPUtime=1.49 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 2500 0 0 0 149 0 0 0 19 0 4 0 632610510 298061824 4720 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=291076 CPUtime=1.49 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 2076 0 0 0 149 0 0 0 20 0 4 0 632610510 298061824 4720 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291076

[startup+3.10087 s]
/proc/loadavg: 7.48 7.98 8.05 10/371 451
/proc/meminfo: memFree=25644272/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=314480 CPUtime=12.34 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 18870 0 0 0 1230 4 0 0 25 0 4 0 632610510 322027520 11505 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 78620 11505 392 112 0 73585 0
[pid=447/tid=448] ppid=445 vsize=314480 CPUtime=3.08 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 4221 0 0 0 308 0 0 0 24 0 4 0 632610510 322027520 11505 33554432000 4194304 4650419 140733444145968 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=314480 CPUtime=3.09 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 4986 0 0 0 308 1 0 0 24 0 4 0 632610510 322027520 11505 33554432000 4194304 4650419 140733444145968 18446744073709551615 4439106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=314480 CPUtime=3.08 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 5043 0 0 0 307 1 0 0 25 0 4 0 632610510 322027520 11505 33554432000 4194304 4650419 140733444145968 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 314480

[startup+6.30126 s]
/proc/loadavg: 7.52 7.98 8.05 9/371 451
/proc/meminfo: memFree=25617972/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=313536 CPUtime=25.1 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 26875 0 0 0 2505 5 0 0 25 0 4 0 632610510 321060864 14747 33554432000 4194304 4650419 140733444145968 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 78384 14747 392 112 0 73349 0
[pid=447/tid=448] ppid=445 vsize=313536 CPUtime=6.27 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 7453 0 0 0 627 0 0 0 25 0 4 0 632610510 321060864 14747 33554432000 4194304 4650419 140733444145968 18446744073709551615 4438452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=313536 CPUtime=6.29 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 6488 0 0 0 628 1 0 0 25 0 4 0 632610510 321060864 14747 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=313536 CPUtime=6.29 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 7102 0 0 0 627 2 0 0 25 0 4 0 632610510 321060864 14747 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 313536

[startup+12.7011 s]
/proc/loadavg: 7.64 8.00 8.05 10/371 451
/proc/meminfo: memFree=25569620/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=313040 CPUtime=50.65 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 40809 0 0 0 5056 9 0 0 25 0 4 0 632610510 320552960 21044 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 78260 21044 392 112 0 73225 0
[pid=447/tid=448] ppid=445 vsize=313040 CPUtime=12.69 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 10681 0 0 0 1268 1 0 0 25 0 4 0 632610510 320552960 21050 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=313040 CPUtime=12.7 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 10110 0 0 0 1268 2 0 0 25 0 4 0 632610510 320552960 21050 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=313040 CPUtime=12.7 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 11185 0 0 0 1267 3 0 0 25 0 4 0 632610510 320552960 21050 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 313040

[startup+25.5006 s]
/proc/loadavg: 7.72 8.00 8.05 10/371 452
/proc/meminfo: memFree=25511476/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=312320 CPUtime=101.68 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 62360 0 0 0 10154 14 0 0 25 0 4 0 632610510 319815680 26027 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 78080 26027 392 112 0 73045 0
[pid=447/tid=448] ppid=445 vsize=312320 CPUtime=25.47 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 15024 0 0 0 2545 2 0 0 25 0 4 0 632610510 319815680 26028 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=312320 CPUtime=25.49 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 15654 0 0 0 2546 3 0 0 25 0 4 0 632610510 319815680 26028 33554432000 4194304 4650419 140733444145968 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=312320 CPUtime=25.48 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 16774 0 0 0 2544 4 0 0 25 0 4 0 632610510 319815680 26028 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 312320

[startup+51.1008 s]
/proc/loadavg: 7.81 8.00 8.05 9/371 452
/proc/meminfo: memFree=25460464/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=334476 CPUtime=203.78 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 91930 0 0 0 20355 23 0 0 25 0 4 0 632610510 342503424 29893 33554432000 4194304 4650419 140733444145968 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 83619 29893 392 112 0 78584 0
[pid=447/tid=448] ppid=445 vsize=334476 CPUtime=51.08 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 23880 0 0 0 5103 5 0 0 25 0 4 0 632610510 342503424 29893 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=334476 CPUtime=51.08 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 22802 0 0 0 5103 5 0 0 25 0 4 0 632610510 342503424 29893 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=334476 CPUtime=51.08 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 25268 0 0 0 5102 6 0 0 25 0 4 0 632610510 342503424 29893 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 334476

[startup+102.301 s]
/proc/loadavg: 8.01 8.03 8.05 10/371 454
/proc/meminfo: memFree=25411556/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=367240 CPUtime=407.96 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 143962 0 0 0 40759 37 0 0 25 0 4 0 632610510 376053760 37753 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 91810 37753 392 112 0 86775 0
[pid=447/tid=448] ppid=445 vsize=367240 CPUtime=102.28 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 37015 0 0 0 10219 9 0 0 25 0 4 0 632610510 376053760 37753 33554432000 4194304 4650419 140733444145968 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=367240 CPUtime=102.27 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 36210 0 0 0 10218 9 0 0 25 0 4 0 632610510 376053760 37753 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=367240 CPUtime=102.29 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 38591 0 0 0 10219 10 0 0 25 0 4 0 632610510 376053760 37753 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 367240

[startup+162.301 s]

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

[pid=447] ppid=445 vsize=458228 CPUtime=2561.53 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 418396 0 0 0 256014 139 0 0 25 0 4 0 632610510 469225472 71329 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 114557 71329 392 112 0 109522 0
[pid=447/tid=448] ppid=445 vsize=458228 CPUtime=642.28 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 113725 0 0 0 64190 38 0 0 25 0 4 0 632610510 469225472 71329 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=458228 CPUtime=642.18 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 103975 0 0 0 64186 32 0 0 25 0 4 0 632610510 469225472 71329 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=458228 CPUtime=642.3 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 110339 0 0 0 64192 38 0 0 25 0 4 0 632610510 469225472 71329 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2561.53
Current children cumulated vsize (KiB) 458228

[startup+702.301 s]
/proc/loadavg: 8.16 8.10 8.08 10/371 480
/proc/meminfo: memFree=25021536/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=462204 CPUtime=2800.84 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 437259 0 0 0 279935 149 0 0 25 0 4 0 632610510 473296896 72777 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 115551 72777 392 112 0 110516 0
[pid=447/tid=448] ppid=445 vsize=462204 CPUtime=702.29 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 120230 0 0 0 70188 41 0 0 25 0 4 0 632610510 473296896 72777 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=462204 CPUtime=702.18 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 108593 0 0 0 70184 34 0 0 25 0 4 0 632610510 473296896 72777 33554432000 4194304 4650419 140733444145968 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=462204 CPUtime=702.31 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 116465 0 0 0 70189 42 0 0 25 0 4 0 632610510 473296896 72777 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.84
Current children cumulated vsize (KiB) 462204

[startup+762.301 s]
/proc/loadavg: 8.16 8.11 8.08 10/371 481
/proc/meminfo: memFree=24982548/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=465476 CPUtime=3040.12 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 455164 0 0 0 303854 158 0 0 25 0 4 0 632610510 476647424 74744 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 116369 74744 392 112 0 111334 0
[pid=447/tid=448] ppid=445 vsize=465476 CPUtime=762.29 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 126703 0 0 0 76184 45 0 0 25 0 4 0 632610510 476647424 74744 33554432000 4194304 4650419 140733444145968 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=465476 CPUtime=762.16 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 114735 0 0 0 76179 37 0 0 25 0 4 0 632610510 476647424 74744 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=465476 CPUtime=762.31 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 117207 0 0 0 76189 42 0 0 25 0 4 0 632610510 476647424 74744 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.12
Current children cumulated vsize (KiB) 465476

[startup+822.3 s]
/proc/loadavg: 8.11 8.10 8.08 10/371 483
/proc/meminfo: memFree=24995412/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=447980 CPUtime=3279.42 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 478132 0 0 0 327775 167 0 0 25 0 4 0 632610510 458731520 70737 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 111995 70737 392 112 0 106960 0
[pid=447/tid=448] ppid=445 vsize=447980 CPUtime=822.31 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 133122 0 0 0 82183 48 0 0 25 0 4 0 632610510 458731520 70739 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=447980 CPUtime=822.17 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 120252 0 0 0 82177 40 0 0 25 0 4 0 632610510 458731520 70739 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=447980 CPUtime=822.32 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 125225 0 0 0 82188 44 0 0 25 0 4 0 632610510 458731520 70739 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.42
Current children cumulated vsize (KiB) 447980

[startup+882.301 s]
/proc/loadavg: 8.08 8.10 8.08 10/371 485
/proc/meminfo: memFree=24982604/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=473236 CPUtime=3518.7 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 503894 0 0 0 351693 177 0 0 25 0 4 0 632610510 484593664 75233 33554432000 4194304 4650419 140733444145968 18446744073709551615 4439318 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 118309 75233 392 112 0 113274 0
[pid=447/tid=448] ppid=445 vsize=473236 CPUtime=882.29 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 139662 0 0 0 88179 50 0 0 25 0 4 0 632610510 484593664 75233 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=473236 CPUtime=882.15 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 126806 0 0 0 88173 42 0 0 25 0 4 0 632610510 484593664 75233 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=473236 CPUtime=882.31 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 131256 0 0 0 88184 47 0 0 25 0 4 0 632610510 484593664 75233 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.7
Current children cumulated vsize (KiB) 473236

[startup+942.315 s]
/proc/loadavg: 8.12 8.11 8.08 10/371 486
/proc/meminfo: memFree=24922672/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=563196 CPUtime=3758.02 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 522672 0 0 0 375618 184 0 0 25 0 4 0 632610510 576712704 84421 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 140799 84421 392 112 0 135764 0
[pid=447/tid=448] ppid=445 vsize=563196 CPUtime=942.31 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 146970 0 0 0 94178 53 0 0 25 0 4 0 632610510 576712704 84421 33554432000 4194304 4650419 140733444145968 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=563196 CPUtime=942.15 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 132165 0 0 0 94169 46 0 0 25 0 4 0 632610510 576712704 84421 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=563196 CPUtime=942.33 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 136944 0 0 0 94185 48 0 0 25 0 4 0 632610510 576712704 84421 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.02
Current children cumulated vsize (KiB) 563196

[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 8.08 9/371 488
/proc/meminfo: memFree=24886908/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=497724 CPUtime=3997.26 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 528100 0 0 0 399538 188 0 0 25 0 4 0 632610510 509669376 85002 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 124431 85025 392 112 0 119396 0
[pid=447/tid=448] ppid=445 vsize=497724 CPUtime=1002.29 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 148167 0 0 0 100176 53 0 0 25 0 4 0 632610510 509669376 85034 33554432000 4194304 4650419 140733444145968 18446744073709551615 264726102384 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=497724 CPUtime=1002.13 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 136231 0 0 0 100164 49 0 0 25 0 4 0 632610510 509669376 85044 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=497724 CPUtime=1002.32 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 136973 0 0 0 100184 48 0 0 25 0 4 0 632610510 509669376 85053 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.26
Current children cumulated vsize (KiB) 497724

[startup+1062.3 s]
/proc/loadavg: 8.07 8.09 8.08 10/371 489
/proc/meminfo: memFree=24890096/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=504964 CPUtime=4236.51 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 537938 0 0 0 423461 190 0 0 25 0 4 0 632610510 517083136 86056 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 126241 86056 392 112 0 121206 0
[pid=447/tid=448] ppid=445 vsize=504964 CPUtime=1062.3 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 153351 0 0 0 106176 54 0 0 25 0 4 0 632610510 517083136 86056 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=504964 CPUtime=1062.12 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 140853 0 0 0 106161 51 0 0 25 0 4 0 632610510 517083136 86056 33554432000 4194304 4650419 140733444145968 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=504964 CPUtime=1062.32 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 136973 0 0 0 106184 48 0 0 25 0 4 0 632610510 517083136 86056 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.51
Current children cumulated vsize (KiB) 504964

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 8.09 10/371 491
/proc/meminfo: memFree=24879520/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=514512 CPUtime=4475.74 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 544082 0 0 0 447381 193 0 0 25 0 4 0 632610510 526860288 87630 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 128628 87630 392 112 0 123593 0
[pid=447/tid=448] ppid=445 vsize=514512 CPUtime=1122.3 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 157677 0 0 0 112174 56 0 0 25 0 4 0 632610510 526860288 87630 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=514512 CPUtime=1122.11 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 140984 0 0 0 112160 51 0 0 25 0 4 0 632610510 526860288 87630 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=514512 CPUtime=1122.32 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 136973 0 0 0 112184 48 0 0 25 0 4 0 632610510 526860288 87630 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.74
Current children cumulated vsize (KiB) 514512

[startup+1182.3 s]
/proc/loadavg: 8.07 8.09 8.09 10/371 493
/proc/meminfo: memFree=24873656/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=500056 CPUtime=4715.02 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 554075 0 0 0 471304 198 0 0 25 0 4 0 632610510 512057344 90195 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 125014 90195 392 112 0 119979 0
[pid=447/tid=448] ppid=445 vsize=500056 CPUtime=1182.31 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 162437 0 0 0 118173 58 0 0 25 0 4 0 632610510 512057344 90195 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=500056 CPUtime=1182.1 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 140984 0 0 0 118159 51 0 0 25 0 4 0 632610510 512057344 90195 33554432000 4194304 4650419 140733444145968 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=500056 CPUtime=1182.33 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 138191 0 0 0 118184 49 0 0 25 0 4 0 632610510 512057344 90195 33554432000 4194304 4650419 140733444145968 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.02
Current children cumulated vsize (KiB) 500056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.10 8.10 8.09 5/366 494
/proc/meminfo: memFree=25353556/32951124 swapFree=63083164/67111528
[pid=447] ppid=445 vsize=511676 CPUtime=4800.37 cores=0,2,4,6
/proc/447/stat : 447 (strangenight1-m) R 445 447 32471 0 -1 4202496 558545 0 0 0 479836 201 0 0 25 0 4 0 632610510 523956224 94664 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/447/statm: 127919 94664 392 112 0 122884 0
[pid=447/tid=448] ppid=445 vsize=511676 CPUtime=1203.72 cores=0,2,4,6
/proc/447/task/448/stat : 448 (strangenight1-m) R 445 447 32471 0 -1 4202560 165028 0 0 0 120312 60 0 0 25 0 4 0 632610510 523956224 94664 33554432000 4194304 4650419 140733444145968 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=447/tid=449] ppid=445 vsize=511676 CPUtime=1203.5 cores=0,2,4,6
/proc/447/task/449/stat : 449 (strangenight1-m) R 445 447 32471 0 -1 4202560 141789 0 0 0 120299 51 0 0 25 0 4 0 632610510 523956224 94664 33554432000 4194304 4650419 140733444145968 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=447/tid=450] ppid=445 vsize=511676 CPUtime=1203.74 cores=0,2,4,6
/proc/447/task/450/stat : 450 (strangenight1-m) R 445 447 32471 0 -1 4202560 138191 0 0 0 120324 50 0 0 25 0 4 0 632610510 523956224 94664 33554432000 4194304 4650419 140733444145968 18446744073709551615 264726429591 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 511676

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.45
CPU user time (s): 4798.42
CPU system time (s): 2.03669
CPU usage (%): 398.795
Max. virtual memory (cumulated for all children) (KiB): 578928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.42
system time used= 2.03669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558546
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= 637
involuntary context switches= 23665

runsolver used 4.13937 second user time and 10.2194 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 21:39:09
IDJOB=3368741
IDBENCH=82750
IDSOLVER=1846
FILE ID=node141/3368741-1305401949
RUNJOBID= node141-1305400743-327
PBS_JOBID= 13324452
Free space on /tmp= 73292 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368741-1305401949/watcher-3368741-1305401949 -o /tmp/evaluation-result-3368741-1305401949/solver-3368741-1305401949 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368741-1305401949.cnf

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

MD5SUM BENCH= 6303d9fa9d32bd584c08fa1ce867474c
RANDOM SEED=448674859

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
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:      25730692 kB
Buffers:        225084 kB
Cached:        4781216 kB
SwapCached:      15708 kB
Active:        1985752 kB
Inactive:      4996392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25730692 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           12492 kB
Writeback:           0 kB
AnonPages:     1966872 kB
Mapped:          13016 kB
Slab:           135628 kB
PageTables:      37916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86320428 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= 73292 MiB
End job on node141 at 2011-05-14 21:59:15