Trace number 3173835

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.15 1201.98

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf
MD5SUMcd155ee9ac243c838c94577589f0455b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark221.016
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-3173835-1304031525.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
1.56/0.43	c -- clauses added:            0 learnts,       147000 normals,            0 xors
1.56/0.43	c -- vars added      35000
1.56/0.43	c Parsing time:  0.11 s
1.56/0.43	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
1.56/0.43	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.13
1.56/0.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
1.96/0.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.96/0.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.96/0.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.96/0.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.96/0.50	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
4.78/1.21	c lits-rem:         0  cl-subs:        0  v-elim:    892  v-fix:    0  time:  0.26 s
4.78/1.21	c Finding binary XORs  T:     0.01 s  found:       0
4.78/1.21	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
4.78/1.21	c calculated reachability. Time: 0.00
4.78/1.21	c Calc default polars -  time:   0.01 s pos:   15628 undec:    3882 neg:   15490
4.78/1.21	c =========================================================================================
4.78/1.21	c types(t): F = full restart, N = normal restart
4.78/1.21	c types(t): S = simplification begin/end, E = solution found
4.78/1.21	c restart types(rt): st = static, dy = dynamic
4.78/1.21	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.78/1.21	c  B st     0         0     34108    145991         0         0    443477         0   no data   no data
10.75/2.76	c  N dy    18      4056     34108    145991         0      4056    443477   1237665    177.65    190.72
18.33/4.67	c  N dy    44      8114     34108    145991         0      8114    443477   2321701    172.68    184.99
26.34/6.61	c  N dy    72     12180     34108    145991         0     12180    443477   3355272    171.04    183.38
33.91/8.57	c  N dy   103     16242     34108    145991         0     16242    443477   4390567    170.84    180.23
42.30/10.62	c  N dy   126     20262     34108    145991         0     10263    443477    731740    169.51    180.19
49.89/12.50	c  N dy   149     24279     34108    145991         0     14280    443477   1785358    168.97    188.31
51.09/12.87	c  F st   155     25000     34108    145991         0     15001    443477   1985731    169.29   no data
57.88/14.58	c  N st   160     28296     34108    145991         0     18297    443477   3081780    169.29   no data
61.50/15.50	c  S st   161     30000     34108    145991         0     20001    443477   3714838    169.29   no data
62.67/15.75	c  S st   161     30503     34108    145991         0     20504    443477   3805971    169.29   no data
62.67/15.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.47/15.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
63.87/16.01	c blocked clauses removed:      780 vars:    122 tried:       34108 T: 0.02 s
63.87/16.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.87/16.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.87/16.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33986 time:  0.01 s
63.87/16.06	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
64.68/16.25	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.20 s
66.29/16.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
70.28/17.63	c lits-rem:         8  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.95 s
71.06/17.80	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.17
71.06/17.81	c calculated reachability. Time: 0.00
71.06/17.81	c  N dy   161     30503     33963    145189         0     20253    441250   3669451    169.29   no data
79.07/19.85	c  N dy   184     34565     33963    145189         0     24315    441250   4665051    168.12    177.45
87.44/21.95	c  N dy   208     38566     33963    145189         0     28316    441250   5662087    167.30    185.73
96.23/24.11	c  N dy   236     42662     33963    145189         0     17040    441250   1215280    167.19    182.36
102.21/25.63	c  S st   258     45754     33963    145189         0     20132    441250   2011740    167.42   no data
103.01/25.89	c  S st   258     46255     33963    145189         0     20633    441250   2106478    167.42   no data
103.41/25.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
103.81/26.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
104.22/26.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.22/26.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.22/26.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.22/26.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
104.22/26.18	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
105.01/26.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
105.43/26.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
107.01/26.83	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.31 s
107.01/26.85	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
107.01/26.89	c vivif2 --  cl tried    20632 cl shrink        0 lits rem          0 time: 0.04
107.81/27.07	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.17
107.81/27.08	c calculated reachability. Time: 0.00
107.81/27.08	c  N dy   258     46255     33963    145189         0     20632    441250   2106392    167.42   no data
116.19/29.12	c  N dy   286     50289     33963    145189         0     24666    441250   3155743    167.12    181.01
124.58/31.27	c  N dy   312     54444     33963    145189         0     28821    441250   4216106    166.77    177.19
133.37/33.45	c  N dy   344     58511     33963    145189         0     32888    441250   5271635    167.20    207.22
142.16/35.63	c  N dy   371     62658     33963    145189         0     37034    441250   6286117    167.05    179.22
150.15/37.69	c  N dy   398     66670     33963    145189         0     22362    441250   1701485    166.93    178.65
155.74/39.08	c  S st   418     69382     33963    145189         0     25074    441250   2383543    166.93   no data
156.94/39.34	c  S st   418     69887     33963    145189         0     25579    441250   2480918    166.93   no data
156.94/39.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
157.74/39.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
157.74/39.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
157.74/39.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
158.16/39.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
158.16/39.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
158.16/39.64	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
158.56/39.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
159.33/39.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
161.33/40.44	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.45 s
161.33/40.47	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
161.73/40.51	c vivif2 --  cl tried    25578 cl shrink        0 lits rem          0 time: 0.05
162.13/40.70	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.18
162.55/40.70	c calculated reachability. Time: 0.00
162.55/40.71	c  N dy   418     69887     33963    145189         0     25578    441250   2480548    166.93   no data
172.12/43.13	c  N dy   447     74537     33963    145189         0     30228    441250   3677873    166.90    178.45
182.91/45.86	c  N dy   488     79441     33963    145189         0     35132    441250   5007477    167.72    179.60
194.08/48.64	c  N dy   521     84598     33963    145189         0     40289    441250   6332008    167.71    178.44
200.48/50.26	c  F st   541     87500     33963    145189         0     22343    441250   1095872    167.86    158.50
207.67/52.07	c  N st   546     90801     33963    145189         0     25644    441250   2168144    167.86   no data
220.45/55.20	c  N dy   572     96679     33963    145189         0     31522    441250   3905824    167.61    198.66
233.63/58.52	c  N dy   610    102885     33963    145189         0     37728    441250   5517006    167.51    176.45
238.02/59.62	c  S st   624    104832     33963    145189         0     39675    441250   6030975    167.52   no data
238.83/59.90	c  S st   624    105334     33963    145189         0     40177    441250   6118606    167.52   no data
239.22/59.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
240.02/60.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
240.02/60.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.02/60.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
240.02/60.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
240.42/60.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
240.42/60.21	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
241.22/60.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
242.82/60.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
250.02/62.60	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.73 s
250.02/62.62	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
250.43/62.73	c vivif2 --  cl tried    40175 cl shrink        0 lits rem          0 time: 0.11
251.21/62.94	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.21
251.21/62.95	c calculated reachability. Time: 0.00
251.21/62.95	c  N dy   624    105334     33963    145189         0     40175    441250   6117549    167.52   no data
266.79/66.83	c  N dy   677    112215     33963    145189         0     24637    441250   1262825    168.13    189.87
281.96/70.65	c  N dy   721    119466     33963    145189         0     31887    441250   3105257    167.85    228.41
298.76/74.87	c  N dy   774    127213     33963    145189         0     39633    441250   5084969    167.87    180.76
317.52/79.56	c  N dy   829    135678     33963    145189         0     24391    441250    812166    168.01    181.63
335.89/84.11	c  N dy   889    144431     33963    145189         0     33143    441250   3010463    168.01    177.80
356.28/89.27	c  N dy   949    153915     33963    145189         0     42627    441250   5459860    167.89    180.19
365.44/91.58	c  S st   977    158001     33963    145189         0     46713    441250   6514360    167.93    151.97
366.64/91.87	c  S st   977    158503     33963    145189         0     47215    441250   6616366    167.93   no data
366.64/91.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
367.85/92.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
367.85/92.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
367.85/92.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
367.85/92.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
367.85/92.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
368.25/92.20	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
369.07/92.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
370.64/92.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
380.23/95.20	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.32 s
380.23/95.22	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
380.63/95.35	c vivif2 --  cl tried    47211 cl shrink        0 lits rem          0 time: 0.12
381.44/95.57	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.22
381.44/95.58	c calculated reachability. Time: 0.00
381.44/95.58	c  N dy   977    158503     33963    145189         0     47211    441250   6612405    167.93   no data
403.80/101.15	c  N dy  1052    168744     33963    145189         0     32596    441250   2587093    168.20    178.72
427.36/107.05	c  N dy  1123    179562     33963    145189         0     43414    441250   5331613    168.09    177.34
453.73/113.61	c  N dy  1205    191131     33963    145189         0     29057    441250   1363244    168.22    183.97
480.10/120.21	c  N dy  1282    203438     33963    145189         0     41363    441250   4457926    168.03    179.47
510.08/127.72	c  N dy  1372    216488     33963    145189         0     27446    441250    664142    168.18    177.09
540.01/135.26	c  N dy  1472    230373     33963    145189         0     41331    441250   4284882    168.29    178.45
556.78/139.42	c  S st  1523    237754     33963    145189         0     48712    441250   6156541    168.32   no data
558.00/139.72	c  S st  1523    238258     33963    145189         0     49216    441250   6260239    168.32   no data
558.00/139.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
558.77/139.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
559.17/140.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
559.17/140.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
559.17/140.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
559.17/140.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
559.17/140.05	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
559.98/140.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
561.58/140.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
571.17/143.06	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.40 s
571.17/143.08	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
571.95/143.20	c vivif2 --  cl tried    49215 cl shrink        0 lits rem          0 time: 0.12
572.75/143.43	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.23
572.75/143.44	c calculated reachability. Time: 0.00
572.75/143.44	c  N dy  1523    238258     33963    145189         0     49215    441250   6259244    168.32   no data
606.73/151.94	c  N dy  1629    253547     33963    145189         0     36522    441250   2740159    168.42    183.54
643.46/161.19	c  N dy  1748    269830     33963    145189         0     52802    441250   6935176    168.63    178.16
682.60/170.95	c  N dy  1865    287114     33963    145189         0     41093    441250   3648402    168.78    185.29
724.96/181.53	c  N dy  1989    305614     33963    145189         0     59591    441250   8417170    168.80    178.51
726.54/181.96	c  F st  1993    306250     33963    145189         0     30240    441250    569925    168.80    159.40
770.09/192.84	c  N dy  2092    325361     33963    145189         0     49351    441250   6296621    168.79    181.88
816.42/204.48	c  N dy  2234    345401     33963    145189         0     38398    441250   2444163    169.03    179.50
843.60/211.28	c  S st  2315    357389     33963    145189         0     50384    441250   5562263    169.09    125.73
844.78/211.58	c  S st  2315    357893     33963    145189         0     50888    441250   5655005    169.09   no data
845.18/211.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
845.98/211.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
845.98/211.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
845.98/211.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
845.98/211.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
845.98/211.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
846.38/211.91	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
847.18/212.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
848.40/212.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
857.56/214.74	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.25 s
857.56/214.77	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
857.96/214.87	c vivif2 --  cl tried    50884 cl shrink        0 lits rem          0 time: 0.11
859.16/215.10	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.23
859.16/215.11	c calculated reachability. Time: 0.00
859.16/215.11	c  N dy  2315    357893     33963    145189         0     50884    441250   5653235    169.09   no data
905.90/226.85	c  N dy  2464    377949     33963    145189         0     38936    441250   2338808    169.34    180.41
952.64/238.50	c  N dy  2601    397993     33963    145189         0     58979    441250   7518176    169.30    180.22
998.57/250.07	c  N dy  2737    418229     33963    145189         0     46221    441250   3883511    169.27    188.23
1045.72/261.89	c  N dy  2872    438239     33963    145189         0     66229    441250   9090769    169.31    178.42
1091.64/273.36	c  N dy  3009    458361     33963    145189         0     52351    441250   5212415    169.34    182.92
1139.58/285.40	c  N dy  3150    478411     33963    145189         0     37403    441250   1122460    169.48    182.22
1185.51/296.84	c  N dy  3285    498498     33963    145189         0     57489    441250   6344295    169.46    190.61
1233.85/308.91	c  N dy  3425    518639     33963    145189         0     41628    441250   2016634    169.54    179.66
1276.18/319.50	c  S st  3549    536841     33963    145189         0     59830    441250   6709022    169.58   no data
1277.38/319.80	c  S st  3549    537344     33963    145189         0     60333    441250   6803929    169.58   no data
1277.38/319.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1278.18/320.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
1278.18/320.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1278.59/320.11	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1278.59/320.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1278.59/320.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
1278.59/320.15	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1279.38/320.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1280.98/320.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1294.16/324.00	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.20 s
1294.16/324.03	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
1294.56/324.16	c vivif2 --  cl tried    60327 cl shrink        0 lits rem          0 time: 0.13
1295.76/324.40	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.25
1295.76/324.41	c calculated reachability. Time: 0.00
1295.76/324.41	c  N dy  3549    537344     33963    145189         0     60327    441250   6799672    169.58   no data
1344.91/336.70	c  N dy  3699    557479     33963    145189         0     43463    441250   2191053    169.69    179.19
1392.26/348.61	c  N dy  3842    577562     33963    145189         0     63545    441250   7532871    169.84    179.06
1442.79/361.48	c  N dy  3987    597669     33963    145189         0     45655    441250   2458849    169.90    179.37
1490.26/373.31	c  N dy  4124    617683     33963    145189         0     65666    441250   7693914    169.90    181.06
1539.01/385.55	c  N dy  4263    637772     33963    145189         0     46756    441250   2536246    169.94    213.96
1586.54/397.41	c  N dy  4402    657790     33963    145189         0     66774    441250   7752426    169.96    180.43
1635.27/409.64	c  N dy  4539    677831     33963    145189         0     46811    441250   2264438    170.01    183.43
1684.40/421.91	c  N dy  4684    698020     33963    145189         0     66996    441250   7584703    170.08    179.65
1733.93/434.37	c  N dy  4821    718040     33963    145189         0     46024    441250   1833811    170.06    192.33
1782.27/446.40	c  N dy  4960    738369     33963    145189         0     66352    441250   7175995    170.12    182.58
1832.19/458.97	c  N dy  5098    758400     33963    145189         0     44382    441250   1127066    170.12    222.58
1880.15/470.91	c  N dy  5243    778434     33963    145189         0     64416    441250   6446469    170.22    182.13
1930.47/483.58	c  N dy  5376    798469     33963    145189         0     84448    441250  11643939    170.16    183.86
1948.44/488.04	c  S st  5427    806016     33963    145189         0     48997    441250   2044495    170.16    166.73
1949.63/488.33	c  S st  5427    806519     33963    145189         0     49500    441250   2131051    170.16   no data
1949.63/488.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1950.45/488.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1950.83/488.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1950.83/488.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1950.83/488.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1950.83/488.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
1950.83/488.65	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1951.63/488.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1952.03/488.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1955.22/489.70	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.71 s
1955.22/489.72	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
1955.22/489.76	c vivif2 --  cl tried    49500 cl shrink        0 lits rem          0 time: 0.04
1956.02/489.99	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.22
1956.42/490.00	c calculated reachability. Time: 0.00
1956.42/490.00	c  N dy  5427    806519     33963    145189         0     49500    441250   2131050    170.16   no data
2004.35/502.07	c  N dy  5561    826631     33963    145189         0     69610    441250   7285287    170.12    181.08
2057.09/515.23	c  N dy  5706    846816     33963    145189         0     45800    441250    986910    170.20    184.18
2104.62/527.18	c  N dy  5845    866941     33963    145189         0     65924    441250   6223042    170.22    183.37
2154.95/539.75	c  N dy  5981    886945     33963    145189         0     85927    441250  11404280    170.22    193.78
2204.08/552.02	c  N dy  6120    907063     33963    145189         0     61052    441250   4758979    170.27    198.97
2254.00/564.59	c  N dy  6259    927079     33963    145189         0     81067    441250   9985745    170.31    180.56
2304.74/577.23	c  N dy  6396    947193     33963    145189         0     55182    441250   2894343    170.30    186.75
2353.47/589.47	c  N dy  6527    967214     33963    145189         0     75201    441250   8021810    170.27    180.34
2406.20/602.68	c  N dy  6681    987286     33963    145189         0     48274    441250    864929    170.36    184.30
2454.53/614.78	c  N dy  6820   1007309     33963    145189         0     68295    441250   6225647    170.42    179.64
2506.06/627.67	c  N dy  6956   1027480     33963    145189         0     88465    441250  11551646    170.44    190.15
2556.81/640.30	c  N dy  7093   1047621     33963    145189         0     60608    441250   3873324    170.47    181.49
2606.72/652.83	c  N dy  7230   1067631     33963    145189         0     80617    441250   9151034    170.48    217.22
2617.51/655.58	c  F st  7259   1071875     33963    145189         0     84860    441250  10281981    170.49    165.08
2659.04/665.98	c  N dy  7335   1087698     33963    145189         0     51688    441250   1277828    170.52    183.47
2707.38/678.08	c  N dy  7469   1107709     33963    145189         0     71697    441250   6479777    170.49    237.59
2759.30/691.02	c  N dy  7611   1127714     33963    145189         0     91701    441250  11709460    170.52    183.68
2810.03/703.76	c  N dy  7746   1147790     33963    145189         0     61781    441250   3630708    170.54    197.76
2860.36/716.36	c  N dy  7884   1167820     33963    145189         0     81811    441250   8832502    170.53    180.67
2913.48/729.69	c  N dy  8026   1187879     33963    145189         0    101870    441250  14026947    170.53    184.00
2963.42/742.14	c  N dy  8163   1207955     33963    145189         0     70937    441250   5722532    170.53    201.81
2968.21/743.31	c  S st  8178   1209778     33963    145189         0     72760    441250   6212177    170.53   no data
2969.42/743.62	c  S st  8178   1210280     33963    145189         0     73262    441250   6301939    170.53   no data
2969.42/743.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2970.20/743.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
2970.60/743.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2970.60/743.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2970.60/743.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2970.60/743.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
2970.60/743.97	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2971.40/744.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2973.00/744.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2986.59/747.94	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.34 s
2986.59/747.96	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
2987.00/748.09	c vivif2 --  cl tried    73261 cl shrink        0 lits rem          0 time: 0.12
2988.18/748.36	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.27
2988.18/748.37	c calculated reachability. Time: 0.00
2988.18/748.37	c  N dy  8178   1210280     33963    145189         0     73261    441250   6301393    170.53   no data
3041.30/761.63	c  N dy  8318   1230392     33963    145189         0     93372    441250  11593657    170.53    179.78
3092.85/774.52	c  N dy  8460   1250403     33963    145189         0     61383    441250   2943857    170.54    185.54
3143.16/787.11	c  N dy  8598   1270407     33963    145189         0     81387    441250   8195438    170.56    185.41
3196.69/800.57	c  N dy  8730   1290589     33963    145189         0    101567    441250  13443982    170.54    181.79
3247.41/813.28	c  N dy  8876   1310681     33963    145189         0     68665    441250   4639668    170.55    191.80
3298.96/826.15	c  N dy  9012   1330690     33963    145189         0     88672    441250   9837566    170.56    189.13
3354.47/840.08	c  N dy  9161   1350738     33963    145189         0     54720    441250    722503    170.62    184.82
3404.00/852.43	c  N dy  9307   1370799     33963    145189         0     74779    441250   5986792    170.63    182.92
3457.14/865.75	c  N dy  9443   1390945     33963    145189         0     94924    441250  11249483    170.62    180.36
3511.44/879.38	c  N dy  9588   1411039     33963    145189         0     60021    441250   1941147    170.67    179.82
3562.18/892.06	c  N dy  9738   1431061     33963    145189         0     80043    441250   7271481    170.71    183.20
3615.72/905.49	c  N dy  9871   1451170     33963    145189         0    100152    441250  12484617    170.70    179.76
3669.22/918.80	c  N dy 10010   1471258     33963    145189         0     64238    441250   2715016    170.72    202.21
3720.36/931.62	c  N dy 10152   1491301     33963    145189         0     84278    441250   8019283    170.75    179.81
3774.27/945.12	c  N dy 10283   1511366     33963    145189         0    104342    441250  13280907    170.73    181.83
3827.00/958.34	c  N dy 10421   1531405     33963    145189         0     67383    441250   3265943    170.74    185.50
3878.53/971.24	c  N dy 10558   1551471     33963    145189         0     87448    441250   8565388    170.75    183.23
3933.64/985.09	c  N dy 10696   1571559     33963    145189         0    107535    441250  13904280    170.77    183.17
3986.77/998.38	c  N dy 10834   1591777     33963    145189         0     69757    441250   3667182    170.79    182.50
4038.70/1011.34	c  N dy 10969   1611897     33963    145189         0     89876    441250   8903149    170.77    180.06
4094.24/1025.23	c  N dy 11109   1631899     33963    145189         0    109877    441250  14170502    170.80    182.53
4146.15/1038.25	c  N dy 11245   1651916     33963    145189         0     70901    441250   3706284    170.79    249.20
4198.48/1051.35	c  N dy 11379   1672014     33963    145189         0     90998    441250   8940730    170.81    181.44
4253.59/1065.14	c  N dy 11504   1692016     33963    145189         0    110997    441250  14119912    170.78    183.01
4303.13/1077.51	c  S st 11628   1710282     33963    145189         0     69271    441250   2981385    170.78   no data
4304.33/1077.83	c  S st 11628   1710785     33963    145189         0     69774    441250   3083304    170.78   no data
4304.33/1077.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4305.15/1078.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4305.55/1078.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4305.55/1078.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4305.55/1078.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4305.55/1078.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
4305.55/1078.18	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4306.33/1078.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4307.12/1078.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4315.11/1080.52	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.94 s
4315.11/1080.54	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
4315.51/1080.61	c vivif2 --  cl tried    69771 cl shrink        0 lits rem          0 time: 0.06
4316.31/1080.87	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.26
4316.31/1080.88	c calculated reachability. Time: 0.00
4316.31/1080.88	c  N dy 11628   1710785     33963    145189         0     69771    441250   3082521    170.78   no data
4368.64/1093.91	c  N dy 11764   1730828     33963    145189         0     89812    441250   8421865    170.81    213.58
4424.56/1107.93	c  N dy 11907   1750882     33963    145189         0    109866    441250  13746106    170.83    253.06
4479.29/1121.60	c  N dy 12037   1771049     33963    145189         0     69032    441250   2679774    170.84    197.47
4531.21/1134.65	c  N dy 12178   1791123     33963    145189         0     89103    441250   7947268    170.85    185.90
4586.76/1148.52	c  N dy 12315   1811196     33963    145189         0    109175    441250  13164978    170.85    182.84
4642.65/1162.56	c  N dy 12444   1831348     33963    145189         0     67327    441250   1993823    170.83    184.02
4694.58/1175.56	c  N dy 12579   1851462     33963    145189         0     87440    441250   7204552    170.84    181.46
4749.70/1189.37	c  N dy 12711   1871474     33963    145189         0    107451    441250  12531679    170.86    190.74

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-3173835-1304031525/watcher-3173835-1304031525 -o /tmp/evaluation-result-3173835-1304031525/solver-3173835-1304031525 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173835-1304031525.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: 8.31 8.27 7.78 5/184 16357
/proc/meminfo: memFree=24890796/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 514750738 52441088 348 33554432000 4194304 4627427 140735829464016 18446744073709551615 47809298970540 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 12803 348 299 106 0 7774 0
[pid=16357/tid=16358] ppid=16355 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514750739 52441088 348 33554432000 4194304 4627427 140735829464016 18446744073709551615 47809298970546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514750739 52441088 348 33554432000 4194304 4627427 140735829464016 18446744073709551615 47809298970546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514750739 52441088 348 33554432000 4194304 4627427 140735829464016 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.113187 s]
/proc/loadavg: 8.31 8.27 7.78 5/184 16357
/proc/meminfo: memFree=24890796/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=321352 CPUtime=0.41 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 23634 0 0 0 38 3 0 0 18 0 4 0 514750738 329064448 19502 33554432000 4194304 4627427 140735829464016 18446744073709551615 232335541640 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 80338 19504 339 106 0 75309 0
[pid=16357/tid=16358] ppid=16355 vsize=321352 CPUtime=0.09 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) D 16355 16357 16058 0 -1 4202560 5923 0 0 0 9 0 0 0 18 0 4 0 514750739 329064448 19504 33554432000 4194304 4627427 140735829464016 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=321352 CPUtime=0.09 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) D 16355 16357 16058 0 -1 4202560 5669 0 0 0 9 0 0 0 18 0 4 0 514750739 329064448 19504 33554432000 4194304 4627427 140735829464016 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=321352 CPUtime=0.09 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 5853 0 0 0 9 0 0 0 18 0 4 0 514750739 329064448 19504 33554432000 4194304 4627427 140735829464016 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 321352

[startup+0.260758 s]
/proc/loadavg: 8.31 8.27 7.78 5/184 16357
/proc/meminfo: memFree=24890796/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=324312 CPUtime=1 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 26766 0 0 0 96 4 0 0 18 0 4 0 514750738 332095488 22634 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 81078 22634 364 106 0 76049 0
[pid=16357/tid=16358] ppid=16355 vsize=324312 CPUtime=0.25 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 6692 0 0 0 24 1 0 0 18 0 4 0 514750739 332095488 22634 33554432000 4194304 4627427 140735829464016 18446744073709551615 4522957 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=324312 CPUtime=0.24 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 6437 0 0 0 24 0 0 0 18 0 4 0 514750739 332095488 22634 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=324312 CPUtime=0.24 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 6663 0 0 0 24 0 0 0 18 0 4 0 514750739 332095488 22634 33554432000 4194304 4627427 140735829464016 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 324312

[startup+0.300752 s]
/proc/loadavg: 8.31 8.27 7.78 5/184 16357
/proc/meminfo: memFree=24890796/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=324312 CPUtime=1.16 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 26791 0 0 0 112 4 0 0 18 0 4 0 514750738 332095488 22659 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 81078 22659 366 106 0 76049 0
[pid=16357/tid=16358] ppid=16355 vsize=324312 CPUtime=0.29 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 6693 0 0 0 28 1 0 0 18 0 4 0 514750739 332095488 22659 33554432000 4194304 4627427 140735829464016 18446744073709551615 4237856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=324312 CPUtime=0.28 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 6438 0 0 0 28 0 0 0 18 0 4 0 514750739 332095488 22659 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=324312 CPUtime=0.28 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 6684 0 0 0 28 0 0 0 18 0 4 0 514750739 332095488 22659 33554432000 4194304 4627427 140735829464016 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 324312

[startup+0.700682 s]
/proc/loadavg: 8.31 8.27 7.78 5/184 16357
/proc/meminfo: memFree=24890796/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=344388 CPUtime=2.76 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 49776 0 0 0 267 9 0 0 18 0 4 0 514750738 352653312 36197 33554432000 4194304 4627427 140735829464016 18446744073709551615 4412445 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 86097 36197 381 106 0 81068 0
[pid=16357/tid=16358] ppid=16355 vsize=344388 CPUtime=0.68 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 14284 0 0 0 66 2 0 0 18 0 4 0 514750739 352653312 36197 33554432000 4194304 4627427 140735829464016 18446744073709551615 232335548596 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=344388 CPUtime=0.68 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 14027 0 0 0 66 2 0 0 18 0 4 0 514750739 352653312 36197 33554432000 4194304 4627427 140735829464016 18446744073709551615 4412478 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=344388 CPUtime=0.68 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 6875 0 0 0 68 0 0 0 18 0 4 0 514750739 352653312 36197 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 344388

[startup+1.50054 s]
/proc/loadavg: 8.31 8.27 7.78 10/188 16361
/proc/meminfo: memFree=24741468/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=344388 CPUtime=5.96 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 53577 0 0 0 586 10 0 0 20 0 4 0 514750738 352653312 38029 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 86097 38029 385 106 0 81068 0
[pid=16357/tid=16358] ppid=16355 vsize=344388 CPUtime=1.48 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 15405 0 0 0 145 3 0 0 19 0 4 0 514750739 352653312 38029 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=344388 CPUtime=1.48 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 15110 0 0 0 146 2 0 0 19 0 4 0 514750739 352653312 38029 33554432000 4194304 4627427 140735829464016 18446744073709551615 4332852 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=344388 CPUtime=1.47 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 7381 0 0 0 147 0 0 0 20 0 4 0 514750739 352653312 38029 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 344388

[startup+3.10025 s]
/proc/loadavg: 8.29 8.26 7.78 9/188 16361
/proc/meminfo: memFree=24728316/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=477292 CPUtime=12.35 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 57825 0 0 0 1224 11 0 0 25 0 4 0 514750738 488747008 42277 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 119323 42277 385 106 0 114294 0
[pid=16357/tid=16358] ppid=16355 vsize=477292 CPUtime=3.08 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 16436 0 0 0 305 3 0 0 25 0 4 0 514750739 488747008 42277 33554432000 4194304 4627427 140735829464016 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=477292 CPUtime=3.08 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 16038 0 0 0 305 3 0 0 23 0 4 0 514750739 488747008 42277 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=477292 CPUtime=3.06 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 8634 0 0 0 306 0 0 0 25 0 4 0 514750739 488747008 42277 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 477292

[startup+6.30068 s]
/proc/loadavg: 8.29 8.26 7.78 9/188 16361
/proc/meminfo: memFree=24693464/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=477436 CPUtime=25.12 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 64635 0 0 0 2500 12 0 0 25 0 4 0 514750738 488894464 49087 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 119359 49087 385 106 0 114330 0
[pid=16357/tid=16358] ppid=16355 vsize=477436 CPUtime=6.28 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 18132 0 0 0 625 3 0 0 25 0 4 0 514750739 488894464 49087 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=477436 CPUtime=6.28 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 17701 0 0 0 625 3 0 0 25 0 4 0 514750739 488894464 49087 33554432000 4194304 4627427 140735829464016 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=477436 CPUtime=6.25 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 10357 0 0 0 624 1 0 0 25 0 4 0 514750739 488894464 49087 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 477436

[startup+12.7005 s]
/proc/loadavg: 8.24 8.26 7.78 9/188 16362
/proc/meminfo: memFree=24708664/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=376812 CPUtime=50.69 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 84829 0 0 0 5052 17 0 0 25 0 4 0 514750738 385855488 45094 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 94203 45094 387 106 0 89174 0
[pid=16357/tid=16358] ppid=16355 vsize=376812 CPUtime=12.68 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 23148 0 0 0 1264 4 0 0 25 0 4 0 514750739 385855488 45094 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=376812 CPUtime=12.68 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 22718 0 0 0 1264 4 0 0 25 0 4 0 514750739 385855488 45094 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=376812 CPUtime=12.61 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 15410 0 0 0 1259 2 0 0 25 0 4 0 514750739 385855488 45094 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 376812

[startup+25.5003 s]
/proc/loadavg: 8.29 8.26 7.79 9/188 16362
/proc/meminfo: memFree=24489304/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=577056 CPUtime=101.81 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 174009 0 0 0 10142 39 0 0 25 0 4 0 514750738 590905344 97237 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 144264 97237 390 106 0 139235 0
[pid=16357/tid=16358] ppid=16355 vsize=577056 CPUtime=25.49 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 58211 0 0 0 2536 13 0 0 25 0 4 0 514750739 590905344 97237 33554432000 4194304 4627427 140735829464016 18446744073709551615 4332873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=577056 CPUtime=25.48 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 39166 0 0 0 2539 9 0 0 25 0 4 0 514750739 590905344 97237 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=577056 CPUtime=25.34 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 24138 0 0 0 2530 4 0 0 25 0 4 0 514750739 590905344 97237 33554432000 4194304 4627427 140735829464016 18446744073709551615 4233668 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 577056

[startup+51.1007 s]
/proc/loadavg: 8.24 8.26 7.80 9/188 16363
/proc/meminfo: memFree=24306504/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=794752 CPUtime=204.07 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 263191 0 0 0 20343 64 0 0 25 0 4 0 514750738 813826048 137639 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 198688 137639 390 106 0 193659 0
[pid=16357/tid=16358] ppid=16355 vsize=794752 CPUtime=51.08 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 75191 0 0 0 5090 18 0 0 25 0 4 0 514750739 813826048 137639 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=794752 CPUtime=51.08 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 64536 0 0 0 5092 16 0 0 25 0 4 0 514750739 813826048 137639 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=794752 CPUtime=50.8 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 49525 0 0 0 5070 10 0 0 25 0 4 0 514750739 813826048 137639 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 794752

[startup+102.301 s]
/proc/loadavg: 8.21 8.24 7.82 9/188 16364
/proc/meminfo: memFree=24124308/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1086344 CPUtime=408.61 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 384467 0 0 0 40764 97 0 0 25 0 4 0 514750738 1112416256 190543 33554432000 4194304 4627427 140735829464016 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 271586 190543 390 106 0 266557 0
[pid=16357/tid=16358] ppid=16355 vsize=1086344 CPUtime=102.29 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 101634 0 0 0 10202 27 0 0 25 0 4 0 514750739 1112416256 190543 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1086344 CPUtime=102.28 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 89401 0 0 0 10205 23 0 0 25 0 4 0 514750739 1112416256 190543 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1086344 CPUtime=101.73 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 75188 0 0 0 10157 16 0 0 25 0 4 0 514750739 1112416256 190543 33554432000 4194304 4627427 140735829464016 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 1086344

[startup+162.301 s]

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

[pid=16357] ppid=16355 vsize=1601048 CPUtime=2564.78 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 1295116 0 0 0 256080 398 0 0 25 0 4 0 514750738 1639473152 320892 33554432000 4194304 4627427 140735829464016 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 400262 320892 390 106 0 395233 0
[pid=16357/tid=16358] ppid=16355 vsize=1601048 CPUtime=642.28 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 328664 0 0 0 64126 102 0 0 25 0 4 0 514750739 1639473152 320892 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1601048 CPUtime=642.25 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 334326 0 0 0 64120 105 0 0 25 0 4 0 514750739 1639473152 320892 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1601048 CPUtime=638.7 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 295704 0 0 0 63784 86 0 0 25 0 4 0 514750739 1639473152 320892 33554432000 4194304 4627427 140735829464016 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2564.78
Current children cumulated vsize (KiB) 1601048

[startup+702.301 s]
/proc/loadavg: 8.29 8.23 7.99 9/188 16423
/proc/meminfo: memFree=23094648/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1602460 CPUtime=2804.44 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 1388241 0 0 0 280016 428 0 0 25 0 4 0 514750738 1640919040 306749 33554432000 4194304 4627427 140735829464016 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 400615 306749 390 106 0 395586 0
[pid=16357/tid=16358] ppid=16355 vsize=1602460 CPUtime=702.28 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 352939 0 0 0 70119 109 0 0 25 0 4 0 514750739 1640919040 306750 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1602460 CPUtime=702.26 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 358635 0 0 0 70112 114 0 0 25 0 4 0 514750739 1640919040 306750 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1602460 CPUtime=698.37 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 315978 0 0 0 69744 93 0 0 25 0 4 0 514750739 1640919040 306750 33554432000 4194304 4627427 140735829464016 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.44
Current children cumulated vsize (KiB) 1602460

[startup+762.301 s]
/proc/loadavg: 8.25 8.21 8.00 9/188 16425
/proc/meminfo: memFree=22934540/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1544600 CPUtime=3044.12 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 1487235 0 0 0 303953 459 0 0 25 0 4 0 514750738 1581670400 322520 33554432000 4194304 4627427 140735829464016 18446744073709551615 4332984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 386150 322520 390 106 0 381121 0
[pid=16357/tid=16358] ppid=16355 vsize=1544600 CPUtime=762.28 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 385091 0 0 0 76110 118 0 0 25 0 4 0 514750739 1581670400 322520 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1544600 CPUtime=762.25 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 385717 0 0 0 76102 123 0 0 25 0 4 0 514750739 1581670400 322520 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1544600 CPUtime=758.04 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 333586 0 0 0 75706 98 0 0 25 0 4 0 514750739 1581670400 322520 33554432000 4194304 4627427 140735829464016 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.12
Current children cumulated vsize (KiB) 1544600

[startup+822.301 s]
/proc/loadavg: 8.16 8.19 8.00 9/188 16426
/proc/meminfo: memFree=22876108/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1542280 CPUtime=3283.76 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 1576368 0 0 0 327884 492 0 0 25 0 4 0 514750738 1579294720 326288 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308141 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 385570 326288 390 106 0 380541 0
[pid=16357/tid=16358] ppid=16355 vsize=1542280 CPUtime=822.27 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 407096 0 0 0 82100 127 0 0 25 0 4 0 514750739 1579294720 326288 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1542280 CPUtime=822.24 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 408582 0 0 0 82093 131 0 0 25 0 4 0 514750739 1579294720 326288 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1542280 CPUtime=817.7 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 354459 0 0 0 81666 104 0 0 25 0 4 0 514750739 1579294720 326288 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.76
Current children cumulated vsize (KiB) 1542280

[startup+882.307 s]
/proc/loadavg: 8.31 8.21 8.02 9/188 16428
/proc/meminfo: memFree=22853888/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1705968 CPUtime=3523.45 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 1676741 0 0 0 351821 524 0 0 25 0 4 0 514750738 1746911232 330831 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308335 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 426492 330831 390 106 0 421463 0
[pid=16357/tid=16358] ppid=16355 vsize=1705968 CPUtime=882.27 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 434238 0 0 0 88093 134 0 0 25 0 4 0 514750739 1746911232 330831 33554432000 4194304 4627427 140735829464016 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1705968 CPUtime=882.26 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 431895 0 0 0 88086 140 0 0 25 0 4 0 514750739 1746911232 330831 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1705968 CPUtime=877.38 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 377498 0 0 0 87626 112 0 0 25 0 4 0 514750739 1746911232 330831 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.45
Current children cumulated vsize (KiB) 1705968

[startup+942.3 s]
/proc/loadavg: 8.17 8.19 8.02 9/188 16429
/proc/meminfo: memFree=22809472/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1565060 CPUtime=3763.09 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 1777607 0 0 0 375748 561 0 0 25 0 4 0 514750738 1602621440 334659 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308661 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 391265 334659 390 106 0 386236 0
[pid=16357/tid=16358] ppid=16355 vsize=1565060 CPUtime=942.26 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 460780 0 0 0 94082 144 0 0 25 0 4 0 514750739 1602621440 334659 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1565060 CPUtime=942.25 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 454630 0 0 0 94076 149 0 0 25 0 4 0 514750739 1602621440 334659 33554432000 4194304 4627427 140735829464016 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1565060 CPUtime=937.05 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 403794 0 0 0 93583 122 0 0 25 0 4 0 514750739 1602621440 334659 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.09
Current children cumulated vsize (KiB) 1565060

[startup+1002.3 s]
/proc/loadavg: 8.16 8.18 8.02 9/188 16431
/proc/meminfo: memFree=22811808/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1642128 CPUtime=4002.75 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 1868696 0 0 0 399682 593 0 0 25 0 4 0 514750738 1681539072 333928 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 410532 333928 390 106 0 405503 0
[pid=16357/tid=16358] ppid=16355 vsize=1642128 CPUtime=1002.25 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 482285 0 0 0 100074 151 0 0 25 0 4 0 514750739 1681539072 333928 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1642128 CPUtime=1002.24 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 480004 0 0 0 100066 158 0 0 25 0 4 0 514750739 1681539072 333928 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1642128 CPUtime=996.72 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 425145 0 0 0 99543 129 0 0 25 0 4 0 514750739 1681539072 333928 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.75
Current children cumulated vsize (KiB) 1642128

[startup+1062.3 s]
/proc/loadavg: 8.06 8.15 8.02 9/188 16433
/proc/meminfo: memFree=22831012/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1550024 CPUtime=4242.42 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 1970348 0 0 0 423611 631 0 0 25 0 4 0 514750738 1587224576 337969 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 387506 337969 390 106 0 382477 0
[pid=16357/tid=16358] ppid=16355 vsize=1550024 CPUtime=1062.25 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 508536 0 0 0 106064 161 0 0 25 0 4 0 514750739 1587224576 337969 33554432000 4194304 4627427 140735829464016 18446744073709551615 4302476 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1550024 CPUtime=1062.24 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 506551 0 0 0 106054 170 0 0 25 0 4 0 514750739 1587224576 337969 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1550024 CPUtime=1056.4 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 449154 0 0 0 105501 139 0 0 25 0 4 0 514750739 1587224576 337969 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 1550024

[startup+1122.3 s]
/proc/loadavg: 8.02 8.12 8.01 9/188 16434
/proc/meminfo: memFree=22787196/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1612452 CPUtime=4482.08 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 2048886 0 0 0 447545 663 0 0 25 0 4 0 514750738 1651150848 328764 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 403113 328764 390 106 0 398084 0
[pid=16357/tid=16358] ppid=16355 vsize=1612452 CPUtime=1122.25 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 527646 0 0 0 112058 167 0 0 25 0 4 0 514750739 1651150848 328764 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1612452 CPUtime=1122.23 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 527695 0 0 0 112043 180 0 0 25 0 4 0 514750739 1651150848 328764 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1612452 CPUtime=1116.06 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 466346 0 0 0 111460 146 0 0 25 0 4 0 514750739 1651150848 328764 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.08
Current children cumulated vsize (KiB) 1612452

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 8.01 9/188 16436
/proc/meminfo: memFree=22505176/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1873728 CPUtime=4721.75 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 2168289 0 0 0 471477 698 0 0 25 0 4 0 514750738 1918697472 391098 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308317 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 468432 391098 390 106 0 463403 0
[pid=16357/tid=16358] ppid=16355 vsize=1873728 CPUtime=1182.24 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 552047 0 0 0 118049 175 0 0 25 0 4 0 514750739 1918697472 391098 33554432000 4194304 4627427 140735829464016 18446744073709551615 4305826 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1873728 CPUtime=1182.24 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 577493 0 0 0 118031 193 0 0 25 0 4 0 514750739 1918697472 391098 33554432000 4194304 4627427 140735829464016 18446744073709551615 4408609 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1873728 CPUtime=1175.74 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 486925 0 0 0 117422 152 0 0 25 0 4 0 514750739 1918697472 391098 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.75
Current children cumulated vsize (KiB) 1873728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.06 8.10 8.01 10/188 16436
/proc/meminfo: memFree=22540632/32951124 swapFree=67111524/67111528
[pid=16357] ppid=16355 vsize=1874072 CPUtime=4800.05 cores=0,2,4,6
/proc/16357/stat : 16357 (strangenight2-m) R 16355 16357 16058 0 -1 4202496 2198370 0 0 0 479297 708 0 0 25 0 4 0 514750738 1919049728 378442 33554432000 4194304 4627427 140735829464016 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16357/statm: 468518 378442 390 106 0 463489 0
[pid=16357/tid=16358] ppid=16355 vsize=1874072 CPUtime=1201.85 cores=0,2,4,6
/proc/16357/task/16358/stat : 16358 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 561078 0 0 0 120007 178 0 0 25 0 4 0 514750739 1919049728 378442 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16357/tid=16359] ppid=16355 vsize=1874072 CPUtime=1201.84 cores=0,2,4,6
/proc/16357/task/16359/stat : 16359 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 586378 0 0 0 119988 196 0 0 25 0 4 0 514750739 1919049728 378442 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16357/tid=16360] ppid=16355 vsize=1874072 CPUtime=1195.23 cores=0,2,4,6
/proc/16357/task/16360/stat : 16360 (strangenight2-m) R 16355 16357 16058 0 -1 4202560 491955 0 0 0 119369 154 0 0 25 0 4 0 514750739 1919049728 378443 33554432000 4194304 4627427 140735829464016 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1874072

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.98
CPU time (s): 4800.15
CPU user time (s): 4793
CPU system time (s): 7.15791
CPU usage (%): 399.353
Max. virtual memory (cumulated for all children) (KiB): 1874072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793
system time used= 7.15791
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2198379
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= 3041
involuntary context switches= 68837

runsolver used 1.74973 second user time and 4.83127 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 00:58:46
IDJOB=3173835
IDBENCH=82653
IDSOLVER=1586
FILE ID=node132/3173835-1304031525
RUNJOBID= node132-1304028687-16077
PBS_JOBID= 13170320
Free space on /tmp= 71864 MiB

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

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

MD5SUM BENCH= cd155ee9ac243c838c94577589f0455b
RANDOM SEED=228071494

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      24890952 kB
Buffers:        736488 kB
Cached:        6192344 kB
SwapCached:          4 kB
Active:        2139052 kB
Inactive:      5432124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24890952 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            8584 kB
Writeback:           0 kB
AnonPages:      642160 kB
Mapped:          15524 kB
Slab:           425488 kB
PageTables:       6164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   993928 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71856 MiB
End job on node132 at 2011-04-29 01:18:50