Trace number 3175005

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? (TO) 4800.21 1201.98

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf
MD5SUMc8a628789219fd1293880c95bfb25038
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7849
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.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175005-1304076920.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.11/0.10	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.11/0.10	c -- vars added      20000
0.11/0.10	c Parsing time:  0.21 s
0.11/0.10	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.40/0.12	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.23
0.40/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.14
1.16/1.00	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1.16/1.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1.16/1.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
1.16/1.00	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
1.16/1.00	c lits-rem:         0  cl-subs:        0  v-elim:    663  v-fix:    0  time:  0.77 s
1.16/1.00	c Finding binary XORs  T:     0.01 s  found:       0
1.16/1.00	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
1.16/1.00	c calculated reachability. Time: 0.00
1.16/1.00	c Calc default polars -  time:   0.02 s pos:    8793 undec:    2392 neg:    8815
1.16/1.00	c =========================================================================================
1.16/1.00	c types(t): F = full restart, N = normal restart
1.16/1.00	c types(t): S = simplification begin/end, E = solution found
1.16/1.00	c restart types(rt): st = static, dy = dynamic
1.16/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.16/1.00	c  B st     0         0     19337     83149         0         0    253156         0   no data   no data  --
5.95/1.50	c  N dy    21      4127     19337     83149         0      4126    253156    908617    127.57    135.52  --
9.55/2.46	c  N dy    49      8300     19337     83149         0      8299    253156   1747919    128.86    144.26  --
13.54/3.47	c  N dy    74     12322     19337     83149         0     12321    253156   2553362    127.55    135.79  --
17.95/4.54	c  N dy   104     16392     19337     83149         0     16391    253156   3395894    128.25    140.64  --
22.34/5.63	c  N dy   129     20426     19337     83149         0     10427    253156    628548    127.65    135.84  --
26.33/6.66	c  N dy   157     24512     19337     83149         0     14513    253156   1438023    127.39    134.71  --
26.72/6.79	c  F st   161     25000     19337     83149         0     15001    253156   1526481    127.25   no data  --
32.73/8.22	c  N dy   167     30002     19337     83149         0     20002    253156   2928499    127.25   no data  --
32.73/8.22	c  S st   167     30002     19337     83149         0     20002    253156   2928499    127.25   no data  --
33.12/8.36	c  S st   167     30503     19337     83149         0     20503    253156   3003567    127.25   no data  --
33.12/8.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
33.12/8.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.54/8.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.36
34.72/8.77	c bin-w-bin subsume rem            0 bins  time:  0.02 s
34.72/8.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
34.72/8.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
34.72/8.79	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
55.50/13.93	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 20.44 s
55.90/14.04	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.43
55.90/14.05	c calculated reachability. Time: 0.00
55.90/14.05	c  N dy   167     30503     19337     83149         0     20502    253156   3002616    127.25   no data  --
61.08/15.33	c  N dy   194     34525     19337     83149         0     24523    253156   3819551    127.50    139.98  --
66.27/16.61	c  N dy   222     38566     19337     83149         0     28564    253156   4618843    127.50    137.56  --
71.47/17.94	c  N dy   250     42658     19337     83149         0     17159    253156    990003    127.63    153.07  --
75.46/18.92	c  S st   270     45754     19337     83149         0     20255    253156   1638875    128.00    117.83  --
75.86/19.08	c  S st   270     46257     19337     83149         0     20758    253156   1708021    128.00   no data  --
75.86/19.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
75.86/19.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
76.26/19.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
77.06/19.31	c bin-w-bin subsume rem            0 bins  time:  0.02 s
77.06/19.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
77.06/19.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
77.06/19.33	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
90.66/22.79	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.77 s
90.66/22.80	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
91.06/22.82	c vivif2 --  cl tried    20757 cl shrink        0 lits rem          0 time: 0.10
91.44/22.93	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.41
91.44/22.93	c calculated reachability. Time: 0.00
91.44/22.93	c  N dy   270     46257     19337     83149         0     20757    253156   1707592    128.00   no data  --
96.23/24.12	c  N dy   295     50353     19337     83149         0     24852    253156   2524602    127.93    139.90  --
101.02/25.33	c  N dy   319     54409     19337     83149         0     28908    253156   3327629    127.67    137.40  --
105.82/26.58	c  N dy   345     58481     19337     83149         0     32979    253156   4149780    127.61    149.36  --
111.01/27.86	c  N dy   373     62551     19337     83149         0     37049    253156   4959579    127.76    136.99  --
115.81/29.06	c  N dy   400     66570     19337     83149         0     22322    253156   1360706    127.92    148.90  --
119.00/29.89	c  S st   418     69385     19337     83149         0     25137    253156   1929082    127.93   no data  --
119.80/30.03	c  S st   418     69886     19337     83149         0     25638    253156   2005000    127.93   no data  --
119.80/30.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
119.80/30.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.20/30.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.39
120.60/30.29	c bin-w-bin subsume rem            0 bins  time:  0.02 s
120.60/30.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
121.00/30.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
121.00/30.31	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
136.58/34.23	c lits-rem:        11  cl-subs:        3  v-elim:      0  v-fix:    0  time: 15.58 s
136.58/34.24	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
136.58/34.27	c vivif2 --  cl tried    25635 cl shrink        0 lits rem          0 time: 0.11
136.97/34.38	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.46
136.97/34.39	c calculated reachability. Time: 0.00
136.97/34.39	c  N dy   418     69886     19337     83149         0     25635    253156   2004759    127.93   no data  --
142.57/35.77	c  N dy   452     74574     19337     83149         0     30323    253156   2968992    128.30    135.70  --
148.56/37.21	c  N dy   483     79374     19337     83149         0     35123    253156   3963800    128.29    138.66  --
154.55/38.79	c  N dy   517     84452     19337     83149         0     40201    253156   4978001    128.16    136.63  --
158.54/39.74	c  F st   541     87500     19337     83149         0     22378    253156    920654    128.30   no data  --
162.53/40.70	c  N st   546     90798     19337     83149         0     25676    253156   1709284    128.30   no data  --
169.75/42.50	c  N dy   575     96788     19337     83149         0     31665    253156   3064843    128.35    138.28  --
177.72/44.50	c  N dy   614    103030     19337     83149         0     37907    253156   4339611    128.33    137.25  --
180.11/45.10	c  S st   625    104829     19337     83149         0     39705    253156   4684198    128.18   no data  --
180.51/45.28	c  S st   625    105330     19337     83149         0     40206    253156   4751864    128.18   no data  --
180.51/45.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
180.51/45.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.31/45.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.45
182.51/45.74	c bin-w-bin subsume rem            0 bins  time:  0.02 s
182.51/45.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
182.51/45.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
182.51/45.76	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
366.26/91.79	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 183.27 s
366.66/91.80	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
366.66/91.87	c vivif2 --  cl tried    40201 cl shrink        0 lits rem          0 time: 0.26
367.47/92.01	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.56
367.47/92.01	c calculated reachability. Time: 0.00
367.47/92.01	c  N dy   625    105330     19337     83149         0     40201    253156   4750045    128.18   no data  --
376.26/94.21	c  N dy   677    112107     19337     83149         0     24543    253156    994207    128.56    137.39  --
384.63/96.38	c  N dy   730    119392     19337     83149         0     31828    253156   2458276    128.71    141.99  --
394.61/98.80	c  N dy   784    127125     19337     83149         0     39559    253156   4032751    128.73    136.79  --
405.41/101.54	c  N dy   844    135308     19337     83149         0     24023    253156    598396    128.87    139.00  --
415.80/104.16	c  N dy   908    143962     19337     83149         0     32676    253156   2368656    128.97    154.88  --
428.18/107.26	c  N dy   972    153202     19337     83149         0     41916    253156   4291100    129.12    142.45  --
434.96/108.97	c  S st   999    157995     19337     83149         0     46709    253156   5264320    129.07   no data  --
435.76/109.16	c  S st   999    158498     19337     83149         0     47212    253156   5330666    129.07   no data  --
435.76/109.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
435.76/109.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
436.56/109.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
437.77/109.65	c bin-w-bin subsume rem            0 bins  time:  0.02 s
437.77/109.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
437.77/109.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
437.77/109.67	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
697.02/174.51	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 258.16 s
697.02/174.52	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
697.02/174.60	c vivif2 --  cl tried    47209 cl shrink        0 lits rem          0 time: 0.31
697.80/174.76	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.66
697.80/174.77	c calculated reachability. Time: 0.00
697.80/174.77	c  N dy   999    158498     19337     83149         0     47209    253156   5328878    129.07   no data  --
711.37/178.12	c  N dy  1068    168674     19337     83149         0     32524    253156   2101305    129.17    139.90  --
725.76/181.76	c  N dy  1150    179520     19337     83149         0     43369    253156   4342820    129.33    146.22  --
741.73/185.74	c  N dy  1227    191038     19337     83149         0     28957    253156   1108359    129.25    155.28  --
757.71/189.76	c  N dy  1315    203316     19337     83149         0     41235    253156   3614109    129.33    158.12  --
776.51/194.43	c  N dy  1406    216393     19337     83149         0     27352    253156    549532    129.39    138.57  --
794.47/198.96	c  N dy  1501    230249     19337     83149         0     41206    253156   3441010    129.55    144.18  --
805.25/201.62	c  S st  1557    237748     19337     83149         0     48703    253156   5024979    129.72    101.53  --
806.05/201.83	c  S st  1557    238253     19337     83149         0     49208    253156   5103549    129.72   no data  --
806.05/201.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
806.05/201.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
806.45/201.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
807.64/202.27	c bin-w-bin subsume rem            0 bins  time:  0.02 s
807.64/202.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
807.64/202.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
808.04/202.30	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1056.49/264.78	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 247.69 s
1056.49/264.79	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
1056.89/264.87	c vivif2 --  cl tried    49204 cl shrink        0 lits rem          0 time: 0.31
1057.67/265.04	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.69
1057.67/265.05	c calculated reachability. Time: 0.00
1057.67/265.05	c  N dy  1557    238253     19337     83149         0     49204    253156   5100769    129.72   no data  --
1079.64/270.58	c  N dy  1664    253492     19337     83149         0     36464    253156   2197218    129.83    137.87  --
1102.40/276.22	c  N dy  1774    269694     19337     83149         0     52665    253156   5583979    130.01    137.36  --
1125.98/282.18	c  N dy  1896    286943     19337     83149         0     40927    253156   2949194    130.18    142.58  --
1152.34/288.74	c  N dy  2017    305358     19337     83149         0     59341    253156   6718893    130.23    140.11  --
1153.94/289.11	c  F st  2023    306250     19337     83149         0     30238    253156    488067    130.21    114.09  --
1179.52/295.53	c  N dy  2118    325050     19337     83149         0     49036    253156   4724258    130.26    137.47  --
1208.26/302.79	c  N dy  2264    345235     19337     83149         0     38222    253156   1982494    130.39    142.05  --
1225.44/307.00	c  S st  2352    357379     19337     83149         0     50365    253156   4521415    130.52   no data  --
1225.84/307.18	c  S st  2352    357880     19337     83149         0     50866    253156   4602731    130.52   no data  --
1226.24/307.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1226.24/307.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1226.64/307.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
1227.85/307.60	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1227.85/307.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1227.85/307.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
1227.85/307.63	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1416.80/354.93	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 188.27 s
1416.80/354.94	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
1417.20/355.01	c vivif2 --  cl tried    50862 cl shrink        0 lits rem          0 time: 0.28
1417.58/355.19	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.70
1417.58/355.19	c calculated reachability. Time: 0.00
1417.58/355.19	c  N dy  2352    357880     19337     83149         0     50862    253156   4602100    130.52   no data  --
1447.56/362.68	c  N dy  2489    377971     19337     83149         0     38948    253156   1875111    130.60    139.62  --
1477.50/370.16	c  N dy  2624    398161     19337     83149         0     59135    253156   6064400    130.65    140.15  --
1507.46/377.69	c  N dy  2767    418237     19337     83149         0     46217    253156   3211663    130.73    140.17  --
1539.02/385.55	c  N dy  2900    438243     19337     83149         0     66222    253156   7321346    130.70    140.93  --
1566.98/392.55	c  N dy  3028    458300     19337     83149         0     52278    253156   4170810    130.65    138.20  --
1597.73/400.29	c  N dy  3168    478429     19337     83149         0     37415    253156    946041    130.74    137.73  --
1626.10/407.39	c  N dy  3307    498431     19337     83149         0     57415    253156   5091953    130.78    138.73  --
1656.45/414.99	c  N dy  3439    518449     19337     83149         0     41431    253156   1555232    130.87    143.61  --
1683.22/421.60	c  S st  3570    536821     19337     83149         0     59802    253156   5374720    130.96   no data  --
1684.02/421.80	c  S st  3570    537324     19337     83149         0     60305    253156   5462339    130.96   no data  --
1684.02/421.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1684.02/421.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1684.42/421.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.51
1685.61/422.26	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1685.61/422.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1685.61/422.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
1685.61/422.28	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1974.83/494.64	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 288.55 s
1974.83/494.65	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
1975.23/494.72	c vivif2 --  cl tried    60297 cl shrink        0 lits rem          0 time: 0.31
1976.01/494.91	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.73
1976.01/494.92	c calculated reachability. Time: 0.00
1976.01/494.92	c  N dy  3570    537324     19337     83149         0     60297    253156   5459665    130.96   no data  --
2004.77/502.11	c  N dy  3697    557446     19337     83149         0     43424    253156   1767872    130.94    142.45  --
2032.73/509.13	c  N dy  3830    577488     19337     83149         0     63465    253156   5952221    130.97    142.11  --
2062.30/516.55	c  N dy  3976    597692     19337     83149         0     45672    253156   2060593    131.07    138.62  --
2091.05/523.77	c  N dy  4115    617867     19337     83149         0     65845    253156   6282959    131.14    138.58  --
2121.00/531.24	c  N dy  4257    637934     19337     83149         0     46914    253156   2122884    131.21    140.53  --
2149.77/538.40	c  N dy  4383    658037     19337     83149         0     67016    253156   6296364    131.17    138.74  --
2179.32/545.88	c  N dy  4516    678085     19337     83149         0     47062    253156   1901388    131.20    138.28  --
2208.11/553.03	c  N dy  4643    698184     19337     83149         0     67160    253156   6043436    131.15    139.22  --
2238.86/560.77	c  N dy  4790    718421     19337     83149         0     46401    253156   1581479    131.25    141.66  --
2268.00/568.01	c  N dy  4929    738506     19337     83149         0     66486    253156   5848711    131.34    155.90  --
2299.16/575.82	c  N dy  5059    758625     19337     83149         0     44607    253156    962502    131.30    140.42  --
2327.51/582.97	c  N dy  5196    778797     19337     83149         0     64777    253156   5168757    131.31    139.20  --
2361.07/591.35	c  N dy  5338    798799     19337     83149         0     84777    253156   9355964    131.36    142.36  --
2371.85/594.00	c  S st  5389    805988     19337     83149         0     48969    253156   1723355    131.38    123.29  --
2372.25/594.19	c  S st  5389    806492     19337     83149         0     49473    253156   1796672    131.38   no data  --
2372.65/594.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2372.65/594.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2373.05/594.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
2373.45/594.44	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2373.45/594.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2373.45/594.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
2373.45/594.47	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2391.83/599.05	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 18.29 s
2391.83/599.06	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
2391.83/599.09	c vivif2 --  cl tried    49472 cl shrink        0 lits rem          0 time: 0.12
2392.65/599.26	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.65
2392.65/599.26	c calculated reachability. Time: 0.00
2392.65/599.26	c  N dy  5389    806492     19337     83149         0     49472    253156   1796031    131.38   no data  --
2423.78/607.05	c  N dy  5518    826508     19337     83149         0     69488    253156   5935414    131.34    140.04  --
2458.15/615.70	c  N dy  5649    846509     19337     83149         0     45490    253156    768247    131.35    138.43  --
2488.92/623.35	c  N dy  5787    866517     19337     83149         0     65498    253156   4936647    131.39    143.75  --
2523.65/632.06	c  N dy  5924    886561     19337     83149         0     85542    253156   9118197    131.43    138.39  --
2555.59/640.01	c  N dy  6050    906586     19337     83149         0     60561    253156   3695267    131.39    138.75  --
2589.55/648.50	c  N dy  6195    926684     19337     83149         0     80658    253156   7861956    131.44    138.41  --
2623.11/656.93	c  N dy  6334    946728     19337     83149         0     54706    253156   2262962    131.45    140.19  --
2655.46/665.07	c  N dy  6478    966877     19337     83149         0     74855    253156   6486831    131.49    140.50  --
2691.81/674.13	c  N dy  6616    986967     19337     83149         0     47942    253156    669309    131.56    154.72  --
2722.97/681.95	c  N dy  6749   1007045     19337     83149         0     68016    253156   4875123    131.58    138.92  --
2757.72/690.64	c  N dy  6883   1027050     19337     83149         0     88018    253156   9019547    131.59    148.67  --
2790.88/698.93	c  N dy  7009   1047146     19337     83149         0     60116    253156   3025343    131.62    141.72  --
2822.86/706.95	c  N dy  7140   1067227     19337     83149         0     80197    253156   7190299    131.61    138.93  --
2830.82/708.98	c  F st  7173   1071875     19337     83149         0     84845    253156   8149025    131.61   no data  --
2858.00/715.73	c  N dy  7253   1087271     19337     83149         0     51242    253156    950676    131.62    157.62  --
2888.34/723.40	c  N dy  7392   1107362     19337     83149         0     71331    253156   5105692    131.64    166.94  --
2922.70/731.97	c  N dy  7520   1127441     19337     83149         0     91409    253156   9203354    131.60    147.65  --
2955.85/740.29	c  N dy  7666   1147530     19337     83149         0     61499    253156   2873745    131.64    139.66  --
2987.80/748.22	c  N dy  7798   1167625     19337     83149         0     81593    253156   7061793    131.65    140.86  --
3022.16/756.86	c  N dy  7932   1187678     19337     83149         0    101645    253156  11285864    131.68    139.50  --
3051.73/764.23	c  N dy  8064   1207844     19337     83149         0     70819    253156   4609880    131.68    139.43  --
3054.51/764.98	c  S st  8078   1209738     19337     83149         0     72713    253156   4997412    131.68    108.63  --
3055.31/765.20	c  S st  8078   1210241     19337     83149         0     73216    253156   5072965    131.68   no data  --
3055.73/765.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3055.73/765.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3056.13/765.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
3057.31/765.65	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3057.31/765.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3057.31/765.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
3057.31/765.67	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
3317.75/830.89	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time: 260.14 s
3318.15/830.90	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
3318.15/830.97	c vivif2 --  cl tried    73211 cl shrink        0 lits rem          0 time: 0.29
3318.95/831.18	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.83
3318.95/831.19	c calculated reachability. Time: 0.00
3318.95/831.19	c  N dy  8078   1210241     19337     83149         0     73211    253156   5071133    131.68   no data  --
3352.09/839.40	c  N dy  8219   1230424     19337     83149         0     93394    253156   9304418    131.71    143.00  --
3384.85/847.62	c  N dy  8357   1250493     19337     83149         0     61466    253156   2502823    131.73    144.39  --
3415.20/855.27	c  N dy  8482   1270524     19337     83149         0     81497    253156   6655164    131.72    141.86  --
3449.96/863.95	c  N dy  8625   1290556     19337     83149         0    101529    253156  10854247    131.74    142.59  --
3481.11/871.77	c  N dy  8770   1310630     19337     83149         0     68600    253156   3844604    131.79    138.88  --
3513.09/879.75	c  N dy  8901   1330690     19337     83149         0     88659    253156   8008836    131.79    139.11  --
3549.42/888.82	c  N dy  9046   1350693     19337     83149         0     54672    253156    642431    131.84    139.79  --
3579.00/896.28	c  N dy  9183   1370847     19337     83149         0     74826    253156   4828815    131.84    140.23  --
3612.12/904.57	c  N dy  9322   1390886     19337     83149         0     94862    253156   9028702    131.86    140.88  --
3648.07/913.54	c  N dy  9461   1410981     19337     83149         0     59958    253156   1547512    131.89    160.92  --
3680.82/921.71	c  N dy  9599   1431060     19337     83149         0     80036    253156   5743174    131.90    140.78  --
3716.78/930.76	c  N dy  9737   1451107     19337     83149         0    100082    253156   9968896    131.91    139.16  --
3752.72/939.77	c  N dy  9872   1471207     19337     83149         0     64184    253156   2226046    131.94    154.68  --
3786.68/948.29	c  N dy 10017   1491433     19337     83149         0     84408    253156   6488046    131.97    139.55  --
3824.23/957.66	c  N dy 10159   1511486     19337     83149         0    104460    253156  10708447    131.99    161.62  --
3860.97/966.85	c  N dy 10286   1531501     19337     83149         0     67476    253156   2748799    132.00    142.96  --
3895.73/975.55	c  N dy 10415   1551552     19337     83149         0     87525    253156   6944399    131.99    142.16  --
3934.90/985.37	c  N dy 10551   1571558     19337     83149         0    107530    253156  11203707    132.01    160.30  --
3972.03/994.63	c  N dy 10692   1591686     19337     83149         0     69656    253156   2955319    132.02    143.31  --
4007.58/1003.55	c  N dy 10829   1611721     19337     83149         0     89688    253156   7178293    132.04    141.65  --
4047.53/1013.52	c  N dy 10968   1631745     19337     83149         0    109711    253156  11351397    132.05    140.52  --
4084.30/1022.74	c  N dy 11107   1651844     19337     83149         0     70811    253156   3042049    132.08    179.51  --
4119.83/1031.67	c  N dy 11238   1671867     19337     83149         0     90829    253156   7220543    132.06    164.96  --
4157.78/1041.15	c  N dy 11362   1691893     19337     83149         0    110854    253156  11370547    132.05    144.69  --
4191.32/1049.55	c  S st 11485   1710245     19337     83149         0     69214    253156   2481251    132.06   no data  --
4192.12/1049.78	c  S st 11485   1710749     19337     83149         0     69718    253156   2550692    132.06   no data  --
4192.53/1049.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4192.53/1049.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4192.93/1049.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.54
4193.75/1050.11	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4193.75/1050.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4193.75/1050.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
4193.75/1050.13	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4225.67/1058.10	c lits-rem:        10  cl-subs:        1  v-elim:      0  v-fix:    0  time: 31.80 s
4225.67/1058.11	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
4225.67/1058.15	c vivif2 --  cl tried    69717 cl shrink        0 lits rem          0 time: 0.17
4226.47/1058.36	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.81
4226.47/1058.36	c calculated reachability. Time: 0.00
4226.47/1058.36	c  N dy 11485   1710749     19337     83149         0     69717    253156   2550066    132.06   no data  --
4260.43/1066.81	c  N dy 11615   1730808     19337     83149         0     89774    253156   6764664    132.07    168.39  --
4298.38/1076.38	c  N dy 11757   1750818     19337     83149         0    109784    253156  10994599    132.10    148.32  --
4337.93/1086.27	c  N dy 11887   1770916     19337     83149         0     68882    253156   2190522    132.10    151.27  --
4373.89/1095.25	c  N dy 12028   1790985     19337     83149         0     88949    253156   6454511    132.13    173.46  --
4413.84/1105.23	c  N dy 12163   1811046     19337     83149         0    109007    253156  10691785    132.15    156.10  --
4455.36/1115.66	c  N dy 12300   1831105     19337     83149         0     67069    253156   1654712    132.17    140.76  --
4491.31/1124.60	c  N dy 12442   1851245     19337     83149         0     87205    253156   5910231    132.20    139.83  --
4530.86/1134.52	c  N dy 12577   1871360     19337     83149         0    107320    253156  10149453    132.23    141.51  --
4574.39/1145.43	c  N dy 12722   1891515     19337     83149         0     64476    253156    875173    132.26    141.39  --
4608.75/1154.06	c  N dy 12850   1911537     19337     83149         0     84497    253156   5057243    132.25    139.58  --
4647.50/1163.76	c  N dy 12986   1931581     19337     83149         0    104539    253156   9278785    132.26    143.03  --
4691.04/1174.60	c  N dy 13117   1951783     19337     83149         0    124740    253156  13547836    132.26    139.84  --
4726.98/1183.69	c  N dy 13249   1971856     19337     83149         0     80825    253156   4022865    132.25    139.57  --
4765.73/1193.34	c  N dy 13377   1991966     19337     83149         0    100933    253156   8269545    132.25    141.56  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.10 7.62 7.86 6/180 19338
/proc/meminfo: memFree=18383636/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=248980 CPUtime=0 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 1431 0 0 0 0 0 0 0 25 0 4 0 597922655 254955520 1343 33554432000 4194304 4650419 140733639718016 18446744073709551615 224284622603 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 62245 1355 340 112 0 57210 0
[pid=19338/tid=19339] ppid=19336 vsize=249148 CPUtime=0 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 18 0 0 0 0 0 0 0 25 0 4 0 597922655 255127552 1388 33554432000 4194304 4650419 140733639718016 18446744073709551615 224284622603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=249148 CPUtime=0 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 356 0 0 0 0 0 0 0 25 0 4 0 597922655 255127552 1408 33554432000 4194304 4650419 140733639718016 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=249412 CPUtime=0 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 361 0 0 0 0 0 0 0 25 0 4 0 597922655 255397888 1417 33554432000 4194304 4650419 140733639718016 18446744073709551615 224284588390 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.038973 s]
/proc/loadavg: 6.10 7.62 7.86 6/180 19338
/proc/meminfo: memFree=18383636/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=298540 CPUtime=0.11 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) D 19336 19338 19297 0 -1 4202496 11288 0 0 0 10 1 0 0 25 0 4 0 597922655 305704960 9735 33554432000 4194304 4650419 140733639718016 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 74635 9735 344 112 0 69600 0
[pid=19338/tid=19339] ppid=19336 vsize=298540 CPUtime=0.02 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 2506 0 0 0 2 0 0 0 25 0 4 0 597922655 305704960 9735 33554432000 4194304 4650419 140733639718016 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=298540 CPUtime=0.02 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) D 19336 19338 19297 0 -1 4202560 2501 0 0 0 2 0 0 0 18 0 4 0 597922655 305704960 9735 33554432000 4194304 4650419 140733639718016 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=298540 CPUtime=0.02 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) D 19336 19338 19297 0 -1 4202560 2935 0 0 0 2 0 0 0 25 0 4 0 597922655 305704960 9735 33554432000 4194304 4650419 140733639718016 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 298540

[startup+0.111892 s]
/proc/loadavg: 6.10 7.62 7.86 6/180 19338
/proc/meminfo: memFree=18383636/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=300868 CPUtime=0.4 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 14339 0 0 0 39 1 0 0 25 0 4 0 597922655 308088832 12786 33554432000 4194304 4650419 140733639718016 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 75217 12786 367 112 0 70182 0
[pid=19338/tid=19339] ppid=19336 vsize=300868 CPUtime=0.09 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 3359 0 0 0 9 0 0 0 25 0 4 0 597922655 308088832 12786 33554432000 4194304 4650419 140733639718016 18446744073709551615 4369904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=300868 CPUtime=0.09 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 3373 0 0 0 9 0 0 0 18 0 4 0 597922655 308088832 12786 33554432000 4194304 4650419 140733639718016 18446744073709551615 4369179 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=300868 CPUtime=0.1 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 3619 0 0 0 10 0 0 0 25 0 4 0 597922655 308088832 12786 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 300868

[startup+0.300866 s]
/proc/loadavg: 6.10 7.62 7.86 6/180 19338
/proc/meminfo: memFree=18383636/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=322012 CPUtime=1.16 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 25443 0 0 0 113 3 0 0 18 0 4 0 597922655 329740288 22148 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 80503 22148 385 112 0 75468 0
[pid=19338/tid=19339] ppid=19336 vsize=322012 CPUtime=0.28 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 7024 0 0 0 27 1 0 0 25 0 4 0 597922655 329740288 22148 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=322012 CPUtime=0.28 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 6922 0 0 0 28 0 0 0 18 0 4 0 597922655 329740288 22149 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=322012 CPUtime=0.28 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 3787 0 0 0 28 0 0 0 25 0 4 0 597922655 329740288 22149 33554432000 4194304 4650419 140733639718016 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 322012

[startup+1.21171 s]
/proc/loadavg: 6.10 7.62 7.86 6/180 19338
/proc/meminfo: memFree=18383636/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=326136 CPUtime=4.8 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 33458 0 0 0 475 5 0 0 19 0 4 0 597922655 333963264 26072 33554432000 4194304 4650419 140733639718016 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 81534 26072 391 112 0 76499 0
[pid=19338/tid=19339] ppid=19336 vsize=326136 CPUtime=1.19 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 9688 0 0 0 118 1 0 0 19 0 4 0 597922655 333963264 26072 33554432000 4194304 4650419 140733639718016 18446744073709551615 4334014 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=326136 CPUtime=1.18 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 8819 0 0 0 118 0 0 0 19 0 4 0 597922655 333963264 26072 33554432000 4194304 4650419 140733639718016 18446744073709551615 4333914 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=326136 CPUtime=1.19 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 4618 0 0 0 119 0 0 0 25 0 4 0 597922655 333963264 26072 33554432000 4194304 4650419 140733639718016 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 326136

[startup+1.50066 s]
/proc/loadavg: 6.10 7.62 7.86 6/180 19338
/proc/meminfo: memFree=18383636/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=326136 CPUtime=5.95 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 34471 0 0 0 590 5 0 0 19 0 4 0 597922655 333963264 27085 33554432000 4194304 4650419 140733639718016 18446744073709551615 4332020 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 81534 27085 391 112 0 76499 0
[pid=19338/tid=19339] ppid=19336 vsize=326136 CPUtime=1.48 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 9945 0 0 0 147 1 0 0 19 0 4 0 597922655 333963264 27085 33554432000 4194304 4650419 140733639718016 18446744073709551615 4368114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=326136 CPUtime=1.47 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 9063 0 0 0 147 0 0 0 19 0 4 0 597922655 333963264 27085 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=326136 CPUtime=1.48 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 4878 0 0 0 148 0 0 0 25 0 4 0 597922655 333963264 27085 33554432000 4194304 4650419 140733639718016 18446744073709551615 4331978 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 326136

[startup+3.1004 s]
/proc/loadavg: 6.10 7.62 7.86 9/184 19342
/proc/meminfo: memFree=18244600/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=485760 CPUtime=12.35 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 40082 0 0 0 1228 7 0 0 24 0 4 0 597922655 497418240 32696 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363506 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 121440 32696 391 112 0 116405 0
[pid=19338/tid=19339] ppid=19336 vsize=485760 CPUtime=3.07 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 11285 0 0 0 305 2 0 0 23 0 4 0 597922655 497418240 32696 33554432000 4194304 4650419 140733639718016 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=485760 CPUtime=3.08 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 10368 0 0 0 307 1 0 0 25 0 4 0 597922655 497418240 32696 33554432000 4194304 4650419 140733639718016 18446744073709551615 4366261 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=485760 CPUtime=3.08 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 6531 0 0 0 308 0 0 0 25 0 4 0 597922655 497418240 32697 33554432000 4194304 4650419 140733639718016 18446744073709551615 4316048 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 485760

[startup+6.30686 s]
/proc/loadavg: 6.41 7.66 7.87 9/184 19342
/proc/meminfo: memFree=18188676/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=339276 CPUtime=25.15 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 55883 0 0 0 2506 9 0 0 25 0 4 0 597922655 347418624 29647 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 84819 29647 393 112 0 79784 0
[pid=19338/tid=19339] ppid=19336 vsize=339276 CPUtime=6.25 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 15348 0 0 0 623 2 0 0 25 0 4 0 597922655 347418624 29647 33554432000 4194304 4650419 140733639718016 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=339276 CPUtime=6.29 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 13921 0 0 0 627 2 0 0 25 0 4 0 597922655 347418624 29647 33554432000 4194304 4650419 140733639718016 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=339276 CPUtime=6.29 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 10690 0 0 0 628 1 0 0 25 0 4 0 597922655 347418624 29647 33554432000 4194304 4650419 140733639718016 18446744073709551615 4304183 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 339276

[startup+12.7008 s]
/proc/loadavg: 6.54 7.67 7.87 9/184 19342
/proc/meminfo: memFree=17975916/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=600688 CPUtime=50.7 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 119560 0 0 0 5046 24 0 0 25 0 4 0 597922655 615104512 81659 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 150172 81659 395 112 0 145137 0
[pid=19338/tid=19339] ppid=19336 vsize=600688 CPUtime=12.61 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 42427 0 0 0 1252 9 0 0 25 0 4 0 597922655 615104512 81659 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=600688 CPUtime=12.68 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 25236 0 0 0 1264 4 0 0 25 0 4 0 597922655 615104512 81659 33554432000 4194304 4650419 140733639718016 18446744073709551615 4438539 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=600688 CPUtime=12.69 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 16812 0 0 0 1266 3 0 0 25 0 4 0 597922655 615104512 81659 33554432000 4194304 4650419 140733639718016 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 600688

[startup+25.5007 s]
/proc/loadavg: 6.94 7.70 7.88 9/184 19344
/proc/meminfo: memFree=17778136/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=717440 CPUtime=101.82 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 195392 0 0 0 10139 43 0 0 25 0 4 0 597922655 734658560 101840 33554432000 4194304 4650419 140733639718016 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 179360 101840 395 112 0 174325 0
[pid=19338/tid=19339] ppid=19336 vsize=717440 CPUtime=25.35 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 76591 0 0 0 2521 14 0 0 25 0 4 0 597922655 734658560 101840 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=717440 CPUtime=25.48 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 34505 0 0 0 2540 8 0 0 25 0 4 0 597922655 734658560 101840 33554432000 4194304 4650419 140733639718016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=717440 CPUtime=25.48 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 39787 0 0 0 2537 11 0 0 25 0 4 0 597922655 734658560 101840 33554432000 4194304 4650419 140733639718016 18446744073709551615 4333927 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 717440

[startup+51.1004 s]
/proc/loadavg: 7.30 7.72 7.88 9/184 19344
/proc/meminfo: memFree=17602476/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=819740 CPUtime=204.08 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 330780 0 0 0 20334 74 0 0 25 0 4 0 597922655 839413760 134922 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 204935 134922 395 112 0 199900 0
[pid=19338/tid=19339] ppid=19336 vsize=819740 CPUtime=50.81 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 133587 0 0 0 5057 24 0 0 25 0 4 0 597922655 839413760 134922 33554432000 4194304 4650419 140733639718016 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=819740 CPUtime=51.08 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 56782 0 0 0 5094 14 0 0 25 0 4 0 597922655 839413760 134922 33554432000 4194304 4650419 140733639718016 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=819740 CPUtime=51.08 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 55088 0 0 0 5092 16 0 0 25 0 4 0 597922655 839413760 134922 33554432000 4194304 4650419 140733639718016 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 819740

[startup+102.301 s]
/proc/loadavg: 7.75 7.78 7.89 9/184 19346
/proc/meminfo: memFree=17540304/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=815912 CPUtime=408.6 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 642170 0 0 0 40722 138 0 0 25 0 4 0 597922655 835493888 139826 33554432000 4194304 4650419 140733639718016 18446744073709551615 4328315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 203978 139826 395 112 0 198943 0
[pid=19338/tid=19339] ppid=19336 vsize=815912 CPUtime=101.72 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 165774 0 0 0 10138 34 0 0 25 0 4 0 597922655 835493888 139826 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=815912 CPUtime=102.27 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 81902 0 0 0 10203 24 0 0 25 0 4 0 597922655 835493888 139826 33554432000 4194304 4650419 140733639718016 18446744073709551615 4360439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=815912 CPUtime=102.28 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 85153 0 0 0 10200 28 0 0 25 0 4 0 597922655 835493888 139826 33554432000 4194304 4650419 140733639718016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 815912

[startup+162.301 s]

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

[pid=19338] ppid=19336 vsize=1296280 CPUtime=2804.46 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 3463092 0 0 0 279692 754 0 0 25 0 4 0 597922655 1327390720 261209 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363582 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 324070 261209 395 112 0 319035 0
[pid=19338/tid=19339] ppid=19336 vsize=1296280 CPUtime=698.44 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1143060 0 0 0 69619 225 0 0 25 0 4 0 597922655 1327390720 261209 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1296280 CPUtime=701.55 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 280926 0 0 0 70050 105 0 0 25 0 4 0 597922655 1327390720 261209 33554432000 4194304 4650419 140733639718016 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1296280 CPUtime=702.16 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 776835 0 0 0 70028 188 0 0 25 0 4 0 597922655 1327390720 261209 33554432000 4194304 4650419 140733639718016 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.46
Current children cumulated vsize (KiB) 1296280

[startup+762.301 s]
/proc/loadavg: 8.10 8.06 7.98 9/184 19365
/proc/meminfo: memFree=16800220/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1304836 CPUtime=3044.13 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 3736124 0 0 0 303597 816 0 0 25 0 4 0 597922655 1336152064 247171 33554432000 4194304 4650419 140733639718016 18446744073709551615 4333569 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 326209 247171 395 112 0 321174 0
[pid=19338/tid=19339] ppid=19336 vsize=1304836 CPUtime=758.1 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1332417 0 0 0 75559 251 0 0 25 0 4 0 597922655 1336152064 247171 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1304836 CPUtime=761.55 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 304988 0 0 0 76040 115 0 0 25 0 4 0 597922655 1336152064 247171 33554432000 4194304 4650419 140733639718016 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1304836 CPUtime=762.17 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 806036 0 0 0 76016 201 0 0 25 0 4 0 597922655 1336152064 247171 33554432000 4194304 4650419 140733639718016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.13
Current children cumulated vsize (KiB) 1304836

[startup+822.301 s]
/proc/loadavg: 8.10 8.06 7.99 9/184 19367
/proc/meminfo: memFree=16727032/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1247380 CPUtime=3283.79 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 3818484 0 0 0 327529 850 0 0 25 0 4 0 597922655 1277317120 247627 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 311845 247627 395 112 0 306810 0
[pid=19338/tid=19339] ppid=19336 vsize=1247380 CPUtime=817.78 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1357853 0 0 0 81517 261 0 0 25 0 4 0 597922655 1277317120 247627 33554432000 4194304 4650419 140733639718016 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1247380 CPUtime=821.55 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 332599 0 0 0 82028 127 0 0 25 0 4 0 597922655 1277317120 247627 33554432000 4194304 4650419 140733639718016 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1247380 CPUtime=822.16 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 833828 0 0 0 82003 213 0 0 25 0 4 0 597922655 1277317120 247627 33554432000 4194304 4650419 140733639718016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.79
Current children cumulated vsize (KiB) 1247380

[startup+882.301 s]
/proc/loadavg: 8.10 8.06 7.99 9/184 19369
/proc/meminfo: memFree=16683004/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1330332 CPUtime=3523.46 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 3929268 0 0 0 351455 891 0 0 25 0 4 0 597922655 1362259968 262130 33554432000 4194304 4650419 140733639718016 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 332583 262130 395 112 0 327548 0
[pid=19338/tid=19339] ppid=19336 vsize=1330332 CPUtime=877.44 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1386662 0 0 0 87473 271 0 0 25 0 4 0 597922655 1362259968 262130 33554432000 4194304 4650419 140733639718016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1330332 CPUtime=881.55 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 360680 0 0 0 88016 139 0 0 25 0 4 0 597922655 1362259968 262130 33554432000 4194304 4650419 140733639718016 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1330332 CPUtime=882.16 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 862645 0 0 0 87992 224 0 0 25 0 4 0 597922655 1362259968 262130 33554432000 4194304 4650419 140733639718016 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.46
Current children cumulated vsize (KiB) 1330332

[startup+942.301 s]
/proc/loadavg: 8.09 8.07 8.00 9/184 19371
/proc/meminfo: memFree=16619880/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1405052 CPUtime=3763.14 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 4041423 0 0 0 375382 932 0 0 25 0 4 0 597922655 1438773248 279707 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 351263 279707 395 112 0 346228 0
[pid=19338/tid=19339] ppid=19336 vsize=1405052 CPUtime=937.11 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1413906 0 0 0 93431 280 0 0 25 0 4 0 597922655 1438773248 279707 33554432000 4194304 4650419 140733639718016 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1405052 CPUtime=941.54 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 386017 0 0 0 94008 146 0 0 25 0 4 0 597922655 1438773248 279707 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1405052 CPUtime=942.17 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 892954 0 0 0 93981 236 0 0 25 0 4 0 597922655 1438773248 279707 33554432000 4194304 4650419 140733639718016 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.14
Current children cumulated vsize (KiB) 1405052

[startup+1002.3 s]
/proc/loadavg: 8.17 8.10 8.01 9/184 19373
/proc/meminfo: memFree=16545956/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1485344 CPUtime=4002.79 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 4108628 0 0 0 399311 968 0 0 25 0 4 0 597922655 1520992256 286897 33554432000 4194304 4650419 140733639718016 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 371336 286897 395 112 0 366301 0
[pid=19338/tid=19339] ppid=19336 vsize=1485344 CPUtime=996.79 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1422543 0 0 0 99395 284 0 0 25 0 4 0 597922655 1520992256 286897 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1485344 CPUtime=1001.54 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 386017 0 0 0 100008 146 0 0 25 0 4 0 597922655 1520992256 286897 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1485344 CPUtime=1002.16 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 921758 0 0 0 99965 251 0 0 25 0 4 0 597922655 1520992256 286897 33554432000 4194304 4650419 140733639718016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.79
Current children cumulated vsize (KiB) 1485344

[startup+1062.31 s]
/proc/loadavg: 8.16 8.11 8.02 9/184 19373
/proc/meminfo: memFree=16448604/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1420680 CPUtime=4242.48 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 4169880 0 0 0 423246 1002 0 0 25 0 4 0 597922655 1454776320 279521 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 355170 279521 395 112 0 350135 0
[pid=19338/tid=19339] ppid=19336 vsize=1420680 CPUtime=1056.46 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1433398 0 0 0 105356 290 0 0 25 0 4 0 597922655 1454776320 279521 33554432000 4194304 4650419 140733639718016 18446744073709551615 4330585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1420680 CPUtime=1061.55 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 386017 0 0 0 106009 146 0 0 25 0 4 0 597922655 1454776320 279521 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1420680 CPUtime=1062.17 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 950253 0 0 0 105951 266 0 0 25 0 4 0 597922655 1454776320 279521 33554432000 4194304 4650419 140733639718016 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.48
Current children cumulated vsize (KiB) 1420680

[startup+1122.3 s]
/proc/loadavg: 8.15 8.11 8.02 9/184 19375
/proc/meminfo: memFree=16320744/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1498652 CPUtime=4482.13 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 4452293 0 0 0 447144 1069 0 0 25 0 4 0 597922655 1534619648 306075 33554432000 4194304 4650419 140733639718016 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 374663 306075 395 112 0 369628 0
[pid=19338/tid=19339] ppid=19336 vsize=1498652 CPUtime=1116.13 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1457619 0 0 0 111308 305 0 0 25 0 4 0 597922655 1534619648 306075 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1498652 CPUtime=1121.54 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 386017 0 0 0 112008 146 0 0 25 0 4 0 597922655 1534619648 306075 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1498652 CPUtime=1122.16 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1183145 0 0 0 111913 303 0 0 25 0 4 0 597922655 1534619648 306075 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.13
Current children cumulated vsize (KiB) 1498652

[startup+1182.3 s]
/proc/loadavg: 8.18 8.13 8.03 9/184 19377
/proc/meminfo: memFree=16289240/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1508424 CPUtime=4721.79 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 4780141 0 0 0 471039 1140 0 0 25 0 4 0 597922655 1544626176 309551 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 377106 309551 395 112 0 372071 0
[pid=19338/tid=19339] ppid=19336 vsize=1508424 CPUtime=1175.8 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1478280 0 0 0 117264 316 0 0 25 0 4 0 597922655 1544626176 309551 33554432000 4194304 4650419 140733639718016 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1508424 CPUtime=1181.54 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 386017 0 0 0 118008 146 0 0 25 0 4 0 597922655 1544626176 309551 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1508424 CPUtime=1182.15 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1462429 0 0 0 117870 345 0 0 25 0 4 0 597922655 1544626176 309551 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.79
Current children cumulated vsize (KiB) 1508424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.20 8.14 8.04 5/179 19378
/proc/meminfo: memFree=17089328/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1564936 CPUtime=4800.12 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 4891158 0 0 0 478846 1166 0 0 25 0 4 0 597922655 1602494464 329383 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 391234 329383 395 112 0 386199 0
[pid=19338/tid=19339] ppid=19336 vsize=1564936 CPUtime=1195.3 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1486516 0 0 0 119208 322 0 0 25 0 4 0 597922655 1602494464 329383 33554432000 4194304 4650419 140733639718016 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1564936 CPUtime=1201.15 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 389236 0 0 0 119967 148 0 0 25 0 4 0 597922655 1602494464 329383 33554432000 4194304 4650419 140733639718016 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1564936 CPUtime=1201.77 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1553614 0 0 0 119818 359 0 0 25 0 4 0 597922655 1602494464 329383 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1564936

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

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

[startup+1201.9 s]
/proc/loadavg: 8.20 8.14 8.04 5/179 19378
/proc/meminfo: memFree=17089328/32951124 swapFree=67110396/67111528
[pid=19338] ppid=19336 vsize=1564936 CPUtime=4800.12 cores=1,3,5,7
/proc/19338/stat : 19338 (strangenight1-m) R 19336 19338 19297 0 -1 4202496 4891158 0 0 0 478846 1166 0 0 25 0 4 0 597922655 1602494464 329383 33554432000 4194304 4650419 140733639718016 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19338/statm: 391234 329383 395 112 0 386199 0
[pid=19338/tid=19339] ppid=19336 vsize=1564936 CPUtime=1195.3 cores=1,3,5,7
/proc/19338/task/19339/stat : 19339 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1486516 0 0 0 119208 322 0 0 25 0 4 0 597922655 1602494464 329383 33554432000 4194304 4650419 140733639718016 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19338/tid=19340] ppid=19336 vsize=1564936 CPUtime=1201.15 cores=1,3,5,7
/proc/19338/task/19340/stat : 19340 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 389236 0 0 0 119967 148 0 0 25 0 4 0 597922655 1602494464 329383 33554432000 4194304 4650419 140733639718016 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19338/tid=19341] ppid=19336 vsize=1564936 CPUtime=1201.77 cores=1,3,5,7
/proc/19338/task/19341/stat : 19341 (strangenight1-m) R 19336 19338 19297 0 -1 4202560 1553614 0 0 0 119818 359 0 0 25 0 4 0 597922655 1602494464 329383 33554432000 4194304 4650419 140733639718016 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1564936

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.98
CPU time (s): 4800.21
CPU user time (s): 4788.49
CPU system time (s): 11.7252
CPU usage (%): 399.36
Max. virtual memory (cumulated for all children) (KiB): 1564936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.49
system time used= 11.7252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4891162
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= 1528
involuntary context switches= 33732

runsolver used 1.82472 second user time and 4.74528 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 13:35:20
IDJOB=3175005
IDBENCH=82623
IDSOLVER=1588
FILE ID=node118/3175005-1304076920
RUNJOBID= node118-1304076920-19316
PBS_JOBID= 13170505
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= c8a628789219fd1293880c95bfb25038
RANDOM SEED=1990772561

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18383668 kB
Buffers:       1901524 kB
Cached:       12038788 kB
SwapCached:        600 kB
Active:        9516260 kB
Inactive:      4512092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18383668 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           14404 kB
Writeback:           0 kB
AnonPages:       87836 kB
Mapped:          14960 kB
Slab:           472536 kB
PageTables:       5164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   294000 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= 71604 MiB
End job on node118 at 2011-04-29 13:55:24