Trace number 3173810

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.39 1202.09

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf
MD5SUM15b86e0c1384321ea7bbac2466a811a7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark318.072
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
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-3173810-1304031293.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.32/0.23	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.32/0.23	c -- vars added      25000
0.32/0.23	c Parsing time:  0.07 s
0.32/0.23	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.32/0.23	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.32/0.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
0.90/0.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.90/0.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.90/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.90/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
0.90/0.32	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
0.90/1.12	c lits-rem:         0  cl-subs:        0  v-elim:    615  v-fix:    0  time:  0.17 s
0.90/1.12	c Finding binary XORs  T:     0.01 s  found:       0
0.90/1.12	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
0.90/1.12	c calculated reachability. Time: 0.00
0.90/1.12	c Calc default polars -  time:   0.01 s pos:   11189 undec:    2828 neg:   10983
0.90/1.12	c =========================================================================================
0.90/1.12	c types(t): F = full restart, N = normal restart
0.90/1.12	c types(t): S = simplification begin/end, E = solution found
0.90/1.12	c restart types(rt): st = static, dy = dynamic
0.90/1.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.90/1.12	c  B st     0         0     24385    104311         0         0    316695         0   no data   no data
7.56/1.94	c  N dy    20      4080     24385    104311         0      4079    316695   1001313    144.62    188.49
13.13/3.32	c  N dy    47      8095     24385    104311         0      8093    316695   1910678    142.23    158.75
19.13/4.80	c  N dy    77     12286     24385    104311         0     12284    316695   2836187    143.59    154.36
24.72/6.28	c  N dy   103     16387     24385    104311         0     16385    316695   3731083    142.10    152.12
31.11/7.83	c  N dy   132     20419     24385    104311         0     10423    316695    692622    143.40    151.37
36.70/9.28	c  N dy   158     24487     24385    104311         0     14490    316695   1610137    143.52    156.12
37.50/9.48	c  F st   162     25003     24385    104311         0     15006    316695   1720232    143.42   no data
45.49/11.42	c  N dy   168     30000     24385    104311         0     20000    316695   3215658    143.42   no data
45.49/11.42	c  S st   168     30000     24385    104311         0     20000    316695   3215658    143.42   no data
46.29/11.60	c  S st   168     30504     24385    104311         0     20504    316695   3285476    143.42   no data
46.29/11.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.69/11.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
46.69/11.77	c blocked clauses removed:      473 vars:     76 tried:       24385 T: 0.01 s
46.69/11.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
46.69/11.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
46.69/11.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24309 time:  0.01 s
47.10/11.80	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.50/11.92	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.12 s
48.69/12.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
52.28/13.10	c lits-rem:         4  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.85 s
52.68/13.22	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.12
52.68/13.23	c calculated reachability. Time: 0.00
52.68/13.23	c  N dy   168     30504     24298    103827         0     20213    315345   3181063    143.42   no data
59.07/14.83	c  N dy   197     34517     24298    103827         0     24226    315345   4090003    143.63    152.71
65.85/16.52	c  N dy   223     38711     24298    103827         0     28420    315345   5039839    143.64    151.74
72.24/18.19	c  N dy   252     42813     24298    103827         0     17171    315345   1131950    143.50    152.71
76.64/19.28	c  S st   267     45758     24298    103827         0     20116    315345   1796387    143.16   no data
77.45/19.48	c  S st   267     46260     24298    103827         0     20618    315345   1874961    143.16   no data
77.45/19.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
78.26/19.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
78.26/19.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.26/19.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
78.26/19.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.26/19.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
78.26/19.67	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
78.64/19.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
79.04/19.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.24/20.18	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.27 s
80.64/20.20	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
80.64/20.23	c vivif2 --  cl tried    20616 cl shrink        0 lits rem          0 time: 0.03
81.04/20.35	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.12
81.04/20.36	c calculated reachability. Time: 0.00
81.04/20.36	c  N dy   267     46260     24298    103827         0     20616    315345   1874854    143.16   no data
87.42/21.95	c  N dy   296     50352     24298    103827         0     24708    315345   2777743    143.19    150.93
94.21/23.62	c  N dy   322     54561     24298    103827         0     28917    315345   3713300    142.96    158.82
100.60/25.29	c  N dy   351     58619     24298    103827         0     32975    315345   4640388    143.26    159.62
107.40/26.94	c  N dy   375     62660     24298    103827         0     37016    315345   5509663    142.88    174.46
113.78/28.52	c  N dy   403     66683     24298    103827         0     22357    315345   1545304    143.04    151.55
117.81/29.57	c  S st   419     69391     24298    103827         0     25065    315345   2115991    142.79   no data
118.58/29.77	c  S st   419     69896     24298    103827         0     25570    315345   2190300    142.79   no data
118.58/29.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
119.38/29.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
119.38/29.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
119.38/29.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
119.38/29.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
119.38/29.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
119.38/29.96	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
119.78/30.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
120.58/30.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.19/30.62	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.39 s
122.19/30.63	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
122.19/30.67	c vivif2 --  cl tried    25567 cl shrink        0 lits rem          0 time: 0.04
122.98/30.80	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.13
122.98/30.81	c calculated reachability. Time: 0.00
122.98/30.81	c  N dy   419     69896     24298    103827         0     25567    315345   2189222    142.79   no data
129.76/32.59	c  N dy   447     74407     24298    103827         0     30078    315345   3204844    142.79    182.82
137.75/34.57	c  N dy   482     79162     24298    103827         0     34832    315345   4303129    143.09    157.85
146.14/36.69	c  N dy   514     84277     24298    103827         0     39947    315345   5457623    143.05    151.52
151.73/38.05	c  F st   535     87501     24298    103827         0     22333    315345    971886    142.96   no data
157.34/39.41	c  N st   540     90799     24298    103827         0     25631    315345   1842851    142.96   no data
166.91/41.82	c  N dy   569     96591     24298    103827         0     31422    315345   3371273    142.97    180.58
177.29/44.43	c  N dy   613    102827     24298    103827         0     37658    315345   4755751    143.24    152.40
180.48/45.27	c  S st   626    104844     24298    103827         0     39675    315345   5191788    143.08   no data
181.69/45.50	c  S st   626    105344     24298    103827         0     40175    315345   5284203    143.08   no data
181.69/45.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
182.09/45.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
182.09/45.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
182.09/45.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
182.09/45.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
182.49/45.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
182.49/45.71	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
182.89/45.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
184.08/46.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
190.48/47.75	c lits-rem:         9  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.55 s
190.48/47.77	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
190.88/47.85	c vivif2 --  cl tried    40168 cl shrink        0 lits rem          0 time: 0.09
191.67/48.01	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.16
191.67/48.02	c calculated reachability. Time: 0.00
191.67/48.02	c  N dy   626    105344     24298    103827         0     40168    315345   5281671    143.08   no data
203.26/50.94	c  N dy   674    112125     24298    103827         0     24534    315345   1103251    143.25    159.37
215.24/53.91	c  N dy   721    119342     24298    103827         0     31751    315345   2737780    143.40    166.49
228.02/57.17	c  N dy   777    127011     24298    103827         0     39420    315345   4472773    143.54    162.58
242.40/60.72	c  N dy   831    135144     24298    103827         0     23841    315345    604585    143.50    165.36
256.39/64.21	c  N dy   891    143813     24298    103827         0     32509    315345   2544191    143.42    173.04
271.97/68.17	c  N dy   958    152997     24298    103827         0     41693    315345   4640555    143.68    185.15
280.75/70.39	c  S st   994    158016     24298    103827         0     46712    315345   5777526    143.77   no data
281.95/70.63	c  S st   994    158521     24298    103827         0     47217    315345   5883890    143.77   no data
281.95/70.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
282.35/70.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
282.75/70.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
282.75/70.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
282.75/70.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
282.75/70.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
282.75/70.86	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
283.55/71.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
284.77/71.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
293.93/73.67	c lits-rem:         8  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.29 s
293.93/73.69	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
294.33/73.79	c vivif2 --  cl tried    47215 cl shrink        0 lits rem          0 time: 0.10
295.13/73.95	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.16
295.13/73.96	c calculated reachability. Time: 0.00
295.13/73.96	c  N dy   994    158521     24298    103827         0     47215    315345   5882682    143.77   no data
312.30/78.25	c  N dy  1062    168661     24298    103827         0     32506    315345   2292026    143.82    173.81
330.68/82.81	c  N dy  1130    179531     24298    103827         0     43376    315345   4712549    143.69    158.75
350.67/87.81	c  N dy  1200    191020     24298    103827         0     28935    315345   1195939    143.46    170.60
371.02/92.94	c  N dy  1281    203313     24298    103827         0     41227    315345   3955163    143.53    151.15
394.99/98.90	c  N dy  1372    216434     24298    103827         0     27393    315345    602584    143.63    154.13
418.16/104.78	c  N dy  1468    230510     24298    103827         0     41469    315345   3777881    143.69    151.37
431.34/108.00	c  S st  1517    237781     24298    103827         0     48739    315345   5397122    143.63   no data
432.14/108.23	c  S st  1517    238284     24298    103827         0     49242    315345   5485500    143.63   no data
432.14/108.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
432.54/108.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
432.94/108.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.94/108.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
432.94/108.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
432.94/108.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
432.94/108.45	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
433.75/108.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
434.54/108.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
443.73/111.17	c lits-rem:         9  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.25 s
443.73/111.18	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
444.13/111.28	c vivif2 --  cl tried    49240 cl shrink        0 lits rem          0 time: 0.09
444.92/111.44	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.17
444.92/111.45	c calculated reachability. Time: 0.00
444.92/111.45	c  N dy  1517    238284     24298    103827         0     49240    315345   5485006    143.63   no data
471.69/118.16	c  N dy  1625    253551     24298    103827         0     36520    315345   2400701    143.81    152.07
500.45/125.34	c  N dy  1734    269805     24298    103827         0     52773    315345   6112918    143.94    175.20
530.82/132.98	c  N dy  1845    287140     24298    103827         0     41113    315345   3242716    143.83    151.58
564.36/141.32	c  N dy  1975    305544     24298    103827         0     59517    315345   7451020    144.03    155.98
565.57/141.69	c  F st  1981    306250     24298    103827         0     30231    315345    531941    144.03    175.02
599.10/150.07	c  N dy  2082    325143     24298    103827         0     49122    315345   5305473    144.09    249.15
635.45/159.16	c  N dy  2224    345224     24298    103827         0     38207    315345   2092253    144.25    158.28
657.02/164.59	c  S st  2308    357429     24298    103827         0     50411    315345   4868223    144.29   no data
658.24/164.83	c  S st  2308    357933     24298    103827         0     50915    315345   4940005    144.29   no data
658.24/164.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
658.62/164.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
659.02/165.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
659.02/165.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
659.02/165.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
659.02/165.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
659.02/165.06	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
659.81/165.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
660.61/165.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
669.40/167.60	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.12 s
669.40/167.61	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
669.80/167.70	c vivif2 --  cl tried    50910 cl shrink        0 lits rem          0 time: 0.08
670.20/167.87	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.17
670.20/167.88	c calculated reachability. Time: 0.00
670.20/167.88	c  N dy  2308    357933     24298    103827         0     50910    315345   4938243    144.29   no data
706.56/176.94	c  N dy  2445    377948     24298    103827         0     38926    315345   2023540    144.29    152.13
743.30/186.14	c  N dy  2581    398068     24298    103827         0     59045    315345   6578890    144.30    155.88
779.65/195.20	c  N dy  2713    418114     24298    103827         0     46095    315345   3462243    144.32    155.60
816.80/204.56	c  N dy  2853    438143     24298    103827         0     66124    315345   8007918    144.40    180.01
853.13/213.65	c  N dy  3002    458282     24298    103827         0     52267    315345   4709520    144.64    157.03
891.11/223.16	c  N dy  3139    478321     24298    103827         0     37299    315345    965224    144.72    155.65
927.43/232.21	c  N dy  3277    498415     24298    103827         0     57392    315345   5559737    144.77    153.27
965.81/241.80	c  N dy  3410    518672     24298    103827         0     41650    315345   1752567    144.77    156.32
999.34/250.21	c  S st  3537    536900     24298    103827         0     59877    315345   5966979    144.89   no data
1000.14/250.47	c  S st  3537    537402     24298    103827         0     60379    315345   6052272    144.89   no data
1000.14/250.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1000.96/250.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
1000.96/250.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1000.96/250.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1000.96/250.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1000.96/250.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
1001.33/250.71	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1001.73/250.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1002.93/251.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1015.71/254.33	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.13 s
1015.71/254.35	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
1016.11/254.45	c vivif2 --  cl tried    60376 cl shrink        0 lits rem          0 time: 0.10
1016.91/254.64	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.19
1016.91/254.64	c calculated reachability. Time: 0.00
1016.91/254.64	c  N dy  3537    537402     24298    103827         0     60376    315345   6049561    144.89   no data
1055.66/264.30	c  N dy  3682    557563     24298    103827         0     43540    315345   1969521    144.93    156.35
1092.82/273.69	c  N dy  3824    577616     24298    103827         0     63591    315345   6650936    145.12    218.09
1131.56/283.33	c  N dy  3964    597639     24298    103827         0     45617    315345   2240036    145.23    159.35
1169.10/292.70	c  N dy  4100    617703     24298    103827         0     65679    315345   6734003    145.28    153.18
1207.46/302.35	c  N dy  4244    637770     24298    103827         0     46745    315345   2251883    145.38    153.79
1245.38/311.82	c  N dy  4387    657899     24298    103827         0     66874    315345   6834565    145.42    153.60
1284.13/321.56	c  N dy  4519    677946     24298    103827         0     46920    315345   2070901    145.44    153.50
1322.87/331.25	c  N dy  4655    697971     24298    103827         0     66945    315345   6601471    145.41    160.58
1362.42/341.18	c  N dy  4792    718011     24298    103827         0     45986    315345   1643974    145.46    155.04
1399.96/350.57	c  N dy  4932    738031     24298    103827         0     66006    315345   6179229    145.48    153.85
1439.92/360.59	c  N dy  5056    758083     24298    103827         0     44063    315345    958801    145.43    153.10
1477.82/370.07	c  N dy  5195    778219     24298    103827         0     64196    315345   5536544    145.44    165.31
1518.18/380.18	c  N dy  5329    798252     24298    103827         0     84229    315345  10003368    145.40    153.34
1532.95/383.88	c  S st  5379    806106     24298    103827         0     49084    315345   1882358    145.38    132.48
1534.16/384.12	c  S st  5379    806608     24298    103827         0     49586    315345   1979675    145.38   no data
1534.16/384.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1534.55/384.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
1534.95/384.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1534.95/384.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1534.95/384.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1534.95/384.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
1534.95/384.34	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1535.35/384.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1535.75/384.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1538.94/385.32	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.73 s
1538.94/385.34	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
1538.94/385.37	c vivif2 --  cl tried    49583 cl shrink        0 lits rem          0 time: 0.04
1539.75/385.54	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.17
1539.75/385.55	c calculated reachability. Time: 0.00
1539.75/385.55	c  N dy  5379    806608     24298    103827         0     49583    315345   1978283    145.38   no data
1578.49/395.20	c  N dy  5520    826674     24298    103827         0     69649    315345   6597006    145.44    153.82
1619.63/405.57	c  N dy  5642    846916     24298    103827         0     45893    315345    901273    145.38    153.67
1657.57/415.00	c  N dy  5773    866923     24298    103827         0     65899    315345   5416820    145.36    153.68
1698.32/425.23	c  N dy  5911    886954     24298    103827         0     85929    315345  10052365    145.44    168.47
1737.07/434.91	c  N dy  6049    907041     24298    103827         0     61019    315345   4163879    145.44    156.30
1777.01/444.99	c  N dy  6180    927069     24298    103827         0     81045    315345   8687494    145.41    154.70
1817.35/455.04	c  N dy  6318    947147     24298    103827         0     55124    315345   2549192    145.41    154.14
1856.50/464.88	c  N dy  6452    967233     24298    103827         0     75207    315345   7162693    145.46    192.51
1899.24/475.54	c  N dy  6592    987311     24298    103827         0     48287    315345    767894    145.49    156.66
1937.18/485.09	c  N dy  6731   1007397     24298    103827         0     68372    315345   5412832    145.52    154.21
1979.12/495.59	c  N dy  6872   1027473     24298    103827         0     88448    315345  10013312    145.53    153.42
2019.06/505.58	c  N dy  7008   1047534     24298    103827         0     60509    315345   3386079    145.53    154.79
2059.43/515.64	c  N dy  7147   1067577     24298    103827         0     80551    315345   7923310    145.53    167.87
2068.62/517.93	c  F st  7180   1071875     24298    103827         0     84847    315345   8910532    145.55    144.84
2102.14/526.32	c  N dy  7249   1087804     24298    103827         0     51772    315345   1118813    145.54    153.23
2140.89/536.06	c  N dy  7385   1107883     24298    103827         0     71850    315345   5751054    145.54    157.43
2183.23/546.67	c  N dy  7522   1127938     24298    103827         0     91904    315345  10344077    145.56    156.59
2223.57/556.78	c  N dy  7654   1147997     24298    103827         0     61972    315345   3294958    145.58    164.91
2264.31/566.95	c  N dy  7792   1167998     24298    103827         0     81969    315345   7887203    145.62    154.00
2308.88/578.13	c  N dy  7942   1188067     24298    103827         0     51045    315345    519700    145.72    157.59
2347.17/587.88	c  N dy  8075   1208131     24298    103827         0     71107    315345   5138826    145.72    156.40
2351.12/588.80	c  S st  8088   1209913     24298    103827         0     72888    315345   5550854    145.72   no data
2351.90/589.06	c  S st  8088   1210416     24298    103827         0     73391    315345   5637281    145.72   no data
2351.90/589.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2352.69/589.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2352.69/589.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2352.69/589.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2352.69/589.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2353.10/589.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
2353.10/589.32	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2353.50/589.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2354.66/589.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2367.75/593.07	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.27 s
2367.75/593.09	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
2368.15/593.19	c vivif2 --  cl tried    73390 cl shrink        0 lits rem          0 time: 0.10
2368.95/593.39	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.20
2369.35/593.40	c calculated reachability. Time: 0.00
2369.35/593.40	c  N dy  8088   1210416     24298    103827         0     73390    315345   5636972    145.72   no data
2411.69/604.02	c  N dy  8226   1230515     24298    103827         0     93488    315345  10148582    145.73    154.73
2453.23/614.46	c  N dy  8362   1250584     24298    103827         0     61559    315345   2728873    145.75    159.37
2493.59/624.60	c  N dy  8499   1270651     24298    103827         0     81625    315345   7332428    145.78    159.27
2537.52/635.60	c  N dy  8636   1290781     24298    103827         0    101753    315345  11886524    145.78    160.89
2577.85/645.68	c  N dy  8772   1310962     24298    103827         0     68938    315345   4106517    145.77    157.83
2619.39/656.07	c  N dy  8901   1330989     24298    103827         0     88964    315345   8610417    145.76    154.34
2664.94/667.43	c  N dy  9046   1350993     24298    103827         0     54969    315345    744074    145.80    156.03
2704.48/677.38	c  N dy  9192   1371026     24298    103827         0     75002    315345   5376789    145.83    154.18
2747.60/688.13	c  N dy  9325   1391065     24298    103827         0     95040    315345  10016697    145.85    163.74
2791.54/699.16	c  N dy  9462   1411102     24298    103827         0     60075    315345   1718169    145.84    159.30
2832.30/709.31	c  N dy  9605   1431270     24298    103827         0     80241    315345   6342877    145.87    159.87
2876.24/720.39	c  N dy  9741   1451294     24298    103827         0    100265    315345  10990749    145.90    159.61
2919.78/731.22	c  N dy  9878   1471302     24298    103827         0     64273    315345   2433810    145.93    153.94
2960.10/741.37	c  N dy 10011   1491312     24298    103827         0     84282    315345   7005447    145.92    206.03
3004.84/752.59	c  N dy 10145   1511470     24298    103827         0    104437    315345  11633982    145.93    159.56
3047.60/763.26	c  N dy 10284   1531567     24298    103827         0     67540    315345   2927393    145.94    156.13
3089.12/773.61	c  N dy 10416   1551650     24298    103827         0     87623    315345   7508305    145.93    194.01
3134.26/784.94	c  N dy 10550   1571760     24298    103827         0    107731    315345  12084359    145.94    156.49
3177.40/795.76	c  N dy 10687   1591845     24298    103827         0     69823    315345   3224202    145.95    155.12
3218.96/806.18	c  N dy 10821   1611846     24298    103827         0     89823    315345   7870184    145.97    162.13
3264.47/817.56	c  N dy 10956   1631929     24298    103827         0    109901    315345  12442895    145.97    159.96
3307.61/828.35	c  N dy 11092   1652056     24298    103827         0     71025    315345   3371946    146.01    157.00
3349.96/838.99	c  N dy 11228   1672297     24298    103827         0     91266    315345   8027449    146.01    158.60
3395.88/850.44	c  N dy 11360   1692344     24298    103827         0    111312    315345  12577053    146.01    155.20
3435.43/860.36	c  S st 11480   1710416     24298    103827         0     69383    315345   2696608    146.01   no data
3436.63/860.62	c  S st 11480   1710923     24298    103827         0     69890    315345   2795864    146.01   no data
3436.63/860.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3437.43/860.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
3437.43/860.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3437.43/860.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3437.43/860.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3437.43/860.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
3437.43/860.87	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3437.83/861.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
3438.65/861.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3446.22/863.02	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.84 s
3446.22/863.03	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
3446.22/863.08	c vivif2 --  cl tried    69889 cl shrink        0 lits rem          0 time: 0.05
3447.03/863.28	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.20
3447.03/863.29	c calculated reachability. Time: 0.00
3447.03/863.29	c  N dy 11480   1710923     24298    103827         0     69889    315345   2795517    146.01   no data
3489.36/873.87	c  N dy 11613   1731031     24298    103827         0     89996    315345   7419616    146.02    158.93
3534.91/885.22	c  N dy 11740   1751104     24298    103827         0    110066    315345  11986504    146.02    157.51
3579.24/896.38	c  N dy 11880   1771106     24298    103827         0     69077    315345   2457264    146.03    154.01
3621.17/906.83	c  N dy 12019   1791144     24298    103827         0     89115    315345   7059570    146.04    164.01
3667.12/918.34	c  N dy 12158   1811255     24298    103827         0    109224    315345  11706194    146.06    155.00
3713.43/929.92	c  N dy 12290   1831389     24298    103827         0     67360    315345   1785620    146.06    159.59
3754.60/940.25	c  N dy 12421   1851443     24298    103827         0     87414    315345   6387977    146.07    159.52
3800.91/951.84	c  N dy 12561   1871449     24298    103827         0    107418    315345  11004020    146.08    160.86
3848.85/963.80	c  N dy 12690   1891519     24298    103827         0     64491    315345    911645    146.07    159.55
3889.19/973.97	c  N dy 12824   1911520     24298    103827         0     84492    315345   5539886    146.08    155.93
3933.52/985.07	c  N dy 12957   1931681     24298    103827         0    104653    315345  10176464    146.08    160.92
3981.45/997.02	c  N dy 13087   1951755     24298    103827         0    124723    315345  14810866    146.07    160.38
4023.38/1007.57	c  N dy 13228   1971829     24298    103827         0     80802    315345   4441621    146.09    154.17
4067.73/1018.63	c  N dy 13373   1991870     24298    103827         0    100842    315345   9129529    146.13    155.53
4114.88/1030.41	c  N dy 13502   2011916     24298    103827         0    120888    315345  13659424    146.12    162.68
4159.98/1041.76	c  N dy 13638   2032139     24298    103827         0     76111    315345   3126267    146.12    153.92
4202.33/1052.39	c  N dy 13775   2052175     24298    103827         0     96146    315345   7687925    146.12    159.74
4249.47/1064.10	c  N dy 13908   2072461     24298    103827         0    116431    315345  12359117    146.13    155.27
4297.38/1076.13	c  N dy 14039   2092489     24298    103827         0     70467    315345   1624091    146.13    156.19
4339.34/1086.61	c  N dy 14181   2112524     24298    103827         0     90500    315345   6265153    146.16    162.46
4384.46/1097.95	c  N dy 14323   2132604     24298    103827         0    110578    315345  10893278    146.18    188.95
4434.00/1110.31	c  N dy 14457   2152742     24298    103827         0    130715    315345  15532438    146.18    155.75
4476.32/1120.92	c  N dy 14591   2172745     24298    103827         0     83724    315345   4402491    146.19    155.87
4520.26/1131.91	c  N dy 14728   2192775     24298    103827         0    103753    315345   9055337    146.21    158.70
4564.60/1143.05	c  S st 14856   2210923     24298    103827         0    121901    315345  13265838    146.23    138.85
4566.19/1143.43	c  S st 14856   2211425     24298    103827         0    122403    315345  13345295    146.23   no data
4566.19/1143.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4566.99/1143.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.22
4567.41/1143.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4567.41/1143.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4567.41/1143.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4567.41/1143.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
4567.41/1143.77	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4568.59/1144.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.27 s
4572.20/1144.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4601.75/1152.39	c lits-rem:         3  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.39 s
4602.15/1152.40	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
4602.96/1152.64	c vivif2 --  cl tried   122395 cl shrink        0 lits rem          0 time: 0.23
4604.14/1152.93	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.29
4604.14/1152.94	c calculated reachability. Time: 0.00
4604.14/1152.94	c  N dy 14856   2211425     24298    103827         0    122395    315345  13342983    146.23   no data
4654.07/1165.42	c  N dy 14995   2231495     24298    103827         0     74467    315345   2048042    146.25    205.56
4696.40/1176.04	c  N dy 15134   2251522     24298    103827         0     94493    315345   6636773    146.26    158.76
4742.34/1187.52	c  N dy 15267   2271552     24298    103827         0    114522    315345  11233391    146.27    165.66
4791.89/1199.96	c  N dy 15405   2291601     24298    103827         0    134570    315345  15909259    146.29    169.53

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-3173810-1304031293/watcher-3173810-1304031293 -o /tmp/evaluation-result-3173810-1304031293/solver-3173810-1304031293 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173810-1304031293.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.08 8.13 7.62 5/184 26702
/proc/meminfo: memFree=30694152/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 514727183 52441088 347 33554432000 4194304 4627427 140735962304512 18446744073709551615 47215257098162 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 12803 347 299 106 0 7774 0
[pid=26702/tid=26703] ppid=26700 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514727183 52441088 347 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514727183 52441088 347 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514727183 52441088 347 33554432000 4194304 4627427 140735962304512 18446744073709551615 271545569512 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0570959 s]
/proc/loadavg: 8.08 8.13 7.62 5/184 26702
/proc/meminfo: memFree=30694152/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=311652 CPUtime=0.32 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 18114 0 0 0 28 4 0 0 18 0 4 0 514727183 319131648 16090 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550537659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 77913 16090 349 106 0 72884 0
[pid=26702/tid=26703] ppid=26700 vsize=311652 CPUtime=0.07 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 4510 0 0 0 7 0 0 0 18 0 4 0 514727183 319131648 16090 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550580871 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=311652 CPUtime=0.07 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) S 26700 26702 26347 0 -1 4202560 4273 0 0 0 6 1 0 0 18 0 4 0 514727183 319131648 16090 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550642670 0 0 4096 2 18446604448314500416 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=311652 CPUtime=0.07 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 4478 0 0 0 7 0 0 0 25 0 4 0 514727183 319131648 16090 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 311652

[startup+0.233419 s]
/proc/loadavg: 8.08 8.13 7.62 5/184 26702
/proc/meminfo: memFree=30694152/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=316900 CPUtime=0.9 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) D 26700 26702 26347 0 -1 4202496 18674 0 0 0 86 4 0 0 18 0 4 0 514727183 324505600 16650 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 79316 16919 371 106 0 74287 0
[pid=26702/tid=26703] ppid=26700 vsize=317760 CPUtime=0.21 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) D 26700 26702 26347 0 -1 4202560 4804 0 0 0 21 0 0 0 18 0 4 0 514727183 325386240 17064 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550234743 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=319316 CPUtime=0.23 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) D 26700 26702 26347 0 -1 4202560 5078 0 0 0 22 1 0 0 18 0 4 0 514727183 326979584 18659 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=320892 CPUtime=0.23 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 4601 0 0 0 23 0 0 0 25 0 4 0 514727183 328593408 20001 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 316900

[startup+0.414906 s]
/proc/loadavg: 8.08 8.13 7.62 5/184 26702
/proc/meminfo: memFree=30694152/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=334112 CPUtime=1.61 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 33879 0 0 0 153 8 0 0 18 0 4 0 514727183 342130688 25360 33554432000 4194304 4627427 140735962304512 18446744073709551615 271550595498 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 83528 25360 381 106 0 78499 0
[pid=26702/tid=26703] ppid=26700 vsize=336468 CPUtime=1.12 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 10294 0 0 0 110 2 0 0 19 0 4 0 514727183 344543232 27978 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=336468 CPUtime=1.12 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 11002 0 0 0 109 3 0 0 19 0 4 0 514727183 344543232 27978 33554432000 4194304 4627427 140735962304512 18446744073709551615 4321747 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=336468 CPUtime=1.11 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 5248 0 0 0 111 0 0 0 25 0 4 0 514727183 344543232 27978 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 334112

[startup+1.23932 s]
/proc/loadavg: 8.08 8.13 7.62 5/184 26702
/proc/meminfo: memFree=30694152/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=336468 CPUtime=4.9 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 38453 0 0 0 481 9 0 0 19 0 4 0 514727183 344543232 28324 33554432000 4194304 4627427 140735962304512 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 84117 28324 385 106 0 79088 0
[pid=26702/tid=26703] ppid=26700 vsize=336468 CPUtime=1.22 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 10378 0 0 0 120 2 0 0 19 0 4 0 514727183 344543232 28324 33554432000 4194304 4627427 140735962304512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=336468 CPUtime=1.22 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 11100 0 0 0 119 3 0 0 19 0 4 0 514727183 344543232 28324 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=336468 CPUtime=1.21 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 5313 0 0 0 121 0 0 0 25 0 4 0 514727183 344543232 28324 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 336468

[startup+1.53927 s]
/proc/loadavg: 8.08 8.13 7.62 5/184 26702
/proc/meminfo: memFree=30694152/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=336468 CPUtime=6.1 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 39265 0 0 0 601 9 0 0 19 0 4 0 514727183 344543232 29120 33554432000 4194304 4627427 140735962304512 18446744073709551615 4305894 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 84117 29120 385 106 0 79088 0
[pid=26702/tid=26703] ppid=26700 vsize=336468 CPUtime=1.52 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 10588 0 0 0 150 2 0 0 19 0 4 0 514727183 344543232 29120 33554432000 4194304 4627427 140735962304512 18446744073709551615 4333227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=336468 CPUtime=1.52 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 11317 0 0 0 149 3 0 0 19 0 4 0 514727183 344543232 29120 33554432000 4194304 4627427 140735962304512 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=336468 CPUtime=1.51 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 5503 0 0 0 151 0 0 0 25 0 4 0 514727183 344543232 29120 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 336468

[startup+3.10698 s]
/proc/loadavg: 8.07 8.13 7.62 10/188 26706
/proc/meminfo: memFree=30545712/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=467732 CPUtime=12.36 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 43871 0 0 0 1227 9 0 0 23 0 4 0 514727183 478957568 33726 33554432000 4194304 4627427 140735962304512 18446744073709551615 4330926 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 116933 33726 385 106 0 111904 0
[pid=26702/tid=26703] ppid=26700 vsize=467732 CPUtime=3.09 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 11642 0 0 0 307 2 0 0 24 0 4 0 514727183 478957568 33726 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=467732 CPUtime=3.07 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 12405 0 0 0 304 3 0 0 23 0 4 0 514727183 478957568 33727 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=467732 CPUtime=3.09 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 6865 0 0 0 308 1 0 0 25 0 4 0 514727183 478957568 33727 33554432000 4194304 4627427 140735962304512 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 467732

[startup+6.3004 s]
/proc/loadavg: 8.07 8.13 7.62 10/188 26706
/proc/meminfo: memFree=30503824/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=467732 CPUtime=25.14 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 52112 0 0 0 2503 11 0 0 25 0 4 0 514727183 478957568 41967 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 116933 41967 385 106 0 111904 0
[pid=26702/tid=26703] ppid=26700 vsize=467732 CPUtime=6.28 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 13588 0 0 0 626 2 0 0 25 0 4 0 514727183 478957568 41967 33554432000 4194304 4627427 140735962304512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=467732 CPUtime=6.25 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 14509 0 0 0 622 3 0 0 25 0 4 0 514727183 478957568 41967 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=467732 CPUtime=6.29 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 8934 0 0 0 628 1 0 0 25 0 4 0 514727183 478957568 41967 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 467732

[startup+12.7002 s]
/proc/loadavg: 8.06 8.12 7.63 10/188 26707
/proc/meminfo: memFree=30529888/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=650516 CPUtime=50.68 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 90833 0 0 0 5049 19 0 0 25 0 4 0 514727183 666128384 58880 33554432000 4194304 4627427 140735962304512 18446744073709551615 4428121 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 162629 58880 390 106 0 157600 0
[pid=26702/tid=26703] ppid=26700 vsize=650516 CPUtime=12.67 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 18852 0 0 0 1264 3 0 0 25 0 4 0 514727183 666128384 58880 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=650516 CPUtime=12.62 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 20052 0 0 0 1258 4 0 0 25 0 4 0 514727183 666128384 58880 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=650516 CPUtime=12.68 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 14242 0 0 0 1266 2 0 0 25 0 4 0 514727183 666128384 58880 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 650516

[startup+25.5009 s]
/proc/loadavg: 8.05 8.12 7.63 10/188 26707
/proc/meminfo: memFree=30245288/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=683504 CPUtime=101.8 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 167979 0 0 0 10145 35 0 0 25 0 4 0 514727183 699908096 99587 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 170876 99587 390 106 0 165847 0
[pid=26702/tid=26703] ppid=26700 vsize=683504 CPUtime=25.48 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 49241 0 0 0 2539 9 0 0 25 0 4 0 514727183 699908096 99587 33554432000 4194304 4627427 140735962304512 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=683504 CPUtime=25.34 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 35053 0 0 0 2527 7 0 0 25 0 4 0 514727183 699908096 99587 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=683504 CPUtime=25.48 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 35184 0 0 0 2541 7 0 0 25 0 4 0 514727183 699908096 99587 33554432000 4194304 4627427 140735962304512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 683504

[startup+51.1003 s]
/proc/loadavg: 8.17 8.14 7.65 10/188 26708
/proc/meminfo: memFree=30043556/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=899804 CPUtime=204.06 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 262181 0 0 0 20345 61 0 0 25 0 4 0 514727183 921399296 145490 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 224951 145490 390 106 0 219922 0
[pid=26702/tid=26703] ppid=26700 vsize=899804 CPUtime=51.08 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 64647 0 0 0 5095 13 0 0 25 0 4 0 514727183 921399296 145490 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=899804 CPUtime=50.8 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 56548 0 0 0 5068 12 0 0 25 0 4 0 514727183 921399296 145490 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=899804 CPUtime=51.07 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 63639 0 0 0 5092 15 0 0 25 0 4 0 514727183 921399296 145490 33554432000 4194304 4627427 140735962304512 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 899804

[startup+102.301 s]
/proc/loadavg: 8.10 8.13 7.67 10/188 26709
/proc/meminfo: memFree=29855764/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=952400 CPUtime=408.57 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 362925 0 0 0 40765 92 0 0 25 0 4 0 514727183 975257600 168298 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 238100 168299 390 106 0 233071 0
[pid=26702/tid=26703] ppid=26700 vsize=952400 CPUtime=102.28 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 79667 0 0 0 10210 18 0 0 25 0 4 0 514727183 975257600 168299 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=952400 CPUtime=101.73 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 85687 0 0 0 10152 21 0 0 25 0 4 0 514727183 975257600 168299 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=952400 CPUtime=102.26 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 88186 0 0 0 10204 22 0 0 25 0 4 0 514727183 975257600 168299 33554432000 4194304 4627427 140735962304512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 952400

[startup+162.301 s]

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

[pid=26702] ppid=26700 vsize=1496776 CPUtime=2804.32 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 1433323 0 0 0 280012 420 0 0 25 0 4 0 514727183 1532698624 287817 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 374194 287817 390 106 0 369165 0
[pid=26702/tid=26703] ppid=26700 vsize=1496776 CPUtime=702.24 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 314388 0 0 0 70132 92 0 0 25 0 4 0 514727183 1532698624 287817 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1496776 CPUtime=697.79 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 369739 0 0 0 69674 105 0 0 25 0 4 0 514727183 1532698624 287817 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1496776 CPUtime=702.03 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 365836 0 0 0 70097 106 0 0 25 0 4 0 514727183 1532698624 287817 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.32
Current children cumulated vsize (KiB) 1496776

[startup+762.301 s]
/proc/loadavg: 8.21 8.24 7.96 10/188 26739
/proc/meminfo: memFree=29047252/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1440268 CPUtime=3043.98 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 1523775 0 0 0 303949 449 0 0 25 0 4 0 514727183 1474834432 280373 33554432000 4194304 4627427 140735962304512 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 360067 280373 390 106 0 355038 0
[pid=26702/tid=26703] ppid=26700 vsize=1440268 CPUtime=762.23 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 335126 0 0 0 76125 98 0 0 25 0 4 0 514727183 1474834432 280373 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308668 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1440268 CPUtime=757.45 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 394074 0 0 0 75633 112 0 0 25 0 4 0 514727183 1474834432 280373 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1440268 CPUtime=762.03 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 386794 0 0 0 76089 114 0 0 25 0 4 0 514727183 1474834432 280373 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.98
Current children cumulated vsize (KiB) 1440268

[startup+822.301 s]
/proc/loadavg: 8.11 8.21 7.96 11/188 26740
/proc/meminfo: memFree=28943040/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1441384 CPUtime=3283.65 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 1616983 0 0 0 327885 480 0 0 25 0 4 0 514727183 1475977216 288085 33554432000 4194304 4627427 140735962304512 18446744073709551615 4333109 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 360346 288085 390 106 0 355317 0
[pid=26702/tid=26703] ppid=26700 vsize=1441384 CPUtime=822.22 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 357389 0 0 0 82117 105 0 0 25 0 4 0 514727183 1475977216 288085 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1441384 CPUtime=817.13 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 418138 0 0 0 81593 120 0 0 25 0 4 0 514727183 1475977216 288085 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1441384 CPUtime=822.02 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 407343 0 0 0 82081 121 0 0 25 0 4 0 514727183 1475977216 288085 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.65
Current children cumulated vsize (KiB) 1441384

[startup+882.301 s]
/proc/loadavg: 8.20 8.21 7.98 10/188 26742
/proc/meminfo: memFree=28850484/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1500324 CPUtime=3523.31 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 1705546 0 0 0 351824 507 0 0 25 0 4 0 514727183 1536331776 312111 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 375081 312111 390 106 0 370052 0
[pid=26702/tid=26703] ppid=26700 vsize=1500324 CPUtime=882.22 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 376390 0 0 0 88110 112 0 0 25 0 4 0 514727183 1536331776 312111 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1500324 CPUtime=876.8 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 443894 0 0 0 87552 128 0 0 25 0 4 0 514727183 1536331776 312111 33554432000 4194304 4627427 140735962304512 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1500324 CPUtime=882.01 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 428144 0 0 0 88074 127 0 0 25 0 4 0 514727183 1536331776 312111 33554432000 4194304 4627427 140735962304512 18446744073709551615 4305916 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.31
Current children cumulated vsize (KiB) 1500324

[startup+942.301 s]
/proc/loadavg: 8.10 8.19 7.98 11/188 26743
/proc/meminfo: memFree=28973688/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1502032 CPUtime=3762.96 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 1790492 0 0 0 375760 536 0 0 25 0 4 0 514727183 1538080768 294559 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 375508 294559 390 106 0 370479 0
[pid=26702/tid=26703] ppid=26700 vsize=1502032 CPUtime=942.22 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 396621 0 0 0 94102 120 0 0 25 0 4 0 514727183 1538080768 294559 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1502032 CPUtime=936.47 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 464281 0 0 0 93512 135 0 0 25 0 4 0 514727183 1538080768 294559 33554432000 4194304 4627427 140735962304512 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1502032 CPUtime=942 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 448566 0 0 0 94067 133 0 0 25 0 4 0 514727183 1538080768 294559 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.96
Current children cumulated vsize (KiB) 1502032

[startup+1002.3 s]
/proc/loadavg: 8.16 8.18 7.99 10/188 26745
/proc/meminfo: memFree=28873564/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1327400 CPUtime=4002.62 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 1905774 0 0 0 399691 571 0 0 25 0 4 0 514727183 1359257600 288094 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 331850 288094 390 106 0 326821 0
[pid=26702/tid=26703] ppid=26700 vsize=1327400 CPUtime=1002.21 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 417830 0 0 0 100094 127 0 0 25 0 4 0 514727183 1359257600 288094 33554432000 4194304 4627427 140735962304512 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1327400 CPUtime=996.14 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 508173 0 0 0 99467 147 0 0 25 0 4 0 514727183 1359257600 288094 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1327400 CPUtime=1002 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 471940 0 0 0 100059 141 0 0 25 0 4 0 514727183 1359257600 288094 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.62
Current children cumulated vsize (KiB) 1327400

[startup+1062.3 s]
/proc/loadavg: 8.06 8.15 7.99 10/188 26747
/proc/meminfo: memFree=28370812/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1519556 CPUtime=4242.3 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 2007074 0 0 0 423626 604 0 0 25 0 4 0 514727183 1556025344 327598 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 379889 327598 390 106 0 374860 0
[pid=26702/tid=26703] ppid=26700 vsize=1519556 CPUtime=1062.22 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 441988 0 0 0 106086 136 0 0 25 0 4 0 514727183 1556025344 327598 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1519556 CPUtime=1055.82 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 534020 0 0 0 105427 155 0 0 25 0 4 0 514727183 1556025344 327598 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1519556 CPUtime=1061.99 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 497375 0 0 0 106050 149 0 0 25 0 4 0 514727183 1556025344 327598 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.3
Current children cumulated vsize (KiB) 1519556

[startup+1122.3 s]
/proc/loadavg: 6.38 7.71 7.86 5/179 26766
/proc/meminfo: memFree=30210028/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1521212 CPUtime=4481.92 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 2110231 0 0 0 447554 638 0 0 25 0 4 0 514727183 1557721088 300423 33554432000 4194304 4627427 140735962304512 18446744073709551615 4306415 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 380303 300423 390 106 0 375274 0
[pid=26702/tid=26703] ppid=26700 vsize=1521212 CPUtime=1122.2 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 464346 0 0 0 112075 145 0 0 25 0 4 0 514727183 1557721088 300423 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1521212 CPUtime=1115.48 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 560733 0 0 0 111383 165 0 0 25 0 4 0 514727183 1557721088 300423 33554432000 4194304 4627427 140735962304512 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1521212 CPUtime=1121.98 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 524629 0 0 0 112041 157 0 0 25 0 4 0 514727183 1557721088 300423 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.92
Current children cumulated vsize (KiB) 1521212

[startup+1182.31 s]
/proc/loadavg: 4.94 7.05 7.62 5/179 26768
/proc/meminfo: memFree=29833016/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1896236 CPUtime=4721.59 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 2273994 0 0 0 471429 730 0 0 25 0 4 0 514727183 1941745664 393568 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 474059 393568 390 106 0 469030 0
[pid=26702/tid=26703] ppid=26700 vsize=1896236 CPUtime=1182.21 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 509943 0 0 0 118063 158 0 0 25 0 4 0 514727183 1941745664 393568 33554432000 4194304 4627427 140735962304512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1896236 CPUtime=1175.15 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 585557 0 0 0 117340 175 0 0 25 0 4 0 514727183 1941745664 393568 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1896236 CPUtime=1181.97 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 572413 0 0 0 118003 194 0 0 25 0 4 0 514727183 1941745664 393568 33554432000 4194304 4627427 140735962304512 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.59
Current children cumulated vsize (KiB) 1896236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 4.67 6.85 7.54 6/179 26768
/proc/meminfo: memFree=29839556/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1896660 CPUtime=4800.28 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 2306965 0 0 0 479288 740 0 0 25 0 4 0 514727183 1942179840 391783 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308326 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 474165 391783 390 106 0 469136 0
[pid=26702/tid=26703] ppid=26700 vsize=1896660 CPUtime=1201.91 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 517372 0 0 0 120031 160 0 0 25 0 4 0 514727183 1942179840 391783 33554432000 4194304 4627427 140735962304512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1896660 CPUtime=1194.75 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 594645 0 0 0 119297 178 0 0 25 0 4 0 514727183 1942179840 391783 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1896660 CPUtime=1201.67 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 581451 0 0 0 119970 197 0 0 25 0 4 0 514727183 1942179840 391783 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 1896660

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

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

[startup+1202 s]
/proc/loadavg: 4.67 6.85 7.54 6/179 26768
/proc/meminfo: memFree=29839556/32951124 swapFree=67111344/67111528
[pid=26702] ppid=26700 vsize=1896660 CPUtime=4800.28 cores=0,2,4,6
/proc/26702/stat : 26702 (strangenight2-m) R 26700 26702 26347 0 -1 4202496 2306965 0 0 0 479288 740 0 0 25 0 4 0 514727183 1942179840 391783 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308326 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26702/statm: 474165 391783 390 106 0 469136 0
[pid=26702/tid=26703] ppid=26700 vsize=1896660 CPUtime=1201.91 cores=0,2,4,6
/proc/26702/task/26703/stat : 26703 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 517372 0 0 0 120031 160 0 0 25 0 4 0 514727183 1942179840 391783 33554432000 4194304 4627427 140735962304512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26702/tid=26704] ppid=26700 vsize=1896660 CPUtime=1194.75 cores=0,2,4,6
/proc/26702/task/26704/stat : 26704 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 594645 0 0 0 119297 178 0 0 25 0 4 0 514727183 1942179840 391783 33554432000 4194304 4627427 140735962304512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26702/tid=26705] ppid=26700 vsize=1896660 CPUtime=1201.67 cores=0,2,4,6
/proc/26702/task/26705/stat : 26705 (strangenight2-m) R 26700 26702 26347 0 -1 4202560 581451 0 0 0 119970 197 0 0 25 0 4 0 514727183 1942179840 391783 33554432000 4194304 4627427 140735962304512 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 1896660

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.09
CPU time (s): 4800.39
CPU user time (s): 4792.91
CPU system time (s): 7.48086
CPU usage (%): 399.337
Max. virtual memory (cumulated for all children) (KiB): 1896660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.91
system time used= 7.48086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2306969
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= 2554
involuntary context switches= 70286

runsolver used 1.88471 second user time and 4.70228 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 00:54:53
IDJOB=3173810
IDBENCH=82628
IDSOLVER=1586
FILE ID=node133/3173810-1304031293
RUNJOBID= node133-1304028687-26366
PBS_JOBID= 13170319
Free space on /tmp= 71888 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173810-1304031293/watcher-3173810-1304031293 -o /tmp/evaluation-result-3173810-1304031293/solver-3173810-1304031293 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173810-1304031293.cnf

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

MD5SUM BENCH= 15b86e0c1384321ea7bbac2466a811a7
RANDOM SEED=1039155456

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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:      30694316 kB
Buffers:        659444 kB
Cached:         480184 kB
SwapCached:        124 kB
Active:        1231420 kB
Inactive:       680072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30694316 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:            7788 kB
Writeback:           0 kB
AnonPages:      772188 kB
Mapped:          15520 kB
Slab:           280012 kB
PageTables:       5976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1069084 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= 71888 MiB
End job on node133 at 2011-04-29 01:14:57