Trace number 3173804

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.46 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
MD5SUM48acd8df0141c3f57a132eb6d7253d5f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark130.328
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
Number of clauses of size 40
Number of clauses of size 50
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-3173804-1304031270.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
0.40/0.13	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.40/0.13	c -- vars added      35000
0.40/0.13	c Parsing time:  0.11 s
0.40/0.13	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.76/0.27	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.13
1.16/0.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
1.67/0.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.67/0.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.67/0.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.67/0.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.67/0.50	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
1.67/0.83	c lits-rem:         0  cl-subs:        0  v-elim:    909  v-fix:    0  time:  0.25 s
1.67/0.83	c Finding binary XORs  T:     0.01 s  found:       0
1.67/0.83	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1.67/0.83	c calculated reachability. Time: 0.00
1.67/0.93	c Calc default polars -  time:   0.01 s pos:   15646 undec:    3811 neg:   15543
1.67/0.93	c =========================================================================================
1.67/0.93	c types(t): F = full restart, N = normal restart
1.67/0.93	c types(t): S = simplification begin/end, E = solution found
1.67/0.93	c restart types(rt): st = static, dy = dynamic
1.67/0.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.67/0.93	c  B st     0         0     34091    145976         0         0    443570         0   no data   no data
10.34/2.69	c  N dy    22      4005     34091    145976         0      4004    443570   1184756    172.14    194.90
18.33/4.65	c  N dy    51      8177     34091    145976         0      8175    443570   2244637    169.69    181.31
25.92/6.58	c  N dy    77     12178     34091    145976         0     12176    443570   3273164    168.96    210.47
33.93/8.58	c  N dy   104     16288     34091    145976         0     16286    443570   4328159    167.80    177.36
42.32/10.68	c  N dy   136     20313     34091    145976         0     10313    443570    738247    169.43    178.61
50.29/12.64	c  N dy   162     24386     34091    145976         0     14385    443570   1802050    169.49    196.63
51.51/12.94	c  F st   166     25000     34091    145976         0     14999    443570   1951624    169.26    154.69
61.87/15.58	c  N dy   172     30002     34091    145976         0     19999    443570   3850335    169.26   no data
61.87/15.58	c  S st   172     30002     34091    145976         0     19999    443570   3850335    169.26   no data
63.06/15.82	c  S st   172     30504     34091    145976         0     20501    443570   3942189    169.26   no data
63.06/15.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.86/16.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
63.86/16.08	c blocked clauses removed:      649 vars:    104 tried:       34091 T: 0.02 s
63.86/16.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
64.28/16.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
64.28/16.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33987 time:  0.01 s
64.28/16.13	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
65.06/16.34	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.20 s
66.26/16.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
70.65/17.73	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.02 s
71.46/17.90	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.17
71.46/17.91	c calculated reachability. Time: 0.00
71.46/17.91	c  N dy   172     30504     33974    145315         0     20331    441645   3866264    169.26   no data
79.44/19.99	c  N dy   199     34579     33974    145315         0     24406    441645   4904211    169.17    181.95
88.63/22.20	c  N dy   229     38727     33974    145315         0     28554    441645   5983466    169.23    179.32
97.02/24.34	c  N dy   255     42883     33974    145315         0     17295    441645   1254093    168.54    180.28
102.61/25.78	c  S st   274     45756     33974    145315         0     20168    441645   1970135    168.25   no data
103.83/26.04	c  S st   274     46257     33974    145315         0     20669    441645   2074485    168.25   no data
103.83/26.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.61/26.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
104.61/26.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.61/26.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
105.01/26.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
105.01/26.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
105.01/26.33	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
105.41/26.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
106.21/26.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
107.40/26.95	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.31 s
107.40/26.98	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
107.80/27.02	c vivif2 --  cl tried    20668 cl shrink        0 lits rem          0 time: 0.04
108.22/27.19	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.17
108.22/27.20	c calculated reachability. Time: 0.00
108.22/27.20	c  N dy   274     46257     33974    145315         0     20668    441645   2074411    168.25   no data
117.01/29.31	c  N dy   303     50390     33974    145315         0     24801    441645   3142843    168.47    184.92
124.99/31.38	c  N dy   329     54420     33974    145315         0     28831    441645   4172795    168.30    178.23
133.77/33.53	c  N dy   356     58513     33974    145315         0     32924    441645   5215373    168.26    179.43
142.56/35.72	c  N dy   382     62618     33974    145315         0     37028    441645   6237800    167.97    177.31
150.95/37.87	c  N dy   408     66704     33974    145315         0     22407    441645   1722746    168.00    178.53
156.55/39.26	c  S st   427     69386     33974    145315         0     25089    441645   2423781    168.04   no data
157.74/39.52	c  S st   427     69889     33974    145315         0     25592    441645   2522751    168.04   no data
157.74/39.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
158.54/39.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
158.54/39.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
158.54/39.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
158.54/39.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
158.54/39.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
158.93/39.81	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
159.33/39.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
160.14/40.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.13/40.62	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.47 s
162.13/40.64	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
162.13/40.69	c vivif2 --  cl tried    25590 cl shrink        0 lits rem          0 time: 0.05
162.94/40.87	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.18
162.94/40.88	c calculated reachability. Time: 0.00
162.94/40.89	c  N dy   427     69889     33974    145315         0     25590    441645   2521628    168.04   no data
172.53/43.23	c  N dy   458     74379     33974    145315         0     30080    441645   3678965    168.08    180.02
182.51/45.74	c  N dy   486     79135     33974    145315         0     34836    441645   4866997    167.52    178.15
193.70/48.53	c  N dy   521     84242     33974    145315         0     39943    441645   6223514    167.77    180.03
200.91/50.37	c  F st   547     87500     33974    145315         0     22346    441645   1113777    168.36   no data
208.08/52.18	c  N st   552     90799     33974    145315         0     25645    441645   2340737    168.36   no data
221.26/55.41	c  N dy   583     96741     33974    145315         0     31586    441645   4105778    168.65    178.71
234.45/58.75	c  N dy   629    102928     33974    145315         0     37772    441645   5718983    168.90    178.66
238.44/59.79	c  S st   642    104833     33974    145315         0     39677    441645   6210157    168.89   no data
239.64/60.08	c  S st   642    105339     33974    145315         0     40183    441645   6302456    168.89   no data
240.05/60.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
240.83/60.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
240.83/60.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.83/60.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
240.83/60.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
240.83/60.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
241.23/60.40	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
242.03/60.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
243.23/61.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
250.82/62.81	c lits-rem:         5  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.78 s
250.82/62.83	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
251.22/62.94	c vivif2 --  cl tried    40176 cl shrink        0 lits rem          0 time: 0.11
252.02/63.15	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.21
252.02/63.16	c calculated reachability. Time: 0.00
252.02/63.16	c  N dy   642    105339     33974    145315         0     40176    441645   6298673    168.89   no data
266.82/66.86	c  N dy   686    112119     33974    145315         0     24532    441645   1210401    168.95    179.14
281.98/70.67	c  N dy   735    119283     33974    145315         0     31696    441645   3066660    169.08    178.68
298.75/74.89	c  N dy   788    127003     33974    145315         0     39415    441645   5060641    168.96    181.75
317.54/79.59	c  N dy   845    135302     33974    145315         0     24003    441645    705636    169.11    184.29
335.92/84.15	c  N dy   897    144084     33974    145315         0     32785    441645   2948942    168.67    179.95
356.29/89.30	c  N dy   961    153414     33974    145315         0     42115    441645   5333845    168.74    183.98
366.68/91.82	c  S st   990    158009     33974    145315         0     46710    441645   6454370    168.49   no data
367.49/92.10	c  S st   990    158511     33974    145315         0     47212    441645   6537559    168.49   no data
367.89/92.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
368.68/92.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
368.68/92.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.68/92.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
369.08/92.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
369.08/92.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
369.08/92.43	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
369.88/92.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
371.48/93.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
380.69/95.33	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.26 s
380.69/95.36	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
381.09/95.48	c vivif2 --  cl tried    47208 cl shrink        0 lits rem          0 time: 0.12
382.26/95.70	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.22
382.26/95.71	c calculated reachability. Time: 0.00
382.26/95.71	c  N dy   990    158511     33974    145315         0     47208    441645   6535668    168.49   no data
403.83/101.19	c  N dy  1054    168642     33974    145315         0     32483    441645   2536528    168.41    182.67
428.20/107.20	c  N dy  1128    179611     33974    145315         0     43451    441645   5386212    168.62    188.40
453.77/113.62	c  N dy  1202    191082     33974    145315         0     28998    441645   1344651    168.61    178.91
480.13/120.28	c  N dy  1286    203396     33974    145315         0     41312    441645   4539997    168.64    177.68
510.10/127.75	c  N dy  1378    216454     33974    145315         0     27416    441645    677906    168.74    178.04
540.47/135.36	c  N dy  1477    230416     33974    145315         0     41377    441645   4302425    168.80    179.63
557.25/139.50	c  S st  1526    237766     33974    145315         0     48726    441645   6163054    168.79   no data
558.05/139.79	c  S st  1526    238268     33974    145315         0     49228    441645   6260402    168.79   no data
558.45/139.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
559.25/140.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
559.25/140.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
559.25/140.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
559.65/140.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
559.65/140.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
559.65/140.13	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
560.45/140.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
562.04/140.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
571.63/143.12	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.38 s
571.63/143.14	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
572.03/143.26	c vivif2 --  cl tried    49227 cl shrink        0 lits rem          0 time: 0.12
572.83/143.48	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.23
572.83/143.49	c calculated reachability. Time: 0.00
572.83/143.49	c  N dy  1526    238268     33974    145315         0     49227    441645   6259366    168.79   no data
607.19/152.07	c  N dy  1631    253477     33974    145315         0     36450    441645   2707180    168.89    187.19
643.94/161.23	c  N dy  1743    269665     33974    145315         0     52637    441645   6894526    169.07    182.09
683.09/171.07	c  N dy  1864    286975     33974    145315         0     40955    441645   3615691    169.09    182.08
725.83/181.76	c  N dy  1999    305332     33974    145315         0     59312    441645   8448326    169.31    186.08
728.25/182.32	c  F st  2004    306250     33974    145315         0     30241    441645    569839    169.28   no data
770.18/192.84	c  N dy  2097    324910     33974    145315         0     48900    441645   5934545    169.20    183.76
816.51/204.41	c  N dy  2234    345032     33974    145315         0     38019    441645   2258896    169.20    179.09
844.08/211.38	c  S st  2318    357402     33974    145315         0     50389    441645   5474176    169.32    163.10
845.27/211.68	c  S st  2318    357904     33974    145315         0     50891    441645   5558909    169.32   no data
845.67/211.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
846.49/211.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
846.49/211.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
846.49/211.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
846.49/211.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
846.49/212.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
846.89/212.02	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
847.67/212.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
848.88/212.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
857.27/214.69	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.11 s
857.67/214.71	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
858.07/214.82	c vivif2 --  cl tried    50890 cl shrink        0 lits rem          0 time: 0.10
858.87/215.05	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.23
858.87/215.06	c calculated reachability. Time: 0.00
858.87/215.06	c  N dy  2318    357904     33974    145315         0     50890    441645   5558849    169.32   no data
904.80/226.57	c  N dy  2449    378029     33974    145315         0     39017    441645   2247476    169.07    186.56
951.55/238.25	c  N dy  2588    398071     33974    145315         0     59059    441645   7418890    169.13    256.65
997.08/249.68	c  N dy  2715    418109     33974    145315         0     46093    441645   3879078    169.19    222.34
1044.64/261.56	c  N dy  2847    438121     33974    145315         0     66103    441645   9111977    169.29    180.42
1090.56/273.06	c  N dy  2990    458146     33974    145315         0     52130    441645   5181098    169.35    181.98
1138.89/285.13	c  N dy  3131    478188     33974    145315         0     37170    441645   1059831    169.40    181.15
1184.85/296.66	c  N dy  3269    498239     33974    145315         0     57219    441645   6305841    169.49    218.35
1232.77/308.62	c  N dy  3408    518289     33974    145315         0     41272    441645   1864095    169.56    191.37
1275.52/319.30	c  S st  3531    536856     33974    145315         0     59837    441645   6607460    169.50   no data
1276.72/319.61	c  S st  3531    537359     33974    145315         0     60340    441645   6711191    169.50   no data
1276.72/319.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1277.54/319.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
1277.92/319.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1277.92/319.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1277.92/319.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1277.92/319.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
1277.92/319.95	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1278.72/320.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1280.32/320.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1293.10/323.70	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.10 s
1293.10/323.72	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
1293.50/323.85	c vivif2 --  cl tried    60337 cl shrink        0 lits rem          0 time: 0.13
1294.30/324.10	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.25
1294.71/324.11	c calculated reachability. Time: 0.00
1294.71/324.11	c  N dy  3531    537359     33974    145315         0     60337    441645   6710486    169.50   no data
1343.05/336.24	c  N dy  3674    557445     33974    145315         0     43425    441645   2158498    169.58    179.05
1390.17/348.01	c  N dy  3813    577564     33974    145315         0     63541    441645   7395863    169.63    180.95
1438.11/360.05	c  N dy  3946    597644     33974    145315         0     45626    441645   2477523    169.62    185.96
1486.05/372.00	c  N dy  4089    617720     33974    145315         0     65701    441645   7764612    169.70    179.02
1534.79/384.24	c  N dy  4236    637898     33974    145315         0     46879    441645   2555713    169.74    183.52
1582.71/396.29	c  N dy  4370    658063     33974    145315         0     67042    441645   7878005    169.77    179.35
1631.85/408.51	c  N dy  4507    678098     33974    145315         0     47081    441645   2332245    169.79    186.28
1681.40/420.97	c  N dy  4641    698668     33974    145315         0     67649    441645   7631784    169.74    179.55
1730.91/433.33	c  N dy  4775    718789     33974    145315         0     46768    441645   1998142    169.77    180.58
1779.25/445.47	c  N dy  4917    739069     33974    145315         0     67047    441645   7340688    169.81    181.71
1829.18/457.99	c  N dy  5045    759205     33974    145315         0     45186    441645   1331314    169.76    182.33
1877.11/469.91	c  N dy  5185    779378     33974    145315         0     65358    441645   6664341    169.77    178.93
1928.25/482.75	c  N dy  5327    799467     33974    145315         0     85447    441645  11877691    169.79    210.29
1943.84/486.61	c  S st  5374    806038     33974    145315         0     49017    441645   2069035    169.80    151.03
1944.63/486.90	c  S st  5374    806540     33974    145315         0     49519    441645   2165379    169.80   no data
1945.05/486.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1945.83/487.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1945.83/487.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1945.83/487.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1946.23/487.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1946.23/487.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
1946.23/487.23	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1947.03/487.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1947.43/487.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1950.62/488.34	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.78 s
1950.62/488.36	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
1951.03/488.40	c vivif2 --  cl tried    49518 cl shrink        0 lits rem          0 time: 0.04
1951.83/488.63	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.22
1951.83/488.64	c calculated reachability. Time: 0.00
1951.83/488.64	c  N dy  5374    806540     33974    145315         0     49518    441645   2164476    169.80   no data
2000.16/500.75	c  N dy  5513    826591     33974    145315         0     69566    441645   7410412    169.83    179.46
2051.68/513.68	c  N dy  5653    846605     33974    145315         0     45582    441645    912046    169.92    180.60
2099.24/525.51	c  N dy  5784    866661     33974    145315         0     65638    441645   6131392    169.94    184.76
2149.56/538.18	c  N dy  5909    886734     33974    145315         0     85710    441645  11372219    169.90    193.79
2197.50/550.11	c  N dy  6039    906746     33974    145315         0     60723    441645   4623226    169.88    205.97
2247.42/562.60	c  N dy  6167    926884     33974    145315         0     80859    441645   9841248    169.86    189.07
2297.35/575.16	c  N dy  6304    946912     33974    145315         0     54892    441645   2801870    169.87    188.57
2346.48/587.47	c  N dy  6435    967101     33974    145315         0     75081    441645   8026769    169.85    180.18
2399.21/600.60	c  N dy  6576    987179     33974    145315         0     48163    441645    804930    169.89    183.38
2447.15/612.61	c  N dy  6714   1007246     33974    145315         0     68229    441645   6047460    169.91    195.02
2498.28/625.41	c  N dy  6850   1027285     33974    145315         0     88266    441645  11300744    169.92    179.25
2548.22/637.92	c  N dy  6981   1047363     33974    145315         0     60348    441645   3640007    169.90    181.39
2597.75/650.37	c  N dy  7107   1067396     33974    145315         0     80379    441645   8868224    169.89    184.79
2609.73/653.30	c  F st  7139   1071875     33974    145315         0     84858    441645  10042800    169.89    131.61
2650.08/663.44	c  N dy  7213   1087476     33974    145315         0     51456    441645   1173551    169.87    181.91
2698.82/675.66	c  N dy  7345   1107647     33974    145315         0     71626    441645   6495692    169.89    184.43
2751.54/688.81	c  N dy  7482   1127831     33974    145315         0     91809    441645  11769364    169.89    180.34
2802.29/701.51	c  N dy  7623   1147853     33974    145315         0     61830    441645   3656179    169.94    214.08
2852.61/714.18	c  N dy  7760   1167901     33974    145315         0     81876    441645   8858468    169.95    192.63
2906.14/727.56	c  N dy  7896   1187913     33974    145315         0    101885    441645  14103491    169.98    181.51
2955.67/739.91	c  N dy  8039   1207994     33974    145315         0     70971    441645   5754499    170.01    179.15
2960.07/741.10	c  S st  8053   1209810     33974    145315         0     72787    441645   6234630    170.01   no data
2961.65/741.44	c  S st  8053   1210318     33974    145315         0     73295    441645   6327868    170.01   no data
2961.65/741.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2962.85/741.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
2962.85/741.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2962.85/741.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2962.85/741.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2962.85/741.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
2963.26/741.80	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2964.05/742.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2965.65/742.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2979.22/745.88	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.44 s
2979.62/745.90	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
2980.02/746.02	c vivif2 --  cl tried    73292 cl shrink        0 lits rem          0 time: 0.12
2981.23/746.31	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.28
2981.23/746.32	c calculated reachability. Time: 0.00
2981.23/746.32	c  N dy  8053   1210318     33974    145315         0     73292    441645   6326218    170.01   no data
3033.96/759.58	c  N dy  8192   1230380     33974    145315         0     93353    441645  11507595    170.02    199.27
3086.29/772.62	c  N dy  8335   1250381     33974    145315         0     61358    441645   3080545    170.09    180.35
3136.24/785.14	c  N dy  8477   1270383     33974    145315         0     81359    441645   8339153    170.13    196.90
3190.15/798.61	c  N dy  8618   1290434     33974    145315         0    101409    441645  13554066    170.14    203.92
3240.47/811.21	c  N dy  8762   1310463     33974    145315         0     68437    441645   4606782    170.17    179.39
3292.41/824.24	c  N dy  8902   1330579     33974    145315         0     88553    441645   9978141    170.21    179.52
3347.15/837.93	c  N dy  9034   1350701     33974    145315         0     54689    441645    721317    170.19    183.11
3396.27/850.20	c  N dy  9169   1370716     33974    145315         0     74703    441645   6099502    170.24    199.15
3449.00/863.48	c  N dy  9312   1390726     33974    145315         0     94711    441645  11351939    170.26    185.15
3502.92/876.95	c  N dy  9444   1410776     33974    145315         0     59758    441645   1802908    170.26    181.94
3552.86/889.47	c  N dy  9579   1430869     33974    145315         0     79851    441645   7115491    170.28    252.96
3606.78/902.93	c  N dy  9719   1450930     33974    145315         0     99911    441645  12452932    170.32    188.79
3660.29/916.33	c  N dy  9861   1470947     33974    145315         0     63927    441645   2669204    170.36    182.16
3711.04/929.08	c  N dy 10001   1491026     33974    145315         0     84003    441645   8006783    170.40    180.54
3765.76/942.77	c  N dy 10137   1511057     33974    145315         0    104034    441645  13315600    170.42    180.24
3818.90/956.08	c  N dy 10276   1531090     33974    145315         0     67064    441645   3203827    170.44    180.89
3869.64/968.80	c  N dy 10410   1551110     33974    145315         0     87084    441645   8360998    170.42    181.81
3924.75/982.50	c  N dy 10547   1571133     33974    145315         0    107107    441645  13547318    170.44    179.63
3977.87/995.87	c  N dy 10693   1591481     33974    145315         0     69456    441645   3534004    170.45    195.01
4029.80/1008.86	c  N dy 10832   1611601     33974    145315         0     89575    441645   8969649    170.49    179.54
4085.34/1022.76	c  N dy 10973   1631669     33974    145315         0    109642    441645  14289311    170.51    179.79
4138.44/1036.03	c  N dy 11110   1651721     33974    145315         0     70698    441645   3672248    170.52    203.94
4189.99/1048.98	c  N dy 11242   1671763     33974    145315         0     90738    441645   8876516    170.52    194.04
4245.11/1062.73	c  N dy 11373   1691793     33974    145315         0    110767    441645  14131446    170.51    182.98
4294.25/1075.09	c  S st 11494   1710319     33974    145315         0     69307    441645   3002508    170.50   no data
4295.85/1075.41	c  S st 11494   1710823     33974    145315         0     69811    441645   3094280    170.50   no data
4295.85/1075.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4296.63/1075.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4297.03/1075.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4297.03/1075.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4297.03/1075.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4297.03/1075.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
4297.03/1075.76	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4297.83/1075.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4298.64/1076.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4306.22/1078.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.92 s
4306.62/1078.12	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
4306.62/1078.18	c vivif2 --  cl tried    69811 cl shrink        0 lits rem          0 time: 0.06
4307.82/1078.44	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.26
4307.82/1078.45	c calculated reachability. Time: 0.00
4307.82/1078.45	c  N dy 11494   1710823     33974    145315         0     69811    441645   3094280    170.50   no data
4359.36/1091.38	c  N dy 11623   1730965     33974    145315         0     89952    441645   8301486    170.49    186.77
4414.07/1105.04	c  N dy 11751   1751016     33974    145315         0    110000    441645  13500366    170.48    179.82
4469.59/1118.91	c  N dy 11895   1771058     33974    145315         0     69040    441645   2740599    170.53    188.53
4520.72/1131.78	c  N dy 12024   1791092     33974    145315         0     89074    441645   7944864    170.50    181.97
4575.84/1145.59	c  N dy 12163   1811165     33974    145315         0    109145    441645  13163480    170.51    186.25
4632.17/1159.69	c  N dy 12297   1831283     33974    145315         0     67261    441645   1988937    170.50    179.97
4684.50/1172.76	c  N dy 12437   1851398     33974    145315         0     87376    441645   7246265    170.51    180.55
4740.42/1186.70	c  N dy 12576   1871409     33974    145315         0    107385    441645  12440750    170.52    207.94
4797.94/1201.16	c  N dy 12713   1891425     33974    145315         0     64411    441645    974901    170.54    185.99

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-3173804-1304031270/watcher-3173804-1304031270 -o /tmp/evaluation-result-3173804-1304031270/solver-3173804-1304031270 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173804-1304031270.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.71 8.02 7.53 6/180 4241
/proc/meminfo: memFree=18868476/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 415 0 0 0 0 0 0 0 25 0 4 0 495543129 52441088 354 33554432000 4194304 4627427 140736509844816 18446744073709551615 47188619892249 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 12803 354 303 106 0 7774 0
[pid=4241/tid=4242] ppid=4239 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495543130 52441088 354 33554432000 4194304 4627427 140736509844816 18446744073709551615 47188619892658 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495543130 52441088 354 33554432000 4194304 4627427 140736509844816 18446744073709551615 47188619892243 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495543130 52441088 354 33554432000 4194304 4627427 140736509844816 18446744073709551615 47188619892249 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.06063 s]
/proc/loadavg: 7.71 8.02 7.53 6/180 4241
/proc/meminfo: memFree=18868476/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=317088 CPUtime=0.2 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 19059 0 0 0 17 3 0 0 18 0 4 0 495543129 324698112 14934 33554432000 4194304 4627427 140736509844816 18446744073709551615 255106437316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 79272 14937 339 106 0 74243 0
[pid=4241/tid=4242] ppid=4239 vsize=317088 CPUtime=0.04 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 5133 0 0 0 4 0 0 0 25 0 4 0 495543130 324698112 14937 33554432000 4194304 4627427 140736509844816 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=317088 CPUtime=0.04 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 4541 0 0 0 4 0 0 0 18 0 4 0 495543130 324698112 14937 33554432000 4194304 4627427 140736509844816 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=317088 CPUtime=0.04 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) D 4239 4241 3973 0 -1 4202560 4652 0 0 0 4 0 0 0 18 0 4 0 495543130 324698112 14937 33554432000 4194304 4627427 140736509844816 18446744073709551615 255106812087 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 317088

[startup+0.111429 s]
/proc/loadavg: 7.71 8.02 7.53 6/180 4241
/proc/meminfo: memFree=18868476/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=320340 CPUtime=0.4 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 23656 0 0 0 37 3 0 0 18 0 4 0 495543129 328028160 19531 33554432000 4194304 4627427 140736509844816 18446744073709551615 255106429637 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 80085 19531 339 106 0 75056 0
[pid=4241/tid=4242] ppid=4239 vsize=320340 CPUtime=0.09 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 6224 0 0 0 9 0 0 0 25 0 4 0 495543130 328028160 19534 33554432000 4194304 4627427 140736509844816 18446744073709551615 4530778 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=320340 CPUtime=0.09 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 5692 0 0 0 9 0 0 0 18 0 4 0 495543130 328028160 19535 33554432000 4194304 4627427 140736509844816 18446744073709551615 255106437361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=320340 CPUtime=0.09 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 5802 0 0 0 9 0 0 0 18 0 4 0 495543130 328028160 19536 33554432000 4194304 4627427 140736509844816 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 320340

[startup+0.300397 s]
/proc/loadavg: 7.71 8.02 7.53 6/180 4241
/proc/meminfo: memFree=18868476/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=323300 CPUtime=1.16 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 26871 0 0 0 112 4 0 0 18 0 4 0 495543129 331059200 22746 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 80825 22746 366 106 0 75796 0
[pid=4241/tid=4242] ppid=4239 vsize=323300 CPUtime=0.28 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 7023 0 0 0 28 0 0 0 25 0 4 0 495543130 331059200 22746 33554432000 4194304 4627427 140736509844816 18446744073709551615 4237895 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=323300 CPUtime=0.28 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 6464 0 0 0 28 0 0 0 18 0 4 0 495543130 331059200 22746 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=323300 CPUtime=0.28 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 6676 0 0 0 27 1 0 0 18 0 4 0 495543130 331059200 22746 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 323300

[startup+1.31422 s]
/proc/loadavg: 7.71 8.02 7.53 6/180 4241
/proc/meminfo: memFree=18868476/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=359244 CPUtime=5.21 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 51053 0 0 0 511 10 0 0 19 0 4 0 495543129 367865856 38234 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308640 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 89811 38235 385 106 0 84782 0
[pid=4241/tid=4242] ppid=4239 vsize=359244 CPUtime=1.29 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 14970 0 0 0 127 2 0 0 19 0 4 0 495543130 367865856 38235 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308213 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=359244 CPUtime=1.29 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 14644 0 0 0 127 2 0 0 19 0 4 0 495543130 367865856 38235 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=359244 CPUtime=1.3 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 7315 0 0 0 129 1 0 0 19 0 4 0 495543130 367865856 38235 33554432000 4194304 4627427 140736509844816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 359244

[startup+1.50019 s]
/proc/loadavg: 7.71 8.02 7.53 6/180 4241
/proc/meminfo: memFree=18868476/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=359244 CPUtime=5.95 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 51535 0 0 0 585 10 0 0 19 0 4 0 495543129 367865856 38716 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 89811 38716 385 106 0 84782 0
[pid=4241/tid=4242] ppid=4239 vsize=359244 CPUtime=1.47 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 15096 0 0 0 145 2 0 0 19 0 4 0 495543130 367865856 38716 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=359244 CPUtime=1.47 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 14773 0 0 0 145 2 0 0 19 0 4 0 495543130 367865856 38716 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=359244 CPUtime=1.48 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 7419 0 0 0 147 1 0 0 20 0 4 0 495543130 367865856 38716 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 359244

[startup+3.10091 s]
/proc/loadavg: 7.71 8.02 7.53 9/184 4245
/proc/meminfo: memFree=18694116/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=490508 CPUtime=12.34 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 55601 0 0 0 1223 11 0 0 23 0 4 0 495543129 502280192 42782 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 122627 42782 385 106 0 117598 0
[pid=4241/tid=4242] ppid=4239 vsize=490508 CPUtime=3.06 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 16004 0 0 0 304 2 0 0 22 0 4 0 495543130 502280192 42782 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=490508 CPUtime=3.08 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 15705 0 0 0 305 3 0 0 23 0 4 0 495543130 502280192 42782 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=490508 CPUtime=3.08 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 8681 0 0 0 307 1 0 0 25 0 4 0 495543130 502280192 42782 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308139 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) 490508

[startup+6.30634 s]
/proc/loadavg: 7.73 8.02 7.53 9/184 4245
/proc/meminfo: memFree=18656660/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=490508 CPUtime=25.15 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 62361 0 0 0 2502 13 0 0 25 0 4 0 495543129 502280192 49542 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308194 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 122627 49542 385 106 0 117598 0
[pid=4241/tid=4242] ppid=4239 vsize=490508 CPUtime=6.25 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 17689 0 0 0 622 3 0 0 25 0 4 0 495543130 502280192 49542 33554432000 4194304 4627427 140736509844816 18446744073709551615 4326313 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=490508 CPUtime=6.28 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 17369 0 0 0 625 3 0 0 25 0 4 0 495543130 502280192 49542 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=490508 CPUtime=6.29 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 10391 0 0 0 627 2 0 0 25 0 4 0 495543130 502280192 49542 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 490508

[startup+12.7002 s]
/proc/loadavg: 7.75 8.02 7.53 9/184 4245
/proc/meminfo: memFree=18692016/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=388532 CPUtime=50.69 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 82436 0 0 0 5050 19 0 0 25 0 4 0 495543129 397856768 45572 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 97133 45572 387 106 0 92104 0
[pid=4241/tid=4242] ppid=4239 vsize=388532 CPUtime=12.62 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 22776 0 0 0 1258 4 0 0 25 0 4 0 495543130 397856768 45572 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=388532 CPUtime=12.68 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 22397 0 0 0 1263 5 0 0 25 0 4 0 495543130 397856768 45572 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=388532 CPUtime=12.68 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 15499 0 0 0 1265 3 0 0 25 0 4 0 495543130 397856768 45572 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 388532

[startup+25.501 s]
/proc/loadavg: 7.81 8.02 7.54 9/184 4245
/proc/meminfo: memFree=18420208/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=602212 CPUtime=101.81 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 179003 0 0 0 10138 43 0 0 25 0 4 0 495543129 616665088 105996 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 150553 105996 390 106 0 145524 0
[pid=4241/tid=4242] ppid=4239 vsize=602212 CPUtime=25.34 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 59471 0 0 0 2521 13 0 0 25 0 4 0 495543130 616665088 105996 33554432000 4194304 4627427 140736509844816 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=602212 CPUtime=25.48 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 39168 0 0 0 2538 10 0 0 25 0 4 0 495543130 616665088 105996 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=602212 CPUtime=25.48 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 31215 0 0 0 2541 7 0 0 25 0 4 0 495543130 616665088 105996 33554432000 4194304 4627427 140736509844816 18446744073709551615 255106424708 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 602212

[startup+51.1005 s]
/proc/loadavg: 7.63 7.96 7.53 10/184 4277
/proc/meminfo: memFree=19027108/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=766036 CPUtime=204.09 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 261019 0 0 0 20344 65 0 0 25 0 4 0 495543129 784420864 142106 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308408 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 191509 142106 390 106 0 186480 0
[pid=4241/tid=4242] ppid=4239 vsize=766036 CPUtime=50.82 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 76712 0 0 0 5065 17 0 0 25 0 4 0 495543130 784420864 142106 33554432000 4194304 4627427 140736509844816 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=766036 CPUtime=51.07 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 64659 0 0 0 5091 16 0 0 25 0 4 0 495543130 784420864 142106 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=766036 CPUtime=51.09 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 52351 0 0 0 5095 14 0 0 25 0 4 0 495543130 784420864 142106 33554432000 4194304 4627427 140736509844816 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 766036

[startup+102.3 s]
/proc/loadavg: 7.84 7.97 7.56 9/184 4278
/proc/meminfo: memFree=18634964/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1135352 CPUtime=408.63 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 371594 0 0 0 40770 93 0 0 25 0 4 0 495543129 1162600448 189265 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 283838 189265 390 106 0 278809 0
[pid=4241/tid=4242] ppid=4239 vsize=1135352 CPUtime=101.78 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 98695 0 0 0 10154 24 0 0 25 0 4 0 495543130 1162600448 189265 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1135352 CPUtime=102.27 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 89471 0 0 0 10204 23 0 0 25 0 4 0 495543130 1162600448 189265 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1135352 CPUtime=102.28 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 90179 0 0 0 10204 24 0 0 25 0 4 0 495543130 1162600448 189265 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 1135352

[startup+162.301 s]

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

[pid=4241] ppid=4239 vsize=1603652 CPUtime=2805.48 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 1393613 0 0 0 280134 414 0 0 25 0 4 0 495543129 1642139648 312868 33554432000 4194304 4627427 140736509844816 18446744073709551615 4328688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 400913 312868 390 106 0 395884 0
[pid=4241/tid=4242] ppid=4239 vsize=1603652 CPUtime=698.76 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 360787 0 0 0 69772 104 0 0 25 0 4 0 495543130 1642139648 312868 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1603652 CPUtime=702.26 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 350447 0 0 0 70128 98 0 0 25 0 4 0 495543130 1642139648 312870 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1603652 CPUtime=702.24 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 362520 0 0 0 70110 114 0 0 25 0 4 0 495543130 1642139648 312870 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.48
Current children cumulated vsize (KiB) 1603652

[startup+762.3 s]
/proc/loadavg: 8.06 8.08 7.81 9/184 4305
/proc/meminfo: memFree=17786412/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1607792 CPUtime=3045.14 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 1490657 0 0 0 304071 443 0 0 25 0 4 0 495543129 1646379008 337549 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 401948 337549 390 106 0 396919 0
[pid=4241/tid=4242] ppid=4239 vsize=1607792 CPUtime=758.44 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 387669 0 0 0 75733 111 0 0 25 0 4 0 495543130 1646379008 337549 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1607792 CPUtime=762.26 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 377664 0 0 0 76119 107 0 0 25 0 4 0 495543130 1646379008 337549 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308590 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1607792 CPUtime=762.24 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 385859 0 0 0 76102 122 0 0 25 0 4 0 495543130 1646379008 337549 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 1607792

[startup+822.301 s]
/proc/loadavg: 8.17 8.10 7.84 9/184 4306
/proc/meminfo: memFree=17774128/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1574460 CPUtime=3284.81 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 1586094 0 0 0 328010 471 0 0 25 0 4 0 495543129 1612247040 336570 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 393615 336570 390 106 0 388586 0
[pid=4241/tid=4242] ppid=4239 vsize=1574460 CPUtime=818.14 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 414809 0 0 0 81695 119 0 0 25 0 4 0 495543130 1612247040 336570 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1574460 CPUtime=822.25 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 400672 0 0 0 82112 113 0 0 25 0 4 0 495543130 1612247040 336570 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1574460 CPUtime=822.23 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 407709 0 0 0 82093 130 0 0 25 0 4 0 495543130 1612247040 336570 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 1574460

[startup+882.3 s]
/proc/loadavg: 8.13 8.10 7.85 9/184 4308
/proc/meminfo: memFree=17734936/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1788284 CPUtime=3524.49 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 1685917 0 0 0 351943 506 0 0 25 0 4 0 495543129 1831202816 336674 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 447071 336674 390 106 0 442042 0
[pid=4241/tid=4242] ppid=4239 vsize=1788284 CPUtime=877.84 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 441333 0 0 0 87655 129 0 0 25 0 4 0 495543130 1831202816 336674 33554432000 4194304 4627427 140736509844816 18446744073709551615 4351504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1788284 CPUtime=882.25 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 423921 0 0 0 88104 121 0 0 25 0 4 0 495543130 1831202816 336674 33554432000 4194304 4627427 140736509844816 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1788284 CPUtime=882.23 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 434716 0 0 0 88083 140 0 0 25 0 4 0 495543130 1831202816 336674 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.49
Current children cumulated vsize (KiB) 1788284

[startup+942.301 s]
/proc/loadavg: 8.11 8.09 7.86 9/184 4310
/proc/meminfo: memFree=17717816/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1676176 CPUtime=3764.19 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 1781636 0 0 0 375882 537 0 0 25 0 4 0 495543129 1716404224 347795 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 419044 347795 390 106 0 414015 0
[pid=4241/tid=4242] ppid=4239 vsize=1676176 CPUtime=937.53 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 466526 0 0 0 93615 138 0 0 25 0 4 0 495543130 1716404224 347795 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1676176 CPUtime=942.26 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 442809 0 0 0 94100 126 0 0 25 0 4 0 495543130 1716404224 347795 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1676176 CPUtime=942.22 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 460993 0 0 0 94072 150 0 0 25 0 4 0 495543130 1716404224 347795 33554432000 4194304 4627427 140736509844816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.19
Current children cumulated vsize (KiB) 1676176

[startup+1002.3 s]
/proc/loadavg: 8.10 8.09 7.87 9/184 4311
/proc/meminfo: memFree=17752888/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1708728 CPUtime=4003.84 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 1873385 0 0 0 399816 568 0 0 25 0 4 0 495543129 1749737472 334990 33554432000 4194304 4627427 140736509844816 18446744073709551615 4332298 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 427182 334990 390 106 0 422153 0
[pid=4241/tid=4242] ppid=4239 vsize=1708728 CPUtime=997.21 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 489058 0 0 0 99576 145 0 0 25 0 4 0 495543130 1749737472 334990 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1708728 CPUtime=1002.25 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 468125 0 0 0 100091 134 0 0 25 0 4 0 495543130 1749737472 334990 33554432000 4194304 4627427 140736509844816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1708728 CPUtime=1002.22 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 482146 0 0 0 100064 158 0 0 25 0 4 0 495543130 1749737472 334990 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.84
Current children cumulated vsize (KiB) 1708728

[startup+1062.31 s]
/proc/loadavg: 8.04 8.07 7.88 9/184 4313
/proc/meminfo: memFree=17661360/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1677920 CPUtime=4243.53 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 1975849 0 0 0 423753 600 0 0 25 0 4 0 495543129 1718190080 353479 33554432000 4194304 4627427 140736509844816 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 419480 353479 390 106 0 414451 0
[pid=4241/tid=4242] ppid=4239 vsize=1677920 CPUtime=1056.91 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 513709 0 0 0 105537 154 0 0 25 0 4 0 495543130 1718190080 353479 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1677920 CPUtime=1062.25 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 494945 0 0 0 106083 142 0 0 25 0 4 0 495543130 1718190080 353479 33554432000 4194304 4627427 140736509844816 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1677920 CPUtime=1062.22 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 508254 0 0 0 106055 167 0 0 25 0 4 0 495543130 1718190080 353479 33554432000 4194304 4627427 140736509844816 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.53
Current children cumulated vsize (KiB) 1677920

[startup+1122.3 s]
/proc/loadavg: 8.08 8.07 7.89 9/184 4314
/proc/meminfo: memFree=17717892/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1679072 CPUtime=4483.17 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 2054010 0 0 0 447685 632 0 0 25 0 4 0 495543129 1719369728 330373 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 419768 330373 390 106 0 414739 0
[pid=4241/tid=4242] ppid=4239 vsize=1679072 CPUtime=1116.59 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 534662 0 0 0 111496 163 0 0 25 0 4 0 495543130 1719369728 330373 33554432000 4194304 4627427 140736509844816 18446744073709551615 4299545 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1679072 CPUtime=1122.24 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 515872 0 0 0 112074 150 0 0 25 0 4 0 495543130 1719369728 330373 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1679072 CPUtime=1122.2 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 527255 0 0 0 112045 175 0 0 25 0 4 0 495543130 1719369728 330373 33554432000 4194304 4627427 140736509844816 18446744073709551615 4329990 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 1679072

[startup+1182.3 s]
/proc/loadavg: 8.10 8.07 7.90 9/184 4316
/proc/meminfo: memFree=17505968/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1874744 CPUtime=4722.85 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 2170965 0 0 0 471614 671 0 0 25 0 4 0 495543129 1919737856 389724 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 468686 389724 390 106 0 463657 0
[pid=4241/tid=4242] ppid=4239 vsize=1874744 CPUtime=1176.27 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 558399 0 0 0 117456 171 0 0 25 0 4 0 495543130 1919737856 389724 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1874744 CPUtime=1182.24 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 564205 0 0 0 118062 162 0 0 25 0 4 0 495543130 1919737856 389724 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1874744 CPUtime=1182.2 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 551729 0 0 0 118035 185 0 0 25 0 4 0 495543130 1919737856 389724 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 1874744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.06 7.90 9/184 4317
/proc/meminfo: memFree=17546016/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1811200 CPUtime=4800.36 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 2202623 0 0 0 479355 681 0 0 25 0 4 0 495543129 1854668800 378930 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 452800 378930 390 106 0 447771 0
[pid=4241/tid=4242] ppid=4239 vsize=1811200 CPUtime=1195.58 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 565426 0 0 0 119385 173 0 0 25 0 4 0 495543130 1854668800 378930 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1811200 CPUtime=1201.64 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 573446 0 0 0 119998 166 0 0 25 0 4 0 495543130 1854668800 378930 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1811200 CPUtime=1201.61 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 560662 0 0 0 119973 188 0 0 25 0 4 0 495543130 1854668800 378930 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1811200

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

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

[startup+1201.7 s]
/proc/loadavg: 8.07 8.06 7.90 9/184 4317
/proc/meminfo: memFree=17546016/32951124 swapFree=67111524/67111528
[pid=4241] ppid=4239 vsize=1811200 CPUtime=4800.36 cores=0,2,4,6
/proc/4241/stat : 4241 (strangenight2-m) R 4239 4241 3973 0 -1 4202496 2202623 0 0 0 479355 681 0 0 25 0 4 0 495543129 1854668800 378930 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4241/statm: 452800 378930 390 106 0 447771 0
[pid=4241/tid=4242] ppid=4239 vsize=1811200 CPUtime=1195.58 cores=0,2,4,6
/proc/4241/task/4242/stat : 4242 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 565426 0 0 0 119385 173 0 0 25 0 4 0 495543130 1854668800 378930 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4241/tid=4243] ppid=4239 vsize=1811200 CPUtime=1201.64 cores=0,2,4,6
/proc/4241/task/4243/stat : 4243 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 573446 0 0 0 119998 166 0 0 25 0 4 0 495543130 1854668800 378930 33554432000 4194304 4627427 140736509844816 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4241/tid=4244] ppid=4239 vsize=1811200 CPUtime=1201.61 cores=0,2,4,6
/proc/4241/task/4244/stat : 4244 (strangenight2-m) R 4239 4241 3973 0 -1 4202560 560662 0 0 0 119973 188 0 0 25 0 4 0 495543130 1854668800 378930 33554432000 4194304 4627427 140736509844816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1811200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.46
CPU user time (s): 4793.57
CPU system time (s): 6.88995
CPU usage (%): 399.445
Max. virtual memory (cumulated for all children) (KiB): 1874744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.57
system time used= 6.88995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2202628
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= 2594
involuntary context switches= 22709

runsolver used 1.86572 second user time and 4.20836 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 00:54:30
IDJOB=3173804
IDBENCH=82622
IDSOLVER=1586
FILE ID=node144/3173804-1304031270
RUNJOBID= node144-1304028687-3992
PBS_JOBID= 13170308
Free space on /tmp= 72400 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173804-1304031270/watcher-3173804-1304031270 -o /tmp/evaluation-result-3173804-1304031270/solver-3173804-1304031270 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173804-1304031270.cnf

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

MD5SUM BENCH= 48acd8df0141c3f57a132eb6d7253d5f
RANDOM SEED=434695639

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.75
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18868756 kB
Buffers:       2202560 kB
Cached:       10536628 kB
SwapCached:          4 kB
Active:        5307604 kB
Inactive:      8210748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18868756 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            8572 kB
Writeback:           0 kB
AnonPages:      778248 kB
Mapped:          15520 kB
Slab:           499000 kB
PageTables:       6424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1151740 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= 72396 MiB
End job on node144 at 2011-04-29 01:14:34