Trace number 3173737

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.16 1201.78

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173737-1304030230.cnf'
0.00/0.00	c -- header says num vars:          24998
0.00/0.00	c -- header says num clauses:      105000
0.00/0.09	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.00/0.09	c -- vars added      24998
0.00/0.12	c Parsing time:  0.07 s
0.00/0.12	c  N st     0         0     24998    105000         0         0    315000         0   no data   no data
0.00/0.18	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.05
0.30/0.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.30/0.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.30/0.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.30/0.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24998 time:  0.01 s
0.30/0.33	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
0.30/1.13	c lits-rem:         0  cl-subs:        0  v-elim:    642  v-fix:    0  time:  0.17 s
0.30/1.13	c Finding binary XORs  T:     0.01 s  found:       0
0.30/1.13	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
0.30/1.13	c calculated reachability. Time: 0.00
0.30/1.13	c Calc default polars -  time:   0.01 s pos:   11145 undec:    2817 neg:   11036
0.30/1.13	c =========================================================================================
0.30/1.13	c types(t): F = full restart, N = normal restart
0.30/1.13	c types(t): S = simplification begin/end, E = solution found
0.30/1.13	c restart types(rt): st = static, dy = dynamic
0.30/1.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.30/1.13	c  B st     0         0     24356    104287         0         0    316846         0   no data   no data
7.57/1.90	c  N dy    18      4010     24356    104287         0      4009    316846    937373    140.13    206.95
13.16/3.31	c  N dy    47      8057     24356    104287         0      8054    316846   1832291    143.30    152.68
18.74/4.74	c  N dy    73     12152     24356    104287         0     12149    316846   2723326    141.55    150.12
24.74/6.25	c  N dy    98     16354     24356    104287         0     16351    316846   3622882    140.93    148.43
31.13/7.88	c  N dy   130     20625     24356    104287         0     10622    316846    718728    141.80    154.80
37.13/9.30	c  N dy   152     24633     24356    104287         0     14630    316846   1561208    140.97    153.01
37.52/9.44	c  F st   155     25000     24356    104287         0     14997    316846   1645498    141.11   no data
45.92/11.55	c  N dy   161     30000     24356    104287         0     19997    316846   3354877    141.11   no data
45.92/11.55	c  S st   161     30000     24356    104287         0     19997    316846   3354877    141.11   no data
46.71/11.73	c  S st   161     30500     24356    104287         0     20497    316846   3431722    141.11   no data
46.71/11.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.11/11.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
47.11/11.89	c blocked clauses removed:      570 vars:     96 tried:       24356 T: 0.01 s
47.11/11.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.53/11.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.53/11.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24260 time:  0.01 s
47.53/11.92	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.93/12.04	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.12 s
49.10/12.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
52.32/13.16	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.79 s
52.70/13.28	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.12
52.70/13.29	c calculated reachability. Time: 0.00
52.70/13.29	c  N dy   161     30500     24246    103705         0     20198    315196   3310885    141.11   no data
59.89/15.02	c  N dy   192     34789     24246    103705         0     24487    315196   4278662    141.54    154.74
66.28/16.68	c  N dy   221     38874     24246    103705         0     28572    315196   5193463    141.74    150.58
73.08/18.30	c  N dy   247     42926     24246    103705         0     17275    315196   1101726    141.42    149.27
77.07/19.38	c  S st   263     45750     24246    103705         0     20099    315196   1719029    140.95    115.25
77.87/19.58	c  S st   263     46251     24246    103705         0     20600    315196   1800179    140.95   no data
77.87/19.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
78.69/19.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
78.69/19.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.69/19.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
78.69/19.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.69/19.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
78.69/19.76	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
79.06/19.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
79.46/19.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.66/20.25	c lits-rem:         4  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
80.66/20.27	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
81.06/20.30	c vivif2 --  cl tried    20600 cl shrink        0 lits rem          0 time: 0.03
81.46/20.42	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.12
81.46/20.43	c calculated reachability. Time: 0.00
81.46/20.43	c  N dy   263     46251     24246    103705         0     20600    315196   1800175    140.95   no data
87.85/22.07	c  N dy   292     50410     24246    103705         0     24759    315196   2709580    141.09    149.60
94.65/23.73	c  N dy   324     54567     24246    103705         0     28915    315196   3628936    141.44    153.62
101.03/25.39	c  N dy   350     58657     24246    103705         0     33005    315196   4521464    141.47    151.70
107.82/27.07	c  N dy   377     62676     24246    103705         0     37024    315196   5412173    141.56    153.42
114.22/28.69	c  N dy   406     66713     24246    103705         0     22385    315196   1519629    141.81    151.63
118.61/29.76	c  S st   425     69376     24246    103705         0     25048    315196   2109501    141.87   no data
119.41/29.96	c  S st   425     69879     24246    103705         0     25551    315196   2194891    141.87   no data
119.41/29.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
119.81/30.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
120.21/30.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.21/30.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
120.21/30.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.21/30.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
120.21/30.15	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
120.61/30.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
121.01/30.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
123.01/30.82	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.41 s
123.01/30.83	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
123.01/30.87	c vivif2 --  cl tried    25550 cl shrink        0 lits rem          0 time: 0.04
123.80/31.00	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.13
123.80/31.01	c calculated reachability. Time: 0.00
123.80/31.01	c  N dy   425     69879     24246    103705         0     25550    315196   2194132    141.87   no data
131.02/32.85	c  N dy   458     74391     24246    103705         0     30062    315196   3206438    141.92    157.98
138.99/34.84	c  N dy   493     79145     24246    103705         0     34816    315196   4288855    142.16    156.34
147.77/37.03	c  N dy   534     84280     24246    103705         0     39950    315196   5501601    142.79    152.75
153.39/38.43	c  F st   557     87501     24246    103705         0     22334    315196    989926    142.91    154.24
158.56/39.79	c  N st   562     90803     24246    103705         0     25636    315196   1917454    142.91   no data
168.54/42.22	c  N dy   594     96620     24246    103705         0     31452    315196   3379746    143.11    152.05
178.93/44.80	c  N dy   633    102876     24246    103705         0     37708    315196   4735962    142.99    159.68
182.13/45.61	c  S st   643    104819     24246    103705         0     39651    315196   5137822    142.76    119.33
182.92/45.83	c  S st   643    105319     24246    103705         0     40151    315196   5228037    142.76   no data
182.92/45.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
183.32/45.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
183.74/46.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
183.74/46.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
183.74/46.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
183.74/46.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
183.74/46.04	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
184.14/46.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
185.71/46.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
192.11/48.11	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.57 s
192.11/48.12	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
192.53/48.21	c vivif2 --  cl tried    40146 cl shrink        0 lits rem          0 time: 0.09
192.93/48.36	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.15
192.93/48.37	c calculated reachability. Time: 0.00
192.93/48.37	c  N dy   643    105319     24246    103705         0     40146    315196   5226154    142.76   no data
204.89/51.39	c  N dy   692    112211     24246    103705         0     24622    315196   1075506    142.70    150.82
216.88/54.36	c  N dy   744    119412     24246    103705         0     31823    315196   2677465    142.73    153.48
229.66/57.59	c  N dy   796    127148     24246    103705         0     39559    315196   4388191    142.75    158.63
244.04/61.16	c  N dy   851    135331     24246    103705         0     24037    315196    655295    142.83    150.53
258.02/64.65	c  N dy   909    143980     24246    103705         0     32686    315196   2566742    142.91    151.98
274.00/68.61	c  N dy   977    153208     24246    103705         0     41914    315196   4631022    143.10    166.17
282.38/70.74	c  S st  1012    157978     24246    103705         0     46684    315196   5695255    143.17    133.37
283.18/70.98	c  S st  1012    158481     24246    103705         0     47187    315196   5779686    143.17   no data
283.59/71.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
283.98/71.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
283.98/71.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
283.98/71.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
283.98/71.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
283.98/71.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
284.38/71.20	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
284.80/71.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
285.97/71.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
295.16/73.97	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  2.26 s
295.16/73.99	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
295.56/74.08	c vivif2 --  cl tried    47187 cl shrink        0 lits rem          0 time: 0.10
296.36/74.25	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.17
296.36/74.26	c calculated reachability. Time: 0.00
296.36/74.26	c  N dy  1012    158481     24246    103705         0     47187    315196   5779685    143.17   no data
313.94/78.63	c  N dy  1084    168730     24246    103705         0     32580    315196   2270717    143.26    150.85
332.31/83.25	c  N dy  1154    179679     24246    103705         0     43529    315196   4670971    143.08    151.18
352.68/88.33	c  N dy  1230    191203     24246    103705         0     29124    315196   1217857    143.00    152.20
373.08/93.45	c  N dy  1310    203408     24246    103705         0     41329    315196   3936464    143.00    151.20
396.22/99.28	c  N dy  1391    216431     24246    103705         0     27396    315196    603110    143.10    169.16
419.79/105.18	c  N dy  1492    230331     24246    103705         0     41295    315196   3773534    143.33    164.68
432.97/108.47	c  S st  1547    237723     24246    103705         0     48687    315196   5437620    143.43    147.18
434.19/108.71	c  S st  1547    238226     24246    103705         0     49190    315196   5525735    143.43   no data
434.19/108.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
434.59/108.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
434.59/108.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
434.59/108.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
434.97/108.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
434.97/108.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
434.97/108.92	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
435.37/109.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
436.57/109.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
445.75/111.69	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.30 s
446.15/111.70	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
446.15/111.80	c vivif2 --  cl tried    49187 cl shrink        0 lits rem          0 time: 0.09
446.96/111.96	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.17
446.96/111.97	c calculated reachability. Time: 0.00
446.96/111.97	c  N dy  1547    238226     24246    103705         0     49187    315196   5524660    143.43   no data
473.74/118.66	c  N dy  1650    253477     24246    103705         0     36453    315196   2365872    143.51    163.90
502.87/125.93	c  N dy  1763    269731     24246    103705         0     52707    315196   6130318    143.73    184.36
533.23/133.55	c  N dy  1878    286971     24246    103705         0     40953    315196   3114918    143.67    152.34
566.41/141.81	c  N dy  2002    305431     24246    103705         0     59413    315196   7210275    143.61    151.53
567.98/142.24	c  F st  2008    306253     24246    103705         0     30240    315196    512453    143.60    125.63
601.16/150.58	c  N dy  2112    325007     24246    103705         0     48994    315196   5162757    143.72    153.90
637.49/159.69	c  N dy  2255    345060     24246    103705         0     38049    315196   2061839    143.80    156.01
659.86/165.20	c  S st  2342    357340     24246    103705         0     50329    315196   4872473    143.92   no data
660.66/165.45	c  S st  2342    357844     24246    103705         0     50833    315196   4961891    143.92   no data
660.66/165.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
661.46/165.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
661.46/165.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
661.46/165.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
661.46/165.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
661.46/165.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
661.46/165.66	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
662.26/165.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
663.08/166.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
671.86/168.24	c lits-rem:         8  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.16 s
671.86/168.25	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
672.24/168.34	c vivif2 --  cl tried    50829 cl shrink        0 lits rem          0 time: 0.08
673.04/168.51	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.17
673.04/168.52	c calculated reachability. Time: 0.00
673.04/168.52	c  N dy  2342    357844     24246    103705         0     50829    315196   4960324    143.92   no data
709.39/177.68	c  N dy  2472    377903     24246    103705         0     38893    315196   2024009    143.91    178.59
746.16/186.87	c  N dy  2603    398071     24246    103705         0     59060    315196   6550349    143.86    156.72
782.49/195.96	c  N dy  2737    418165     24246    103705         0     46158    315196   3376353    143.92    157.83
820.04/205.35	c  N dy  2875    438182     24246    103705         0     66172    315196   7897896    143.97    153.53
855.59/214.29	c  N dy  3001    458270     24246    103705         0     52256    315196   4520967    143.92    189.12
893.94/223.83	c  N dy  3135    478300     24246    103705         0     37289    315196    982444    143.96    152.20
929.88/232.88	c  N dy  3275    498349     24246    103705         0     57336    315196   5547297    144.05    183.55
968.23/242.48	c  N dy  3410    518500     24246    103705         0     41488    315196   1694548    144.09    157.19
1002.18/250.97	c  S st  3532    536767     24246    103705         0     59753    315196   5934643    144.20   no data
1003.38/251.21	c  S st  3532    537273     24246    103705         0     60259    315196   6014648    144.20   no data
1003.38/251.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1003.78/251.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
1004.18/251.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1004.18/251.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1004.18/251.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1004.18/251.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
1004.18/251.44	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
1004.97/251.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1006.18/251.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1018.57/255.02	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time:  3.08 s
1018.57/255.04	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
1018.97/255.14	c vivif2 --  cl tried    60251 cl shrink        0 lits rem          0 time: 0.10
1019.75/255.33	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.19
1019.75/255.34	c calculated reachability. Time: 0.00
1019.75/255.34	c  N dy  3532    537273     24246    103705         0     60251    315196   6012765    144.20   no data
1058.13/264.97	c  N dy  3672    557307     24246    103705         0     43285    315196   1886185    144.28    157.57
1095.25/274.24	c  N dy  3815    577357     24246    103705         0     63334    315196   6378099    144.33    152.31
1133.99/283.97	c  N dy  3960    597462     24246    103705         0     45448    315196   2185997    144.42    154.14
1171.55/293.34	c  N dy  4095    617554     24246    103705         0     65539    315196   6732417    144.43    152.45
1210.29/303.04	c  N dy  4235    637575     24246    103705         0     46561    315196   2226627    144.48    158.63
1247.46/312.37	c  N dy  4359    657651     24246    103705         0     66636    315196   6747808    144.45    152.38
1286.61/322.20	c  N dy  4500    677724     24246    103705         0     46707    315196   1982441    144.50    152.14
1325.74/331.93	c  N dy  4646    697762     24246    103705         0     66743    315196   6559428    144.60    161.96
1365.28/341.82	c  N dy  4780    717791     24246    103705         0     45776    315196   1518036    144.62    154.99
1403.23/351.36	c  N dy  4914    737888     24246    103705         0     65871    315196   6127063    144.69    157.58
1443.96/361.57	c  N dy  5058    757951     24246    103705         0     43932    315196    914533    144.76    172.48
1481.51/370.93	c  N dy  5196    777983     24246    103705         0     63962    315196   5494616    144.83    154.50
1521.86/381.08	c  N dy  5330    797997     24246    103705         0     83972    315196  10016678    144.84    155.07
1537.46/384.93	c  S st  5387    805909     24246    103705         0     48886    315196   1812595    144.84   no data
1538.23/385.17	c  S st  5387    806413     24246    103705         0     49390    315196   1908440    144.84   no data
1538.23/385.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1539.03/385.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
1539.03/385.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1539.03/385.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1539.03/385.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1539.03/385.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
1539.03/385.39	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
1539.83/385.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1540.23/385.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1543.03/386.34	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.72 s
1543.03/386.36	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
1543.03/386.39	c vivif2 --  cl tried    49387 cl shrink        0 lits rem          0 time: 0.04
1543.83/386.56	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.17
1543.83/386.57	c calculated reachability. Time: 0.00
1543.83/386.57	c  N dy  5387    806413     24246    103705         0     49387    315196   1907207    144.84   no data
1582.17/396.13	c  N dy  5518    826462     24246    103705         0     69433    315196   6481078    144.84    170.01
1623.72/406.58	c  N dy  5652    846540     24246    103705         0     45518    315196    826160    144.85    153.69
1661.26/415.99	c  N dy  5784    866615     24246    103705         0     65590    315196   5397248    144.87    154.93
1702.41/426.20	c  N dy  5914    886649     24246    103705         0     85622    315196   9984028    144.87    154.35
1741.14/435.91	c  N dy  6046    906826     24246    103705         0     60803    315196   4130207    144.85    152.88
1781.09/445.99	c  N dy  6179    926926     24246    103705         0     80902    315196   8677694    144.85    162.32
1821.83/456.10	c  N dy  6315    947034     24246    103705         0     55012    315196   2534570    144.88    153.76
1861.38/466.08	c  N dy  6454    967185     24246    103705         0     75162    315196   7156771    144.90    155.24
1904.12/476.74	c  N dy  6593    987253     24246    103705         0     48229    315196    766781    144.94    152.67
1942.47/486.31	c  N dy  6731   1007362     24246    103705         0     68338    315196   5310814    144.95    154.56
1983.61/496.69	c  N dy  6862   1027456     24246    103705         0     88430    315196   9879568    144.94    158.83
2024.35/506.87	c  N dy  7009   1047551     24246    103705         0     60530    315196   3375188    145.01    160.05
2065.09/517.08	c  N dy  7163   1067647     24246    103705         0     80626    315196   8016048    145.11    154.49
2073.88/519.29	c  F st  7191   1071875     24246    103705         0     84854    315196   8961681    145.12    128.62
2107.44/527.62	c  N dy  7268   1087710     24246    103705         0     51695    315196   1111234    145.14    153.25
2146.58/537.42	c  N dy  7404   1107949     24246    103705         0     71933    315196   5745974    145.14    153.34
2188.92/548.01	c  N dy  7545   1127997     24246    103705         0     91977    315196  10349976    145.18    155.73
2229.67/558.24	c  N dy  7675   1148204     24246    103705         0     62184    315196   3248764    145.16    156.92
2270.41/568.47	c  N dy  7801   1168339     24246    103705         0     82318    315196   7892473    145.18    153.92
2314.35/579.42	c  N dy  7931   1188413     24246    103705         0     51400    315196    590801    145.14    154.73
2353.49/589.27	c  N dy  8069   1208442     24246    103705         0     71428    315196   5131597    145.15    155.50
2356.28/589.95	c  S st  8077   1209619     24246    103705         0     72605    315196   5413984    145.15    142.11
2357.48/590.23	c  S st  8077   1210127     24246    103705         0     73113    315196   5481574    145.15   no data
2357.48/590.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2358.28/590.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2358.28/590.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2358.28/590.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2358.28/590.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2358.28/590.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
2358.28/590.48	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
2359.09/590.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2360.28/590.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2373.06/594.13	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.18 s
2373.06/594.14	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
2373.46/594.23	c vivif2 --  cl tried    73108 cl shrink        0 lits rem          0 time: 0.09
2374.26/594.44	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.21
2374.26/594.45	c calculated reachability. Time: 0.00
2374.26/594.45	c  N dy  8077   1210127     24246    103705         0     73108    315196   5480276    145.15   no data
2416.59/605.06	c  N dy  8213   1230188     24246    103705         0     93169    315196  10028241    145.15    161.57
2458.54/615.56	c  N dy  8354   1250227     24246    103705         0     61204    315196   2623196    145.21    154.13
2499.30/625.72	c  N dy  8490   1270233     24246    103705         0     81210    315196   7218953    145.24    154.88
2543.24/636.77	c  N dy  8631   1290417     24246    103705         0    101391    315196  11827453    145.27    158.49
2583.96/646.98	c  N dy  8770   1310524     24246    103705         0     68504    315196   4066571    145.30    174.07
2626.31/657.50	c  N dy  8911   1330578     24246    103705         0     88557    315196   8654844    145.31    163.35
2671.83/668.92	c  N dy  9053   1350655     24246    103705         0     54631    315196    666080    145.34    161.89
2710.61/678.65	c  N dy  9193   1370735     24246    103705         0     74711    315196   5235506    145.37    153.73
2753.72/689.44	c  N dy  9334   1390750     24246    103705         0     94725    315196   9837229    145.41    153.51
2797.26/700.36	c  N dy  9467   1410758     24246    103705         0     59737    315196   1619245    145.40    155.81
2837.62/710.41	c  N dy  9607   1430819     24246    103705         0     79797    315196   6211732    145.41    154.67
2881.56/721.47	c  N dy  9745   1450912     24246    103705         0     99889    315196  10832622    145.43    154.32
2925.51/732.47	c  N dy  9893   1470962     24246    103705         0     63938    315196   2409233    145.50    154.38
2966.63/742.76	c  N dy 10029   1491000     24246    103705         0     83975    315196   7034745    145.52    153.22
3011.36/753.92	c  N dy 10165   1511082     24246    103705         0    104057    315196  11628965    145.52    153.36
3054.10/764.64	c  N dy 10301   1531143     24246    103705         0     67120    315196   2893943    145.54    166.65
3096.05/775.16	c  N dy 10443   1551226     24246    103705         0     87203    315196   7614121    145.60    153.50
3141.99/786.62	c  N dy 10592   1571392     24246    103705         0    107368    315196  12249284    145.65    162.47
3185.15/797.43	c  N dy 10732   1591477     24246    103705         0     69452    315196   3224614    145.67    160.20
3226.67/807.80	c  N dy 10859   1611482     24246    103705         0     89455    315196   7789224    145.66    155.88
3271.81/819.15	c  N dy 10992   1631608     24246    103705         0    109578    315196  12338153    145.67    155.01
3314.55/829.89	c  N dy 11125   1651693     24246    103705         0     70668    315196   3224083    145.66    153.57
3356.88/840.45	c  N dy 11256   1671728     24246    103705         0     90702    315196   7762820    145.64    157.04
3402.82/851.97	c  N dy 11399   1691784     24246    103705         0    110754    315196  12355453    145.66    155.60
3443.56/862.14	c  S st 11526   1710127     24246    103705         0     69100    315196   2657270    145.68    137.69
3444.75/862.42	c  S st 11526   1710629     24246    103705         0     69602    315196   2738290    145.68   no data
3444.75/862.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3445.55/862.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.16
3445.55/862.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3445.55/862.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3445.55/862.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3445.55/862.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
3445.55/862.67	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
3446.36/862.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3446.76/862.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3454.34/864.82	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.83 s
3454.34/864.84	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.01
3454.34/864.89	c vivif2 --  cl tried    69600 cl shrink        0 lits rem          0 time: 0.05
3455.14/865.08	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.20
3455.14/865.09	c calculated reachability. Time: 0.00
3455.14/865.09	c  N dy 11526   1710629     24246    103705         0     69600    315196   2737557    145.68   no data
3497.49/875.61	c  N dy 11658   1730675     24246    103705         0     89644    315196   7316764    145.68    153.98
3543.42/887.10	c  N dy 11786   1751154     24246    103705         0    110123    315196  11935030    145.65    153.96
3588.55/898.40	c  N dy 11928   1771240     24246    103705         0     69216    315196   2440080    145.68    159.17
3630.50/908.96	c  N dy 12074   1791336     24246    103705         0     89311    315196   7051138    145.70    162.65
3676.44/920.40	c  N dy 12206   1811354     24246    103705         0    109328    315196  11659765    145.72    154.81
3722.36/931.95	c  N dy 12347   1831356     24246    103705         0     67328    315196   1782403    145.74    154.76
3763.91/942.36	c  N dy 12486   1851490     24246    103705         0     87461    315196   6436441    145.76    153.51
3810.65/954.03	c  N dy 12619   1871599     24246    103705         0    107570    315196  11078447    145.76    154.18
3858.97/966.12	c  N dy 12759   1891779     24246    103705         0     64750    315196    949681    145.78    154.67
3899.72/976.39	c  N dy 12891   1911987     24246    103705         0     84956    315196   5577919    145.78    154.53
3944.46/987.52	c  N dy 13024   1932103     24246    103705         0    105071    315196  10145442    145.77    153.48
3992.79/999.62	c  N dy 13154   1952318     24246    103705         0    125285    315196  14793884    145.78    153.46
4034.72/1010.19	c  N dy 13296   1972396     24246    103705         0     81363    315196   4535898    145.78    160.01
4079.06/1021.21	c  N dy 13432   1992459     24246    103705         0    101426    315196   9181675    145.79    157.76
4126.99/1033.20	c  N dy 13570   2012481     24246    103705         0    121447    315196  13835975    145.82    155.17
4171.32/1044.31	c  N dy 13710   2032565     24246    103705         0     76535    315196   3246562    145.84    155.40
4214.07/1055.06	c  N dy 13850   2052620     24246    103705         0     96588    315196   7867613    145.87    153.76
4261.62/1066.98	c  N dy 13997   2072699     24246    103705         0    116666    315196  12497450    145.90    155.75
4309.12/1078.83	c  N dy 14134   2092727     24246    103705         0     70696    315196   1673601    145.90    156.24
4351.07/1089.35	c  N dy 14270   2112791     24246    103705         0     90760    315196   6355111    145.91    157.34
4397.01/1100.82	c  N dy 14410   2132876     24246    103705         0    110843    315196  10971669    145.93    157.07
4445.76/1113.05	c  N dy 14542   2152922     24246    103705         0    130886    315196  15587351    145.93    156.19
4488.47/1123.78	c  N dy 14682   2172947     24246    103705         0     83919    315196   4497332    145.94    161.39
4533.63/1135.04	c  N dy 14829   2192959     24246    103705         0    103929    315196   9151454    145.98    154.07
4577.16/1145.99	c  S st 14947   2210630     24246    103705         0    121599    315196  13208526    145.99    130.14
4578.76/1146.35	c  S st 14947   2211135     24246    103705         0    122104    315196  13295883    145.99   no data
4578.76/1146.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4579.55/1146.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.20
4579.95/1146.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4579.95/1146.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4579.95/1146.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4579.95/1146.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24246 time:  0.01 s
4579.95/1146.65	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
4581.15/1146.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
4584.35/1147.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4614.70/1155.37	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  7.58 s
4614.70/1155.39	c vivif2 --  cl tried   103705 cl shrink        0 lits rem          0 time: 0.02
4615.90/1155.63	c vivif2 --  cl tried   122098 cl shrink        0 lits rem          0 time: 0.24
4617.11/1155.92	c asymm  cl-useful: 0/103705/103705 lits-rem:0 time: 0.29
4617.11/1155.93	c calculated reachability. Time: 0.00
4617.11/1155.93	c  N dy 14947   2211135     24246    103705         0    122098    315196  13294361    145.99   no data
4664.23/1167.75	c  N dy 15075   2231191     24246    103705         0     74159    315196   1988156    145.99    153.72
4706.98/1178.41	c  N dy 15211   2251335     24246    103705         0     94302    315196   6673186    146.00    155.67
4753.33/1190.08	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173737-1304030230/watcher-3173737-1304030230 -o /tmp/evaluation-result-3173737-1304030230/solver-3173737-1304030230 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173737-1304030230.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: 7.87 7.99 6.51 5/180 31487
/proc/meminfo: memFree=19761400/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 514622794 52441088 348 33554432000 4194304 4627427 140733954143408 18446744073709551615 47881065801654 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 12803 348 299 106 0 7774 0
[pid=31487/tid=31488] ppid=31485 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514622794 52441088 348 33554432000 4194304 4627427 140733954143408 18446744073709551615 47881065801644 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514622794 52441088 348 33554432000 4194304 4627427 140733954143408 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514622794 52441088 348 33554432000 4194304 4627427 140733954143408 18446744073709551615 47881065801650 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0579109 s]
/proc/loadavg: 7.87 7.99 6.51 5/180 31487
/proc/meminfo: memFree=19761400/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=305440 CPUtime=0.3 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 16571 0 0 0 27 3 0 0 25 0 4 0 514622794 312770560 14472 33554432000 4194304 4627427 140733954143408 18446744073709551615 237278540833 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 78958 16514 371 106 0 73929 0
[pid=31487/tid=31488] ppid=31485 vsize=316564 CPUtime=0.22 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 4666 0 0 0 22 0 0 0 18 0 4 0 514622794 324161536 16914 33554432000 4194304 4627427 140733954143408 18446744073709551615 4415761 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=317220 CPUtime=0.22 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) D 31485 31487 31281 0 -1 4202560 5035 0 0 0 22 0 0 0 18 0 4 0 514622794 324833280 17892 33554432000 4194304 4627427 140733954143408 18446744073709551615 4415675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=318388 CPUtime=0.24 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 4558 0 0 0 23 1 0 0 25 0 4 0 514622794 326029312 18853 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 305440

[startup+0.330191 s]
/proc/loadavg: 7.87 7.99 6.51 5/180 31487
/proc/meminfo: memFree=19761400/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=340832 CPUtime=1.31 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) D 31485 31487 31281 0 -1 4202496 31104 0 0 0 125 6 0 0 18 0 4 0 514622794 349011968 28678 33554432000 4194304 4627427 140733954143408 18446744073709551615 237278577109 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 82953 25117 381 106 0 77924 0
[pid=31487/tid=31488] ppid=31485 vsize=331812 CPUtime=0.4 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 9650 0 0 0 39 1 0 0 18 0 4 0 514622794 339775488 25117 33554432000 4194304 4627427 140733954143408 18446744073709551615 4450333 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=334928 CPUtime=1.14 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 10263 0 0 0 112 2 0 0 19 0 4 0 514622794 342966272 27986 33554432000 4194304 4627427 140733954143408 18446744073709551615 4333347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=334928 CPUtime=1.15 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 5253 0 0 0 114 1 0 0 25 0 4 0 514622794 342966272 27986 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 340832

[startup+1.25885 s]
/proc/loadavg: 7.87 7.99 6.51 5/180 31487
/proc/meminfo: memFree=19761400/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=334928 CPUtime=5 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 38657 0 0 0 493 7 0 0 19 0 4 0 514622794 342966272 28314 33554432000 4194304 4627427 140733954143408 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 83732 28314 385 106 0 78703 0
[pid=31487/tid=31488] ppid=31485 vsize=334928 CPUtime=1.24 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 11306 0 0 0 123 1 0 0 19 0 4 0 514622794 342966272 28314 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=334928 CPUtime=1.24 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 10353 0 0 0 122 2 0 0 19 0 4 0 514622794 342966272 28314 33554432000 4194304 4627427 140733954143408 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=334928 CPUtime=1.25 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 5318 0 0 0 124 1 0 0 25 0 4 0 514622794 342966272 28314 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 334928

[startup+1.35883 s]
/proc/loadavg: 7.87 7.99 6.51 5/180 31487
/proc/meminfo: memFree=19761400/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=334928 CPUtime=5.4 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 38911 0 0 0 533 7 0 0 19 0 4 0 514622794 342966272 28552 33554432000 4194304 4627427 140733954143408 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 83732 28552 385 106 0 78703 0
[pid=31487/tid=31488] ppid=31485 vsize=334928 CPUtime=1.34 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 11376 0 0 0 133 1 0 0 19 0 4 0 514622794 342966272 28552 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=334928 CPUtime=1.34 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 10416 0 0 0 132 2 0 0 19 0 4 0 514622794 342966272 28552 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=334928 CPUtime=1.35 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 5379 0 0 0 134 1 0 0 25 0 4 0 514622794 342966272 28553 33554432000 4194304 4627427 140733954143408 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 334928

[startup+1.5588 s]
/proc/loadavg: 7.87 7.99 6.51 5/180 31487
/proc/meminfo: memFree=19761400/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=334928 CPUtime=6.2 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 39415 0 0 0 612 8 0 0 19 0 4 0 514622794 342966272 29056 33554432000 4194304 4627427 140733954143408 18446744073709551615 4327559 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 83732 29056 385 106 0 78703 0
[pid=31487/tid=31488] ppid=31485 vsize=334928 CPUtime=1.54 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 11495 0 0 0 152 2 0 0 19 0 4 0 514622794 342966272 29056 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=334928 CPUtime=1.54 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 10548 0 0 0 152 2 0 0 19 0 4 0 514622794 342966272 29056 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=334928 CPUtime=1.54 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 5509 0 0 0 153 1 0 0 25 0 4 0 514622794 342966272 29056 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308231 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 334928

[startup+3.10052 s]
/proc/loadavg: 7.87 7.99 6.51 9/184 31491
/proc/meminfo: memFree=19638232/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=466192 CPUtime=12.38 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 43868 0 0 0 1229 9 0 0 23 0 4 0 514622794 477380608 33509 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308285 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 116548 33509 385 106 0 111519 0
[pid=31487/tid=31488] ppid=31485 vsize=466192 CPUtime=3.09 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 12534 0 0 0 307 2 0 0 23 0 4 0 514622794 477380608 33509 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=466192 CPUtime=3.08 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 11507 0 0 0 306 2 0 0 23 0 4 0 514622794 477380608 33511 33554432000 4194304 4627427 140733954143408 18446744073709551615 4299732 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=466192 CPUtime=3.09 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 6899 0 0 0 308 1 0 0 25 0 4 0 514622794 477380608 33511 33554432000 4194304 4627427 140733954143408 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 466192

[startup+6.30095 s]
/proc/loadavg: 7.88 7.99 6.52 9/184 31491
/proc/meminfo: memFree=19606860/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=466192 CPUtime=25.14 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 52029 0 0 0 2504 10 0 0 25 0 4 0 514622794 477380608 41670 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 116548 41670 385 106 0 111519 0
[pid=31487/tid=31488] ppid=31485 vsize=466192 CPUtime=6.29 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 14648 0 0 0 627 2 0 0 25 0 4 0 514622794 477380608 41670 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=466192 CPUtime=6.25 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 13418 0 0 0 623 2 0 0 25 0 4 0 514622794 477380608 41670 33554432000 4194304 4627427 140733954143408 18446744073709551615 4332032 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=466192 CPUtime=6.29 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 8953 0 0 0 627 2 0 0 25 0 4 0 514622794 477380608 41670 33554432000 4194304 4627427 140733954143408 18446744073709551615 4507185 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 466192

[startup+12.7008 s]
/proc/loadavg: 7.89 7.99 6.52 9/184 31491
/proc/meminfo: memFree=19577028/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=648480 CPUtime=50.71 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 91322 0 0 0 5052 19 0 0 25 0 4 0 514622794 664043520 60175 33554432000 4194304 4627427 140733954143408 18446744073709551615 4427416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 162120 60175 390 106 0 157091 0
[pid=31487/tid=31488] ppid=31485 vsize=648480 CPUtime=12.68 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 20426 0 0 0 1265 3 0 0 25 0 4 0 514622794 664043520 60175 33554432000 4194304 4627427 140733954143408 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=648480 CPUtime=12.62 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 18690 0 0 0 1259 3 0 0 25 0 4 0 514622794 664043520 60175 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=648480 CPUtime=12.69 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 14446 0 0 0 1266 3 0 0 25 0 4 0 514622794 664043520 60175 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 648480

[startup+25.5005 s]
/proc/loadavg: 7.91 7.99 6.55 9/184 31491
/proc/meminfo: memFree=19341932/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=677476 CPUtime=101.83 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 170876 0 0 0 10147 36 0 0 25 0 4 0 514622794 693735424 102176 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 169369 102176 390 106 0 164340 0
[pid=31487/tid=31488] ppid=31485 vsize=677476 CPUtime=25.48 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 54060 0 0 0 2538 10 0 0 25 0 4 0 514622794 693735424 102176 33554432000 4194304 4627427 140733954143408 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=677476 CPUtime=25.35 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 32738 0 0 0 2529 6 0 0 25 0 4 0 514622794 693735424 102176 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=677476 CPUtime=25.48 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 35691 0 0 0 2541 7 0 0 25 0 4 0 514622794 693735424 102176 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 677476

[startup+51.101 s]
/proc/loadavg: 7.94 7.99 6.58 9/184 31492
/proc/meminfo: memFree=19193916/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=905888 CPUtime=204.09 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 264301 0 0 0 20347 62 0 0 25 0 4 0 514622794 927629312 146545 33554432000 4194304 4627427 140733954143408 18446744073709551615 4321855 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 226472 146545 390 106 0 221443 0
[pid=31487/tid=31488] ppid=31485 vsize=905888 CPUtime=51.08 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 73465 0 0 0 5093 15 0 0 25 0 4 0 514622794 927629312 146545 33554432000 4194304 4627427 140733954143408 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=905888 CPUtime=50.81 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 49839 0 0 0 5069 12 0 0 25 0 4 0 514622794 927629312 146545 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=905888 CPUtime=51.08 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 63694 0 0 0 5093 15 0 0 25 0 4 0 514622794 927629312 146545 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 905888

[startup+102.301 s]
/proc/loadavg: 8.03 8.01 6.66 9/184 31494
/proc/meminfo: memFree=19054244/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=964052 CPUtime=408.6 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 363459 0 0 0 40768 92 0 0 25 0 4 0 514622794 987189248 164941 33554432000 4194304 4627427 140733954143408 18446744073709551615 4327622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 241013 164941 390 106 0 235984 0
[pid=31487/tid=31488] ppid=31485 vsize=964052 CPUtime=102.29 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 98670 0 0 0 10205 24 0 0 25 0 4 0 514622794 987189248 164941 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=964052 CPUtime=101.73 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 67480 0 0 0 10155 18 0 0 25 0 4 0 514622794 987189248 164941 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=964052 CPUtime=102.28 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 88453 0 0 0 10205 23 0 0 25 0 4 0 514622794 987189248 164941 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 964052

[startup+162.301 s]

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

[pid=31487] ppid=31485 vsize=1437088 CPUtime=2805.25 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 1436649 0 0 0 280075 450 0 0 25 0 4 0 514622794 1471578112 292976 33554432000 4194304 4627427 140733954143408 18446744073709551615 4310105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 359272 292976 390 106 0 354243 0
[pid=31487/tid=31488] ppid=31485 vsize=1437088 CPUtime=702.27 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 388615 0 0 0 70108 119 0 0 25 0 4 0 514622794 1471578112 292976 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308590 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1437088 CPUtime=698.45 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 305310 0 0 0 69747 98 0 0 25 0 4 0 514622794 1471578112 292976 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1437088 CPUtime=702.27 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 390445 0 0 0 70106 121 0 0 25 0 4 0 514622794 1471578112 292976 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.25
Current children cumulated vsize (KiB) 1437088

[startup+762.3 s]
/proc/loadavg: 8.08 8.06 7.36 9/184 31511
/proc/meminfo: memFree=18351276/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1437976 CPUtime=3044.92 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 1527761 0 0 0 304005 487 0 0 25 0 4 0 514622794 1472487424 287263 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 359494 287263 390 106 0 354465 0
[pid=31487/tid=31488] ppid=31485 vsize=1437976 CPUtime=762.26 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 412975 0 0 0 76098 128 0 0 25 0 4 0 514622794 1472487424 287263 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1437976 CPUtime=758.12 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 326145 0 0 0 75706 106 0 0 25 0 4 0 514622794 1472487424 287263 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1437976 CPUtime=762.27 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 414789 0 0 0 76097 130 0 0 25 0 4 0 514622794 1472487424 287263 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.92
Current children cumulated vsize (KiB) 1437976

[startup+822.301 s]
/proc/loadavg: 8.16 8.08 7.41 9/184 31513
/proc/meminfo: memFree=18332532/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1496960 CPUtime=3284.59 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 1617952 0 0 0 327939 520 0 0 25 0 4 0 514622794 1532887040 284783 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 374240 284783 390 106 0 369211 0
[pid=31487/tid=31488] ppid=31485 vsize=1496960 CPUtime=822.26 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 436956 0 0 0 82090 136 0 0 25 0 4 0 514622794 1532887040 284783 33554432000 4194304 4627427 140733954143408 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1496960 CPUtime=817.79 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 346440 0 0 0 81665 114 0 0 25 0 4 0 514622794 1532887040 284783 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1496960 CPUtime=822.27 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 438908 0 0 0 82089 138 0 0 25 0 4 0 514622794 1532887040 284783 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.59
Current children cumulated vsize (KiB) 1496960

[startup+882.301 s]
/proc/loadavg: 8.18 8.09 7.45 9/184 31514
/proc/meminfo: memFree=18193884/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1439736 CPUtime=3524.25 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 1708081 0 0 0 351873 552 0 0 25 0 4 0 514622794 1474289664 305633 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 359934 305633 390 106 0 354905 0
[pid=31487/tid=31488] ppid=31485 vsize=1439736 CPUtime=882.27 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 461318 0 0 0 88083 144 0 0 25 0 4 0 514622794 1474289664 305633 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1439736 CPUtime=877.47 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 368555 0 0 0 87623 124 0 0 25 0 4 0 514622794 1474289664 305633 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308231 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1439736 CPUtime=882.28 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 463238 0 0 0 88081 147 0 0 25 0 4 0 514622794 1474289664 305633 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.25
Current children cumulated vsize (KiB) 1439736

[startup+942.3 s]
/proc/loadavg: 8.17 8.10 7.49 9/184 31516
/proc/meminfo: memFree=18229824/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1499656 CPUtime=3763.91 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 1797018 0 0 0 375805 586 0 0 25 0 4 0 514622794 1535647744 296908 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 374914 296908 390 106 0 369885 0
[pid=31487/tid=31488] ppid=31485 vsize=1499656 CPUtime=942.26 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 485455 0 0 0 94073 153 0 0 25 0 4 0 514622794 1535647744 296908 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1499656 CPUtime=937.14 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 389019 0 0 0 93582 132 0 0 25 0 4 0 514622794 1535647744 296908 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1499656 CPUtime=942.27 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 487439 0 0 0 94072 155 0 0 25 0 4 0 514622794 1535647744 296908 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.91
Current children cumulated vsize (KiB) 1499656

[startup+1002.3 s]
/proc/loadavg: 8.16 8.11 7.53 9/184 31518
/proc/meminfo: memFree=18272720/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1436396 CPUtime=4003.56 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 1915876 0 0 0 399729 627 0 0 25 0 4 0 514622794 1470869504 291407 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 359099 291407 390 106 0 354070 0
[pid=31487/tid=31488] ppid=31485 vsize=1436396 CPUtime=1002.25 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 512251 0 0 0 100063 162 0 0 25 0 4 0 514622794 1470869504 291407 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1436396 CPUtime=996.8 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 427327 0 0 0 99537 143 0 0 25 0 4 0 514622794 1470869504 291407 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1436396 CPUtime=1002.26 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 514561 0 0 0 100062 164 0 0 25 0 4 0 514622794 1470869504 291407 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.56
Current children cumulated vsize (KiB) 1436396

[startup+1062.3 s]
/proc/loadavg: 7.79 8.04 7.54 9/184 31550
/proc/meminfo: memFree=18713632/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1554884 CPUtime=4243.23 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 2018769 0 0 0 423656 667 0 0 25 0 4 0 514622794 1592201216 328661 33554432000 4194304 4627427 140733954143408 18446744073709551615 4333068 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 388721 328662 390 106 0 383692 0
[pid=31487/tid=31488] ppid=31485 vsize=1554884 CPUtime=1062.25 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 537875 0 0 0 106053 172 0 0 25 0 4 0 514622794 1592201216 328662 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1554884 CPUtime=1056.48 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 453151 0 0 0 105494 154 0 0 25 0 4 0 514622794 1592201216 328662 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1554884 CPUtime=1062.26 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 539992 0 0 0 106053 173 0 0 25 0 4 0 514622794 1592201216 328662 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.23
Current children cumulated vsize (KiB) 1554884

[startup+1122.3 s]
/proc/loadavg: 7.97 8.04 7.57 9/184 31552
/proc/meminfo: memFree=18519972/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1556412 CPUtime=4482.89 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 2126525 0 0 0 447583 706 0 0 25 0 4 0 514622794 1593765888 302569 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 389103 302569 390 106 0 384074 0
[pid=31487/tid=31488] ppid=31485 vsize=1556412 CPUtime=1122.24 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 564894 0 0 0 112042 182 0 0 25 0 4 0 514622794 1593765888 302569 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1556412 CPUtime=1116.15 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 480057 0 0 0 111452 163 0 0 25 0 4 0 514622794 1593765888 302569 33554432000 4194304 4627427 140733954143408 18446744073709551615 4321691 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1556412 CPUtime=1122.27 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 567065 0 0 0 112043 184 0 0 25 0 4 0 514622794 1593765888 302569 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.89
Current children cumulated vsize (KiB) 1556412

[startup+1182.3 s]
/proc/loadavg: 8.04 8.05 7.60 9/184 31553
/proc/meminfo: memFree=18082340/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1951996 CPUtime=4722.56 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 2297801 0 0 0 471499 757 0 0 25 0 4 0 514622794 1998843904 402549 33554432000 4194304 4627427 140733954143408 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 487999 402549 390 106 0 482970 0
[pid=31487/tid=31488] ppid=31485 vsize=1951996 CPUtime=1182.25 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 618150 0 0 0 118028 197 0 0 25 0 4 0 514622794 1998843904 402549 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1951996 CPUtime=1175.82 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 504883 0 0 0 117411 171 0 0 25 0 4 0 514622794 1998843904 402549 33554432000 4194304 4627427 140733954143408 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1951996 CPUtime=1182.27 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 615032 0 0 0 118029 198 0 0 25 0 4 0 514622794 1998843904 402549 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.56
Current children cumulated vsize (KiB) 1951996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.03 8.05 7.61 9/184 31554
/proc/meminfo: memFree=18090152/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1952452 CPUtime=4800.06 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 2330177 0 0 0 479238 768 0 0 25 0 4 0 514622794 1999310848 399896 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 488113 399896 390 106 0 483084 0
[pid=31487/tid=31488] ppid=31485 vsize=1952452 CPUtime=1201.65 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 625297 0 0 0 119966 199 0 0 25 0 4 0 514622794 1999310848 399896 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1952452 CPUtime=1195.11 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 513793 0 0 0 119337 174 0 0 25 0 4 0 514622794 1999310848 399896 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1952452 CPUtime=1201.67 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 624044 0 0 0 119966 201 0 0 25 0 4 0 514622794 1999310848 399896 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1952452

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

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

[startup+1201.7 s]
/proc/loadavg: 8.03 8.05 7.61 9/184 31554
/proc/meminfo: memFree=18090152/32950904 swapFree=67082284/67111528
[pid=31487] ppid=31485 vsize=1952452 CPUtime=4800.06 cores=1,3,5,7
/proc/31487/stat : 31487 (strangenight2-m) R 31485 31487 31281 0 -1 4202496 2330177 0 0 0 479238 768 0 0 25 0 4 0 514622794 1999310848 399896 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31487/statm: 488113 399896 390 106 0 483084 0
[pid=31487/tid=31488] ppid=31485 vsize=1952452 CPUtime=1201.65 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 625297 0 0 0 119966 199 0 0 25 0 4 0 514622794 1999310848 399896 33554432000 4194304 4627427 140733954143408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31487/tid=31489] ppid=31485 vsize=1952452 CPUtime=1195.11 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 513793 0 0 0 119337 174 0 0 25 0 4 0 514622794 1999310848 399896 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=1952452 CPUtime=1201.67 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (strangenight2-m) R 31485 31487 31281 0 -1 4202560 624044 0 0 0 119966 201 0 0 25 0 4 0 514622794 1999310848 399896 33554432000 4194304 4627427 140733954143408 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1952452

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.16
CPU user time (s): 4792.41
CPU system time (s): 7.75282
CPU usage (%): 399.421
Max. virtual memory (cumulated for all children) (KiB): 1952452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.41
system time used= 7.75282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2330185
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= 2444
involuntary context switches= 32728

runsolver used 1.84572 second user time and 4.72728 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 00:37:10
IDJOB=3173737
IDBENCH=82555
IDSOLVER=1586
FILE ID=node121/3173737-1304030230
RUNJOBID= node121-1304028687-31301
PBS_JOBID= 13170331
Free space on /tmp= 72648 MiB

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

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

MD5SUM BENCH= a93695501183427990f531672c9572d2
RANDOM SEED=768551534

node121.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.817
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.63
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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.817
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:     32950904 kB
MemFree:      19761680 kB
Buffers:       2177028 kB
Cached:       10169068 kB
SwapCached:       2776 kB
Active:        9380004 kB
Inactive:      3291244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19761680 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            7420 kB
Writeback:           0 kB
AnonPages:      322384 kB
Mapped:          14540 kB
Slab:           454460 kB
PageTables:       4996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   557528 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= 72640 MiB
End job on node121 at 2011-04-29 00:57:14