Trace number 3366219

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 (fixed)? (TO) 4800.2 1202.88

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366219-1305399132.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.27/0.13	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.27/0.13	c -- vars added      25000
0.27/0.13	c Parsing time:  0.07 s
0.27/0.13	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.62/0.18	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.76/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.76/0.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.76/0.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.17/0.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.17/0.31	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
1.56/0.49	c lits-rem:         0  cl-subs:        0  v-elim:    615  v-fix:    0  time:  0.17 s
1.56/0.49	c Finding binary XORs  T:     0.00 s  found:       0
1.96/0.53	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.96/0.53	c calculated reachability. Time: 0.00
1.96/0.54	c Calc default polars -  time:   0.01 s pos:   11189 undec:    2828 neg:   10983
1.96/0.54	c =========================================================================================
1.96/0.54	c types(t): F = full restart, N = normal restart
1.96/0.54	c types(t): S = simplification begin/end, E = solution found
1.96/0.54	c restart types(rt): st = static, dy = dynamic
1.96/0.54	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.96/0.54	c  B st     0         0     24385    104311         0         0    316695         0   no data   no data
7.55/1.91	c  N dy    20      4080     24385    104311         0      4079    316695   1001313    144.62    188.49
12.76/3.29	c  N dy    47      8095     24385    104311         0      8093    316695   1910678    142.23    158.75
18.73/4.78	c  N dy    77     12286     24385    104311         0     12284    316695   2836187    143.59    154.36
24.72/6.26	c  N dy   103     16387     24385    104311         0     16385    316695   3731083    142.10    152.12
31.10/7.80	c  N dy   132     20419     24385    104311         0     10423    316695    692622    143.40    151.37
36.68/9.26	c  N dy   158     24487     24385    104311         0     14490    316695   1610137    143.52    156.12
37.49/9.46	c  F st   162     25003     24385    104311         0     15006    316695   1720232    143.42   no data
45.07/11.39	c  N dy   168     30000     24385    104311         0     20000    316695   3215658    143.42   no data
45.07/11.39	c  S st   168     30000     24385    104311         0     20000    316695   3215658    143.42   no data
45.86/11.58	c  S st   168     30504     24385    104311         0     20504    316695   3285476    143.42   no data
45.86/11.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.26/11.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
46.26/11.69	c blocked clauses removed:      473 vars:     76 tried:       24385 T: 0.01 s
46.66/11.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
46.66/11.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
46.66/11.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24309 time:  0.01 s
46.66/11.72	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.06/11.83	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.10 s
48.30/12.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
51.45/12.97	c lits-rem:         4  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.82 s
51.85/13.10	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.12
51.85/13.10	c calculated reachability. Time: 0.00
51.85/13.10	c  N dy   168     30504     24298    103827         0     20213    315345   3181063    143.42   no data
58.63/14.74	c  N dy   197     34517     24298    103827         0     24226    315345   4090003    143.63    152.71
65.43/16.42	c  N dy   223     38711     24298    103827         0     28420    315345   5039839    143.64    151.74
72.20/18.10	c  N dy   252     42813     24298    103827         0     17171    315345   1131950    143.50    152.71
76.59/19.20	c  S st   267     45758     24298    103827         0     20116    315345   1796387    143.16   no data
77.39/19.40	c  S st   267     46260     24298    103827         0     20618    315345   1874961    143.16   no data
77.39/19.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.39/19.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
77.79/19.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.79/19.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
77.79/19.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
77.79/19.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
77.79/19.53	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
78.19/19.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
78.61/19.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
79.78/20.01	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.25 s
79.78/20.02	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
79.78/20.05	c vivif2 --  cl tried    20616 cl shrink        0 lits rem          0 time: 0.03
80.18/20.18	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.12
80.18/20.18	c calculated reachability. Time: 0.00
80.18/20.18	c  N dy   267     46260     24298    103827         0     20616    315345   1874854    143.16   no data
86.57/21.78	c  N dy   296     50352     24298    103827         0     24708    315345   2777743    143.19    150.93
93.35/23.45	c  N dy   322     54561     24298    103827         0     28917    315345   3713300    142.96    158.82
100.14/25.12	c  N dy   351     58619     24298    103827         0     32975    315345   4640388    143.26    159.62
106.52/26.76	c  N dy   375     62660     24298    103827         0     37016    315345   5509663    142.88    174.46
112.90/28.34	c  N dy   403     66683     24298    103827         0     22357    315345   1545304    143.04    151.55
117.30/29.41	c  S st   419     69391     24298    103827         0     25065    315345   2115991    142.79   no data
117.70/29.60	c  S st   419     69896     24298    103827         0     25570    315345   2190300    142.79   no data
118.11/29.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
118.11/29.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
118.54/29.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
118.54/29.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
118.54/29.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
118.54/29.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
118.54/29.74	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
118.89/29.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
119.29/29.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.89/30.36	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.37 s
120.89/30.37	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
121.30/30.41	c vivif2 --  cl tried    25567 cl shrink        0 lits rem          0 time: 0.03
121.69/30.54	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.13
121.69/30.55	c calculated reachability. Time: 0.00
121.69/30.55	c  N dy   419     69896     24298    103827         0     25567    315345   2189222    142.79   no data
128.87/32.33	c  N dy   447     74407     24298    103827         0     30078    315345   3204844    142.79    182.82
136.85/34.32	c  N dy   482     79162     24298    103827         0     34832    315345   4303129    143.09    157.85
145.23/36.44	c  N dy   514     84277     24298    103827         0     39947    315345   5457623    143.05    151.52
150.42/37.79	c  F st   535     87501     24298    103827         0     22333    315345    971886    142.96   no data
156.01/39.16	c  N st   540     90799     24298    103827         0     25631    315345   1842851    142.96   no data
165.59/41.57	c  N dy   569     96591     24298    103827         0     31422    315345   3371273    142.97    180.58
175.95/44.18	c  N dy   613    102827     24298    103827         0     37658    315345   4755751    143.24    152.40
179.57/45.02	c  S st   626    104844     24298    103827         0     39675    315345   5191788    143.08   no data
180.35/45.25	c  S st   626    105344     24298    103827         0     40175    315345   5284203    143.08   no data
180.35/45.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
180.75/45.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
180.75/45.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
180.75/45.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
180.75/45.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
180.75/45.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
181.15/45.41	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
181.55/45.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
182.74/45.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
188.77/47.37	c lits-rem:         9  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.50 s
188.77/47.38	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
189.14/47.47	c vivif2 --  cl tried    40168 cl shrink        0 lits rem          0 time: 0.09
189.93/47.63	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.16
189.93/47.64	c calculated reachability. Time: 0.00
189.93/47.64	c  N dy   626    105344     24298    103827         0     40168    315345   5281671    143.08   no data
201.52/50.54	c  N dy   674    112125     24298    103827         0     24534    315345   1103251    143.25    159.37
213.48/53.52	c  N dy   721    119342     24298    103827         0     31751    315345   2737780    143.40    166.49
226.65/56.80	c  N dy   777    127011     24298    103827         0     39420    315345   4472773    143.54    162.58
240.62/60.35	c  N dy   831    135144     24298    103827         0     23841    315345    604585    143.50    165.36
254.62/63.84	c  N dy   891    143813     24298    103827         0     32509    315345   2544191    143.42    173.04
270.54/67.80	c  N dy   958    152997     24298    103827         0     41693    315345   4640555    143.68    185.15
279.33/70.02	c  S st   994    158016     24298    103827         0     46712    315345   5777526    143.77   no data
280.13/70.27	c  S st   994    158521     24298    103827         0     47217    315345   5883890    143.77   no data
280.13/70.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
280.54/70.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
280.54/70.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
280.54/70.40	c bin-w-bin subsume rem            0 bins  time:  0.01 s
280.96/70.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
280.96/70.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
280.96/70.43	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
281.32/70.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
282.92/70.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
291.69/73.17	c lits-rem:         8  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.24 s
291.69/73.18	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
292.09/73.28	c vivif2 --  cl tried    47215 cl shrink        0 lits rem          0 time: 0.10
292.89/73.45	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.17
292.89/73.46	c calculated reachability. Time: 0.00
292.89/73.46	c  N dy   994    158521     24298    103827         0     47215    315345   5882682    143.77   no data
310.06/77.74	c  N dy  1062    168661     24298    103827         0     32506    315345   2292026    143.82    173.81
328.42/82.32	c  N dy  1130    179531     24298    103827         0     43376    315345   4712549    143.69    158.75
348.37/87.32	c  N dy  1200    191020     24298    103827         0     28935    315345   1195939    143.46    170.60
368.77/92.46	c  N dy  1281    203313     24298    103827         0     41227    315345   3955163    143.53    151.15
392.67/98.43	c  N dy  1372    216434     24298    103827         0     27393    315345    602584    143.63    154.13
416.22/104.31	c  N dy  1468    230510     24298    103827         0     41469    315345   3777881    143.69    151.37
428.98/107.54	c  S st  1517    237781     24298    103827         0     48739    315345   5397122    143.63   no data
429.79/107.77	c  S st  1517    238284     24298    103827         0     49242    315345   5485500    143.63   no data
429.79/107.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
430.23/107.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
430.59/107.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
430.59/107.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
430.59/107.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
430.59/107.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
430.59/107.94	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
430.98/108.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
432.18/108.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
440.96/110.58	c lits-rem:         9  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.21 s
441.36/110.60	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
441.36/110.69	c vivif2 --  cl tried    49240 cl shrink        0 lits rem          0 time: 0.09
442.16/110.86	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.17
442.16/110.87	c calculated reachability. Time: 0.00
442.16/110.87	c  N dy  1517    238284     24298    103827         0     49240    315345   5485006    143.63   no data
468.90/117.59	c  N dy  1625    253551     24298    103827         0     36520    315345   2400701    143.81    152.07
497.63/124.79	c  N dy  1734    269805     24298    103827         0     52773    315345   6112918    143.94    175.20
528.36/132.44	c  N dy  1845    287140     24298    103827         0     41113    315345   3242716    143.83    151.58
561.50/140.79	c  N dy  1975    305544     24298    103827         0     59517    315345   7451020    144.03    155.98
563.08/141.17	c  F st  1981    306250     24298    103827         0     30231    315345    531941    144.03    175.02
596.62/149.57	c  N dy  2082    325143     24298    103827         0     49122    315345   5305473    144.09    249.15
632.92/158.68	c  N dy  2224    345224     24298    103827         0     38207    315345   2092253    144.25    158.28
654.88/164.15	c  S st  2308    357429     24298    103827         0     50411    315345   4868223    144.29   no data
655.67/164.39	c  S st  2308    357933     24298    103827         0     50915    315345   4940005    144.29   no data
656.07/164.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
656.47/164.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
656.47/164.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
656.47/164.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
656.47/164.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
656.47/164.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
656.47/164.56	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
656.87/164.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
658.08/164.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
666.45/167.03	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.08 s
666.45/167.04	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
666.86/167.12	c vivif2 --  cl tried    50910 cl shrink        0 lits rem          0 time: 0.08
667.64/167.30	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.17
667.64/167.30	c calculated reachability. Time: 0.00
667.64/167.30	c  N dy  2308    357933     24298    103827         0     50910    315345   4938243    144.29   no data
703.96/176.41	c  N dy  2445    377948     24298    103827         0     38926    315345   2023540    144.29    152.13
740.67/185.67	c  N dy  2581    398068     24298    103827         0     59045    315345   6578890    144.30    155.88
777.03/194.75	c  N dy  2713    418114     24298    103827         0     46095    315345   3462243    144.32    155.60
814.51/204.15	c  N dy  2853    438143     24298    103827         0     66124    315345   8007918    144.40    180.01
850.83/213.25	c  N dy  3002    458282     24298    103827         0     52267    315345   4709520    144.64    157.03
888.73/222.76	c  N dy  3139    478321     24298    103827         0     37299    315345    965224    144.72    155.65
925.05/231.84	c  N dy  3277    498415     24298    103827         0     57392    315345   5559737    144.77    153.27
963.37/241.45	c  N dy  3410    518672     24298    103827         0     41650    315345   1752567    144.77    156.32
996.89/249.89	c  S st  3537    536900     24298    103827         0     59877    315345   5966979    144.89   no data
998.08/250.15	c  S st  3537    537402     24298    103827         0     60379    315345   6052272    144.89   no data
998.08/250.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
998.48/250.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
998.88/250.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
998.88/250.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
998.88/250.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
998.88/250.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
998.88/250.33	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
999.28/250.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1000.49/250.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1012.85/253.87	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.07 s
1012.85/253.88	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
1013.25/253.98	c vivif2 --  cl tried    60376 cl shrink        0 lits rem          0 time: 0.10
1014.08/254.17	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.19
1014.08/254.18	c calculated reachability. Time: 0.00
1014.08/254.18	c  N dy  3537    537402     24298    103827         0     60376    315345   6049561    144.89   no data
1052.76/263.86	c  N dy  3682    557563     24298    103827         0     43540    315345   1969521    144.93    156.35
1090.27/273.27	c  N dy  3824    577616     24298    103827         0     63591    315345   6650936    145.12    218.09
1128.99/282.93	c  N dy  3964    597639     24298    103827         0     45617    315345   2240036    145.23    159.35
1166.50/292.34	c  N dy  4100    617703     24298    103827         0     65679    315345   6734003    145.28    153.18
1205.21/302.03	c  N dy  4244    637770     24298    103827         0     46745    315345   2251883    145.38    153.79
1243.12/311.52	c  N dy  4387    657899     24298    103827         0     66874    315345   6834565    145.42    153.60
1282.23/321.30	c  N dy  4519    677946     24298    103827         0     46920    315345   2070901    145.44    153.50
1320.96/331.04	c  N dy  4655    697971     24298    103827         0     66945    315345   6601471    145.41    160.58
1360.88/341.01	c  N dy  4792    718011     24298    103827         0     45986    315345   1643974    145.46    155.04
1398.36/350.44	c  N dy  4932    738031     24298    103827         0     66006    315345   6179229    145.48    153.85
1438.26/360.44	c  N dy  5056    758083     24298    103827         0     44063    315345    958801    145.43    153.10
1476.17/369.97	c  N dy  5195    778219     24298    103827         0     64196    315345   5536544    145.44    165.31
1516.49/380.09	c  N dy  5329    798252     24298    103827         0     84229    315345  10003368    145.40    153.34
1531.26/383.80	c  S st  5379    806106     24298    103827         0     49084    315345   1882358    145.38    132.48
1532.45/384.04	c  S st  5379    806608     24298    103827         0     49586    315345   1979675    145.38   no data
1532.45/384.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1532.85/384.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1532.85/384.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1532.85/384.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1532.85/384.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1532.85/384.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
1533.24/384.20	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1533.65/384.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1534.05/384.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1536.84/385.15	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.71 s
1536.84/385.16	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
1537.24/385.20	c vivif2 --  cl tried    49583 cl shrink        0 lits rem          0 time: 0.03
1537.64/385.37	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.17
1537.64/385.38	c calculated reachability. Time: 0.00
1537.64/385.38	c  N dy  5379    806608     24298    103827         0     49583    315345   1978283    145.38   no data
1576.35/395.08	c  N dy  5520    826674     24298    103827         0     69649    315345   6597006    145.44    153.82
1617.45/405.37	c  N dy  5642    846916     24298    103827         0     45893    315345    901273    145.38    153.67
1655.77/414.94	c  N dy  5773    866923     24298    103827         0     65899    315345   5416820    145.36    153.68
1696.47/425.16	c  N dy  5911    886954     24298    103827         0     85929    315345  10052365    145.44    168.47
1735.18/434.88	c  N dy  6049    907041     24298    103827         0     61019    315345   4163879    145.44    156.30
1775.49/444.98	c  N dy  6180    927069     24298    103827         0     81045    315345   8687494    145.41    154.70
1815.80/455.07	c  N dy  6318    947147     24298    103827         0     55124    315345   2549192    145.41    154.14
1855.31/464.94	c  N dy  6452    967233     24298    103827         0     75207    315345   7162693    145.46    192.51
1897.61/475.60	c  N dy  6592    987311     24298    103827         0     48287    315345    767894    145.49    156.66
1935.96/485.17	c  N dy  6731   1007397     24298    103827         0     68372    315345   5412832    145.52    154.21
1977.82/495.66	c  N dy  6872   1027473     24298    103827         0     88448    315345  10013312    145.53    153.42
2017.73/505.69	c  N dy  7008   1047534     24298    103827         0     60509    315345   3386079    145.53    154.79
2058.04/515.80	c  N dy  7147   1067577     24298    103827         0     80551    315345   7923310    145.53    167.87
2067.23/518.08	c  F st  7180   1071875     24298    103827         0     84847    315345   8910532    145.55    144.84
2100.74/526.48	c  N dy  7249   1087804     24298    103827         0     51772    315345   1118813    145.54    153.23
2139.85/536.24	c  N dy  7385   1107883     24298    103827         0     71850    315345   5751054    145.54    157.43
2182.14/546.84	c  N dy  7522   1127938     24298    103827         0     91904    315345  10344077    145.56    156.59
2222.45/556.97	c  N dy  7654   1147997     24298    103827         0     61972    315345   3294958    145.58    164.91
2263.16/567.18	c  N dy  7792   1167998     24298    103827         0     81969    315345   7887203    145.62    154.00
2307.86/578.37	c  N dy  7942   1188067     24298    103827         0     51045    315345    519700    145.72    157.59
2347.77/588.38	c  N dy  8075   1208131     24298    103827         0     71107    315345   5138826    145.72    156.40
2351.35/589.30	c  S st  8088   1209913     24298    103827         0     72888    315345   5550854    145.72   no data
2352.56/589.56	c  S st  8088   1210416     24298    103827         0     73391    315345   5637281    145.72   no data
2352.56/589.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2352.99/589.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
2353.35/589.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2353.35/589.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2353.35/589.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2353.35/589.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
2353.35/589.76	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2353.75/589.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2354.95/590.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2367.71/593.39	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.18 s
2368.11/593.40	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
2368.51/593.50	c vivif2 --  cl tried    73390 cl shrink        0 lits rem          0 time: 0.10
2369.31/593.71	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.21
2369.31/593.72	c calculated reachability. Time: 0.00
2369.31/593.72	c  N dy  8088   1210416     24298    103827         0     73390    315345   5636972    145.72   no data
2411.61/604.39	c  N dy  8226   1230515     24298    103827         0     93488    315345  10148582    145.73    154.73
2453.54/614.83	c  N dy  8362   1250584     24298    103827         0     61559    315345   2728873    145.75    159.37
2494.22/625.02	c  N dy  8499   1270651     24298    103827         0     81625    315345   7332428    145.78    159.27
2538.12/636.03	c  N dy  8636   1290781     24298    103827         0    101753    315345  11886524    145.78    160.89
2578.43/646.13	c  N dy  8772   1310962     24298    103827         0     68938    315345   4106517    145.77    157.83
2619.94/656.58	c  N dy  8901   1330989     24298    103827         0     88964    315345   8610417    145.76    154.34
2665.02/667.88	c  N dy  9046   1350993     24298    103827         0     54969    315345    744074    145.80    156.03
2705.33/677.95	c  N dy  9192   1371026     24298    103827         0     75002    315345   5376789    145.83    154.18
2748.44/688.73	c  N dy  9325   1391065     24298    103827         0     95040    315345  10016697    145.85    163.74
2792.33/699.74	c  N dy  9462   1411102     24298    103827         0     60075    315345   1718169    145.84    159.30
2833.04/709.95	c  N dy  9605   1431270     24298    103827         0     80241    315345   6342877    145.87    159.87
2877.34/721.03	c  N dy  9741   1451294     24298    103827         0    100265    315345  10990749    145.90    159.61
2920.44/731.87	c  N dy  9878   1471302     24298    103827         0     64273    315345   2433810    145.93    153.94
2961.14/742.08	c  N dy 10011   1491312     24298    103827         0     84282    315345   7005447    145.92    206.03
3006.24/753.30	c  N dy 10145   1511470     24298    103827         0    104437    315345  11633982    145.93    159.56
3048.55/763.99	c  N dy 10284   1531567     24298    103827         0     67540    315345   2927393    145.94    156.13
3090.07/774.39	c  N dy 10416   1551650     24298    103827         0     87623    315345   7508305    145.93    194.01
3135.54/785.72	c  N dy 10550   1571760     24298    103827         0    107731    315345  12084359    145.94    156.49
3178.64/796.55	c  N dy 10687   1591845     24298    103827         0     69823    315345   3224202    145.95    155.12
3220.55/807.01	c  N dy 10821   1611846     24298    103827         0     89823    315345   7870184    145.97    162.13
3265.65/818.38	c  N dy 10956   1631929     24298    103827         0    109901    315345  12442895    145.97    159.96
3308.74/829.17	c  N dy 11092   1652056     24298    103827         0     71025    315345   3371946    146.01    157.00
3351.44/839.86	c  N dy 11228   1672297     24298    103827         0     91266    315345   8027449    146.01    158.60
3397.36/851.37	c  N dy 11360   1692344     24298    103827         0    111312    315345  12577053    146.01    155.20
3437.29/861.33	c  S st 11480   1710416     24298    103827         0     69383    315345   2696608    146.01   no data
3438.44/861.63	c  S st 11480   1710923     24298    103827         0     69890    315345   2795864    146.01   no data
3438.44/861.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3438.84/861.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
3438.84/861.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3438.84/861.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3439.24/861.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3439.24/861.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
3439.24/861.82	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3439.64/861.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
3440.04/862.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3447.62/863.90	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.80 s
3447.62/863.91	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
3447.62/863.96	c vivif2 --  cl tried    69889 cl shrink        0 lits rem          0 time: 0.05
3448.42/864.16	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.20
3448.42/864.17	c calculated reachability. Time: 0.00
3448.42/864.17	c  N dy 11480   1710923     24298    103827         0     69889    315345   2795517    146.01   no data
3490.73/874.73	c  N dy 11613   1731031     24298    103827         0     89996    315345   7419616    146.02    158.93
3536.23/886.14	c  N dy 11740   1751104     24298    103827         0    110066    315345  11986504    146.02    157.51
3580.92/897.31	c  N dy 11880   1771106     24298    103827         0     69077    315345   2457264    146.03    154.01
3622.42/907.79	c  N dy 12019   1791144     24298    103827         0     89115    315345   7059570    146.04    164.01
3668.72/919.36	c  N dy 12158   1811255     24298    103827         0    109224    315345  11706194    146.06    155.00
3715.00/930.90	c  N dy 12290   1831389     24298    103827         0     67360    315345   1785620    146.06    159.59
3756.11/941.29	c  N dy 12421   1851443     24298    103827         0     87414    315345   6387977    146.07    159.52
3803.20/953.03	c  N dy 12561   1871449     24298    103827         0    107418    315345  11004020    146.08    160.86
3850.69/964.96	c  N dy 12690   1891519     24298    103827         0     64491    315345    911645    146.07    159.55
3891.79/975.20	c  N dy 12824   1911520     24298    103827         0     84492    315345   5539886    146.08    155.93
3936.09/986.37	c  N dy 12957   1931681     24298    103827         0    104653    315345  10176464    146.08    160.92
3983.97/998.32	c  N dy 13087   1951755     24298    103827         0    124723    315345  14810866    146.07    160.38
4026.27/1008.90	c  N dy 13228   1971829     24298    103827         0     80802    315345   4441621    146.09    154.17
4070.57/1020.01	c  N dy 13373   1991870     24298    103827         0    100842    315345   9129529    146.13    155.53
4117.27/1031.80	c  N dy 13502   2011916     24298    103827         0    120888    315345  13659424    146.12    162.68
4162.75/1043.13	c  N dy 13638   2032139     24298    103827         0     76111    315345   3126267    146.12    153.92
4205.49/1053.82	c  N dy 13775   2052175     24298    103827         0     96146    315345   7687925    146.12    159.74
4252.15/1065.56	c  N dy 13908   2072461     24298    103827         0    116431    315345  12359117    146.13    155.27
4300.04/1077.54	c  N dy 14039   2092489     24298    103827         0     70467    315345   1624091    146.13    156.19
4341.94/1088.07	c  N dy 14181   2112524     24298    103827         0     90500    315345   6265153    146.16    162.46
4387.44/1099.49	c  N dy 14323   2132604     24298    103827         0    110578    315345  10893278    146.18    188.95
4436.93/1111.85	c  N dy 14457   2152742     24298    103827         0    130715    315345  15532438    146.18    155.75
4479.62/1122.53	c  N dy 14591   2172745     24298    103827         0     83724    315345   4402491    146.19    155.87
4523.92/1133.65	c  N dy 14728   2192775     24298    103827         0    103753    315345   9055337    146.21    158.70
4569.43/1145.06	c  S st 14856   2210923     24298    103827         0    121901    315345  13265838    146.23    138.85
4571.01/1145.41	c  S st 14856   2211425     24298    103827         0    122403    315345  13345295    146.23   no data
4571.01/1145.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4571.81/1145.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.16
4571.81/1145.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4571.81/1145.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4571.81/1145.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4571.81/1145.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
4571.81/1145.67	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4572.61/1145.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4576.20/1146.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4605.73/1154.18	c lits-rem:         3  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.41 s
4605.73/1154.19	c vivif2 --  cl tried   103827 cl shrink        0 lits rem          0 time: 0.01
4606.93/1154.42	c vivif2 --  cl tried   122395 cl shrink        0 lits rem          0 time: 0.22
4608.13/1154.71	c asymm  cl-useful: 0/103827/103827 lits-rem:0 time: 0.29
4608.13/1154.72	c calculated reachability. Time: 0.00
4608.13/1154.72	c  N dy 14856   2211425     24298    103827         0    122395    315345  13342983    146.23   no data
4655.61/1166.66	c  N dy 14995   2231495     24298    103827         0     74467    315345   2048042    146.25    205.56
4698.71/1177.44	c  N dy 15134   2251522     24298    103827         0     94493    315345   6636773    146.26    158.76
4745.03/1189.07	c  N dy 15267   2271552     24298    103827         0    114522    315345  11233391    146.27    165.66
4795.29/1201.66	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: 961)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.31 8.26 8.10 7/287 2907
/proc/meminfo: memFree=21542184/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 651511384 52396032 347 33554432000 4194304 4580107 140734242694784 18446744073709551615 47891710146482 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 12792 347 299 95 0 7774 0
[pid=2907/tid=2909] ppid=2904 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651511384 52396032 347 33554432000 4194304 4580107 140734242694784 18446744073709551615 47891710146472 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651511384 52396032 347 33554432000 4194304 4580107 140734242694784 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651511384 52396032 347 33554432000 4194304 4580107 140734242694784 18446744073709551615 47891710146482 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0754281 s]
/proc/loadavg: 8.31 8.26 8.10 7/287 2907
/proc/meminfo: memFree=21542184/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=305140 CPUtime=0.27 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) D 2904 2907 2765 0 -1 4202496 15965 0 0 0 24 3 0 0 18 0 4 0 651511384 312463360 13863 33554432000 4194304 4580107 140734242694784 18446744073709551615 4355016 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 76285 13863 337 95 0 71267 0
[pid=2907/tid=2909] ppid=2904 vsize=305140 CPUtime=0.06 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) D 2904 2907 2765 0 -1 4202560 3890 0 0 0 6 0 0 0 25 0 4 0 651511384 312463360 13863 33554432000 4194304 4580107 140734242694784 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=305140 CPUtime=0.06 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 3866 0 0 0 5 1 0 0 25 0 4 0 651511384 312463360 13863 33554432000 4194304 4580107 140734242694784 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=305140 CPUtime=0.05 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) D 2904 2907 2765 0 -1 4202560 3922 0 0 0 5 0 0 0 25 0 4 0 651511384 312463360 13863 33554432000 4194304 4580107 140734242694784 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 305140

[startup+0.163328 s]
/proc/loadavg: 8.31 8.26 8.10 7/287 2907
/proc/meminfo: memFree=21542184/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=310380 CPUtime=0.62 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 18240 0 0 0 59 3 0 0 18 0 4 0 651511384 317829120 16138 33554432000 4194304 4580107 140734242694784 18446744073709551615 4504174 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 77595 16138 358 95 0 72577 0
[pid=2907/tid=2909] ppid=2904 vsize=310380 CPUtime=0.15 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 4455 0 0 0 14 1 0 0 25 0 4 0 651511384 317829120 16138 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=310380 CPUtime=0.14 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 4430 0 0 0 13 1 0 0 25 0 4 0 651511384 317829120 16138 33554432000 4194304 4580107 140734242694784 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=310380 CPUtime=0.14 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 4493 0 0 0 14 0 0 0 25 0 4 0 651511384 317829120 16138 33554432000 4194304 4580107 140734242694784 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 310380

[startup+0.300308 s]
/proc/loadavg: 8.31 8.26 8.10 7/287 2907
/proc/meminfo: memFree=21542184/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=321804 CPUtime=1.17 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 26253 0 0 0 111 6 0 0 18 0 4 0 651511384 329527296 24151 33554432000 4194304 4580107 140734242694784 18446744073709551615 4414485 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 80451 24151 368 95 0 75433 0
[pid=2907/tid=2909] ppid=2904 vsize=321804 CPUtime=0.28 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 7099 0 0 0 27 1 0 0 18 0 4 0 651511384 329527296 24151 33554432000 4194304 4580107 140734242694784 18446744073709551615 4444188 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=321804 CPUtime=0.27 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 7065 0 0 0 26 1 0 0 25 0 4 0 651511384 329527296 24151 33554432000 4194304 4580107 140734242694784 18446744073709551615 4444203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=321804 CPUtime=0.28 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 4591 0 0 0 28 0 0 0 25 0 4 0 651511384 329527296 24151 33554432000 4194304 4580107 140734242694784 18446744073709551615 4305984 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 321804

[startup+0.700233 s]
/proc/loadavg: 8.31 8.26 8.10 7/287 2907
/proc/meminfo: memFree=21542184/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=324264 CPUtime=2.76 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 37704 0 0 0 269 7 0 0 18 0 4 0 651511384 332046336 26074 33554432000 4194304 4580107 140734242694784 18446744073709551615 4295327 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 81066 26075 377 95 0 76048 0
[pid=2907/tid=2909] ppid=2904 vsize=324264 CPUtime=0.69 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 10824 0 0 0 67 2 0 0 18 0 4 0 651511384 332046336 26075 33554432000 4194304 4580107 140734242694784 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=324264 CPUtime=0.67 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 10778 0 0 0 65 2 0 0 25 0 4 0 651511384 332046336 26075 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=324264 CPUtime=0.68 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 4893 0 0 0 68 0 0 0 25 0 4 0 651511384 332046336 26075 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 324264

[startup+1.50109 s]
/proc/loadavg: 8.31 8.26 8.10 11/291 2912
/proc/meminfo: memFree=21425344/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=324264 CPUtime=5.95 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 40185 0 0 0 587 8 0 0 19 0 4 0 651511384 332046336 28538 33554432000 4194304 4580107 140734242694784 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 81066 28538 377 95 0 76048 0
[pid=2907/tid=2909] ppid=2904 vsize=324264 CPUtime=1.49 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 11472 0 0 0 147 2 0 0 19 0 4 0 651511384 332046336 28538 33554432000 4194304 4580107 140734242694784 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=324264 CPUtime=1.46 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 11443 0 0 0 144 2 0 0 25 0 4 0 651511384 332046336 28538 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=324264 CPUtime=1.48 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 5445 0 0 0 148 0 0 0 25 0 4 0 651511384 332046336 28538 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 324264

[startup+3.10081 s]
/proc/loadavg: 8.37 8.27 8.11 9/291 2912
/proc/meminfo: memFree=21406620/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=456988 CPUtime=12.35 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 44958 0 0 0 1226 9 0 0 23 0 4 0 651511384 467955712 33311 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 114247 33311 377 95 0 109229 0
[pid=2907/tid=2909] ppid=2904 vsize=456988 CPUtime=3.09 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 12624 0 0 0 307 2 0 0 23 0 4 0 651511384 467955712 33311 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=456988 CPUtime=3.05 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 12557 0 0 0 303 2 0 0 25 0 4 0 651511384 467955712 33311 33554432000 4194304 4580107 140734242694784 18446744073709551615 4306246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=456988 CPUtime=3.09 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 6825 0 0 0 308 1 0 0 25 0 4 0 651511384 467955712 33311 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 456988

[startup+6.30024 s]
/proc/loadavg: 8.37 8.27 8.11 9/291 2912
/proc/meminfo: memFree=21283984/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=457488 CPUtime=25.11 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 53387 0 0 0 2500 11 0 0 25 0 4 0 651511384 468467712 41740 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 114372 41740 377 95 0 109354 0
[pid=2907/tid=2909] ppid=2904 vsize=457488 CPUtime=6.29 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 14760 0 0 0 626 3 0 0 25 0 4 0 651511384 468467712 41740 33554432000 4194304 4580107 140734242694784 18446744073709551615 4306295 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=457488 CPUtime=6.23 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 14653 0 0 0 620 3 0 0 25 0 4 0 651511384 468467712 41741 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=457488 CPUtime=6.28 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 8899 0 0 0 627 1 0 0 25 0 4 0 651511384 468467712 41741 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 457488

[startup+12.7011 s]
/proc/loadavg: 8.31 8.27 8.11 9/291 2912
/proc/meminfo: memFree=21179984/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=641544 CPUtime=50.65 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 92321 0 0 0 5045 20 0 0 25 0 4 0 651511384 656941056 58921 33554432000 4194304 4580107 140734242694784 18446744073709551615 4451883 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 160386 58921 379 95 0 155368 0
[pid=2907/tid=2909] ppid=2904 vsize=641544 CPUtime=12.69 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 20278 0 0 0 1264 5 0 0 25 0 4 0 651511384 656941056 58921 33554432000 4194304 4580107 140734242694784 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=641544 CPUtime=12.57 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 20188 0 0 0 1253 4 0 0 25 0 4 0 651511384 656941056 58921 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=641544 CPUtime=12.68 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 14209 0 0 0 1265 3 0 0 25 0 4 0 651511384 656941056 58921 33554432000 4194304 4580107 140734242694784 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 641544

[startup+25.5008 s]
/proc/loadavg: 8.26 8.26 8.10 9/291 2912
/proc/meminfo: memFree=20913396/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=695072 CPUtime=101.73 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 167758 0 0 0 10133 40 0 0 25 0 4 0 651511384 711753728 99768 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 173768 99768 379 95 0 168750 0
[pid=2907/tid=2909] ppid=2904 vsize=695072 CPUtime=25.48 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 52145 0 0 0 2535 13 0 0 25 0 4 0 651511384 711753728 99768 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=695072 CPUtime=25.25 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 35051 0 0 0 2516 9 0 0 25 0 4 0 651511384 711753728 99768 33554432000 4194304 4580107 140734242694784 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=695072 CPUtime=25.48 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 32034 0 0 0 2541 7 0 0 25 0 4 0 651511384 711753728 99768 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 695072

[startup+51.1003 s]
/proc/loadavg: 8.38 8.28 8.11 9/291 2913
/proc/meminfo: memFree=20693740/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=836312 CPUtime=203.9 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 251356 0 0 0 20329 61 0 0 25 0 4 0 651511384 856383488 134797 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 209078 134797 379 95 0 204060 0
[pid=2907/tid=2909] ppid=2904 vsize=836312 CPUtime=51.08 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 67747 0 0 0 5090 18 0 0 25 0 4 0 651511384 856383488 134797 33554432000 4194304 4580107 140734242694784 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=836312 CPUtime=50.61 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 56514 0 0 0 5047 14 0 0 25 0 4 0 651511384 856383488 134797 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=836312 CPUtime=51.08 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 49635 0 0 0 5097 11 0 0 25 0 4 0 651511384 856383488 134797 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 836312

[startup+102.311 s]
/proc/loadavg: 8.26 8.26 8.11 9/291 2914
/proc/meminfo: memFree=20547264/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=967472 CPUtime=408.27 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 361927 0 0 0 40734 93 0 0 25 0 4 0 651511384 990691328 166841 33554432000 4194304 4580107 140734242694784 18446744073709551615 4320813 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 241868 166841 379 95 0 236850 0
[pid=2907/tid=2909] ppid=2904 vsize=967472 CPUtime=102.3 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 96519 0 0 0 10204 26 0 0 25 0 4 0 651511384 990691328 166841 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=967472 CPUtime=101.36 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 85579 0 0 0 10113 23 0 0 25 0 4 0 651511384 990691328 166841 33554432000 4194304 4580107 140734242694784 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=967472 CPUtime=102.29 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 70340 0 0 0 10212 17 0 0 25 0 4 0 651511384 990691328 166841 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 967472

[startup+162.301 s]

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

[pid=2907] ppid=2904 vsize=1466452 CPUtime=2563.27 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 1364618 0 0 0 255910 417 0 0 25 0 4 0 651511384 1501646848 279827 33554432000 4194304 4580107 140734242694784 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 366613 279827 379 95 0 361595 0
[pid=2907/tid=2909] ppid=2904 vsize=1466452 CPUtime=642.27 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 362501 0 0 0 64114 113 0 0 25 0 4 0 651511384 1501646848 279833 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1466452 CPUtime=636.45 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 339229 0 0 0 63535 110 0 0 25 0 4 0 651511384 1501646848 279833 33554432000 4194304 4580107 140734242694784 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1466452 CPUtime=642.27 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 307622 0 0 0 64139 88 0 0 25 0 4 0 651511384 1501646848 279833 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2563.27
Current children cumulated vsize (KiB) 1466452

[startup+702.301 s]
/proc/loadavg: 8.21 8.23 8.15 9/291 2940
/proc/meminfo: memFree=19832812/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1525348 CPUtime=2802.71 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 1460768 0 0 0 279820 451 0 0 25 0 4 0 651511384 1561956352 285471 33554432000 4194304 4580107 140734242694784 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 381337 285471 379 95 0 376319 0
[pid=2907/tid=2909] ppid=2904 vsize=1525348 CPUtime=702.26 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 387217 0 0 0 70105 121 0 0 25 0 4 0 651511384 1561956352 285471 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1525348 CPUtime=695.89 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 361758 0 0 0 69472 117 0 0 25 0 4 0 651511384 1561956352 285471 33554432000 4194304 4580107 140734242694784 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1525348 CPUtime=702.26 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 328849 0 0 0 70130 96 0 0 25 0 4 0 651511384 1561956352 285471 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.71
Current children cumulated vsize (KiB) 1525348

[startup+762.311 s]
/proc/loadavg: 8.60 8.31 8.18 9/291 2946
/proc/meminfo: memFree=19788912/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1468600 CPUtime=3042.2 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 1555063 0 0 0 303732 488 0 0 25 0 4 0 651511384 1503846400 279492 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 367150 279493 379 95 0 362132 0
[pid=2907/tid=2909] ppid=2904 vsize=1468600 CPUtime=762.28 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 411729 0 0 0 76097 131 0 0 25 0 4 0 651511384 1503846400 279493 33554432000 4194304 4580107 140734242694784 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1468600 CPUtime=755.35 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 386128 0 0 0 75410 125 0 0 25 0 4 0 651511384 1503846400 279493 33554432000 4194304 4580107 140734242694784 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1468600 CPUtime=762.27 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 349883 0 0 0 76121 106 0 0 25 0 4 0 651511384 1503846400 279493 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3042.2
Current children cumulated vsize (KiB) 1468600

[startup+822.3 s]
/proc/loadavg: 8.47 8.33 8.19 9/291 2947
/proc/meminfo: memFree=19738384/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1469672 CPUtime=3281.6 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 1653784 0 0 0 327636 524 0 0 25 0 4 0 651511384 1504944128 299598 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 367418 299598 379 95 0 362400 0
[pid=2907/tid=2909] ppid=2904 vsize=1469672 CPUtime=822.26 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 439512 0 0 0 82086 140 0 0 25 0 4 0 651511384 1504944128 299598 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1469672 CPUtime=814.8 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 409974 0 0 0 81347 133 0 0 25 0 4 0 651511384 1504944128 299598 33554432000 4194304 4580107 140734242694784 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1469672 CPUtime=822.26 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 370625 0 0 0 82112 114 0 0 25 0 4 0 651511384 1504944128 299598 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3281.6
Current children cumulated vsize (KiB) 1469672

[startup+882.301 s]
/proc/loadavg: 8.32 8.31 8.19 9/291 2949
/proc/meminfo: memFree=19715424/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1470692 CPUtime=3521.05 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 1740062 0 0 0 351548 557 0 0 25 0 4 0 651511384 1505988608 295460 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 367673 295460 379 95 0 362655 0
[pid=2907/tid=2909] ppid=2904 vsize=1470692 CPUtime=882.26 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 460097 0 0 0 88078 148 0 0 25 0 4 0 651511384 1505988608 295460 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1470692 CPUtime=874.25 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 432197 0 0 0 87283 142 0 0 25 0 4 0 651511384 1505988608 295460 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1470692 CPUtime=882.26 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 391141 0 0 0 88105 121 0 0 25 0 4 0 651511384 1505988608 295460 33554432000 4194304 4580107 140734242694784 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3521.05
Current children cumulated vsize (KiB) 1470692

[startup+942.301 s]
/proc/loadavg: 8.26 8.30 8.19 9/291 2951
/proc/meminfo: memFree=19664300/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1530368 CPUtime=3760.5 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 1839822 0 0 0 375455 595 0 0 25 0 4 0 651511384 1567096832 304718 33554432000 4194304 4580107 140734242694784 18446744073709551615 4301838 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 382592 304718 379 95 0 377574 0
[pid=2907/tid=2909] ppid=2904 vsize=1530368 CPUtime=942.26 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 487875 0 0 0 94066 160 0 0 25 0 4 0 651511384 1567096832 304718 33554432000 4194304 4580107 140734242694784 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1530368 CPUtime=933.7 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 459516 0 0 0 93220 150 0 0 25 0 4 0 651511384 1567096832 304718 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1530368 CPUtime=942.26 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 411985 0 0 0 94097 129 0 0 25 0 4 0 651511384 1567096832 304718 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3760.5
Current children cumulated vsize (KiB) 1530368

[startup+1002.3 s]
/proc/loadavg: 8.35 8.30 8.20 9/291 2952
/proc/meminfo: memFree=19458184/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1414496 CPUtime=3999.93 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 1953027 0 0 0 399358 635 0 0 25 0 4 0 651511384 1448443904 289039 33554432000 4194304 4580107 140734242694784 18446744073709551615 4318686 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 353624 289039 379 95 0 348606 0
[pid=2907/tid=2909] ppid=2904 vsize=1414496 CPUtime=1002.26 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 511132 0 0 0 100056 170 0 0 25 0 4 0 651511384 1448443904 289039 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1414496 CPUtime=993.16 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 499315 0 0 0 99154 162 0 0 25 0 4 0 651511384 1448443904 289039 33554432000 4194304 4580107 140734242694784 18446744073709551615 4324385 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1414496 CPUtime=1002.25 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 435474 0 0 0 100088 137 0 0 25 0 4 0 651511384 1448443904 289039 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3999.93
Current children cumulated vsize (KiB) 1414496

[startup+1062.3 s]
/proc/loadavg: 8.35 8.30 8.20 9/291 2954
/proc/meminfo: memFree=19459536/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1482292 CPUtime=4239.38 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 2055580 0 0 0 423265 673 0 0 25 0 4 0 651511384 1517867008 322450 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 370573 322450 379 95 0 365555 0
[pid=2907/tid=2909] ppid=2904 vsize=1482292 CPUtime=1062.25 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 536688 0 0 0 106046 179 0 0 25 0 4 0 651511384 1517867008 322450 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1482292 CPUtime=1052.61 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 525186 0 0 0 105089 172 0 0 25 0 4 0 651511384 1517867008 322450 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1482292 CPUtime=1062.26 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 460733 0 0 0 106080 146 0 0 25 0 4 0 651511384 1517867008 322450 33554432000 4194304 4580107 140734242694784 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4239.38
Current children cumulated vsize (KiB) 1482292

[startup+1122.3 s]
/proc/loadavg: 8.34 8.28 8.19 9/291 2955
/proc/meminfo: memFree=19503284/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1424556 CPUtime=4478.82 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 2163154 0 0 0 447173 709 0 0 25 0 4 0 651511384 1458745344 295992 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 356139 295992 379 95 0 351121 0
[pid=2907/tid=2909] ppid=2904 vsize=1424556 CPUtime=1122.25 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 563812 0 0 0 112037 188 0 0 25 0 4 0 651511384 1458745344 295992 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1424556 CPUtime=1112.06 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 551474 0 0 0 111023 183 0 0 25 0 4 0 651511384 1458745344 295992 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1424556 CPUtime=1122.25 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 488147 0 0 0 112071 154 0 0 25 0 4 0 651511384 1458745344 295992 33554432000 4194304 4580107 140734242694784 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.82
Current children cumulated vsize (KiB) 1424556

[startup+1182.3 s]
/proc/loadavg: 8.26 8.27 8.19 9/291 2957
/proc/meminfo: memFree=19037392/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1862780 CPUtime=4718.28 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 2335082 0 0 0 471070 758 0 0 25 0 4 0 651511384 1907486720 397338 33554432000 4194304 4580107 140734242694784 18446744073709551615 4316418 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 465695 397339 379 95 0 460677 0
[pid=2907/tid=2909] ppid=2904 vsize=1862780 CPUtime=1182.26 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 617070 0 0 0 118025 201 0 0 25 0 4 0 651511384 1907486720 397339 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1862780 CPUtime=1171.52 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 576216 0 0 0 116959 193 0 0 25 0 4 0 651511384 1907486720 397339 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1862780 CPUtime=1182.25 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 536462 0 0 0 118060 165 0 0 25 0 4 0 651511384 1907486720 397339 33554432000 4194304 4580107 140734242694784 18446744073709551615 4324367 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4718.28
Current children cumulated vsize (KiB) 1862780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.17 8.24 8.18 10/291 2958
/proc/meminfo: memFree=19113764/32951124 swapFree=66457188/67111528
[pid=2907] ppid=2904 vsize=1744092 CPUtime=4800.1 cores=1,3,5,7
/proc/2907/stat : 2907 (strangenight2-m) R 2904 2907 2765 0 -1 4202496 2370544 0 0 0 479238 772 0 0 25 0 4 0 651511384 1785950208 380564 33554432000 4194304 4580107 140734242694784 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2907/statm: 436023 380564 379 95 0 431005 0
[pid=2907/tid=2909] ppid=2904 vsize=1744092 CPUtime=1202.76 cores=1,3,5,7
/proc/2907/task/2909/stat : 2909 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 626169 0 0 0 120072 204 0 0 25 0 4 0 651511384 1785950208 380568 33554432000 4194304 4580107 140734242694784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2907/tid=2910] ppid=2904 vsize=1744092 CPUtime=1191.83 cores=1,3,5,7
/proc/2907/task/2910/stat : 2910 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 585296 0 0 0 118986 197 0 0 25 0 4 0 651511384 1785950208 380568 33554432000 4194304 4580107 140734242694784 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2907/tid=2911] ppid=2904 vsize=1744092 CPUtime=1202.75 cores=1,3,5,7
/proc/2907/task/2911/stat : 2911 (strangenight2-m) R 2904 2907 2765 0 -1 4202560 546095 0 0 0 120106 169 0 0 25 0 4 0 651511384 1785950208 380568 33554432000 4194304 4580107 140734242694784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1744092

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): 1202.88
CPU time (s): 4800.2
CPU user time (s): 4792.42
CPU system time (s): 7.78482
CPU usage (%): 399.059
Max. virtual memory (cumulated for all children) (KiB): 1876956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.42
system time used= 7.78482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2370557
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= 2814
involuntary context switches= 22492

runsolver used 3.04454 second user time and 7.9238 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 20:52:12
IDJOB=3366219
IDBENCH=82628
IDSOLVER=1844
FILE ID=node132/3366219-1305399132
RUNJOBID= node132-1305397927-2784
PBS_JOBID= 13324471
Free space on /tmp= 73324 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366219-1305399132/watcher-3366219-1305399132 -o /tmp/evaluation-result-3366219-1305399132/solver-3366219-1305399132 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366219-1305399132.cnf

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

MD5SUM BENCH= 15b86e0c1384321ea7bbac2466a811a7
RANDOM SEED=2128915495

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:      21542464 kB
Buffers:        275728 kB
Cached:        5565464 kB
SwapCached:       6904 kB
Active:        4790160 kB
Inactive:      6312856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21542464 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           13244 kB
Writeback:           4 kB
AnonPages:     5259436 kB
Mapped:          19460 kB
Slab:           218012 kB
PageTables:      23924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34838420 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= 73320 MiB
End job on node132 at 2011-05-14 21:12:17