Trace number 3368595

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-1-mt (fixed)? (TO) 4800.15 1203.27

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
MD5SUM53ba9a0375ae9f5fbde617f9de32bf14
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark35.2716
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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.28/0.10	c This is CryptoMiniSat 2.9.0
0.28/0.10	c compiled with gcc version 4.4.5
0.28/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.28/0.10	c Reading file 'HOME/instance-3368595-1305398256.cnf'
0.28/0.10	c -- header says num vars:          20000
0.28/0.10	c -- header says num clauses:       84000
0.54/0.29	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.54/0.29	c -- vars added      20000
0.54/0.29	c Parsing time:  0.22 s
0.54/0.29	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.54/0.29	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.22
0.95/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.15
3.77/1.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3.77/1.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3.77/1.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
3.77/1.04	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
3.77/1.04	c lits-rem:         0  cl-subs:        0  v-elim:    642  v-fix:    0  time:  0.77 s
3.77/1.04	c Finding binary XORs  T:     0.01 s  found:       0
3.77/1.04	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
3.77/1.04	c calculated reachability. Time: 0.00
3.77/1.04	c Calc default polars -  time:   0.02 s pos:    8747 undec:    2394 neg:    8859
3.77/1.04	c =========================================================================================
3.77/1.04	c types(t): F = full restart, N = normal restart
3.77/1.04	c types(t): S = simplification begin/end, E = solution found
3.77/1.04	c restart types(rt): st = static, dy = dynamic
3.77/1.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.77/1.04	c  B st     0         0     19358     83278         0         0    253461         0   no data   no data  --
5.74/1.57	c  N dy    20      4008     19358     83278         0      4007    253461    929376    135.60    143.17  --
9.72/2.55	c  N dy    44      8096     19358     83278         0      8095    253461   1770039    131.51    146.91  --
13.71/3.57	c  N dy    70     12112     19358     83278         0     12111    253461   2584287    131.38    143.34  --
18.10/4.63	c  N dy    99     16168     19358     83278         0     16167    253461   3410107    131.00    139.97  --
22.49/5.74	c  N dy   128     20236     19358     83278         0     10237    253461    614578    130.99    142.83  --
26.48/6.78	c  N dy   156     24260     19358     83278         0     14261    253461   1446393    131.42    145.25  --
27.28/6.98	c  F st   162     25000     19358     83278         0     15001    253461   1615092    131.75   no data  --
31.27/7.94	c  N st   167     28298     19358     83278         0     18299    253461   2574848    131.75   no data  --
33.27/8.44	c  S st   168     30000     19358     83278         0     20001    253461   3027692    131.75   no data  --
33.66/8.58	c  S st   168     30505     19358     83278         0     20506    253461   3102136    131.75   no data  --
33.66/8.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
33.66/8.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.06/8.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.37
35.25/8.95	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.25/8.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.25/8.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
35.25/8.97	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
56.84/14.39	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time: 21.49 s
57.60/14.50	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.45
57.60/14.50	c calculated reachability. Time: 0.00
57.60/14.51	c  N dy   168     30505     19358     83278         0     20503    253461   3100393    131.75   no data  --
62.79/15.80	c  N dy   195     34558     19358     83278         0     24556    253461   3941786    131.58    142.53  --
67.98/17.12	c  N dy   218     38667     19358     83278         0     28665    253461   4783665    131.16    138.68  --
73.17/18.45	c  N dy   247     42716     19358     83278         0     17215    253461   1028400    131.43    156.91  --
76.76/19.38	c  S st   264     45758     19358     83278         0     20256    253461   1647582    130.95    112.86  --
77.56/19.53	c  S st   264     46261     19358     83278         0     20759    253461   1730799    130.95   no data  --
77.56/19.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
77.56/19.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.95/19.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.39
78.39/19.76	c bin-w-bin subsume rem            0 bins  time:  0.02 s
78.39/19.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
78.39/19.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
78.39/19.79	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
91.96/23.16	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.42 s
91.96/23.17	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
91.96/23.19	c vivif2 --  cl tried    20755 cl shrink        0 lits rem          0 time: 0.10
92.71/23.30	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.42
92.71/23.31	c calculated reachability. Time: 0.00
92.71/23.31	c  N dy   264     46261     19358     83278         0     20755    253461   1728981    130.95   no data  --
97.50/24.50	c  N dy   290     50384     19358     83278         0     24878    253461   2555182    130.81    138.72  --
102.29/25.76	c  N dy   318     54651     19358     83278         0     29145    253461   3413237    130.67    138.85  --
107.48/27.02	c  N dy   343     58690     19358     83278         0     33184    253461   4249881    130.58    140.37  --
112.67/28.34	c  N dy   371     62767     19358     83278         0     37260    253461   5094453    130.62    139.26  --
117.46/29.54	c  N dy   398     66784     19358     83278         0     22527    253461   1416323    130.46    138.17  --
120.64/30.30	c  S st   414     69391     19358     83278         0     25134    253461   1928836    130.24   no data  --
121.04/30.45	c  S st   414     69895     19358     83278         0     25638    253461   2003141    130.24   no data  --
121.04/30.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
121.04/30.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.44/30.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
121.84/30.71	c bin-w-bin subsume rem            0 bins  time:  0.02 s
122.28/30.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
122.28/30.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
122.28/30.73	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
137.80/34.66	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.64 s
137.80/34.67	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
138.20/34.70	c vivif2 --  cl tried    25638 cl shrink        0 lits rem          0 time: 0.12
138.60/34.81	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.44
138.60/34.81	c calculated reachability. Time: 0.00
138.60/34.81	c  N dy   414     69895     19358     83278         0     25638    253461   2003140    130.24   no data  --
143.78/36.15	c  N dy   446     74411     19358     83278         0     30154    253461   2945360    130.36    142.24  --
149.76/37.62	c  N dy   482     79345     19358     83278         0     35087    253461   3966586    130.55    139.80  --
156.15/39.21	c  N dy   514     84496     19358     83278         0     40238    253461   4984473    130.22    139.45  --
159.74/40.15	c  F st   534     87501     19358     83278         0     22368    253461    919891    130.27   no data  --
163.73/41.13	c  N st   539     90797     19358     83278         0     25663    253461   1750024    130.27   no data  --
170.55/42.88	c  N dy   568     96656     19358     83278         0     31520    253461   3069649    130.33    137.81  --
178.90/44.94	c  N dy   612    102829     19358     83278         0     37693    253461   4356689    130.42    137.34  --
181.28/45.59	c  S st   624    104843     19358     83278         0     39707    253461   4749940    130.28    122.56  --
182.09/45.76	c  S st   624    105347     19358     83278         0     40211    253461   4817271    130.28   no data  --
182.09/45.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
182.09/45.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.49/45.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.44
183.71/46.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
183.71/46.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
184.12/46.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
184.12/46.22	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
370.80/93.03	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 186.52 s
370.80/93.04	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.03
371.20/93.10	c vivif2 --  cl tried    40203 cl shrink        0 lits rem          0 time: 0.26
371.60/93.25	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.57
371.60/93.25	c calculated reachability. Time: 0.00
371.60/93.25	c  N dy   624    105347     19358     83278         0     40203    253461   4813734    130.28   no data  --
380.38/95.44	c  N dy   671    112234     19358     83278         0     24658    253461   1050919    130.35    158.10  --
389.15/97.61	c  N dy   722    119507     19358     83278         0     31930    253461   2584754    130.55    139.84  --
398.77/100.10	c  N dy   777    127446     19358     83278         0     39869    253461   4256369    130.60    137.70  --
409.89/102.80	c  N dy   833    135723     19358     83278         0     24432    253461    694378    130.68    139.12  --
420.27/105.43	c  N dy   893    144457     19358     83278         0     33166    253461   2485436    130.71    140.17  --
432.64/108.57	c  N dy   950    153783     19358     83278         0     42491    253461   4357518    130.48    139.04  --
438.67/110.06	c  S st   980    158020     19358     83278         0     46728    253461   5251145    130.51   no data  --
439.42/110.25	c  S st   980    158522     19358     83278         0     47230    253461   5315876    130.51   no data  --
439.42/110.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
439.42/110.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.82/110.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
441.42/110.73	c bin-w-bin subsume rem            0 bins  time:  0.02 s
441.42/110.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
441.42/110.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
441.42/110.75	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
692.37/173.64	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 250.60 s
692.37/173.65	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
692.81/173.73	c vivif2 --  cl tried    47223 cl shrink        0 lits rem          0 time: 0.30
693.21/173.90	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.67
693.56/173.90	c calculated reachability. Time: 0.00
693.56/173.90	c  N dy   980    158522     19358     83278         0     47223    253461   5313518    130.51   no data  --
706.73/177.25	c  N dy  1047    168729     19358     83278         0     32572    253461   2095630    130.46    138.68  --
721.09/180.81	c  N dy  1114    179584     19358     83278         0     43425    253461   4267467    130.29    141.31  --
736.69/184.74	c  N dy  1191    191102     19358     83278         0     29015    253461   1141833    130.18    138.36  --
752.62/188.75	c  N dy  1274    203390     19358     83278         0     41301    253461   3631590    130.14    137.12  --
770.97/193.38	c  N dy  1365    216423     19358     83278         0     27373    253461    576123    130.42    143.85  --
788.93/197.83	c  N dy  1450    230274     19358     83278         0     41223    253461   3434297    130.36    137.89  --
798.89/200.38	c  S st  1496    237784     19358     83278         0     48732    253461   4973815    130.34    128.63  --
799.69/200.57	c  S st  1496    238286     19358     83278         0     49234    253461   5048473    130.34   no data  --
799.69/200.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
799.69/200.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
800.49/200.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
801.70/201.01	c bin-w-bin subsume rem            0 bins  time:  0.02 s
801.70/201.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
801.70/201.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
801.70/201.03	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
1033.88/259.20	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 231.52 s
1033.88/259.21	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
1033.88/259.29	c vivif2 --  cl tried    49225 cl shrink        0 lits rem          0 time: 0.29
1034.68/259.45	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.67
1034.68/259.46	c calculated reachability. Time: 0.00
1034.68/259.46	c  N dy  1496    238286     19358     83278         0     49225    253461   5045635    130.34   no data  --
1055.82/264.76	c  N dy  1604    253648     19358     83278         0     36609    253461   2265700    130.49    141.39  --
1078.57/270.41	c  N dy  1714    269914     19358     83278         0     52872    253461   5667181    130.58    141.00  --
1102.10/276.30	c  N dy  1831    287152     19358     83278         0     41117    253461   2987091    130.69    156.27  --
1128.44/282.95	c  N dy  1959    305553     19358     83278         0     59516    253461   6825042    130.73    142.76  --
1129.64/283.25	c  F st  1964    306251     19358     83278         0     30220    253461    495617    130.73    109.68  --
1154.77/289.58	c  N dy  2062    325088     19358     83278         0     49055    253461   4693502    130.77    137.72  --
1183.50/296.77	c  N dy  2197    345158     19358     83278         0     38132    253461   1921105    130.76    145.70  --
1200.25/300.97	c  S st  2278    357429     19358     83278         0     50402    253461   4431331    130.74   no data  --
1201.05/301.17	c  S st  2278    357931     19358     83278         0     50904    253461   4506782    130.74   no data  --
1201.05/301.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1201.05/301.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1201.45/301.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
1202.65/301.58	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1202.65/301.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1202.65/301.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
1203.05/301.60	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1373.46/344.36	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 170.20 s
1373.46/344.37	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
1373.81/344.44	c vivif2 --  cl tried    50902 cl shrink        0 lits rem          0 time: 0.27
1374.61/344.62	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.70
1374.61/344.62	c calculated reachability. Time: 0.00
1374.61/344.62	c  N dy  2278    357931     19358     83278         0     50902    253461   4506152    130.74   no data  --
1404.17/352.07	c  N dy  2411    378132     19358     83278         0     39105    253461   1928512    130.73    138.70  --
1434.06/359.59	c  N dy  2548    398308     19358     83278         0     59278    253461   6136975    130.85    143.69  --
1463.58/366.92	c  N dy  2670    418355     19358     83278         0     46325    253461   3179874    130.86    142.79  --
1494.70/374.78	c  N dy  2811    438626     19358     83278         0     66595    253461   7396676    130.94    144.20  --
1523.83/382.03	c  N dy  2955    458647     19358     83278         0     52619    253461   4326979    131.02    153.04  --
1555.75/390.01	c  N dy  3082    478740     19358     83278         0     37716    253461    978019    130.98    139.98  --
1584.87/397.36	c  N dy  3219    498742     19358     83278         0     57718    253461   5136494    131.06    139.22  --
1614.84/404.88	c  N dy  3352    518933     19358     83278         0     41906    253461   1727287    131.12    139.96  --
1640.77/411.40	c  S st  3478    536896     19358     83278         0     59868    253461   5477242    131.20   no data  --
1641.93/411.60	c  S st  3478    537399     19358     83278         0     60371    253461   5550132    131.20   no data  --
1641.93/411.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1641.93/411.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1642.32/411.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.53
1643.53/412.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1643.93/412.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1643.93/412.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
1643.93/412.12	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1940.76/486.51	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 296.40 s
1940.76/486.52	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
1940.76/486.60	c vivif2 --  cl tried    60365 cl shrink        0 lits rem          0 time: 0.31
1941.56/486.78	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.73
1941.56/486.79	c calculated reachability. Time: 0.00
1941.56/486.79	c  N dy  3478    537399     19358     83278         0     60365    253461   5546051    131.20   no data  --
1970.67/494.03	c  N dy  3609    557478     19358     83278         0     43449    253461   1775902    131.24    141.55  --
1998.61/501.04	c  N dy  3740    577601     19358     83278         0     63572    253461   5911778    131.27    142.37  --
2027.73/508.31	c  N dy  3873    597606     19358     83278         0     45571    253461   2018224    131.33    139.52  --
2056.07/515.44	c  N dy  4009    617657     19358     83278         0     65622    253461   6212880    131.36    138.72  --
2085.58/522.87	c  N dy  4144    637719     19358     83278         0     46686    253461   2032385    131.37    168.14  --
2114.31/530.05	c  N dy  4282    657905     19358     83278         0     66869    253461   6288650    131.43    139.35  --
2144.24/537.53	c  N dy  4411    677946     19358     83278         0     46912    253461   1892403    131.39    141.37  --
2172.96/544.73	c  N dy  4549    697980     19358     83278         0     66943    253461   6073496    131.44    141.86  --
2203.28/552.30	c  N dy  4682    718022     19358     83278         0     45989    253461   1512686    131.41    139.25  --
2231.61/559.49	c  N dy  4816    738176     19358     83278         0     66143    253461   5654189    131.41    140.02  --
2263.13/567.31	c  N dy  4951    758250     19358     83278         0     44217    253461    946746    131.42    141.91  --
2291.85/574.50	c  N dy  5092    778485     19358     83278         0     64449    253461   5235627    131.46    155.66  --
2323.76/582.50	c  N dy  5227    798521     19358     83278         0     84483    253461   9428613    131.52    141.53  --
2334.17/585.19	c  S st  5276    806098     19358     83278         0     49062    253461   1705888    131.50   no data  --
2334.93/585.38	c  S st  5276    806598     19358     83278         0     49562    253461   1782783    131.50   no data  --
2334.93/585.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2334.93/585.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2335.72/585.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.47
2336.12/585.63	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2336.12/585.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2336.12/585.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
2336.12/585.65	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2352.89/589.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 16.92 s
2353.28/589.90	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.03
2353.28/589.93	c vivif2 --  cl tried    49562 cl shrink        0 lits rem          0 time: 0.11
2353.68/590.09	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.62
2353.68/590.09	c calculated reachability. Time: 0.00
2353.68/590.09	c  N dy  5276    806598     19358     83278         0     49562    253461   1782783    131.50   no data  --
2384.40/597.72	c  N dy  5414    826637     19358     83278         0     69600    253461   5946313    131.50    139.06  --
2419.12/606.45	c  N dy  5541    846695     19358     83278         0     45660    253461    815232    131.49    149.19  --
2449.44/614.07	c  N dy  5669    866798     19358     83278         0     65762    253461   4998401    131.51    140.32  --
2484.94/622.98	c  N dy  5802    886821     19358     83278         0     85784    253461   9176770    131.51    142.25  --
2518.06/631.26	c  N dy  5941    906979     19358     83278         0     60948    253461   3828842    131.54    142.06  --
2552.36/639.84	c  N dy  6083    927096     19358     83278         0     81063    253461   8024223    131.57    141.06  --
2585.87/648.26	c  N dy  6218    947209     19358     83278         0     55178    253461   2394900    131.58    139.41  --
2618.19/656.37	c  N dy  6351    967376     19358     83278         0     75344    253461   6544089    131.58    138.98  --
2654.10/665.37	c  N dy  6488    987400     19358     83278         0     48367    253461    759691    131.59    157.92  --
2685.24/673.14	c  N dy  6616   1007519     19358     83278         0     68484    253461   4906263    131.57    141.04  --
2719.93/681.89	c  N dy  6747   1027577     19358     83278         0     88540    253461   9053904    131.56    142.88  --
2753.04/690.19	c  N dy  6887   1047663     19358     83278         0     60626    253461   3119987    131.60    163.38  --
2785.36/698.24	c  N dy  7018   1067664     19358     83278         0     80625    253461   7332452    131.59    140.23  --
2792.54/700.03	c  F st  7046   1071876     19358     83278         0     84837    253461   8220451    131.60   no data  --
2820.07/706.94	c  N dy  7124   1087822     19358     83278         0     51788    253461   1060556    131.61    140.27  --
2851.18/714.70	c  N dy  7261   1107966     19358     83278         0     71932    253461   5263063    131.65    140.66  --
2885.50/723.38	c  N dy  7401   1128126     19358     83278         0     92088    253461   9483808    131.68    141.17  --
2918.25/731.58	c  N dy  7541   1148178     19358     83278         0     62147    253461   3078331    131.71    139.73  --
2951.72/739.96	c  N dy  7685   1168315     19358     83278         0     82283    253461   7351949    131.76    138.70  --
2987.23/748.89	c  N dy  7813   1188399     19358     83278         0     51369    253461    576674    131.77    141.59  --
3016.75/756.25	c  N dy  7957   1208501     19358     83278         0     71470    253461   4739601    131.79    141.77  --
3018.78/756.80	c  S st  7968   1209898     19358     83278         0     72867    253461   5021970    131.79   no data  --
3019.94/757.01	c  S st  7968   1210401     19358     83278         0     73370    253461   5102730    131.79   no data  --
3019.94/757.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3019.94/757.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3020.34/757.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
3021.54/757.46	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3021.54/757.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3021.54/757.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
3021.54/757.48	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
3284.44/823.33	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 262.30 s
3284.44/823.34	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
3284.84/823.41	c vivif2 --  cl tried    73367 cl shrink        0 lits rem          0 time: 0.29
3285.64/823.62	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.83
3285.64/823.63	c calculated reachability. Time: 0.00
3285.64/823.63	c  N dy  7968   1210401     19358     83278         0     73367    253461   5102116    131.79   no data  --
3318.36/831.89	c  N dy  8112   1230424     19358     83278         0     93389    253461   9337152    131.83    153.73  --
3351.08/840.04	c  N dy  8246   1250687     19358     83278         0     61656    253461   2525507    131.84    139.77  --
3382.59/847.95	c  N dy  8388   1270923     19358     83278         0     81890    253461   6790684    131.89    140.64  --
3417.70/856.73	c  N dy  8528   1291006     19358     83278         0    101973    253461  10956195    131.91    142.10  --
3448.43/864.45	c  N dy  8664   1311261     19358     83278         0     69227    253461   3830593    131.91    139.86  --
3480.72/872.52	c  N dy  8798   1331368     19358     83278         0     89333    253461   8013177    131.91    140.86  --
3516.23/881.41	c  N dy  8932   1351402     19358     83278         0     55373    253461    787902    131.93    139.89  --
3546.15/888.91	c  N dy  9074   1371458     19358     83278         0     75427    253461   5043864    131.97    139.18  --
3579.67/897.31	c  N dy  9211   1391472     19358     83278         0     95439    253461   9245456    131.99    141.09  --
3615.19/906.25	c  N dy  9345   1411604     19358     83278         0     60574    253461   1678065    131.99    142.39  --
3647.90/914.43	c  N dy  9481   1431707     19358     83278         0     80676    253461   5935026    132.00    141.55  --
3685.00/923.71	c  N dy  9625   1451799     19358     83278         0    100767    253461  10161778    132.03    140.60  --
3720.94/932.78	c  N dy  9766   1471915     19358     83278         0     64882    253461   2374892    132.05    142.53  --
3754.81/941.25	c  N dy  9907   1492082     19358     83278         0     85047    253461   6549285    132.06    140.82  --
3791.91/950.59	c  N dy 10044   1512088     19358     83278         0    105053    253461  10700506    132.06    143.10  --
3827.82/959.54	c  N dy 10188   1532141     19358     83278         0     68105    253461   2883736    132.09    177.29  --
3863.73/968.55	c  N dy 10328   1552336     19358     83278         0     88299    253461   7198608    132.13    140.22  --
3902.41/978.27	c  N dy 10457   1572489     19358     83278         0    108452    253461  11407224    132.11    139.42  --
3939.12/987.42	c  N dy 10594   1592583     19358     83278         0     70545    253461   3186569    132.13    139.26  --
3975.45/996.53	c  N dy 10734   1612789     19358     83278         0     90751    253461   7439859    132.16    140.72  --
4015.35/1006.55	c  N dy 10877   1632857     19358     83278         0    110819    253461  11652519    132.18    141.83  --
4051.61/1015.63	c  N dy 11007   1652920     19358     83278         0     71883    253461   3207230    132.18    140.43  --
4087.52/1024.66	c  N dy 11140   1673042     19358     83278         0     92004    253461   7393617    132.18    139.62  --
4127.41/1034.66	c  N dy 11264   1693326     19358     83278         0    112287    253461  11670166    132.17    139.98  --
4158.53/1042.46	c  S st 11382   1710401     19358     83278         0     69363    253461   2507083    132.21    110.03  --
4159.32/1042.69	c  S st 11382   1710910     19358     83278         0     69872    253461   2593409    132.21   no data  --
4159.32/1042.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4159.32/1042.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4160.16/1042.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.55
4160.91/1043.02	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4160.91/1043.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4160.91/1043.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
4160.91/1043.04	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
4192.84/1051.06	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time: 31.89 s
4192.84/1051.07	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
4193.23/1051.11	c vivif2 --  cl tried    69868 cl shrink        0 lits rem          0 time: 0.17
4194.03/1051.31	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.81
4194.03/1051.32	c calculated reachability. Time: 0.00
4194.03/1051.32	c  N dy 11382   1710910     19358     83278         0     69868    253461   2591251    132.21   no data  --
4228.34/1059.93	c  N dy 11519   1731034     19358     83278         0     89991    253461   6794369    132.22    139.27  --
4266.22/1069.42	c  N dy 11656   1751087     19358     83278         0    110043    253461  11038588    132.25    139.44  --
4303.73/1078.86	c  N dy 11794   1771151     19358     83278         0     69107    253461   2240221    132.25    139.64  --
4337.64/1087.37	c  N dy 11919   1791291     19358     83278         0     89246    253461   6456441    132.23    140.72  --
4377.54/1097.34	c  N dy 12060   1811320     19358     83278         0    109275    253461  10693781    132.25    141.64  --
4418.24/1107.59	c  N dy 12193   1831378     19358     83278         0     67340    253461   1682967    132.25    139.33  --
4454.18/1116.53	c  N dy 12327   1851449     19358     83278         0     87411    253461   5868115    132.27    140.04  --
4493.68/1126.46	c  N dy 12463   1871475     19358     83278         0    107435    253461  10123359    132.29    142.24  --
4536.32/1137.19	c  N dy 12594   1891521     19358     83278         0     64488    253461    883785    132.30    149.04  --
4571.04/1145.87	c  N dy 12717   1911655     19358     83278         0     84622    253461   5077775    132.28    140.92  --
4610.13/1155.67	c  N dy 12851   1931815     19358     83278         0    104780    253461   9317241    132.28    140.44  --
4653.62/1166.50	c  N dy 12984   1951832     19358     83278         0    124797    253461  13548855    132.29    149.81  --
4689.92/1175.68	c  N dy 13119   1972013     19358     83278         0     80977    253461   4094203    132.29    142.21  --
4728.23/1185.26	c  N dy 13246   1992043     19358     83278         0    101007    253461   8257400    132.27    145.24  --
4770.91/1195.94	c  N dy 13381   2012051     19358     83278         0    121013    253461  12412403    132.27    142.17  --

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-3368595-1305398256/watcher-3368595-1305398256 -o /tmp/evaluation-result-3368595-1305398256/solver-3368595-1305398256 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368595-1305398256.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.58 2.99 3.24 6/327 23718
/proc/meminfo: memFree=25301240/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 415 0 0 0 1 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23718/statm: 12809 355 306 112 0 7774 0
[pid=23718/tid=23719] ppid=23716 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928502 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.021452 s]
/proc/loadavg: 2.58 2.99 3.24 6/327 23718
/proc/meminfo: memFree=25301240/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=51236 CPUtime=0.04 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 415 0 0 0 4 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23718/statm: 12809 355 306 112 0 7774 0
[pid=23718/tid=23719] ppid=23716 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928089 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 51236

[startup+0.100442 s]
/proc/loadavg: 2.58 2.99 3.24 6/327 23718
/proc/meminfo: memFree=25301240/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=51236 CPUtime=0.28 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 415 0 0 0 28 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23718/statm: 12809 355 306 112 0 7774 0
[pid=23718/tid=23719] ppid=23716 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=51236 CPUtime=0.09 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=51236 CPUtime=0.08 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 0 0 0 0 8 0 0 0 25 0 4 0 651426049 52465664 355 33554432000 4194304 4650419 140736933705360 18446744073709551615 47954203928093 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51236

[startup+0.300378 s]
/proc/loadavg: 2.58 2.99 3.24 6/327 23718
/proc/meminfo: memFree=25301240/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=312796 CPUtime=0.95 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 18475 0 0 0 92 3 0 0 18 0 4 0 651426049 320303104 15411 33554432000 4194304 4650419 140736933705360 18446744073709551615 4426530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 78199 15412 377 112 0 73164 0
[pid=23718/tid=23719] ppid=23716 vsize=312796 CPUtime=0.15 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 4652 0 0 0 15 0 0 0 18 0 4 0 651426049 320303104 15414 33554432000 4194304 4650419 140736933705360 18446744073709551615 4422202 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=312796 CPUtime=0.26 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 5348 0 0 0 25 1 0 0 18 0 4 0 651426049 320303104 15416 33554432000 4194304 4650419 140736933705360 18446744073709551615 4427009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=312796 CPUtime=0.26 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 3688 0 0 0 26 0 0 0 18 0 4 0 651426049 320303104 15419 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 312796

[startup+0.700304 s]
/proc/loadavg: 2.58 2.99 3.24 6/327 23718
/proc/meminfo: memFree=25301240/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=325512 CPUtime=2.55 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 29468 0 0 0 251 4 0 0 18 0 4 0 651426049 333324288 23216 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 81378 23216 391 112 0 76343 0
[pid=23718/tid=23719] ppid=23716 vsize=325512 CPUtime=0.54 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 8744 0 0 0 54 0 0 0 18 0 4 0 651426049 333324288 23216 33554432000 4194304 4650419 140736933705360 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=325512 CPUtime=0.66 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 8786 0 0 0 65 1 0 0 18 0 4 0 651426049 333324288 23216 33554432000 4194304 4650419 140736933705360 18446744073709551615 4314704 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=325512 CPUtime=0.66 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 4019 0 0 0 66 0 0 0 18 0 4 0 651426049 333324288 23216 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364631 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 325512

[startup+1.50116 s]
/proc/loadavg: 2.58 2.99 3.24 12/331 23722
/proc/meminfo: memFree=25148192/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=325512 CPUtime=5.74 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 32517 0 0 0 569 5 0 0 19 0 4 0 651426049 333324288 26265 33554432000 4194304 4650419 140736933705360 18446744073709551615 4229517 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 81378 26265 391 112 0 76343 0
[pid=23718/tid=23719] ppid=23716 vsize=325512 CPUtime=1.35 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 9561 0 0 0 134 1 0 0 19 0 4 0 651426049 333324288 26265 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363188 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=325512 CPUtime=1.46 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 9494 0 0 0 145 1 0 0 19 0 4 0 651426049 333324288 26265 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=325512 CPUtime=1.45 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 4760 0 0 0 145 0 0 0 19 0 4 0 651426049 333324288 26265 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 325512

[startup+3.10086 s]
/proc/loadavg: 2.58 2.99 3.24 9/331 23723
/proc/meminfo: memFree=25124756/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=442868 CPUtime=12.12 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 38046 0 0 0 1207 5 0 0 24 0 4 0 651426049 453496832 31794 33554432000 4194304 4650419 140736933705360 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 110717 31794 391 112 0 105682 0
[pid=23718/tid=23719] ppid=23716 vsize=442868 CPUtime=2.95 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 10850 0 0 0 294 1 0 0 24 0 4 0 651426049 453496832 31794 33554432000 4194304 4650419 140736933705360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=442868 CPUtime=3.06 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 10793 0 0 0 305 1 0 0 24 0 4 0 651426049 453496832 31794 33554432000 4194304 4650419 140736933705360 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=442868 CPUtime=3.03 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 6365 0 0 0 303 0 0 0 24 0 4 0 651426049 453496832 31794 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 442868

[startup+6.30026 s]
/proc/loadavg: 3.01 3.07 3.26 9/331 23723
/proc/meminfo: memFree=25051020/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=338632 CPUtime=24.89 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 53822 0 0 0 2480 9 0 0 25 0 4 0 651426049 346759168 28946 33554432000 4194304 4650419 140736933705360 18446744073709551615 4365477 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 84658 28946 393 112 0 79623 0
[pid=23718/tid=23719] ppid=23716 vsize=338632 CPUtime=6.15 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 14835 0 0 0 613 2 0 0 25 0 4 0 651426049 346759168 28946 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=338632 CPUtime=6.25 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 14779 0 0 0 623 2 0 0 25 0 4 0 651426049 346759168 28946 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=338632 CPUtime=6.2 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 10534 0 0 0 619 1 0 0 25 0 4 0 651426049 346759168 28946 33554432000 4194304 4650419 140736933705360 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 338632

[startup+12.7011 s]
/proc/loadavg: 3.49 3.17 3.29 9/331 23723
/proc/meminfo: memFree=24834640/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=582100 CPUtime=50.42 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 114642 0 0 0 5020 22 0 0 25 0 4 0 651426049 596070400 77578 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 145525 77580 395 112 0 140490 0
[pid=23718/tid=23719] ppid=23716 vsize=582100 CPUtime=12.54 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 41527 0 0 0 1246 8 0 0 25 0 4 0 651426049 596070400 77581 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=582100 CPUtime=12.65 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 23428 0 0 0 1261 4 0 0 25 0 4 0 651426049 596070400 77583 33554432000 4194304 4650419 140736933705360 18446744073709551615 244446606369 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=582100 CPUtime=12.54 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 16633 0 0 0 1251 3 0 0 25 0 4 0 651426049 596070400 77583 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 582100

[startup+25.5007 s]
/proc/loadavg: 4.49 3.41 3.37 9/331 23723
/proc/meminfo: memFree=24597272/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=768660 CPUtime=101.49 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 196980 0 0 0 10106 43 0 0 25 0 4 0 651426049 787107840 107315 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 192165 107315 410 112 0 187130 0
[pid=23718/tid=23719] ppid=23716 vsize=768660 CPUtime=25.35 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 80379 0 0 0 2521 14 0 0 25 0 4 0 651426049 787107840 107315 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=768660 CPUtime=25.46 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 36422 0 0 0 2537 9 0 0 25 0 4 0 651426049 787107840 107315 33554432000 4194304 4650419 140736933705360 18446744073709551615 4367420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=768660 CPUtime=25.21 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 39472 0 0 0 2510 11 0 0 25 0 4 0 651426049 787107840 107315 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 768660

[startup+51.1009 s]
/proc/loadavg: 5.77 3.79 3.49 9/331 23724
/proc/meminfo: memFree=24494748/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=747172 CPUtime=203.62 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 319032 0 0 0 20294 68 0 0 25 0 4 0 651426049 765104128 126902 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 186793 126902 395 112 0 181758 0
[pid=23718/tid=23719] ppid=23716 vsize=747172 CPUtime=50.94 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 136882 0 0 0 5072 22 0 0 25 0 4 0 651426049 765104128 126902 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=747172 CPUtime=51.06 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 59412 0 0 0 5090 16 0 0 25 0 4 0 651426049 765104128 126902 33554432000 4194304 4650419 140736933705360 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=747172 CPUtime=50.54 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 55876 0 0 0 5039 15 0 0 25 0 4 0 651426049 765104128 126902 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 747172

[startup+102.312 s]
/proc/loadavg: 7.03 4.44 3.73 9/331 23725
/proc/meminfo: memFree=24396380/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=757284 CPUtime=407.95 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 419313 0 0 0 40697 98 0 0 25 0 4 0 651426049 775458816 139248 33554432000 4194304 4650419 140736933705360 18446744073709551615 4331032 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 189321 139248 395 112 0 184286 0
[pid=23718/tid=23719] ppid=23716 vsize=757284 CPUtime=102.16 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 170881 0 0 0 10184 32 0 0 25 0 4 0 651426049 775458816 139248 33554432000 4194304 4650419 140736933705360 18446744073709551615 4350192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=757284 CPUtime=102.27 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 87918 0 0 0 10203 24 0 0 25 0 4 0 651426049 775458816 139248 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=757284 CPUtime=101.22 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 86247 0 0 0 10097 25 0 0 25 0 4 0 651426049 775458816 139248 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363299 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 757284

[startup+162.3 s]

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

[pid=23718] ppid=23716 vsize=1336708 CPUtime=2562.38 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 2701942 0 0 0 255669 569 0 0 25 0 4 0 651426049 1368788992 259319 33554432000 4194304 4650419 140736933705360 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 334177 259327 395 112 0 329142 0
[pid=23718/tid=23719] ppid=23716 vsize=1336708 CPUtime=642.15 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 930868 0 0 0 64037 178 0 0 25 0 4 0 651426049 1368788992 259354 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1336708 CPUtime=642.28 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 817605 0 0 0 64055 173 0 0 25 0 4 0 651426049 1368788992 259365 33554432000 4194304 4650419 140736933705360 18446744073709551615 4441467 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1336708 CPUtime=635.66 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 748262 0 0 0 63414 152 0 0 25 0 4 0 651426049 1368788992 259375 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.38
Current children cumulated vsize (KiB) 1336708

[startup+702.301 s]
/proc/loadavg: 8.08 7.62 5.80 9/331 23741
/proc/meminfo: memFree=23571268/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1283024 CPUtime=2801.71 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 3212701 0 0 0 279516 655 0 0 25 0 4 0 651426049 1313816576 254333 33554432000 4194304 4650419 140736933705360 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 320756 254333 395 112 0 315721 0
[pid=23718/tid=23719] ppid=23716 vsize=1283024 CPUtime=702.14 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1148416 0 0 0 70008 206 0 0 25 0 4 0 651426049 1313816576 254333 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476213 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1283024 CPUtime=702.26 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1058982 0 0 0 70020 206 0 0 25 0 4 0 651426049 1313816576 254333 33554432000 4194304 4650419 140736933705360 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1283024 CPUtime=695.02 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 776683 0 0 0 69338 164 0 0 25 0 4 0 651426049 1313816576 254333 33554432000 4194304 4650419 140736933705360 18446744073709551615 4335219 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.71
Current children cumulated vsize (KiB) 1283024

[startup+762.313 s]
/proc/loadavg: 8.02 7.69 5.95 9/331 23743
/proc/meminfo: memFree=23589216/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1339584 CPUtime=3041.13 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 3481427 0 0 0 303402 711 0 0 25 0 4 0 651426049 1371734016 258734 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 334896 258734 395 112 0 329861 0
[pid=23718/tid=23719] ppid=23716 vsize=1339584 CPUtime=762.16 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1340377 0 0 0 75983 233 0 0 25 0 4 0 651426049 1371734016 258734 33554432000 4194304 4650419 140736933705360 18446744073709551615 4326261 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1339584 CPUtime=762.28 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1087345 0 0 0 76010 218 0 0 25 0 4 0 651426049 1371734016 258734 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1339584 CPUtime=754.4 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 804218 0 0 0 75265 175 0 0 25 0 4 0 651426049 1371734016 258734 33554432000 4194304 4650419 140736933705360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.13
Current children cumulated vsize (KiB) 1339584

[startup+822.301 s]
/proc/loadavg: 8.10 7.77 6.07 9/331 23744
/proc/meminfo: memFree=23444992/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1361324 CPUtime=3280.46 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 3570377 0 0 0 327300 746 0 0 25 0 4 0 651426049 1393995776 260072 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 340331 260072 395 112 0 335296 0
[pid=23718/tid=23719] ppid=23716 vsize=1361324 CPUtime=822.14 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1369132 0 0 0 81970 244 0 0 25 0 4 0 651426049 1393995776 260072 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1361324 CPUtime=822.26 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1117909 0 0 0 81997 229 0 0 25 0 4 0 651426049 1393995776 260072 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1361324 CPUtime=813.77 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 833849 0 0 0 81191 186 0 0 25 0 4 0 651426049 1393995776 260072 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.46
Current children cumulated vsize (KiB) 1361324

[startup+882.3 s]
/proc/loadavg: 8.12 7.84 6.20 9/331 23746
/proc/meminfo: memFree=23434680/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1255344 CPUtime=3519.82 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 3683538 0 0 0 351200 782 0 0 25 0 4 0 651426049 1285472256 260582 33554432000 4194304 4650419 140736933705360 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 313836 260582 395 112 0 308801 0
[pid=23718/tid=23719] ppid=23716 vsize=1255344 CPUtime=882.14 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1401726 0 0 0 87957 257 0 0 25 0 4 0 651426049 1285472256 260582 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1255344 CPUtime=882.25 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1146892 0 0 0 87988 237 0 0 25 0 4 0 651426049 1285472256 260582 33554432000 4194304 4650419 140736933705360 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1255344 CPUtime=873.14 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 861059 0 0 0 87121 193 0 0 25 0 4 0 651426049 1285472256 260582 33554432000 4194304 4650419 140736933705360 18446744073709551615 4333707 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.82
Current children cumulated vsize (KiB) 1255344

[startup+942.3 s]
/proc/loadavg: 8.27 7.93 6.33 9/331 23747
/proc/meminfo: memFree=23348980/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1502576 CPUtime=3759.2 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 3976012 0 0 0 375075 845 0 0 25 0 4 0 651426049 1538637824 286911 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363455 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 375644 286911 395 112 0 370609 0
[pid=23718/tid=23719] ppid=23716 vsize=1502576 CPUtime=942.13 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1428561 0 0 0 93945 268 0 0 25 0 4 0 651426049 1538637824 286911 33554432000 4194304 4650419 140736933705360 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1502576 CPUtime=942.25 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1362826 0 0 0 93956 269 0 0 25 0 4 0 651426049 1538637824 286911 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1502576 CPUtime=932.53 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 887544 0 0 0 93050 203 0 0 25 0 4 0 651426049 1538637824 286911 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.2
Current children cumulated vsize (KiB) 1502576

[startup+1002.3 s]
/proc/loadavg: 8.14 7.95 6.44 9/331 23749
/proc/meminfo: memFree=23288820/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1447280 CPUtime=3998.55 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 4334551 0 0 0 398940 915 0 0 25 0 4 0 651426049 1482014720 286663 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 361820 286663 395 112 0 356785 0
[pid=23718/tid=23719] ppid=23716 vsize=1447280 CPUtime=1002.13 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1437239 0 0 0 99941 272 0 0 25 0 4 0 651426049 1482014720 286663 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476324 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1447280 CPUtime=1002.26 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1662022 0 0 0 99913 313 0 0 25 0 4 0 651426049 1482014720 286663 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1447280 CPUtime=991.88 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 915581 0 0 0 98973 215 0 0 25 0 4 0 651426049 1482014720 286663 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.55
Current children cumulated vsize (KiB) 1447280

[startup+1062.3 s]
/proc/loadavg: 8.09 7.97 6.54 9/331 23751
/proc/meminfo: memFree=23254080/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1504744 CPUtime=4237.92 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 4708155 0 0 0 422806 986 0 0 25 0 4 0 651426049 1540857856 291210 33554432000 4194304 4650419 140736933705360 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 376186 291210 408 112 0 371151 0
[pid=23718/tid=23719] ppid=23716 vsize=1504744 CPUtime=1062.13 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1449306 0 0 0 105935 278 0 0 25 0 4 0 651426049 1540857856 291210 33554432000 4194304 4650419 140736933705360 18446744073709551615 4355007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1504744 CPUtime=1062.26 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1978093 0 0 0 105870 356 0 0 25 0 4 0 651426049 1540857856 291211 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1504744 CPUtime=1051.23 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 942353 0 0 0 104897 226 0 0 25 0 4 0 651426049 1540857856 291211 33554432000 4194304 4650419 140736933705360 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.92
Current children cumulated vsize (KiB) 1504744

[startup+1122.3 s]
/proc/loadavg: 8.11 8.00 6.64 9/331 23752
/proc/meminfo: memFree=23113312/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1571256 CPUtime=4477.27 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 5275640 0 0 0 446642 1085 0 0 25 0 4 0 651426049 1608966144 318682 33554432000 4194304 4650419 140736933705360 18446744073709551615 4315654 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 392814 318682 395 112 0 387779 0
[pid=23718/tid=23719] ppid=23716 vsize=1571256 CPUtime=1122.13 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1477803 0 0 0 111921 292 0 0 25 0 4 0 651426049 1608966144 318682 33554432000 4194304 4650419 140736933705360 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1571256 CPUtime=1122.26 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 2319596 0 0 0 111826 400 0 0 25 0 4 0 651426049 1608966144 318682 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1571256 CPUtime=1110.59 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1117957 0 0 0 110804 255 0 0 25 0 4 0 651426049 1608966144 318682 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.27
Current children cumulated vsize (KiB) 1571256

[startup+1182.3 s]
/proc/loadavg: 8.11 8.02 6.72 9/331 23754
/proc/meminfo: memFree=23151724/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1572256 CPUtime=4716.66 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 6042680 0 0 0 470461 1205 0 0 25 0 4 0 651426049 1609990144 311992 33554432000 4194304 4650419 140736933705360 18446744073709551615 4310792 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 393064 311993 403 112 0 388029 0
[pid=23718/tid=23719] ppid=23716 vsize=1572256 CPUtime=1182.13 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1501702 0 0 0 117908 305 0 0 25 0 4 0 651426049 1609990144 311993 33554432000 4194304 4650419 140736933705360 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1572256 CPUtime=1182.26 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 2766196 0 0 0 117768 458 0 0 25 0 4 0 651426049 1609990144 311993 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1572256 CPUtime=1169.97 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1393496 0 0 0 116703 294 0 0 25 0 4 0 651426049 1609990144 311993 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.66
Current children cumulated vsize (KiB) 1572256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.07 8.01 6.76 9/331 23755
/proc/meminfo: memFree=23163748/32951124 swapFree=44485764/67111528
[pid=23718] ppid=23716 vsize=1445836 CPUtime=4800.07 cores=0,2,4,6
/proc/23718/stat : 23718 (strangenight1-m) R 23716 23718 23677 0 -1 4202496 6225132 0 0 0 478772 1235 0 0 25 0 4 0 651426049 1480536064 306679 33554432000 4194304 4650419 140736933705360 18446744073709551615 4367351 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23718/statm: 361459 306679 395 112 0 356424 0
[pid=23718/tid=23719] ppid=23716 vsize=1445836 CPUtime=1203.04 cores=0,2,4,6
/proc/23718/task/23719/stat : 23719 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1510227 0 0 0 119995 309 0 0 25 0 4 0 651426049 1480536064 306679 33554432000 4194304 4650419 140736933705360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23718/tid=23720] ppid=23716 vsize=1445836 CPUtime=1203.17 cores=0,2,4,6
/proc/23718/task/23720/stat : 23720 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 2833937 0 0 0 119849 468 0 0 25 0 4 0 651426049 1480536064 306679 33554432000 4194304 4650419 140736933705360 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23718/tid=23721] ppid=23716 vsize=1445836 CPUtime=1190.65 cores=0,2,4,6
/proc/23718/task/23721/stat : 23721 (strangenight1-m) R 23716 23718 23677 0 -1 4202560 1492466 0 0 0 118758 307 0 0 25 0 4 0 651426049 1480536064 306680 33554432000 4194304 4650419 140736933705360 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1445836

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.27
CPU time (s): 4800.15
CPU user time (s): 4787.75
CPU system time (s): 12.4001
CPU usage (%): 398.926
Max. virtual memory (cumulated for all children) (KiB): 1572256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.75
system time used= 12.4001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6225136
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= 2487
involuntary context switches= 23056

runsolver used 3.59845 second user time and 8.75367 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-14 20:37:36
IDJOB=3368595
IDBENCH=82604
IDSOLVER=1846
FILE ID=node105/3368595-1305398256
RUNJOBID= node105-1305398256-23695
PBS_JOBID= 13324484
Free space on /tmp= 73580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368595-1305398256/watcher-3368595-1305398256 -o /tmp/evaluation-result-3368595-1305398256/solver-3368595-1305398256 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368595-1305398256.cnf

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

MD5SUM BENCH= 53ba9a0375ae9f5fbde617f9de32bf14
RANDOM SEED=936531282

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25301520 kB
Buffers:        269748 kB
Cached:        5908836 kB
SwapCached:      39656 kB
Active:         569080 kB
Inactive:      6819004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25301520 kB
SwapTotal:    67111528 kB
SwapFree:     44485764 kB
Dirty:           14928 kB
Writeback:           0 kB
AnonPages:     1177688 kB
Mapped:           9928 kB
Slab:           128616 kB
PageTables:      66948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65369732 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= 73576 MiB
End job on node105 at 2011-05-14 20:57:41