Trace number 3366110

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.49 1203.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf
MD5SUM07407a86c8d0f1e46c34022f68908549
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark606.272
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.03/0.01	c This is CryptoMiniSat 3.0.0
0.03/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.03/0.01	c Reading file 'HOME/instance-3366110-1305395401.cnf'
0.03/0.01	c -- header says num vars:          35000
0.03/0.01	c -- header says num clauses:      147000
0.34/0.40	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.34/0.40	c -- vars added      35000
0.34/0.40	c Parsing time:  0.12 s
0.34/0.40	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.34/0.40	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
0.34/0.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
0.70/0.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.70/0.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.70/0.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.70/0.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
0.70/0.56	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
2.56/0.81	c lits-rem:         0  cl-subs:        0  v-elim:    914  v-fix:    0  time:  0.25 s
2.56/0.82	c Finding binary XORs  T:     0.01 s  found:       0
2.56/0.87	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
2.56/0.87	c calculated reachability. Time: 0.00
2.56/0.89	c Calc default polars -  time:   0.01 s pos:   15475 undec:    3961 neg:   15564
2.56/0.89	c =========================================================================================
2.56/0.89	c types(t): F = full restart, N = normal restart
2.56/0.89	c types(t): S = simplification begin/end, E = solution found
2.56/0.89	c restart types(rt): st = static, dy = dynamic
2.56/0.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.56/0.89	c  B st     0         0     34086    146006         0         0    443627         0   no data   no data
11.06/2.84	c  N dy    21      4102     34086    146006         0      4102    443627   1162475    164.56    179.76
19.02/4.81	c  N dy    49      8164     34086    146006         0      8164    443627   2167116    165.60    177.14
26.99/6.88	c  N dy    79     12330     34086    146006         0     12330    443627   3214668    165.57    176.95
35.37/8.90	c  N dy   106     16380     34086    146006         0     16380    443627   4260410    166.82    178.45
43.74/11.03	c  N dy   135     20428     34086    146006         0     10428    443627    777402    167.50    177.12
51.31/12.99	c  N dy   159     24460     34086    146006         0     14459    443627   1783606    166.78    175.99
52.52/13.25	c  F st   163     25000     34086    146006         0     14999    443627   1912826    166.63    166.38
63.70/16.03	c  N dy   169     30001     34086    146006         0     19999    443627   3805103    166.63   no data
63.70/16.03	c  S st   169     30001     34086    146006         0     19999    443627   3805103    166.63   no data
64.47/16.28	c  S st   169     30502     34086    146006         0     20500    443627   3897959    166.63   no data
64.87/16.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
64.87/16.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
65.27/16.45	c blocked clauses removed:      611 vars:    102 tried:       34086 T: 0.02 s
65.27/16.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
65.27/16.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
65.27/16.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33984 time:  0.01 s
65.67/16.50	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
66.08/16.67	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.17 s
67.68/17.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
71.65/18.04	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.94 s
72.48/18.22	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.18
72.48/18.23	c calculated reachability. Time: 0.00
72.48/18.23	c  N dy   169     30502     33972    145384         0     20370    441840   3817580    166.63   no data
80.83/20.38	c  N dy   197     34506     33972    145384         0     24374    441840   4816491    166.15    178.76
89.60/22.58	c  N dy   226     38635     33972    145384         0     28503    441840   5845805    165.99    179.19
98.38/24.77	c  N dy   254     42699     33972    145384         0     17141    441840   1236187    166.42    179.00
104.75/26.33	c  S st   273     45753     33972    145384         0     20194    441840   2007006    165.92   no data
105.94/26.60	c  S st   273     46258     33972    145384         0     20699    441840   2101058    165.92   no data
105.94/26.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
106.34/26.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
106.34/26.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
106.34/26.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
106.34/26.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.34/26.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
106.74/26.80	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
107.14/26.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
107.56/27.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
109.13/27.41	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.29 s
109.13/27.43	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
109.13/27.47	c vivif2 --  cl tried    20697 cl shrink        0 lits rem          0 time: 0.04
109.93/27.65	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.18
109.93/27.66	c calculated reachability. Time: 0.00
109.93/27.66	c  N dy   273     46258     33972    145384         0     20697    441840   2100589    165.92   no data
118.71/29.84	c  N dy   300     50449     33972    145384         0     24887    441840   3179665    166.03    175.19
127.48/32.04	c  N dy   326     54587     33972    145384         0     29025    441840   4211970    165.74    180.73
136.26/34.23	c  N dy   357     58599     33972    145384         0     33037    441840   5258669    166.21    176.95
145.43/36.50	c  N dy   389     62686     33972    145384         0     37124    441840   6312487    166.62    196.65
153.80/38.62	c  N dy   417     66707     33972    145384         0     22426    441840   1712397    166.95    231.53
159.39/40.05	c  S st   435     69387     33972    145384         0     25106    441840   2411157    167.02   no data
160.62/40.33	c  S st   435     69891     33972    145384         0     25610    441840   2525657    167.02   no data
160.62/40.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
160.97/40.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
160.97/40.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
160.97/40.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
161.37/40.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
161.37/40.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
161.37/40.53	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
161.77/40.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
162.57/40.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
164.17/41.30	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.43 s
164.59/41.32	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
164.59/41.36	c vivif2 --  cl tried    25609 cl shrink        0 lits rem          0 time: 0.05
165.36/41.55	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.19
165.36/41.56	c calculated reachability. Time: 0.00
165.36/41.56	c  N dy   435     69891     33972    145384         0     25609    441840   2525603    167.02   no data
174.93/43.93	c  N dy   468     74362     33972    145384         0     30080    441840   3658166    167.16    177.82
184.91/46.49	c  N dy   500     79122     33972    145384         0     34840    441840   4862185    167.11    176.53
196.07/49.26	c  N dy   536     84189     33972    145384         0     39907    441840   6161117    167.36    176.45
203.66/51.13	c  F st   557     87500     33972    145384         0     22362    441840   1110399    167.27   no data
210.83/52.98	c  N st   562     90800     33972    145384         0     25661    441840   2204042    167.27   no data
223.98/56.27	c  N dy   590     96641     33972    145384         0     31502    441840   4095015    167.04    176.11
237.95/59.71	c  N dy   634    102855     33972    145384         0     37716    441840   5711877    167.28    176.86
242.34/60.80	c  S st   649    104836     33972    145384         0     39697    441840   6216095    167.30   no data
243.14/61.10	c  S st   649    105339     33972    145384         0     40200    441840   6323329    167.30   no data
243.55/61.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
243.97/61.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
243.97/61.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.97/61.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
243.97/61.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
244.32/61.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
244.32/61.32	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
244.72/61.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
246.73/61.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
253.49/63.64	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.68 s
253.49/63.66	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
253.89/63.77	c vivif2 --  cl tried    40198 cl shrink        0 lits rem          0 time: 0.11
254.70/63.99	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.22
255.10/64.00	c calculated reachability. Time: 0.00
255.10/64.00	c  N dy   649    105339     33972    145384         0     40198    441840   6323104    167.30   no data
270.30/67.89	c  N dy   698    112085     33972    145384         0     24510    441840   1185307    167.71    176.72
286.21/71.83	c  N dy   746    119315     33972    145384         0     31738    441840   3045529    167.67    178.36
303.35/76.14	c  N dy   798    127044     33972    145384         0     39467    441840   5057112    167.82    176.70
321.70/80.75	c  N dy   857    135156     33972    145384         0     23865    441840    663041    167.94    189.20
340.84/85.51	c  N dy   920    143928     33972    145384         0     32637    441840   2934295    168.05    181.96
362.00/90.83	c  N dy   987    153390     33972    145384         0     42098    441840   5442064    168.44    185.82
372.74/93.50	c  S st  1017    158012     33972    145384         0     46720    441840   6624238    168.32    158.15
373.95/93.80	c  S st  1017    158521     33972    145384         0     47229    441840   6730381    168.32   no data
373.95/93.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
374.35/93.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
374.35/93.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
374.75/94.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
374.75/94.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
374.75/94.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
374.75/94.04	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
375.59/94.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
377.13/94.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
386.70/97.06	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.37 s
386.70/97.08	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
387.51/97.20	c vivif2 --  cl tried    47227 cl shrink        0 lits rem          0 time: 0.12
388.32/97.43	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.23
388.32/97.44	c calculated reachability. Time: 0.00
388.32/97.44	c  N dy  1017    158521     33972    145384         0     47227    441840   6730206    168.32   no data
411.04/103.11	c  N dy  1090    168694     33972    145384         0     32549    441840   2636164    168.60    221.89
435.37/109.24	c  N dy  1168    179483     33972    145384         0     43337    441840   5512670    169.02    178.84
462.49/116.02	c  N dy  1257    191026     33972    145384         0     28952    441840   1360722    169.43    202.61
489.65/122.87	c  N dy  1338    203253     33972    145384         0     41178    441840   4595523    169.55    180.75
519.93/130.44	c  N dy  1427    216227     33972    145384         0     27189    441840    610045    169.66    181.00
550.23/138.07	c  N dy  1516    230079     33972    145384         0     41039    441840   4199030    169.67    181.68
568.20/142.52	c  S st  1569    237781     33972    145384         0     48740    441840   6212746    169.69   no data
569.37/142.83	c  S st  1569    238285     33972    145384         0     49244    441840   6301655    169.69   no data
569.37/142.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
569.77/142.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
570.17/143.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
570.17/143.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
570.17/143.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
570.17/143.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
570.17/143.06	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
570.96/143.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
572.59/143.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
581.77/145.99	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.33 s
582.12/146.01	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
582.52/146.12	c vivif2 --  cl tried    49238 cl shrink        0 lits rem          0 time: 0.12
583.32/146.36	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.23
583.32/146.37	c calculated reachability. Time: 0.00
583.32/146.37	c  N dy  1569    238285     33972    145384         0     49238    441840   6300393    169.69   no data
618.02/155.06	c  N dy  1674    253496     33972    145384         0     36478    441840   2743876    169.78    189.75
655.52/164.41	c  N dy  1786    269681     33972    145384         0     52661    441840   6938928    169.73    184.29
695.42/174.46	c  N dy  1902    287071     33972    145384         0     41055    441840   3670392    169.76    179.07
738.07/185.19	c  N dy  2023    305462     33972    145384         0     59444    441840   8415450    169.69    233.76
740.07/185.69	c  F st  2028    306251     33972    145384         0     30241    441840    583715    169.69   no data
783.58/196.58	c  N dy  2131    324997     33972    145384         0     48986    441840   5948381    169.78    180.00
830.21/208.25	c  N dy  2258    345106     33972    145384         0     38098    441840   2321956    169.67    180.33
858.51/215.39	c  S st  2347    357427     33972    145384         0     50419    441840   5551710    169.83    139.37
860.11/215.71	c  S st  2347    357931     33972    145384         0     50923    441840   5654728    169.83   no data
860.11/215.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
860.51/215.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
860.92/215.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
860.92/215.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
860.92/215.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
860.92/215.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
860.92/215.95	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
861.71/216.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
862.90/216.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
872.08/218.71	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.22 s
872.08/218.73	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
872.47/218.83	c vivif2 --  cl tried    50920 cl shrink        0 lits rem          0 time: 0.10
873.27/219.07	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.24
873.27/219.08	c calculated reachability. Time: 0.00
873.27/219.08	c  N dy  2347    357931     33972    145384         0     50920    441840   5652849    169.83   no data
921.13/231.01	c  N dy  2488    378088     33972    145384         0     39076    441840   2315538    169.86    186.15
968.98/243.01	c  N dy  2630    398223     33972    145384         0     59210    441840   7579114    169.95    185.69
1016.09/254.86	c  N dy  2774    418306     33972    145384         0     46295    441840   3964005    170.09    183.95
1064.36/266.98	c  N dy  2910    438385     33972    145384         0     66371    441840   9250758    170.20    184.81
1110.58/278.54	c  N dy  3038    458414     33972    145384         0     52399    441840   5279181    170.16    180.11
1158.43/290.57	c  N dy  3167    478488     33972    145384         0     37477    441840   1144583    170.02    179.15
1205.49/302.32	c  N dy  3307    498588     33972    145384         0     57575    441840   6415492    170.07    198.44
1253.75/314.47	c  N dy  3441    518599     33972    145384         0     41586    441840   1904519    170.07    179.85
1297.21/325.33	c  S st  3571    536897     33972    145384         0     59883    441840   6704601    170.10    161.37
1298.41/325.66	c  S st  3571    537399     33972    145384         0     60385    441840   6801416    170.10   no data
1298.41/325.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1299.21/325.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
1299.21/325.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1299.21/325.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1299.21/325.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1299.21/325.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
1299.61/325.91	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1300.40/326.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
1301.99/326.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1314.41/329.62	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.09 s
1314.41/329.64	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
1314.75/329.77	c vivif2 --  cl tried    60380 cl shrink        0 lits rem          0 time: 0.12
1315.96/330.02	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.25
1315.96/330.03	c calculated reachability. Time: 0.00
1315.96/330.03	c  N dy  3571    537399     33972    145384         0     60380    441840   6798921    170.10   no data
1365.01/342.32	c  N dy  3701    557429     33972    145384         0     43412    441840   2180696    170.04    179.50
1412.87/354.32	c  N dy  3837    577468     33972    145384         0     63450    441840   7459606    170.08    183.69
1461.53/366.55	c  N dy  3968    597514     33972    145384         0     45504    441840   2388429    170.05    180.29
1509.78/378.61	c  N dy  4103    617616     33972    145384         0     65604    441840   7606991    170.10    179.41
1558.84/390.99	c  N dy  4240    637707     33972    145384         0     46690    441840   2487389    170.11    180.52
1607.50/403.15	c  N dy  4372    657861     33972    145384         0     66844    441840   7699579    170.04    179.43
1656.94/415.50	c  N dy  4503    677904     33972    145384         0     46892    441840   2283589    170.06    181.95
1706.80/428.00	c  N dy  4636    698125     33972    145384         0     67110    441840   7504306    170.01    181.00
1757.07/440.62	c  N dy  4768    718193     33972    145384         0     46182    441840   1833179    170.05    181.15
1805.75/452.82	c  N dy  4907    738288     33972    145384         0     66277    441840   7095515    170.06    180.05
1857.15/465.73	c  N dy  5041    758423     33972    145384         0     44411    441840   1173422    170.14    182.87
1905.01/477.73	c  N dy  5180    778473     33972    145384         0     64460    441840   6411233    170.16    179.24
1956.45/490.66	c  N dy  5314    798638     33972    145384         0     84625    441840  11766094    170.17    183.78
1974.40/495.16	c  S st  5368    806098     33972    145384         0     49085    441840   2143305    170.21   no data
1975.60/495.46	c  S st  5368    806601     33972    145384         0     49588    441840   2232612    170.21   no data
1975.60/495.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1976.00/495.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
1976.42/495.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1976.42/495.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1976.42/495.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1976.42/495.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
1976.42/495.69	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1977.18/495.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
1977.58/495.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1980.80/496.73	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.73 s
1980.80/496.76	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
1980.80/496.80	c vivif2 --  cl tried    49585 cl shrink        0 lits rem          0 time: 0.04
1981.98/497.03	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.23
1981.98/497.04	c calculated reachability. Time: 0.00
1981.98/497.04	c  N dy  5368    806601     33972    145384         0     49585    441840   2230458    170.21   no data
2030.64/509.28	c  N dy  5497    826605     33972    145384         0     69587    441840   7375962    170.15    179.68
2082.88/522.39	c  N dy  5632    846665     33972    145384         0     45646    441840    902562    170.19    184.26
2132.34/534.73	c  N dy  5772    866801     33972    145384         0     65781    441840   6247901    170.23    180.52
2184.17/547.74	c  N dy  5912    886827     33972    145384         0     85806    441840  11451668    170.26    181.34
2233.64/560.16	c  N dy  6057    906902     33972    145384         0     60883    441840   4731493    170.34    179.36
2284.68/572.95	c  N dy  6195    926973     33972    145384         0     80951    441840   9983041    170.37    182.56
2335.73/585.77	c  N dy  6333    946989     33972    145384         0     54967    441840   2890563    170.39    180.22
2385.57/598.20	c  N dy  6460    967012     33972    145384         0     74989    441840   8237426    170.40    183.61
2438.62/611.54	c  N dy  6596    987059     33972    145384         0     48037    441840    784680    170.41    186.22
2486.88/623.69	c  N dy  6739   1007080     33972    145384         0     68058    441840   6074864    170.46    180.17
2539.91/636.90	c  N dy  6877   1027136     33972    145384         0     88113    441840  11267429    170.45    183.57
2590.58/649.67	c  N dy  7014   1047194     33972    145384         0     60170    441840   3781028    170.47    180.89
2641.21/662.34	c  N dy  7140   1067239     33972    145384         0     80213    441840   8969680    170.44    187.60
2653.57/665.43	c  F st  7170   1071875     33972    145384         0     84849    441840  10211944    170.44    151.40
2694.25/675.68	c  N dy  7242   1087280     33972    145384         0     51261    441840   1105606    170.42    186.64
2744.13/688.12	c  N dy  7387   1107319     33972    145384         0     71299    441840   6341376    170.45    185.17
2796.35/701.31	c  N dy  7521   1127343     33972    145384         0     91322    441840  11587968    170.45    183.35
2848.19/714.24	c  N dy  7652   1147433     33972    145384         0     61415    441840   3467375    170.43    180.89
2898.84/726.98	c  N dy  7783   1167494     33972    145384         0     81475    441840   8709199    170.41    181.00
2953.88/740.71	c  N dy  7921   1187667     33972    145384         0    101645    441840  13976015    170.41    182.39
3003.72/753.23	c  N dy  8060   1207671     33972    145384         0     70651    441840   5690129    170.43    181.24
3009.71/754.78	c  S st  8075   1209902     33972    145384         0     72882    441840   6283745    170.43   no data
3011.31/755.15	c  S st  8075   1210405     33972    145384         0     73385    441840   6379293    170.43   no data
3011.31/755.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3012.15/755.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.15
3012.15/755.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3012.15/755.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3012.15/755.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3012.50/755.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
3012.50/755.42	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
3013.30/755.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
3014.50/755.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3028.46/759.41	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.40 s
3028.46/759.44	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
3028.86/759.56	c vivif2 --  cl tried    73381 cl shrink        0 lits rem          0 time: 0.12
3030.04/759.83	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.28
3030.04/759.85	c calculated reachability. Time: 0.00
3030.04/759.85	c  N dy  8075   1210405     33972    145384         0     73381    441840   6377777    170.43   no data
3083.49/773.27	c  N dy  8212   1230513     33972    145384         0     93487    441840  11647509    170.43    181.95
3136.13/786.49	c  N dy  8355   1250529     33972    145384         0     61503    441840   3034872    170.47    181.00
3187.63/799.31	c  N dy  8493   1270584     33972    145384         0     81556    441840   8280143    170.48    186.35
3243.42/813.31	c  N dy  8639   1290695     33972    145384         0    101665    441840  13583186    170.52    179.70
3295.26/826.31	c  N dy  8781   1310726     33972    145384         0     68707    441840   4702919    170.55    186.46
3348.30/839.65	c  N dy  8912   1330853     33972    145384         0     88834    441840   9923329    170.54    183.50
3404.93/853.87	c  N dy  9052   1350889     33972    145384         0     54877    441840    769506    170.56    185.98
3455.97/866.68	c  N dy  9194   1370920     33972    145384         0     74905    441840   6087747    170.60    191.50
3510.62/880.36	c  N dy  9333   1391011     33972    145384         0     94995    441840  11425835    170.63    210.61
3566.85/894.46	c  N dy  9475   1411061     33972    145384         0     60049    441840   1863171    170.63    181.93
3618.29/907.39	c  N dy  9610   1431090     33972    145384         0     80078    441840   7147816    170.65    243.00
3674.15/921.36	c  N dy  9753   1451168     33972    145384         0    100153    441840  12447803    170.68    183.87
3729.56/935.26	c  N dy  9897   1471265     33972    145384         0     64244    441840   2736438    170.69    183.77
3782.21/948.44	c  N dy 10036   1491354     33972    145384         0     84332    441840   7951340    170.69    182.75
3838.84/962.64	c  N dy 10177   1511427     33972    145384         0    104405    441840  13289325    170.74    180.94
3893.92/976.48	c  N dy 10318   1531492     33972    145384         0     67474    441840   3299707    170.77    208.89
3946.91/989.78	c  N dy 10456   1551586     33972    145384         0     87568    441840   8540746    170.78    210.94
4003.94/1004.04	c  N dy 10595   1571682     33972    145384         0    107662    441840  13909256    170.80    179.85
4057.37/1017.47	c  N dy 10725   1591704     33972    145384         0     69681    441840   3670653    170.80    186.19
4110.82/1030.82	c  N dy 10859   1611788     33972    145384         0     89764    441840   8947526    170.82    187.28
4167.05/1044.96	c  N dy 10992   1631848     33972    145384         0    109822    441840  14121754    170.80    180.80
4221.69/1058.68	c  N dy 11129   1651917     33972    145384         0     70894    441840   3705341    170.82    184.37
4275.57/1072.13	c  N dy 11267   1671977     33972    145384         0     90954    441840   8983909    170.84    182.12
4332.95/1086.55	c  N dy 11401   1692058     33972    145384         0    111033    441840  14246747    170.85    180.43
4383.60/1099.25	c  S st 11521   1710406     33972    145384         0     69387    441840   3045244    170.84   no data
4384.82/1099.60	c  S st 11521   1710910     33972    145384         0     69891    441840   3147489    170.84   no data
4385.25/1099.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4385.60/1099.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
4386.00/1099.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4386.00/1099.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4386.00/1099.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4386.00/1099.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
4386.00/1099.86	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4386.80/1100.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
4387.59/1100.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4395.17/1102.16	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.89 s
4395.17/1102.19	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
4395.56/1102.25	c vivif2 --  cl tried    69889 cl shrink        0 lits rem          0 time: 0.06
4396.77/1102.52	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.27
4396.77/1102.53	c calculated reachability. Time: 0.00
4396.77/1102.53	c  N dy 11521   1710910     33972    145384         0     69889    441840   3146265    170.84   no data
4450.21/1115.97	c  N dy 11656   1731068     33972    145384         0     90046    441840   8420438    170.84    183.60
4508.07/1130.47	c  N dy 11794   1751213     33972    145384         0    110190    441840  13694696    170.86    186.18
4565.45/1144.80	c  N dy 11942   1771433     33972    145384         0     69415    441840   2844733    170.90    182.16
4619.30/1158.37	c  N dy 12088   1791473     33972    145384         0     89454    441840   8152177    170.94    192.21
4676.72/1172.72	c  N dy 12218   1811541     33972    145384         0    109520    441840  13393987    170.93    186.74
4735.35/1187.45	c  N dy 12358   1831878     33972    145384         0     67854    441840   2191807    170.96    182.27
4788.42/1200.80	c  N dy 12498   1852003     33972    145384         0     87977    441840   7447534    170.97    181.06

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-3366110-1305395401/watcher-3366110-1305395401 -o /tmp/evaluation-result-3366110-1305395401/solver-3366110-1305395401 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366110-1305395401.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: 5.97 7.67 8.15 5/367 14531
/proc/meminfo: memFree=23322532/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 729770825 52396032 347 33554432000 4194304 4580107 140733491607632 18446744073709551615 47296722036658 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14531/statm: 12792 347 299 95 0 7774 0
[pid=14531/tid=14532] ppid=14529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 729770825 52396032 347 33554432000 4194304 4580107 140733491607632 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 729770825 52396032 347 33554432000 4194304 4580107 140733491607632 18446744073709551615 47296722036652 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 729770825 52396032 347 33554432000 4194304 4580107 140733491607632 18446744073709551615 47296722036658 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.015126 s]
/proc/loadavg: 5.97 7.67 8.15 5/367 14531
/proc/meminfo: memFree=23322532/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=51168 CPUtime=0.03 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 412 0 0 0 3 0 0 0 23 0 4 0 729770825 52396032 352 33554432000 4194304 4580107 140733491607632 18446744073709551615 47296722036656 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 12792 352 302 95 0 7774 0
[pid=14531/tid=14532] ppid=14529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 729770825 52396032 352 33554432000 4194304 4580107 140733491607632 18446744073709551615 47296722036249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 4 0 0 0 1 0 0 0 23 0 4 0 729770825 52396032 352 33554432000 4194304 4580107 140733491607632 18446744073709551615 47296722036249 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 729770825 52396032 352 33554432000 4194304 4580107 140733491607632 18446744073709551615 47296722036249 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 51168

[startup+0.101122 s]
/proc/loadavg: 5.97 7.67 8.15 5/367 14531
/proc/meminfo: memFree=23322532/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=387644 CPUtime=0.34 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) S 14529 14531 13799 0 -1 4202496 20608 0 0 0 25 9 0 0 18 0 4 0 729770825 396947456 16502 33554432000 4194304 4580107 140733491607632 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 96911 16527 337 95 0 91893 0
[pid=14531/tid=14532] ppid=14529 vsize=387644 CPUtime=0.07 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) S 14529 14531 13799 0 -1 4202560 4839 0 0 0 5 2 0 0 18 0 4 0 729770825 396947456 16551 33554432000 4194304 4580107 140733491607632 18446744073709551615 260905499118 0 0 4096 2 18446604462112294720 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=387644 CPUtime=0.08 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 4987 0 0 0 5 3 0 0 18 0 4 0 729770825 396947456 16571 33554432000 4194304 4580107 140733491607632 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=387644 CPUtime=0.08 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 4713 0 0 0 6 2 0 0 18 0 4 0 729770825 396947456 16599 33554432000 4194304 4580107 140733491607632 18446744073709551615 4354920 0 0 4096 2 18446604462112294720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 387644

[startup+0.565223 s]
/proc/loadavg: 5.97 7.67 8.15 5/367 14531
/proc/meminfo: memFree=23322532/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=436996 CPUtime=2.56 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) S 14529 14531 13799 0 -1 4202496 48587 0 0 0 229 27 0 0 18 0 4 0 729770825 447483904 38933 33554432000 4194304 4580107 140733491607632 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 109249 38958 373 95 0 104231 0
[pid=14531/tid=14532] ppid=14529 vsize=436996 CPUtime=0.63 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 13612 0 0 0 57 6 0 0 18 0 4 0 729770825 447483904 38969 33554432000 4194304 4580107 140733491607632 18446744073709551615 4399541 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=436996 CPUtime=0.63 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 14310 0 0 0 55 8 0 0 18 0 4 0 729770825 447483904 38981 33554432000 4194304 4580107 140733491607632 18446744073709551615 260905091459 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=436996 CPUtime=0.63 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 6207 0 0 0 58 5 0 0 18 0 4 0 729770825 447483904 38992 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 436996

[startup+0.734259 s]
/proc/loadavg: 5.97 7.67 8.15 5/367 14531
/proc/meminfo: memFree=23322532/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=430572 CPUtime=4.41 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 51661 0 0 0 413 28 0 0 19 0 4 0 729770825 440905728 39874 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293163 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 107643 39874 377 95 0 102625 0
[pid=14531/tid=14532] ppid=14529 vsize=430572 CPUtime=1.09 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 14329 0 0 0 103 6 0 0 18 0 4 0 729770825 440905728 39874 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=430572 CPUtime=1.09 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 15308 0 0 0 101 8 0 0 18 0 4 0 729770825 440905728 39874 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=430572 CPUtime=1.1 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 6513 0 0 0 105 5 0 0 18 0 4 0 729770825 440905728 39874 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 430572

[startup+1.50085 s]
/proc/loadavg: 5.97 7.67 8.15 5/367 14531
/proc/meminfo: memFree=23322532/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=430572 CPUtime=5.86 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 52654 0 0 0 557 29 0 0 19 0 4 0 729770825 440905728 40867 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 107643 40867 377 95 0 102625 0
[pid=14531/tid=14532] ppid=14529 vsize=430572 CPUtime=1.45 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 14569 0 0 0 139 6 0 0 19 0 4 0 729770825 440905728 40867 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=430572 CPUtime=1.45 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 15577 0 0 0 137 8 0 0 19 0 4 0 729770825 440905728 40867 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=430572 CPUtime=1.46 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 6728 0 0 0 141 5 0 0 19 0 4 0 729770825 440905728 40867 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 430572

[startup+3.10056 s]
/proc/loadavg: 6.13 7.68 8.15 10/371 14535
/proc/meminfo: memFree=23100676/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=561836 CPUtime=12.23 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 56261 0 0 0 1193 30 0 0 23 0 4 0 729770825 575320064 44474 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 140459 44476 377 95 0 135441 0
[pid=14531/tid=14532] ppid=14529 vsize=561836 CPUtime=3.05 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 15559 0 0 0 299 6 0 0 23 0 4 0 729770825 575320064 44476 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=561836 CPUtime=3.05 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 16480 0 0 0 297 8 0 0 23 0 4 0 729770825 575320064 44476 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=561836 CPUtime=3.06 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 7558 0 0 0 300 6 0 0 23 0 4 0 729770825 575320064 44476 33554432000 4194304 4580107 140733491607632 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 561836

[startup+6.30098 s]
/proc/loadavg: 6.13 7.68 8.15 10/371 14535
/proc/meminfo: memFree=23010812/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=561836 CPUtime=25 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 63016 0 0 0 2468 32 0 0 25 0 4 0 729770825 575320064 51229 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 140459 51229 377 95 0 135441 0
[pid=14531/tid=14532] ppid=14529 vsize=561836 CPUtime=6.26 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 17266 0 0 0 619 7 0 0 25 0 4 0 729770825 575320064 51229 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=561836 CPUtime=6.25 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 18186 0 0 0 616 9 0 0 25 0 4 0 729770825 575320064 51229 33554432000 4194304 4580107 140733491607632 18446744073709551615 4322558 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=561836 CPUtime=6.26 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 9287 0 0 0 620 6 0 0 25 0 4 0 729770825 575320064 51229 33554432000 4194304 4580107 140733491607632 18446744073709551615 4489437 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 561836

[startup+12.7008 s]
/proc/loadavg: 6.42 7.69 8.15 10/371 14535
/proc/meminfo: memFree=22951952/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=459980 CPUtime=50.54 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 82346 0 0 0 5017 37 0 0 25 0 4 0 729770825 471019520 46417 33554432000 4194304 4580107 140733491607632 18446744073709551615 4318425 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 114995 46417 378 95 0 109977 0
[pid=14531/tid=14532] ppid=14529 vsize=459980 CPUtime=12.66 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 22055 0 0 0 1259 7 0 0 25 0 4 0 729770825 471019520 46427 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=459980 CPUtime=12.67 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 23196 0 0 0 1256 11 0 0 25 0 4 0 729770825 471019520 46427 33554432000 4194304 4580107 140733491607632 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=459980 CPUtime=12.67 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 14047 0 0 0 1260 7 0 0 25 0 4 0 729770825 471019520 46427 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 459980

[startup+25.5005 s]
/proc/loadavg: 6.74 7.72 8.15 10/371 14535
/proc/meminfo: memFree=22698736/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=632968 CPUtime=101.56 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 168637 0 0 0 10095 61 0 0 25 0 4 0 729770825 648159232 98505 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14531/statm: 158242 98505 379 95 0 153224 0
[pid=14531/tid=14532] ppid=14529 vsize=632968 CPUtime=25.35 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 56161 0 0 0 2520 15 0 0 25 0 4 0 729770825 648159232 98505 33554432000 4194304 4580107 140733491607632 18446744073709551615 4318721 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=632968 CPUtime=25.45 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 39293 0 0 0 2529 16 0 0 25 0 4 0 729770825 648159232 98505 33554432000 4194304 4580107 140733491607632 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=632968 CPUtime=25.46 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 22537 0 0 0 2536 10 0 0 25 0 4 0 729770825 648159232 98505 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 632968

[startup+51.1008 s]
/proc/loadavg: 7.17 7.74 8.15 10/371 14536
/proc/meminfo: memFree=22497036/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=778988 CPUtime=203.66 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 253029 0 0 0 20283 83 0 0 25 0 4 0 729770825 797683712 132706 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14531/statm: 194747 132708 379 95 0 189729 0
[pid=14531/tid=14532] ppid=14529 vsize=778988 CPUtime=50.64 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 71602 0 0 0 5046 18 0 0 25 0 4 0 729770825 797683712 132711 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=778988 CPUtime=51.05 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 60644 0 0 0 5083 22 0 0 25 0 4 0 729770825 797683712 132714 33554432000 4194304 4580107 140733491607632 18446744073709551615 260905090827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=778988 CPUtime=51.06 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 51493 0 0 0 5089 17 0 0 25 0 4 0 729770825 797683712 132714 33554432000 4194304 4580107 140733491607632 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.66
Current children cumulated vsize (KiB) 778988

[startup+102.3 s]
/proc/loadavg: 7.72 7.80 8.14 9/371 14537
/proc/meminfo: memFree=22233228/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1183800 CPUtime=407.84 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 386677 0 0 0 40661 123 0 0 25 0 4 0 729770825 1212211200 189008 33554432000 4194304 4580107 140733491607632 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14531/statm: 295950 189008 379 95 0 290932 0
[pid=14531/tid=14532] ppid=14529 vsize=1183800 CPUtime=101.6 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 97228 0 0 0 10134 26 0 0 25 0 4 0 729770825 1212211200 189008 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1183800 CPUtime=101.87 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 86761 0 0 0 10156 31 0 0 25 0 4 0 729770825 1212211200 189008 33554432000 4194304 4580107 140733491607632 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1183800 CPUtime=102.25 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 84887 0 0 0 10199 26 0 0 25 0 4 0 729770825 1212211200 189008 33554432000 4194304 4580107 140733491607632 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.84
Current children cumulated vsize (KiB) 1183800

[startup+162.3 s]

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

[pid=14531] ppid=14529 vsize=1565680 CPUtime=2561.45 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 1326684 0 0 0 255693 452 0 0 25 0 4 0 729770825 1603256320 318492 33554432000 4194304 4580107 140733491607632 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14531/statm: 391420 318492 379 95 0 386402 0
[pid=14531/tid=14532] ppid=14529 vsize=1565680 CPUtime=641.59 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 320751 0 0 0 64054 105 0 0 25 0 4 0 729770825 1603256320 318492 33554432000 4194304 4580107 140733491607632 18446744073709551615 4317501 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1565680 CPUtime=635.49 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 324479 0 0 0 63434 115 0 0 25 0 4 0 729770825 1603256320 318492 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1565680 CPUtime=642.25 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 346791 0 0 0 64110 115 0 0 25 0 4 0 729770825 1603256320 318492 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.45
Current children cumulated vsize (KiB) 1565680

[startup+702.3 s]
/proc/loadavg: 8.22 8.08 8.11 9/371 14562
/proc/meminfo: memFree=21320480/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1566604 CPUtime=2800.74 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 1422756 0 0 0 279585 489 0 0 25 0 4 0 729770825 1604202496 318578 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14531/statm: 391651 318578 379 95 0 386633 0
[pid=14531/tid=14532] ppid=14529 vsize=1566604 CPUtime=701.6 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 340998 0 0 0 70045 115 0 0 25 0 4 0 729770825 1604202496 318578 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1566604 CPUtime=694.79 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 345512 0 0 0 69356 123 0 0 25 0 4 0 729770825 1604202496 318578 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1566604 CPUtime=702.25 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 370690 0 0 0 70102 123 0 0 25 0 4 0 729770825 1604202496 318578 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.74
Current children cumulated vsize (KiB) 1566604

[startup+762.3 s]
/proc/loadavg: 8.20 8.09 8.11 10/371 14564
/proc/meminfo: memFree=21244892/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1654160 CPUtime=3040.01 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 1518855 0 0 0 303478 523 0 0 25 0 4 0 729770825 1693859840 331475 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14531/statm: 413540 331475 379 95 0 408522 0
[pid=14531/tid=14532] ppid=14529 vsize=1654160 CPUtime=761.6 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 369135 0 0 0 76036 124 0 0 25 0 4 0 729770825 1693859840 331475 33554432000 4194304 4580107 140733491607632 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1654160 CPUtime=754.07 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 368361 0 0 0 75276 131 0 0 25 0 4 0 729770825 1693859840 331475 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1654160 CPUtime=762.25 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 392512 0 0 0 76094 131 0 0 25 0 4 0 729770825 1693859840 331475 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.01
Current children cumulated vsize (KiB) 1654160

[startup+822.301 s]
/proc/loadavg: 8.13 8.09 8.10 9/371 14566
/proc/meminfo: memFree=21151688/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1683900 CPUtime=3279.33 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 1613974 0 0 0 327375 558 0 0 25 0 4 0 729770825 1724313600 330916 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 420975 330916 379 95 0 415957 0
[pid=14531/tid=14532] ppid=14529 vsize=1683900 CPUtime=821.6 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 395959 0 0 0 82027 133 0 0 25 0 4 0 729770825 1724313600 330922 33554432000 4194304 4580107 140733491607632 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1683900 CPUtime=813.61 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 395291 0 0 0 81220 141 0 0 25 0 4 0 729770825 1724313600 330923 33554432000 4194304 4580107 140733491607632 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1683900 CPUtime=822.27 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 415131 0 0 0 82087 140 0 0 25 0 4 0 729770825 1724313600 330923 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.33
Current children cumulated vsize (KiB) 1683900

[startup+882.301 s]
/proc/loadavg: 8.10 8.09 8.10 9/371 14567
/proc/meminfo: memFree=21200864/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1637164 CPUtime=3518.59 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 1706744 0 0 0 351269 590 0 0 25 0 4 0 729770825 1676455936 340253 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 409291 340253 379 95 0 404273 0
[pid=14531/tid=14532] ppid=14529 vsize=1637164 CPUtime=881.59 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 416453 0 0 0 88018 141 0 0 25 0 4 0 729770825 1676455936 340253 33554432000 4194304 4580107 140733491607632 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1637164 CPUtime=873.59 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 424249 0 0 0 87208 151 0 0 25 0 4 0 729770825 1676455936 340253 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1637164 CPUtime=882.26 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 437534 0 0 0 88078 148 0 0 25 0 4 0 729770825 1676455936 340253 33554432000 4194304 4580107 140733491607632 18446744073709551615 4322729 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.59
Current children cumulated vsize (KiB) 1637164

[startup+942.314 s]
/proc/loadavg: 8.09 8.08 8.09 9/371 14569
/proc/meminfo: memFree=21179224/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1719160 CPUtime=3757.92 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 1799852 0 0 0 375167 625 0 0 25 0 4 0 729770825 1760419840 342919 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 429790 342919 379 95 0 424772 0
[pid=14531/tid=14532] ppid=14529 vsize=1719160 CPUtime=941.61 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 435826 0 0 0 94012 149 0 0 25 0 4 0 729770825 1760419840 342919 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1719160 CPUtime=933.61 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 450943 0 0 0 93200 161 0 0 25 0 4 0 729770825 1760419840 342919 33554432000 4194304 4580107 140733491607632 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1719160 CPUtime=942.26 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 462424 0 0 0 94070 156 0 0 25 0 4 0 729770825 1760419840 342919 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.92
Current children cumulated vsize (KiB) 1719160

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 8.09 10/371 14570
/proc/meminfo: memFree=20959308/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1688432 CPUtime=3997.16 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 1897379 0 0 0 399055 661 0 0 25 0 4 0 729770825 1728954368 347773 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 422108 347773 379 95 0 417090 0
[pid=14531/tid=14532] ppid=14529 vsize=1688432 CPUtime=1001.59 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 462020 0 0 0 100001 158 0 0 25 0 4 0 729770825 1728954368 347773 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1688432 CPUtime=993.59 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 471596 0 0 0 99191 168 0 0 25 0 4 0 729770825 1728954368 347773 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1688432 CPUtime=1002.25 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 488771 0 0 0 100060 165 0 0 25 0 4 0 729770825 1728954368 347773 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.16
Current children cumulated vsize (KiB) 1688432

[startup+1062.3 s]
/proc/loadavg: 8.08 8.08 8.09 10/371 14572
/proc/meminfo: memFree=20921296/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1687000 CPUtime=4236.43 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 1987946 0 0 0 422947 696 0 0 25 0 4 0 729770825 1727488000 343817 33554432000 4194304 4580107 140733491607632 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 421750 343818 379 95 0 416732 0
[pid=14531/tid=14532] ppid=14529 vsize=1687000 CPUtime=1061.59 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 487229 0 0 0 105990 169 0 0 25 0 4 0 729770825 1727488000 343818 33554432000 4194304 4580107 140733491607632 18446744073709551615 4320962 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1687000 CPUtime=1053.59 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 498314 0 0 0 105182 177 0 0 25 0 4 0 729770825 1727488000 343818 33554432000 4194304 4580107 140733491607632 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1687000 CPUtime=1062.25 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 509347 0 0 0 106052 173 0 0 25 0 4 0 729770825 1727488000 343818 33554432000 4194304 4580107 140733491607632 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.43
Current children cumulated vsize (KiB) 1687000

[startup+1122.3 s]
/proc/loadavg: 8.07 8.08 8.09 10/371 14574
/proc/meminfo: memFree=20906476/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1624196 CPUtime=4475.74 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 2068370 0 0 0 446846 728 0 0 25 0 4 0 729770825 1663176704 347667 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293184 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 406049 347667 379 95 0 401031 0
[pid=14531/tid=14532] ppid=14529 vsize=1624196 CPUtime=1121.59 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 505898 0 0 0 111981 178 0 0 25 0 4 0 729770825 1663176704 347667 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1624196 CPUtime=1113.59 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 518584 0 0 0 111175 184 0 0 25 0 4 0 729770825 1663176704 347667 33554432000 4194304 4580107 140733491607632 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1624196 CPUtime=1122.25 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 530975 0 0 0 112044 181 0 0 25 0 4 0 729770825 1663176704 347667 33554432000 4194304 4580107 140733491607632 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.74
Current children cumulated vsize (KiB) 1624196

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 8.09 10/371 14575
/proc/meminfo: memFree=20864140/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1720964 CPUtime=4715.01 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 2156056 0 0 0 470738 763 0 0 25 0 4 0 729770825 1762267136 352033 33554432000 4194304 4580107 140733491607632 18446744073709551615 4317325 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 430241 352033 379 95 0 425223 0
[pid=14531/tid=14532] ppid=14529 vsize=1720964 CPUtime=1181.58 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 528459 0 0 0 117971 187 0 0 25 0 4 0 729770825 1762267136 352033 33554432000 4194304 4580107 140733491607632 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1720964 CPUtime=1173.58 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 540816 0 0 0 117164 194 0 0 25 0 4 0 729770825 1762267136 352033 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1720964 CPUtime=1182.24 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 554097 0 0 0 118036 188 0 0 25 0 4 0 729770825 1762267136 352033 33554432000 4194304 4580107 140733491607632 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.01
Current children cumulated vsize (KiB) 1720964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.12 8.09 8.09 5/367 14577
/proc/meminfo: memFree=21852552/32950928 swapFree=65730864/67111528
[pid=14531] ppid=14529 vsize=1721072 CPUtime=4800.38 cores=1,3,5,7
/proc/14531/stat : 14531 (strangenight2-m) R 14529 14531 13799 0 -1 4202496 2186023 0 0 0 479264 774 0 0 25 0 4 0 729770825 1762377728 367977 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14531/statm: 430268 367977 379 95 0 425250 0
[pid=14531/tid=14532] ppid=14529 vsize=1721072 CPUtime=1203 cores=1,3,5,7
/proc/14531/task/14532/stat : 14532 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 536592 0 0 0 120111 189 0 0 25 0 4 0 729770825 1762377728 367983 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14531/tid=14533] ppid=14529 vsize=1721072 CPUtime=1195 cores=1,3,5,7
/proc/14531/task/14533/stat : 14533 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 548933 0 0 0 119302 198 0 0 25 0 4 0 729770825 1762377728 367983 33554432000 4194304 4580107 140733491607632 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14531/tid=14534] ppid=14529 vsize=1721072 CPUtime=1203.66 cores=1,3,5,7
/proc/14531/task/14534/stat : 14534 (strangenight2-m) R 14529 14531 13799 0 -1 4202560 561873 0 0 0 120174 192 0 0 25 0 4 0 729770825 1762377728 367983 33554432000 4194304 4580107 140733491607632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 1721072

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.78
CPU time (s): 4800.49
CPU user time (s): 4792.69
CPU system time (s): 7.79981
CPU usage (%): 398.785
Max. virtual memory (cumulated for all children) (KiB): 1753192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.69
system time used= 7.79981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2186037
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= 21276
involuntary context switches= 19814

runsolver used 3.9174 second user time and 10.3334 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 19:50:01
IDJOB=3366110
IDBENCH=82519
IDSOLVER=1844
FILE ID=node116/3366110-1305395401
RUNJOBID= node116-1305395401-14509
PBS_JOBID= 13324425
Free space on /tmp= 73128 MiB

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

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

MD5SUM BENCH= 07407a86c8d0f1e46c34022f68908549
RANDOM SEED=570104228

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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.826
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:     32950928 kB
MemFree:      23322812 kB
Buffers:         17552 kB
Cached:         101348 kB
SwapCached:      12356 kB
Active:        9359408 kB
Inactive:        62828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23322812 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:           14104 kB
Writeback:           0 kB
AnonPages:     9301980 kB
Mapped:          15776 kB
Slab:            96272 kB
PageTables:      44148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82832404 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= 73128 MiB
End job on node116 at 2011-05-14 20:10:07