Trace number 3366146

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.36 1203.18

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf
MD5SUMa93695501183427990f531672c9572d2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark86.7978
Satisfiable
(Un)Satisfiability was proved
Number of variables24998
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-3366146-1305397069.cnf'
0.00/0.01	c -- header says num vars:          24998
0.00/0.01	c -- header says num clauses:      105000
0.00/0.22	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.00/0.22	c -- vars added      24998
0.00/0.22	c Parsing time:  0.06 s
0.00/0.22	c  N st     0         0     24998    105000         0         0    315000         0   no data   no data
0.00/0.22	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.00/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
1.15/0.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.15/0.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.15/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.15/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24998 time:  0.01 s
1.15/0.31	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
3.95/1.00	c lits-rem:         0  cl-subs:        0  v-elim:    642  v-fix:    0  time:  0.17 s
3.95/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.95/1.00	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
3.95/1.00	c calculated reachability. Time: 0.00
3.95/1.00	c Calc default polars -  time:   0.01 s pos:   11145 undec:    2817 neg:   11036
3.95/1.00	c =========================================================================================
3.95/1.00	c types(t): F = full restart, N = normal restart
3.95/1.00	c types(t): S = simplification begin/end, E = solution found
3.95/1.00	c restart types(rt): st = static, dy = dynamic
3.95/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.95/1.00	c  B st     0         0     24356    104287         0         0    316846         0   no data   no data
7.14/1.89	c  N dy    18      4010     24356    104287         0      4009    316846    937373    140.13    206.95
12.73/3.29	c  N dy    47      8057     24356    104287         0      8054    316846   1832291    143.30    152.68
18.71/4.72	c  N dy    73     12152     24356    104287         0     12149    316846   2723326    141.55    150.12
24.70/6.24	c  N dy    98     16354     24356    104287         0     16351    316846   3622882    140.93    148.43
31.10/7.86	c  N dy   130     20625     24356    104287         0     10622    316846    718728    141.80    154.80
36.66/9.29	c  N dy   152     24633     24356    104287         0     14630    316846   1561208    140.97    153.01
37.46/9.43	c  F st   155     25000     24356    104287         0     14997    316846   1645498    141.11   no data
45.85/11.53	c  N dy   161     30000     24356    104287         0     19997    316846   3354877    141.11   no data
45.85/11.53	c  S st   161     30000     24356    104287         0     19997    316846   3354877    141.11   no data
46.64/11.71	c  S st   161     30500     24356    104287         0     20497    316846   3431722    141.11   no data
46.64/11.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.64/11.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
47.04/11.83	c blocked clauses removed:      570 vars:     96 tried:       24356 T: 0.01 s
47.04/11.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.04/11.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.04/11.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24260 time:  0.01 s
47.04/11.86	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.44/11.96	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.10 s
48.65/12.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
51.83/13.05	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.77 s
52.23/13.17	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.12
52.23/13.18	c calculated reachability. Time: 0.00
52.23/13.18	c  N dy   161     30500     24246    103705         0     20198    315196   3310885    141.11   no data
59.41/14.92	c  N dy   192     34789     24246    103705         0     24487    315196   4278662    141.54    154.74
65.80/16.59	c  N dy   221     38874     24246    103705         0     28572    315196   5193463    141.74    150.58
72.57/18.22	c  N dy   247     42926     24246    103705         0     17275    315196   1101726    141.42    149.27
76.57/19.28	c  S st   263     45750     24246    103705         0     20099    315196   1719029    140.95    115.25
77.36/19.49	c  S st   263     46251     24246    103705         0     20600    315196   1800179    140.95   no data
77.76/19.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.76/19.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
77.76/19.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.16/19.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
78.16/19.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.16/19.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
78.16/19.62	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
78.57/19.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
78.97/19.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
79.79/20.09	c lits-rem:         4  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
80.15/20.11	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
80.15/20.14	c vivif2 --  cl tried    20600 cl shrink        0 lits rem          0 time: 0.03
80.55/20.26	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.12
80.55/20.27	c calculated reachability. Time: 0.00
80.55/20.27	c  N dy   263     46251     24246    103705         0     20600    315196   1800175    140.95   no data
87.34/21.91	c  N dy   292     50410     24246    103705         0     24759    315196   2709580    141.09    149.60
93.72/23.57	c  N dy   324     54567     24246    103705         0     28915    315196   3628936    141.44    153.62
100.51/25.23	c  N dy   350     58657     24246    103705         0     33005    315196   4521464    141.47    151.70
107.28/26.92	c  N dy   377     62676     24246    103705         0     37024    315196   5412173    141.56    153.42
113.68/28.53	c  N dy   406     66713     24246    103705         0     22385    315196   1519629    141.81    151.63
118.06/29.61	c  S st   425     69376     24246    103705         0     25048    315196   2109501    141.87   no data
118.88/29.81	c  S st   425     69879     24246    103705         0     25551    315196   2194891    141.87   no data
118.88/29.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
118.88/29.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
119.30/29.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
119.30/29.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
119.30/29.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
119.30/29.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
119.30/29.95	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
119.65/30.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
120.05/30.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
121.66/30.59	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.39 s
122.06/30.60	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
122.06/30.64	c vivif2 --  cl tried    25550 cl shrink        0 lits rem          0 time: 0.04
122.46/30.77	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.13
122.46/30.78	c calculated reachability. Time: 0.00
122.46/30.78	c  N dy   425     69879     24246    103705         0     25550    315196   2194132    141.87   no data
130.03/32.62	c  N dy   458     74391     24246    103705         0     30062    315196   3206438    141.92    157.98
138.00/34.63	c  N dy   493     79145     24246    103705         0     34816    315196   4288855    142.16    156.34
146.78/36.82	c  N dy   534     84280     24246    103705         0     39950    315196   5501601    142.79    152.75
152.38/38.22	c  F st   557     87501     24246    103705         0     22334    315196    989926    142.91    154.24
157.56/39.58	c  N st   562     90803     24246    103705         0     25636    315196   1917454    142.91   no data
167.58/42.01	c  N dy   594     96620     24246    103705         0     31452    315196   3379746    143.11    152.05
177.51/44.60	c  N dy   633    102876     24246    103705         0     37708    315196   4735962    142.99    159.68
181.10/45.41	c  S st   643    104819     24246    103705         0     39651    315196   5137822    142.76    119.33
181.90/45.64	c  S st   643    105319     24246    103705         0     40151    315196   5228037    142.76   no data
181.90/45.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
182.30/45.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
182.30/45.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
182.30/45.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
182.30/45.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
182.30/45.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
182.70/45.80	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
183.10/45.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
184.30/46.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
190.68/47.80	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.54 s
190.68/47.82	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
191.07/47.90	c vivif2 --  cl tried    40146 cl shrink        0 lits rem          0 time: 0.09
191.47/48.06	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.16
191.47/48.06	c calculated reachability. Time: 0.00
191.47/48.06	c  N dy   643    105319     24246    103705         0     40146    315196   5226154    142.76   no data
203.44/51.08	c  N dy   692    112211     24246    103705         0     24622    315196   1075506    142.70    150.82
215.44/54.08	c  N dy   744    119412     24246    103705         0     31823    315196   2677465    142.73    153.48
228.61/57.33	c  N dy   796    127148     24246    103705         0     39559    315196   4388191    142.75    158.63
242.94/60.91	c  N dy   851    135331     24246    103705         0     24037    315196    655295    142.83    150.53
256.91/64.41	c  N dy   909    143980     24246    103705         0     32686    315196   2566742    142.91    151.98
272.49/68.38	c  N dy   977    153208     24246    103705         0     41914    315196   4631022    143.10    166.17
281.28/70.52	c  S st  1012    157978     24246    103705         0     46684    315196   5695255    143.17    133.37
282.05/70.76	c  S st  1012    158481     24246    103705         0     47187    315196   5779686    143.17   no data
282.05/70.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
282.45/70.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
282.45/70.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
282.85/70.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
282.85/70.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
282.85/70.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
282.85/70.93	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
283.25/71.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
284.44/71.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
293.63/73.62	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  2.20 s
293.63/73.63	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
294.03/73.73	c vivif2 --  cl tried    47187 cl shrink        0 lits rem          0 time: 0.09
294.44/73.89	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.17
294.44/73.90	c calculated reachability. Time: 0.00
294.44/73.90	c  N dy  1012    158481     24246    103705         0     47187    315196   5779685    143.17   no data
312.00/78.28	c  N dy  1084    168730     24246    103705         0     32580    315196   2270717    143.26    150.85
330.72/82.95	c  N dy  1154    179679     24246    103705         0     43529    315196   4670971    143.08    151.18
351.08/88.01	c  N dy  1230    191203     24246    103705         0     29124    315196   1217857    143.00    152.20
371.43/93.14	c  N dy  1310    203408     24246    103705         0     41329    315196   3936464    143.00    151.20
394.57/98.98	c  N dy  1391    216431     24246    103705         0     27396    315196    603110    143.10    169.16
418.51/104.91	c  N dy  1492    230331     24246    103705         0     41295    315196   3773534    143.33    164.68
431.67/108.21	c  S st  1547    237723     24246    103705         0     48687    315196   5437620    143.43    147.18
432.47/108.45	c  S st  1547    238226     24246    103705         0     49190    315196   5525735    143.43   no data
432.47/108.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
432.87/108.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
432.87/108.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.87/108.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
433.27/108.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
433.27/108.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
433.27/108.62	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
433.67/108.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
434.88/109.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
444.08/111.31	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.26 s
444.08/111.33	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
444.43/111.42	c vivif2 --  cl tried    49187 cl shrink        0 lits rem          0 time: 0.09
444.83/111.59	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.17
445.23/111.60	c calculated reachability. Time: 0.00
445.23/111.60	c  N dy  1547    238226     24246    103705         0     49187    315196   5524660    143.43   no data
471.97/118.31	c  N dy  1650    253477     24246    103705         0     36453    315196   2365872    143.51    163.90
500.71/125.58	c  N dy  1763    269731     24246    103705         0     52707    315196   6130318    143.73    184.36
531.44/133.21	c  N dy  1878    286971     24246    103705         0     40953    315196   3114918    143.67    152.34
564.53/141.53	c  N dy  2002    305431     24246    103705         0     59413    315196   7210275    143.61    151.53
566.14/141.96	c  F st  2008    306253     24246    103705         0     30240    315196    512453    143.60    125.63
599.65/150.32	c  N dy  2112    325007     24246    103705         0     48994    315196   5162757    143.72    153.90
635.97/159.47	c  N dy  2255    345060     24246    103705         0     38049    315196   2061839    143.80    156.01
657.91/164.99	c  S st  2342    357340     24246    103705         0     50329    315196   4872473    143.92   no data
659.14/165.24	c  S st  2342    357844     24246    103705         0     50833    315196   4961891    143.92   no data
659.14/165.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
659.50/165.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
659.50/165.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
659.50/165.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
659.50/165.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
659.90/165.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
659.90/165.41	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
660.30/165.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
661.09/165.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
669.88/167.92	c lits-rem:         8  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.11 s
669.88/167.93	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
670.28/168.01	c vivif2 --  cl tried    50829 cl shrink        0 lits rem          0 time: 0.08
670.68/168.19	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.17
671.07/168.20	c calculated reachability. Time: 0.00
671.07/168.20	c  N dy  2342    357844     24246    103705         0     50829    315196   4960324    143.92   no data
707.42/177.38	c  N dy  2472    377903     24246    103705         0     38893    315196   2024009    143.91    178.59
744.49/186.65	c  N dy  2603    398071     24246    103705         0     59060    315196   6550349    143.86    156.72
780.80/195.76	c  N dy  2737    418165     24246    103705         0     46158    315196   3376353    143.92    157.83
818.30/205.19	c  N dy  2875    438182     24246    103705         0     66172    315196   7897896    143.97    153.53
854.21/214.16	c  N dy  3001    458270     24246    103705         0     52256    315196   4520967    143.92    189.12
892.51/223.74	c  N dy  3135    478300     24246    103705         0     37289    315196    982444    143.96    152.20
928.82/232.84	c  N dy  3275    498349     24246    103705         0     57336    315196   5547297    144.05    183.55
967.13/242.46	c  N dy  3410    518500     24246    103705         0     41488    315196   1694548    144.09    157.19
1001.06/250.95	c  S st  3532    536767     24246    103705         0     59753    315196   5934643    144.20   no data
1002.24/251.20	c  S st  3532    537273     24246    103705         0     60259    315196   6014648    144.20   no data
1002.24/251.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1002.64/251.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1002.64/251.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1002.64/251.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1002.64/251.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1002.64/251.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
1002.64/251.38	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
1003.44/251.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1004.64/251.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1016.60/254.88	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time:  3.03 s
1016.60/254.90	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
1017.00/254.99	c vivif2 --  cl tried    60251 cl shrink        0 lits rem          0 time: 0.10
1017.81/255.18	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.19
1017.81/255.19	c calculated reachability. Time: 0.00
1017.81/255.19	c  N dy  3532    537273     24246    103705         0     60251    315196   6012765    144.20   no data
1056.51/264.86	c  N dy  3672    557307     24246    103705         0     43285    315196   1886185    144.28    157.57
1093.66/274.19	c  N dy  3815    577357     24246    103705         0     63334    315196   6378099    144.33    152.31
1132.73/283.96	c  N dy  3960    597462     24246    103705         0     45448    315196   2185997    144.42    154.14
1170.62/293.42	c  N dy  4095    617554     24246    103705         0     65539    315196   6732417    144.43    152.45
1209.32/303.16	c  N dy  4235    637575     24246    103705         0     46561    315196   2226627    144.48    158.63
1246.85/312.57	c  N dy  4359    657651     24246    103705         0     66636    315196   6747808    144.45    152.38
1286.35/322.42	c  N dy  4500    677724     24246    103705         0     46707    315196   1982441    144.50    152.14
1325.43/332.24	c  N dy  4646    697762     24246    103705         0     66743    315196   6559428    144.60    161.96
1365.35/342.21	c  N dy  4780    717791     24246    103705         0     45776    315196   1518036    144.62    154.99
1403.24/351.78	c  N dy  4914    737888     24246    103705         0     65871    315196   6127063    144.69    157.58
1444.35/362.09	c  N dy  5058    757951     24246    103705         0     43932    315196    914533    144.76    172.48
1481.84/371.44	c  N dy  5196    777983     24246    103705         0     63962    315196   5494616    144.83    154.50
1522.53/381.69	c  N dy  5330    797997     24246    103705         0     83972    315196  10016678    144.84    155.07
1538.09/385.54	c  S st  5387    805909     24246    103705         0     48886    315196   1812595    144.84   no data
1538.89/385.79	c  S st  5387    806413     24246    103705         0     49390    315196   1908440    144.84   no data
1539.29/385.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1539.29/385.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1539.69/385.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1539.69/385.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1539.69/385.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1539.69/385.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
1539.69/385.95	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
1540.10/386.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1540.50/386.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1543.28/386.87	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.69 s
1543.28/386.88	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
1543.68/386.92	c vivif2 --  cl tried    49387 cl shrink        0 lits rem          0 time: 0.03
1544.08/387.09	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.17
1544.08/387.09	c calculated reachability. Time: 0.00
1544.08/387.09	c  N dy  5387    806413     24246    103705         0     49387    315196   1907207    144.84   no data
1582.38/396.69	c  N dy  5518    826462     24246    103705         0     69433    315196   6481078    144.84    170.01
1624.72/407.26	c  N dy  5652    846540     24246    103705         0     45518    315196    826160    144.85    153.69
1662.18/416.69	c  N dy  5784    866615     24246    103705         0     65590    315196   5397248    144.87    154.93
1703.72/427.02	c  N dy  5914    886649     24246    103705         0     85622    315196   9984028    144.87    154.35
1742.38/436.78	c  N dy  6046    906826     24246    103705         0     60803    315196   4130207    144.85    152.88
1783.07/446.92	c  N dy  6179    926926     24246    103705         0     80902    315196   8677694    144.85    162.32
1823.37/457.09	c  N dy  6315    947034     24246    103705         0     55012    315196   2534570    144.88    153.76
1863.27/467.06	c  N dy  6454    967185     24246    103705         0     75162    315196   7156771    144.90    155.24
1906.36/477.83	c  N dy  6593    987253     24246    103705         0     48229    315196    766781    144.94    152.67
1944.69/487.45	c  N dy  6731   1007362     24246    103705         0     68338    315196   5310814    144.95    154.56
1986.57/497.92	c  N dy  6862   1027456     24246    103705         0     88430    315196   9879568    144.94    158.83
2027.26/508.14	c  N dy  7009   1047551     24246    103705         0     60530    315196   3375188    145.01    160.05
2068.00/518.37	c  N dy  7163   1067647     24246    103705         0     80626    315196   8016048    145.11    154.49
2077.14/520.62	c  F st  7191   1071875     24246    103705         0     84854    315196   8961681    145.12    128.62
2110.65/529.02	c  N dy  7268   1087710     24246    103705         0     51695    315196   1111234    145.14    153.25
2149.75/538.89	c  N dy  7404   1107949     24246    103705         0     71933    315196   5745974    145.14    153.34
2192.44/549.57	c  N dy  7545   1127997     24246    103705         0     91977    315196  10349976    145.18    155.73
2233.55/559.89	c  N dy  7675   1148204     24246    103705         0     62184    315196   3248764    145.16    156.92
2274.63/570.11	c  N dy  7801   1168339     24246    103705         0     82318    315196   7892473    145.18    153.92
2318.53/581.17	c  N dy  7931   1188413     24246    103705         0     51400    315196    590801    145.14    154.73
2358.43/591.13	c  N dy  8069   1208442     24246    103705         0     71428    315196   5131597    145.15    155.50
2360.82/591.79	c  S st  8077   1209619     24246    103705         0     72605    315196   5413984    145.15    142.11
2362.06/592.07	c  S st  8077   1210127     24246    103705         0     73113    315196   5481574    145.15   no data
2362.06/592.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2362.41/592.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.10
2362.81/592.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2362.81/592.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2362.81/592.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2362.81/592.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
2362.81/592.25	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
2363.21/592.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2364.41/592.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2377.18/595.80	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.10 s
2377.18/595.81	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
2377.58/595.91	c vivif2 --  cl tried    73108 cl shrink        0 lits rem          0 time: 0.09
2378.37/596.12	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.21
2378.37/596.13	c calculated reachability. Time: 0.00
2378.37/596.13	c  N dy  8077   1210127     24246    103705         0     73108    315196   5480276    145.15   no data
2421.07/606.80	c  N dy  8213   1230188     24246    103705         0     93169    315196  10028241    145.15    161.57
2463.00/617.39	c  N dy  8354   1250227     24246    103705         0     61204    315196   2623196    145.21    154.13
2503.66/627.57	c  N dy  8490   1270233     24246    103705         0     81210    315196   7218953    145.24    154.88
2548.75/638.82	c  N dy  8631   1290417     24246    103705         0    101391    315196  11827453    145.27    158.49
2589.46/649.05	c  N dy  8770   1310524     24246    103705         0     68504    315196   4066571    145.30    174.07
2631.74/659.68	c  N dy  8911   1330578     24246    103705         0     88557    315196   8654844    145.31    163.35
2677.22/671.11	c  N dy  9053   1350655     24246    103705         0     54631    315196    666080    145.34    161.89
2716.73/680.92	c  N dy  9193   1370735     24246    103705         0     74711    315196   5235506    145.37    153.73
2759.82/691.74	c  N dy  9334   1390750     24246    103705         0     94725    315196   9837229    145.41    153.51
2804.10/702.84	c  N dy  9467   1410758     24246    103705         0     59737    315196   1619245    145.40    155.81
2844.42/712.93	c  N dy  9607   1430819     24246    103705         0     79797    315196   6211732    145.41    154.67
2888.73/724.04	c  N dy  9745   1450912     24246    103705         0     99889    315196  10832622    145.43    154.32
2932.98/735.14	c  N dy  9893   1470962     24246    103705         0     63938    315196   2409233    145.50    154.38
2974.07/745.45	c  N dy 10029   1491000     24246    103705         0     83975    315196   7034745    145.52    153.22
3018.76/756.67	c  N dy 10165   1511082     24246    103705         0    104057    315196  11628965    145.52    153.36
3062.25/767.51	c  N dy 10301   1531143     24246    103705         0     67120    315196   2893943    145.54    166.65
3104.14/778.08	c  N dy 10443   1551226     24246    103705         0     87203    315196   7614121    145.60    153.50
3150.42/789.65	c  N dy 10592   1571392     24246    103705         0    107368    315196  12249284    145.65    162.47
3193.91/800.58	c  N dy 10732   1591477     24246    103705         0     69452    315196   3224614    145.67    160.20
3235.45/810.99	c  N dy 10859   1611482     24246    103705         0     89455    315196   7789224    145.66    155.88
3281.29/822.44	c  N dy 10992   1631608     24246    103705         0    109578    315196  12338153    145.67    155.01
3324.78/833.30	c  N dy 11125   1651693     24246    103705         0     70668    315196   3224083    145.66    153.57
3366.69/843.91	c  N dy 11256   1671728     24246    103705         0     90702    315196   7762820    145.64    157.04
3413.36/855.54	c  N dy 11399   1691784     24246    103705         0    110754    315196  12355453    145.66    155.60
3454.48/865.88	c  S st 11526   1710127     24246    103705         0     69100    315196   2657270    145.68    137.69
3455.65/866.18	c  S st 11526   1710629     24246    103705         0     69602    315196   2738290    145.68   no data
3455.65/866.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3456.45/866.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
3456.45/866.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3456.45/866.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3456.45/866.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3456.45/866.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
3456.45/866.37	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
3456.85/866.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
3457.65/866.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3464.83/868.45	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.80 s
3464.83/868.46	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
3465.23/868.51	c vivif2 --  cl tried    69600 cl shrink        0 lits rem          0 time: 0.05
3466.03/868.71	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.20
3466.03/868.72	c calculated reachability. Time: 0.00
3466.03/868.72	c  N dy 11526   1710629     24246    103705         0     69600    315196   2737557    145.68   no data
3508.32/879.30	c  N dy 11658   1730675     24246    103705         0     89644    315196   7316764    145.68    153.98
3554.61/890.91	c  N dy 11786   1751154     24246    103705         0    110123    315196  11935030    145.65    153.96
3600.08/902.36	c  N dy 11928   1771240     24246    103705         0     69216    315196   2440080    145.68    159.17
3642.38/912.95	c  N dy 12074   1791336     24246    103705         0     89311    315196   7051138    145.70    162.65
3688.26/924.43	c  N dy 12206   1811354     24246    103705         0    109328    315196  11659765    145.72    154.81
3736.14/936.45	c  N dy 12347   1831356     24246    103705         0     67328    315196   1782403    145.74    154.76
3778.04/946.94	c  N dy 12486   1851490     24246    103705         0     87461    315196   6436441    145.76    153.51
3823.56/958.35	c  N dy 12619   1871599     24246    103705         0    107570    315196  11078447    145.76    154.18
3872.19/970.58	c  N dy 12759   1891779     24246    103705         0     64750    315196    949681    145.78    154.67
3913.29/980.89	c  N dy 12891   1911987     24246    103705         0     84956    315196   5577919    145.78    154.53
3957.98/992.03	c  N dy 13024   1932103     24246    103705         0    105071    315196  10145442    145.77    153.48
4006.26/1004.19	c  N dy 13154   1952318     24246    103705         0    125285    315196  14793884    145.78    153.46
4048.95/1014.85	c  N dy 13296   1972396     24246    103705         0     81363    315196   4535898    145.78    160.01
4093.23/1025.94	c  N dy 13432   1992459     24246    103705         0    101426    315196   9181675    145.79    157.76
4141.11/1037.97	c  N dy 13570   2012481     24246    103705         0    121447    315196  13835975    145.82    155.17
4186.20/1049.20	c  N dy 13710   2032565     24246    103705         0     76535    315196   3246562    145.84    155.40
4229.29/1060.04	c  N dy 13850   2052620     24246    103705         0     96588    315196   7867613    145.87    153.76
4277.16/1072.00	c  N dy 13997   2072699     24246    103705         0    116666    315196  12497450    145.90    155.75
4324.63/1083.98	c  N dy 14134   2092727     24246    103705         0     70696    315196   1673601    145.90    156.24
4366.94/1094.59	c  N dy 14270   2112791     24246    103705         0     90760    315196   6355111    145.91    157.34
4413.21/1106.12	c  N dy 14410   2132876     24246    103705         0    110843    315196  10971669    145.93    157.07
4462.28/1118.48	c  N dy 14542   2152922     24246    103705         0    130886    315196  15587351    145.93    156.19
4505.37/1129.30	c  N dy 14682   2172947     24246    103705         0     83919    315196   4497332    145.94    161.39
4550.45/1140.59	c  N dy 14829   2192959     24246    103705         0    103929    315196   9151454    145.98    154.07
4592.75/1151.17	c  S st 14947   2210630     24246    103705         0    121599    315196  13208526    145.99    130.14
4594.35/1151.54	c  S st 14947   2211135     24246    103705         0    122104    315196  13295883    145.99   no data
4594.35/1151.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4595.15/1151.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.15
4595.15/1151.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4595.15/1151.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4595.15/1151.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4595.15/1151.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
4595.15/1151.79	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
4596.34/1152.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4599.54/1152.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4629.46/1160.38	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  7.49 s
4629.46/1160.40	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.02
4630.68/1160.64	c vivif2 --  cl tried   122098 cl shrink        0 lits rem          0 time: 0.24
4631.85/1160.95	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.32
4631.85/1160.96	c calculated reachability. Time: 0.00
4631.85/1160.96	c  N dy 14947   2211135     24246    103705         0    122098    315196  13294361    145.99   no data
4680.13/1173.03	c  N dy 15075   2231191     24246    103705         0     74159    315196   1988156    145.99    153.72
4722.84/1183.75	c  N dy 15211   2251335     24246    103705         0     94302    315196   6673186    146.00    155.67
4769.50/1195.41	c  N dy 15346   2271416     24246    103705         0    114383    315196  11291421    146.01    156.18

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-3366146-1305397069/watcher-3366146-1305397069 -o /tmp/evaluation-result-3366146-1305397069/solver-3366146-1305397069 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366146-1305397069.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: 6.39 7.76 7.87 2/312 13875
/proc/meminfo: memFree=28021640/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 408 0 0 0 1 0 0 0 25 0 4 0 651305708 52396032 348 33554432000 4194304 4580107 140733246811152 18446744073709551615 47148971231154 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 12792 348 299 95 0 7774 0
[pid=13875/tid=13876] ppid=13873 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651305708 52396032 348 33554432000 4194304 4580107 140733246811152 18446744073709551615 47148971231154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651305708 52396032 348 33554432000 4194304 4580107 140733246811152 18446744073709551615 47148971231154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651305708 52396032 348 33554432000 4194304 4580107 140733246811152 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.221131 s]
/proc/loadavg: 6.39 7.76 7.87 2/312 13875
/proc/meminfo: memFree=28021640/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=315316 CPUtime=0.84 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) D 13873 13875 13843 0 -1 4202496 18647 0 0 0 81 3 0 0 18 0 4 0 651305708 322883584 16555 33554432000 4194304 4580107 140733246811152 18446744073709551615 268272732343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 78829 16555 363 95 0 73811 0
[pid=13875/tid=13876] ppid=13873 vsize=315316 CPUtime=0.2 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) D 13873 13875 13843 0 -1 4202560 4557 0 0 0 20 0 0 0 18 0 4 0 651305708 322883584 16555 33554432000 4194304 4580107 140733246811152 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=315316 CPUtime=0.2 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) D 13873 13875 13843 0 -1 4202560 4577 0 0 0 20 0 0 0 18 0 4 0 651305708 322883584 16555 33554432000 4194304 4580107 140733246811152 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=315316 CPUtime=0.19 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 4541 0 0 0 19 0 0 0 18 0 4 0 651305708 322883584 16555 33554432000 4194304 4580107 140733246811152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 315316

[startup+0.300547 s]
/proc/loadavg: 6.39 7.76 7.87 2/312 13875
/proc/meminfo: memFree=28021640/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=321808 CPUtime=1.15 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 26246 0 0 0 110 5 0 0 18 0 4 0 651305708 329531392 24153 33554432000 4194304 4580107 140733246811152 18446744073709551615 4444188 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 80452 24153 368 95 0 75434 0
[pid=13875/tid=13876] ppid=13873 vsize=321808 CPUtime=0.28 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 7081 0 0 0 27 1 0 0 18 0 4 0 651305708 329531392 24153 33554432000 4194304 4580107 140733246811152 18446744073709551615 4444188 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=321808 CPUtime=0.28 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 7093 0 0 0 27 1 0 0 18 0 4 0 651305708 329531392 24153 33554432000 4194304 4580107 140733246811152 18446744073709551615 4444188 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=321808 CPUtime=0.27 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 4587 0 0 0 27 0 0 0 18 0 4 0 651305708 329531392 24153 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 321808

[startup+0.40053 s]
/proc/loadavg: 6.39 7.76 7.87 2/312 13875
/proc/meminfo: memFree=28021640/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=321808 CPUtime=1.55 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 33971 0 0 0 148 7 0 0 18 0 4 0 651305708 329531392 24745 33554432000 4194304 4580107 140733246811152 18446744073709551615 4397928 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 80452 24745 372 95 0 75434 0
[pid=13875/tid=13876] ppid=13873 vsize=321808 CPUtime=0.39 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 9640 0 0 0 37 2 0 0 18 0 4 0 651305708 329531392 24747 33554432000 4194304 4580107 140733246811152 18446744073709551615 4398074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=321808 CPUtime=0.38 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 9655 0 0 0 36 2 0 0 18 0 4 0 651305708 329531392 24747 33554432000 4194304 4580107 140733246811152 18446744073709551615 4398074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=321808 CPUtime=0.37 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 4649 0 0 0 37 0 0 0 18 0 4 0 651305708 329531392 24749 33554432000 4194304 4580107 140733246811152 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 321808

[startup+0.700477 s]
/proc/loadavg: 6.39 7.76 7.87 2/312 13875
/proc/meminfo: memFree=28021640/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=324268 CPUtime=2.75 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 37780 0 0 0 267 8 0 0 18 0 4 0 651305708 332050432 26159 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 81067 26159 377 95 0 76049 0
[pid=13875/tid=13876] ppid=13873 vsize=324268 CPUtime=0.68 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 10816 0 0 0 66 2 0 0 18 0 4 0 651305708 332050432 26159 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=324268 CPUtime=0.68 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 10827 0 0 0 66 2 0 0 18 0 4 0 651305708 332050432 26159 33554432000 4194304 4580107 140733246811152 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=324268 CPUtime=0.67 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 4921 0 0 0 67 0 0 0 18 0 4 0 651305708 332050432 26159 33554432000 4194304 4580107 140733246811152 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 324268

[startup+1.50033 s]
/proc/loadavg: 6.76 7.81 7.89 9/324 13888
/proc/meminfo: memFree=27776520/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=324268 CPUtime=5.94 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 40142 0 0 0 586 8 0 0 19 0 4 0 651305708 332050432 28489 33554432000 4194304 4580107 140733246811152 18446744073709551615 4324226 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 81067 28489 377 95 0 76049 0
[pid=13875/tid=13876] ppid=13873 vsize=324268 CPUtime=1.48 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 11453 0 0 0 146 2 0 0 19 0 4 0 651305708 332050432 28489 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=324268 CPUtime=1.48 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 11434 0 0 0 146 2 0 0 19 0 4 0 651305708 332050432 28489 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=324268 CPUtime=1.46 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 5454 0 0 0 146 0 0 0 20 0 4 0 651305708 332050432 28489 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 324268

[startup+3.10105 s]
/proc/loadavg: 6.76 7.81 7.89 9/324 13888
/proc/meminfo: memFree=27751100/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=456896 CPUtime=12.33 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 44795 0 0 0 1224 9 0 0 23 0 4 0 651305708 467861504 33142 33554432000 4194304 4580107 140733246811152 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 114224 33143 377 95 0 109206 0
[pid=13875/tid=13876] ppid=13873 vsize=456896 CPUtime=3.08 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 12521 0 0 0 306 2 0 0 23 0 4 0 651305708 467861504 33143 33554432000 4194304 4580107 140733246811152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=456896 CPUtime=3.08 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 12508 0 0 0 306 2 0 0 24 0 4 0 651305708 467861504 33143 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=456896 CPUtime=3.05 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 6869 0 0 0 304 1 0 0 25 0 4 0 651305708 467861504 33143 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 456896

[startup+6.30048 s]
/proc/loadavg: 6.76 7.81 7.89 9/324 13888
/proc/meminfo: memFree=27682332/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=457472 CPUtime=25.1 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 53127 0 0 0 2499 11 0 0 25 0 4 0 651305708 468451328 41474 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 114368 41474 377 95 0 109350 0
[pid=13875/tid=13876] ppid=13873 vsize=457472 CPUtime=6.29 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 14634 0 0 0 626 3 0 0 25 0 4 0 651305708 468451328 41474 33554432000 4194304 4580107 140733246811152 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=457472 CPUtime=6.28 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 14612 0 0 0 625 3 0 0 25 0 4 0 651305708 468451328 41474 33554432000 4194304 4580107 140733246811152 18446744073709551615 4301958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=457472 CPUtime=6.22 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 8898 0 0 0 621 1 0 0 25 0 4 0 651305708 468451328 41474 33554432000 4194304 4580107 140733246811152 18446744073709551615 4322517 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 457472

[startup+12.7003 s]
/proc/loadavg: 6.95 7.82 7.89 9/324 13888
/proc/meminfo: memFree=27628788/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=640396 CPUtime=50.63 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 92510 0 0 0 5044 19 0 0 25 0 4 0 651305708 655765504 60067 33554432000 4194304 4580107 140733246811152 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 160099 60067 379 95 0 155081 0
[pid=13875/tid=13876] ppid=13873 vsize=640396 CPUtime=12.69 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 20410 0 0 0 1265 4 0 0 25 0 4 0 651305708 655765504 60067 33554432000 4194304 4580107 140733246811152 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=640396 CPUtime=12.68 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 20053 0 0 0 1264 4 0 0 25 0 4 0 651305708 655765504 60067 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=640396 CPUtime=12.55 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 14324 0 0 0 1253 2 0 0 25 0 4 0 651305708 655765504 60067 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 640396

[startup+25.5121 s]
/proc/loadavg: 7.11 7.82 7.89 9/324 13889
/proc/meminfo: memFree=27199276/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=621116 CPUtime=101.74 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 170888 0 0 0 10138 36 0 0 25 0 4 0 651305708 636022784 97188 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 155279 97188 379 95 0 150261 0
[pid=13875/tid=13876] ppid=13873 vsize=621116 CPUtime=25.5 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 53991 0 0 0 2539 11 0 0 25 0 4 0 651305708 636022784 97188 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=621116 CPUtime=25.49 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 36347 0 0 0 2542 7 0 0 25 0 4 0 651305708 636022784 97188 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=621116 CPUtime=25.23 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 32157 0 0 0 2517 6 0 0 25 0 4 0 651305708 636022784 97188 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 621116

[startup+51.1005 s]
/proc/loadavg: 7.49 7.85 7.90 9/324 13890
/proc/meminfo: memFree=26896420/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=899468 CPUtime=203.84 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 263679 0 0 0 20328 56 0 0 25 0 4 0 651305708 921055232 140565 33554432000 4194304 4580107 140733246811152 18446744073709551615 4324249 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 224867 140565 379 95 0 219849 0
[pid=13875/tid=13876] ppid=13873 vsize=899468 CPUtime=51.08 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 73369 0 0 0 5094 14 0 0 25 0 4 0 651305708 921055232 140565 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=899468 CPUtime=51.08 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 56880 0 0 0 5095 13 0 0 25 0 4 0 651305708 921055232 140565 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=899468 CPUtime=50.56 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 56103 0 0 0 5046 10 0 0 25 0 4 0 651305708 921055232 140565 33554432000 4194304 4580107 140733246811152 18446744073709551615 4416041 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 899468

[startup+102.3 s]
/proc/loadavg: 7.92 7.91 7.91 9/324 13891
/proc/meminfo: memFree=26621844/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=965184 CPUtime=408.13 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 369551 0 0 0 40726 87 0 0 25 0 4 0 651305708 988348416 168755 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 241296 168755 379 95 0 236278 0
[pid=13875/tid=13876] ppid=13873 vsize=965184 CPUtime=102.28 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 98569 0 0 0 10206 22 0 0 25 0 4 0 651305708 988348416 168755 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=965184 CPUtime=102.28 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 85930 0 0 0 10206 22 0 0 25 0 4 0 651305708 988348416 168755 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=965184 CPUtime=101.26 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 76108 0 0 0 10110 16 0 0 25 0 4 0 651305708 988348416 168755 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.13
Current children cumulated vsize (KiB) 965184

[startup+162.301 s]

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

[pid=13875] ppid=13873 vsize=1357660 CPUtime=2802.11 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 1428807 0 0 0 279764 447 0 0 25 0 4 0 651305708 1390243840 283886 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 339415 283886 379 95 0 334397 0
[pid=13875/tid=13876] ppid=13873 vsize=1357660 CPUtime=702.28 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 387486 0 0 0 70110 118 0 0 25 0 4 0 651305708 1390243840 283886 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1357660 CPUtime=702.27 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 368822 0 0 0 70105 122 0 0 25 0 4 0 651305708 1390243840 283886 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1357660 CPUtime=695.25 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 326825 0 0 0 69427 98 0 0 25 0 4 0 651305708 1390243840 283886 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.11
Current children cumulated vsize (KiB) 1357660

[startup+762.301 s]
/proc/loadavg: 8.09 8.07 8.00 9/324 13908
/proc/meminfo: memFree=25619604/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1416044 CPUtime=3041.5 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 1520632 0 0 0 303667 483 0 0 25 0 4 0 651305708 1450029056 291645 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 354011 291645 379 95 0 348993 0
[pid=13875/tid=13876] ppid=13873 vsize=1416044 CPUtime=762.28 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 411690 0 0 0 76100 128 0 0 25 0 4 0 651305708 1450029056 291645 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1416044 CPUtime=762.26 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 393430 0 0 0 76094 132 0 0 25 0 4 0 651305708 1450029056 291645 33554432000 4194304 4580107 140733246811152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1416044 CPUtime=754.66 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 348351 0 0 0 75360 106 0 0 25 0 4 0 651305708 1450029056 291645 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.5
Current children cumulated vsize (KiB) 1416044

[startup+822.3 s]
/proc/loadavg: 8.10 8.08 8.00 9/324 13910
/proc/meminfo: memFree=25563000/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1417184 CPUtime=3280.89 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 1611548 0 0 0 327570 519 0 0 25 0 4 0 651305708 1451196416 290179 33554432000 4194304 4580107 140733246811152 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 354296 290179 379 95 0 349278 0
[pid=13875/tid=13876] ppid=13873 vsize=1417184 CPUtime=822.28 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 436650 0 0 0 82091 137 0 0 25 0 4 0 651305708 1451196416 290179 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1417184 CPUtime=822.27 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 417796 0 0 0 82085 142 0 0 25 0 4 0 651305708 1451196416 290179 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1417184 CPUtime=814.04 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 369324 0 0 0 81289 115 0 0 25 0 4 0 651305708 1451196416 290179 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.89
Current children cumulated vsize (KiB) 1417184

[startup+882.301 s]
/proc/loadavg: 8.10 8.09 8.01 9/324 13912
/proc/meminfo: memFree=25584784/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1491284 CPUtime=3520.31 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 1700275 0 0 0 351475 556 0 0 25 0 4 0 651305708 1527074816 298431 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 372821 298431 379 95 0 367803 0
[pid=13875/tid=13876] ppid=13873 vsize=1491284 CPUtime=882.28 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 459990 0 0 0 88081 147 0 0 25 0 4 0 651305708 1527074816 298434 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1491284 CPUtime=882.28 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 441954 0 0 0 88076 152 0 0 25 0 4 0 651305708 1527074816 298434 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1491284 CPUtime=873.46 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 387870 0 0 0 87222 124 0 0 25 0 4 0 651305708 1527074816 298434 33554432000 4194304 4580107 140733246811152 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.31
Current children cumulated vsize (KiB) 1491284

[startup+942.301 s]
/proc/loadavg: 8.15 8.10 8.01 9/324 13913
/proc/meminfo: memFree=25516916/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1573228 CPUtime=3759.67 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 1806801 0 0 0 375375 592 0 0 25 0 4 0 651305708 1610985472 313329 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 393307 313329 379 95 0 388289 0
[pid=13875/tid=13876] ppid=13873 vsize=1573228 CPUtime=942.27 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 483739 0 0 0 94070 157 0 0 25 0 4 0 651305708 1610985472 313329 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1573228 CPUtime=942.26 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 481893 0 0 0 94063 163 0 0 25 0 4 0 651305708 1610985472 313329 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1573228 CPUtime=932.85 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 411079 0 0 0 93153 132 0 0 25 0 4 0 651305708 1610985472 313329 33554432000 4194304 4580107 140733246811152 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.67
Current children cumulated vsize (KiB) 1573228

[startup+1002.31 s]
/proc/loadavg: 8.20 8.11 8.02 9/324 13915
/proc/meminfo: memFree=25440004/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1544536 CPUtime=3999.11 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 1904581 0 0 0 399283 628 0 0 25 0 4 0 651305708 1581604864 326006 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 386134 326006 379 95 0 381116 0
[pid=13875/tid=13876] ppid=13873 vsize=1544536 CPUtime=1002.28 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 510393 0 0 0 100061 167 0 0 25 0 4 0 651305708 1581604864 326006 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293732 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1544536 CPUtime=1002.27 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 509541 0 0 0 100054 173 0 0 25 0 4 0 651305708 1581604864 326006 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1544536 CPUtime=992.25 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 432752 0 0 0 99085 140 0 0 25 0 4 0 651305708 1581604864 326006 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.11
Current children cumulated vsize (KiB) 1544536

[startup+1062.3 s]
/proc/loadavg: 8.14 8.11 8.02 9/324 13916
/proc/meminfo: memFree=25433004/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1501884 CPUtime=4238.46 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 2007611 0 0 0 423178 668 0 0 25 0 4 0 651305708 1537929216 307554 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 375471 307554 379 95 0 370453 0
[pid=13875/tid=13876] ppid=13873 vsize=1501884 CPUtime=1062.27 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 536185 0 0 0 106051 176 0 0 25 0 4 0 651305708 1537929216 307554 33554432000 4194304 4580107 140733246811152 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1501884 CPUtime=1062.25 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 536286 0 0 0 106040 185 0 0 25 0 4 0 651305708 1537929216 307554 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1501884 CPUtime=1051.64 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 456078 0 0 0 105014 150 0 0 25 0 4 0 651305708 1537929216 307554 33554432000 4194304 4580107 140733246811152 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.46
Current children cumulated vsize (KiB) 1501884

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/324 13918
/proc/meminfo: memFree=25452328/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1458428 CPUtime=4477.84 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 2112391 0 0 0 447078 706 0 0 25 0 4 0 651305708 1493430272 298747 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 364607 298747 379 95 0 359589 0
[pid=13875/tid=13876] ppid=13873 vsize=1458428 CPUtime=1122.27 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 562843 0 0 0 112041 186 0 0 25 0 4 0 651305708 1493430272 298747 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1458428 CPUtime=1122.25 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 562385 0 0 0 112030 195 0 0 25 0 4 0 651305708 1493430272 298747 33554432000 4194304 4580107 140733246811152 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1458428 CPUtime=1111.04 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 481871 0 0 0 110944 160 0 0 25 0 4 0 651305708 1493430272 298747 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.84
Current children cumulated vsize (KiB) 1458428

[startup+1182.3 s]
/proc/loadavg: 8.10 8.09 8.01 9/324 13920
/proc/meminfo: memFree=25138560/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1863752 CPUtime=4717.24 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 2277980 0 0 0 470967 757 0 0 25 0 4 0 651305708 1908482048 376618 33554432000 4194304 4580107 140733246811152 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 465938 376618 379 95 0 460920 0
[pid=13875/tid=13876] ppid=13873 vsize=1863752 CPUtime=1182.26 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 616337 0 0 0 118025 201 0 0 25 0 4 0 651305708 1908482048 376618 33554432000 4194304 4580107 140733246811152 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1863752 CPUtime=1182.25 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 588374 0 0 0 118019 206 0 0 25 0 4 0 651305708 1908482048 376618 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1863752 CPUtime=1170.43 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 522672 0 0 0 116872 171 0 0 25 0 4 0 651305708 1908482048 376618 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.24
Current children cumulated vsize (KiB) 1863752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.07 8.09 8.01 9/324 13920
/proc/meminfo: memFree=24968792/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1923436 CPUtime=4800.25 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 2310537 0 0 0 479255 770 0 0 25 0 4 0 651305708 1969598464 409175 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 480859 409175 379 95 0 475841 0
[pid=13875/tid=13876] ppid=13873 vsize=1923436 CPUtime=1203.07 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 624133 0 0 0 120103 204 0 0 25 0 4 0 651305708 1969598464 409181 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1923436 CPUtime=1203.06 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 596997 0 0 0 120096 210 0 0 25 0 4 0 651305708 1969598464 409181 33554432000 4194304 4580107 140733246811152 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1923436 CPUtime=1191.03 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 530788 0 0 0 118928 175 0 0 25 0 4 0 651305708 1969598464 409181 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1923436

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

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

[startup+1203.1 s]
/proc/loadavg: 8.07 8.09 8.01 9/324 13920
/proc/meminfo: memFree=24968792/32950928 swapFree=60199044/67111528
[pid=13875] ppid=13873 vsize=1923436 CPUtime=4800.25 cores=1,3,5,7
/proc/13875/stat : 13875 (strangenight2-m) R 13873 13875 13843 0 -1 4202496 2310537 0 0 0 479255 770 0 0 25 0 4 0 651305708 1969598464 409175 33554432000 4194304 4580107 140733246811152 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13875/statm: 480859 409175 379 95 0 475841 0
[pid=13875/tid=13876] ppid=13873 vsize=1923436 CPUtime=1203.07 cores=1,3,5,7
/proc/13875/task/13876/stat : 13876 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 624133 0 0 0 120103 204 0 0 25 0 4 0 651305708 1969598464 409181 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13875/tid=13877] ppid=13873 vsize=1923436 CPUtime=1203.06 cores=1,3,5,7
/proc/13875/task/13877/stat : 13877 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 596997 0 0 0 120096 210 0 0 25 0 4 0 651305708 1969598464 409181 33554432000 4194304 4580107 140733246811152 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13875/tid=13878] ppid=13873 vsize=1923436 CPUtime=1191.03 cores=1,3,5,7
/proc/13875/task/13878/stat : 13878 (strangenight2-m) R 13873 13875 13843 0 -1 4202560 530788 0 0 0 118928 175 0 0 25 0 4 0 651305708 1969598464 409181 33554432000 4194304 4580107 140733246811152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1923436

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.18
CPU time (s): 4800.36
CPU user time (s): 4792.59
CPU system time (s): 7.76582
CPU usage (%): 398.972
Max. virtual memory (cumulated for all children) (KiB): 1923436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.59
system time used= 7.76582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2310551
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= 2654
involuntary context switches= 32378

runsolver used 3.19351 second user time and 8.86665 second system time

The end

Launcher Data

Begin job on node122 at 2011-05-14 20:17:49
IDJOB=3366146
IDBENCH=82555
IDSOLVER=1844
FILE ID=node122/3366146-1305397069
RUNJOBID= node122-1305397069-13862
PBS_JOBID= 13324448
Free space on /tmp= 73432 MiB

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

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

MD5SUM BENCH= a93695501183427990f531672c9572d2
RANDOM SEED=1158796577

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28018696 kB
Buffers:        269892 kB
Cached:        3345716 kB
SwapCached:      50104 kB
Active:         866164 kB
Inactive:      3855712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28018696 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:            9840 kB
Writeback:           0 kB
AnonPages:     1066652 kB
Mapped:          13172 kB
Slab:           112724 kB
PageTables:      32340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52527312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73424 MiB
End job on node122 at 2011-05-14 20:37:54