Trace number 3368614

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.19 1203.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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368614-1305398704.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.00/0.10	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.00/0.10	c -- vars added      20000
0.00/0.10	c Parsing time:  0.20 s
0.00/0.10	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.76/0.23	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.21
0.76/0.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.15
0.76/0.26	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.76/0.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1.49/0.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
1.49/0.40	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
3.49/0.91	c lits-rem:         0  cl-subs:        0  v-elim:    663  v-fix:    0  time:  0.78 s
3.49/0.91	c Finding binary XORs  T:     0.02 s  found:       0
3.49/0.91	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
3.49/0.91	c calculated reachability. Time: 0.00
3.49/0.91	c Calc default polars -  time:   0.02 s pos:    8793 undec:    2392 neg:    8815
3.49/0.91	c =========================================================================================
3.49/0.91	c types(t): F = full restart, N = normal restart
3.49/0.91	c types(t): S = simplification begin/end, E = solution found
3.49/0.91	c restart types(rt): st = static, dy = dynamic
3.49/0.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.49/0.91	c  B st     0         0     19337     83149         0         0    253156         0   no data   no data  --
5.87/1.52	c  N dy    21      4127     19337     83149         0      4126    253156    908617    127.57    135.52  --
9.86/2.53	c  N dy    49      8300     19337     83149         0      8299    253156   1747919    128.86    144.26  --
13.84/3.55	c  N dy    74     12322     19337     83149         0     12321    253156   2553362    127.55    135.79  --
18.24/4.63	c  N dy   104     16392     19337     83149         0     16391    253156   3395894    128.25    140.64  --
22.62/5.73	c  N dy   129     20426     19337     83149         0     10427    253156    628548    127.65    135.84  --
26.66/6.78	c  N dy   157     24512     19337     83149         0     14513    253156   1438023    127.39    134.71  --
27.41/6.91	c  F st   161     25000     19337     83149         0     15001    253156   1526481    127.25   no data  --
32.99/8.37	c  N dy   167     30002     19337     83149         0     20002    253156   2928499    127.25   no data  --
32.99/8.37	c  S st   167     30002     19337     83149         0     20002    253156   2928499    127.25   no data  --
33.79/8.51	c  S st   167     30503     19337     83149         0     20503    253156   3003567    127.25   no data  --
33.79/8.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
33.79/8.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.19/8.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.37
35.43/8.92	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.43/8.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.43/8.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
35.43/8.94	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
55.71/14.05	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 20.31 s
56.11/14.16	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.44
56.11/14.17	c calculated reachability. Time: 0.00
56.11/14.17	c  N dy   167     30503     19337     83149         0     20502    253156   3002616    127.25   no data  --
61.33/15.45	c  N dy   194     34525     19337     83149         0     24523    253156   3819551    127.50    139.98  --
66.47/16.75	c  N dy   222     38566     19337     83149         0     28564    253156   4618843    127.50    137.56  --
71.66/18.09	c  N dy   250     42658     19337     83149         0     17159    253156    990003    127.63    153.07  --
75.64/19.06	c  S st   270     45754     19337     83149         0     20255    253156   1638875    128.00    117.83  --
76.45/19.23	c  S st   270     46257     19337     83149         0     20758    253156   1708021    128.00   no data  --
76.45/19.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
76.45/19.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
76.85/19.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
77.25/19.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
77.25/19.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
77.25/19.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
77.64/19.50	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
91.20/22.96	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.75 s
91.20/22.97	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
91.20/22.99	c vivif2 --  cl tried    20757 cl shrink        0 lits rem          0 time: 0.10
91.60/23.10	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.42
91.60/23.11	c calculated reachability. Time: 0.00
91.60/23.11	c  N dy   270     46257     19337     83149         0     20757    253156   1707592    128.00   no data  --
96.41/24.31	c  N dy   295     50353     19337     83149         0     24852    253156   2524602    127.93    139.90  --
101.55/25.53	c  N dy   319     54409     19337     83149         0     28908    253156   3327629    127.67    137.40  --
106.74/26.80	c  N dy   345     58481     19337     83149         0     32979    253156   4149780    127.61    149.36  --
111.93/28.10	c  N dy   373     62551     19337     83149         0     37049    253156   4959579    127.76    136.99  --
116.70/29.31	c  N dy   400     66570     19337     83149         0     22322    253156   1360706    127.92    148.90  --
119.89/30.15	c  S st   418     69385     19337     83149         0     25137    253156   1929082    127.93   no data  --
120.29/30.29	c  S st   418     69886     19337     83149         0     25638    253156   2005000    127.93   no data  --
120.69/30.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
120.69/30.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.10/30.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
121.50/30.55	c bin-w-bin subsume rem            0 bins  time:  0.02 s
121.50/30.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
121.50/30.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
121.50/30.57	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
137.04/34.48	c lits-rem:        11  cl-subs:        3  v-elim:      0  v-fix:    0  time: 15.54 s
137.04/34.48	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
137.44/34.51	c vivif2 --  cl tried    25635 cl shrink        0 lits rem          0 time: 0.12
137.84/34.63	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.46
137.84/34.64	c calculated reachability. Time: 0.00
137.84/34.64	c  N dy   418     69886     19337     83149         0     25635    253156   2004759    127.93   no data  --
143.42/36.06	c  N dy   452     74574     19337     83149         0     30323    253156   2968992    128.30    135.70  --
149.46/37.51	c  N dy   483     79374     19337     83149         0     35123    253156   3963800    128.29    138.66  --
155.79/39.10	c  N dy   517     84452     19337     83149         0     40201    253156   4978001    128.16    136.63  --
159.37/40.06	c  F st   541     87500     19337     83149         0     22378    253156    920654    128.30   no data  --
163.35/41.03	c  N st   546     90798     19337     83149         0     25676    253156   1709284    128.30   no data  --
170.54/42.84	c  N dy   575     96788     19337     83149         0     31665    253156   3064843    128.35    138.28  --
178.51/44.82	c  N dy   614    103030     19337     83149         0     37907    253156   4339611    128.33    137.25  --
180.90/45.43	c  S st   625    104829     19337     83149         0     39705    253156   4684198    128.18   no data  --
181.70/45.62	c  S st   625    105330     19337     83149         0     40206    253156   4751864    128.18   no data  --
181.70/45.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
181.70/45.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.10/45.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.46
183.69/46.11	c bin-w-bin subsume rem            0 bins  time:  0.02 s
183.69/46.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
183.69/46.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
183.69/46.13	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
365.11/91.62	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 181.13 s
365.11/91.63	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
365.51/91.70	c vivif2 --  cl tried    40201 cl shrink        0 lits rem          0 time: 0.26
365.91/91.84	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.57
365.91/91.85	c calculated reachability. Time: 0.00
365.91/91.85	c  N dy   625    105330     19337     83149         0     40201    253156   4750045    128.18   no data  --
374.68/94.06	c  N dy   677    112107     19337     83149         0     24543    253156    994207    128.56    137.39  --
383.45/96.23	c  N dy   730    119392     19337     83149         0     31828    253156   2458276    128.71    141.99  --
393.02/98.66	c  N dy   784    127125     19337     83149         0     39559    253156   4032751    128.73    136.79  --
404.18/101.44	c  N dy   844    135308     19337     83149         0     24023    253156    598396    128.87    139.00  --
414.55/104.03	c  N dy   908    143962     19337     83149         0     32676    253156   2368656    128.97    154.88  --
426.10/106.99	c  N dy   972    153202     19337     83149         0     41916    253156   4291100    129.12    142.45  --
432.89/108.65	c  S st   999    157995     19337     83149         0     46709    253156   5264320    129.07   no data  --
433.69/108.85	c  S st   999    158498     19337     83149         0     47212    253156   5330666    129.07   no data  --
433.69/108.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
433.69/108.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
434.11/108.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
435.67/109.36	c bin-w-bin subsume rem            0 bins  time:  0.02 s
435.67/109.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
435.67/109.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
435.67/109.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
692.06/173.67	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 255.84 s
692.06/173.68	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
692.46/173.76	c vivif2 --  cl tried    47209 cl shrink        0 lits rem          0 time: 0.32
693.30/173.93	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.64
693.30/173.93	c calculated reachability. Time: 0.00
693.30/173.93	c  N dy   999    158498     19337     83149         0     47209    253156   5328878    129.07   no data  --
706.80/177.30	c  N dy  1068    168674     19337     83149         0     32524    253156   2101305    129.17    139.90  --
721.16/180.98	c  N dy  1150    179520     19337     83149         0     43369    253156   4342820    129.33    146.22  --
737.16/184.97	c  N dy  1227    191038     19337     83149         0     28957    253156   1108359    129.25    155.28  --
753.46/189.00	c  N dy  1315    203316     19337     83149         0     41235    253156   3614109    129.33    158.12  --
772.26/193.73	c  N dy  1406    216393     19337     83149         0     27352    253156    549532    129.39    138.57  --
790.54/198.30	c  N dy  1501    230249     19337     83149         0     41206    253156   3441010    129.55    144.18  --
800.91/200.98	c  S st  1557    237748     19337     83149         0     48703    253156   5024979    129.72    101.53  --
801.71/201.18	c  S st  1557    238253     19337     83149         0     49208    253156   5103549    129.72   no data  --
802.11/201.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
802.11/201.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
802.53/201.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.47
803.70/201.63	c bin-w-bin subsume rem            0 bins  time:  0.02 s
803.70/201.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
803.70/201.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
803.70/201.65	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
1050.91/263.63	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 246.74 s
1050.91/263.64	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
1051.31/263.72	c vivif2 --  cl tried    49204 cl shrink        0 lits rem          0 time: 0.30
1051.71/263.88	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.67
1051.71/263.89	c calculated reachability. Time: 0.00
1051.71/263.89	c  N dy  1557    238253     19337     83149         0     49204    253156   5100769    129.72   no data  --
1073.24/269.20	c  N dy  1664    253492     19337     83149         0     36464    253156   2197218    129.83    137.87  --
1095.17/274.75	c  N dy  1774    269694     19337     83149         0     52665    253156   5583979    130.01    137.36  --
1118.75/280.70	c  N dy  1896    286943     19337     83149         0     40927    253156   2949194    130.18    142.58  --
1145.40/287.34	c  N dy  2017    305358     19337     83149         0     59341    253156   6718893    130.23    140.11  --
1147.00/287.71	c  F st  2023    306250     19337     83149         0     30238    253156    488067    130.21    114.09  --
1172.52/294.16	c  N dy  2118    325050     19337     83149         0     49036    253156   4724258    130.26    137.47  --
1201.65/301.47	c  N dy  2264    345235     19337     83149         0     38222    253156   1982494    130.39    142.05  --
1218.78/305.73	c  S st  2352    357379     19337     83149         0     50365    253156   4521415    130.52   no data  --
1219.62/305.92	c  S st  2352    357880     19337     83149         0     50866    253156   4602731    130.52   no data  --
1219.62/305.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1219.62/305.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1219.96/306.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
1221.16/306.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1221.16/306.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1221.16/306.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
1221.16/306.36	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1408.96/353.40	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 187.07 s
1408.96/353.41	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
1408.96/353.48	c vivif2 --  cl tried    50862 cl shrink        0 lits rem          0 time: 0.28
1409.77/353.66	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.70
1409.77/353.67	c calculated reachability. Time: 0.00
1409.77/353.67	c  N dy  2352    357880     19337     83149         0     50862    253156   4602100    130.52   no data  --
1440.06/361.26	c  N dy  2489    377971     19337     83149         0     38948    253156   1875111    130.60    139.62  --
1470.36/368.82	c  N dy  2624    398161     19337     83149         0     59135    253156   6064400    130.65    140.15  --
1500.67/376.43	c  N dy  2767    418237     19337     83149         0     46217    253156   3211663    130.73    140.17  --
1531.76/384.22	c  N dy  2900    438243     19337     83149         0     66222    253156   7321346    130.70    140.93  --
1560.88/391.52	c  N dy  3028    458300     19337     83149         0     52278    253156   4170810    130.65    138.20  --
1593.58/399.71	c  N dy  3168    478429     19337     83149         0     37415    253156    946041    130.74    137.73  --
1622.29/407.00	c  N dy  3307    498431     19337     83149         0     57415    253156   5091953    130.78    138.73  --
1652.99/414.63	c  N dy  3439    518449     19337     83149         0     41431    253156   1555232    130.87    143.61  --
1679.31/421.30	c  S st  3570    536821     19337     83149         0     59802    253156   5374720    130.96   no data  --
1680.49/421.51	c  S st  3570    537324     19337     83149         0     60305    253156   5462339    130.96   no data  --
1680.49/421.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1680.49/421.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1680.89/421.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.52
1682.08/421.99	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1682.49/422.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1682.49/422.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
1682.49/422.01	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1971.56/494.50	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 288.27 s
1971.56/494.50	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
1971.56/494.58	c vivif2 --  cl tried    60297 cl shrink        0 lits rem          0 time: 0.31
1972.36/494.77	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.73
1972.36/494.77	c calculated reachability. Time: 0.00
1972.36/494.77	c  N dy  3570    537324     19337     83149         0     60297    253156   5459665    130.96   no data  --
2001.06/501.97	c  N dy  3697    557446     19337     83149         0     43424    253156   1767872    130.94    142.45  --
2029.37/509.06	c  N dy  3830    577488     19337     83149         0     63465    253156   5952221    130.97    142.11  --
2059.27/516.52	c  N dy  3976    597692     19337     83149         0     45672    253156   2060593    131.07    138.62  --
2088.03/523.72	c  N dy  4115    617867     19337     83149         0     65845    253156   6282959    131.14    138.58  --
2117.89/531.29	c  N dy  4257    637934     19337     83149         0     46914    253156   2122884    131.21    140.53  --
2146.59/538.45	c  N dy  4383    658037     19337     83149         0     67016    253156   6296364    131.17    138.74  --
2176.49/545.95	c  N dy  4516    678085     19337     83149         0     47062    253156   1901388    131.20    138.28  --
2205.61/553.20	c  N dy  4643    698184     19337     83149         0     67160    253156   6043436    131.15    139.22  --
2236.30/560.95	c  N dy  4790    718421     19337     83149         0     46401    253156   1581479    131.25    141.66  --
2265.41/568.21	c  N dy  4929    738506     19337     83149         0     66486    253156   5848711    131.34    155.90  --
2296.51/576.09	c  N dy  5059    758625     19337     83149         0     44607    253156    962502    131.30    140.42  --
2325.21/583.24	c  N dy  5196    778797     19337     83149         0     64777    253156   5168757    131.31    139.20  --
2357.51/591.30	c  N dy  5338    798799     19337     83149         0     84777    253156   9355964    131.36    142.36  --
2367.88/593.92	c  S st  5389    805988     19337     83149         0     48969    253156   1723355    131.38    123.29  --
2368.30/594.10	c  S st  5389    806492     19337     83149         0     49473    253156   1796672    131.38   no data  --
2368.72/594.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2368.72/594.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2369.07/594.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.47
2369.47/594.35	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2369.47/594.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2369.47/594.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
2369.47/594.37	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2387.81/598.90	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 18.01 s
2387.81/598.90	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
2387.81/598.93	c vivif2 --  cl tried    49472 cl shrink        0 lits rem          0 time: 0.11
2388.21/599.09	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.62
2388.21/599.09	c calculated reachability. Time: 0.00
2388.21/599.10	c  N dy  5389    806492     19337     83149         0     49472    253156   1796031    131.38   no data  --
2418.51/606.62	c  N dy  5518    826508     19337     83149         0     69488    253156   5935414    131.34    140.04  --
2453.20/615.34	c  N dy  5649    846509     19337     83149         0     45490    253156    768247    131.35    138.43  --
2484.30/623.10	c  N dy  5787    866517     19337     83149         0     65498    253156   4936647    131.39    143.75  --
2518.99/631.81	c  N dy  5924    886561     19337     83149         0     85542    253156   9118197    131.43    138.39  --
2551.68/640.04	c  N dy  6050    906586     19337     83149         0     60561    253156   3695267    131.39    138.75  --
2585.98/648.66	c  N dy  6195    926684     19337     83149         0     80658    253156   7861956    131.44    138.41  --
2620.26/657.23	c  N dy  6334    946728     19337     83149         0     54706    253156   2262962    131.45    140.19  --
2652.96/665.46	c  N dy  6478    966877     19337     83149         0     74855    253156   6486831    131.49    140.50  --
2689.64/674.66	c  N dy  6616    986967     19337     83149         0     47942    253156    669309    131.56    154.72  --
2721.14/682.58	c  N dy  6749   1007045     19337     83149         0     68016    253156   4875123    131.58    138.92  --
2756.22/691.37	c  N dy  6883   1027050     19337     83149         0     88018    253156   9019547    131.59    148.67  --
2790.12/699.85	c  N dy  7009   1047146     19337     83149         0     60116    253156   3025343    131.62    141.72  --
2823.61/708.22	c  N dy  7140   1067227     19337     83149         0     80197    253156   7190299    131.61    138.93  --
2831.59/710.24	c  F st  7173   1071875     19337     83149         0     84845    253156   8149025    131.61   no data  --
2858.71/717.08	c  N dy  7253   1087271     19337     83149         0     51242    253156    950676    131.62    157.62  --
2889.81/724.81	c  N dy  7392   1107362     19337     83149         0     71331    253156   5105692    131.64    166.94  --
2924.09/733.42	c  N dy  7520   1127441     19337     83149         0     91409    253156   9203354    131.60    147.65  --
2957.18/741.78	c  N dy  7666   1147530     19337     83149         0     61499    253156   2873745    131.64    139.66  --
2989.88/749.98	c  N dy  7798   1167625     19337     83149         0     81593    253156   7061793    131.65    140.86  --
3025.77/758.92	c  N dy  7932   1187678     19337     83149         0    101645    253156  11285864    131.68    139.50  --
3055.27/766.36	c  N dy  8064   1207844     19337     83149         0     70819    253156   4609880    131.68    139.43  --
3058.46/767.11	c  S st  8078   1209738     19337     83149         0     72713    253156   4997412    131.68    108.63  --
3059.25/767.34	c  S st  8078   1210241     19337     83149         0     73216    253156   5072965    131.68   no data  --
3059.25/767.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3059.25/767.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3059.65/767.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
3060.85/767.78	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3060.85/767.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3060.85/767.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
3060.85/767.81	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
3320.81/832.93	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time: 259.17 s
3320.81/832.94	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
3321.21/833.01	c vivif2 --  cl tried    73211 cl shrink        0 lits rem          0 time: 0.29
3322.01/833.22	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.83
3322.01/833.22	c calculated reachability. Time: 0.00
3322.01/833.23	c  N dy  8078   1210241     19337     83149         0     73211    253156   5071133    131.68   no data  --
3354.72/841.46	c  N dy  8219   1230424     19337     83149         0     93394    253156   9304418    131.71    143.00  --
3387.39/849.64	c  N dy  8357   1250493     19337     83149         0     61466    253156   2502823    131.73    144.39  --
3418.10/857.35	c  N dy  8482   1270524     19337     83149         0     81497    253156   6655164    131.72    141.86  --
3453.18/866.13	c  N dy  8625   1290556     19337     83149         0    101529    253156  10854247    131.74    142.59  --
3484.28/873.99	c  N dy  8770   1310630     19337     83149         0     68600    253156   3844604    131.79    138.88  --
3516.59/882.06	c  N dy  8901   1330690     19337     83149         0     88659    253156   8008836    131.79    139.11  --
3552.48/891.10	c  N dy  9046   1350693     19337     83149         0     54672    253156    642431    131.84    139.79  --
3582.37/898.59	c  N dy  9183   1370847     19337     83149         0     74826    253156   4828815    131.84    140.23  --
3616.25/907.02	c  N dy  9322   1390886     19337     83149         0     94862    253156   9028702    131.86    140.88  --
3650.94/915.78	c  N dy  9461   1410981     19337     83149         0     59958    253156   1547512    131.89    160.92  --
3681.64/923.48	c  N dy  9599   1431060     19337     83149         0     80036    253156   5743174    131.90    140.78  --
3717.92/932.50	c  N dy  9737   1451107     19337     83149         0    100082    253156   9968896    131.91    139.16  --
3754.24/941.62	c  N dy  9872   1471207     19337     83149         0     64184    253156   2226046    131.94    154.68  --
3788.10/950.18	c  N dy 10017   1491433     19337     83149         0     84408    253156   6488046    131.97    139.55  --
3825.96/959.64	c  N dy 10159   1511486     19337     83149         0    104460    253156  10708447    131.99    161.62  --
3861.86/968.64	c  N dy 10286   1531501     19337     83149         0     67476    253156   2748799    132.00    142.96  --
3896.14/977.24	c  N dy 10415   1551552     19337     83149         0     87525    253156   6944399    131.99    142.16  --
3936.01/987.20	c  N dy 10551   1571558     19337     83149         0    107530    253156  11203707    132.01    160.30  --
3973.10/996.60	c  N dy 10692   1591686     19337     83149         0     69656    253156   2955319    132.02    143.31  --
4009.38/1005.67	c  N dy 10829   1611721     19337     83149         0     89688    253156   7178293    132.04    141.65  --
4049.65/1015.80	c  N dy 10968   1631745     19337     83149         0    109711    253156  11351397    132.05    140.52  --
4087.14/1025.19	c  N dy 11107   1651844     19337     83149         0     70811    253156   3042049    132.08    179.51  --
4123.07/1034.17	c  N dy 11238   1671867     19337     83149         0     90829    253156   7220543    132.06    164.96  --
4162.54/1044.09	c  N dy 11362   1691893     19337     83149         0    110854    253156  11370547    132.05    144.69  --
4197.63/1052.84	c  S st 11485   1710245     19337     83149         0     69214    253156   2481251    132.06   no data  --
4198.37/1053.08	c  S st 11485   1710749     19337     83149         0     69718    253156   2550692    132.06   no data  --
4198.37/1053.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4198.37/1053.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4199.17/1053.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.55
4199.98/1053.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4199.98/1053.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4199.98/1053.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
4199.98/1053.43	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4231.48/1061.39	c lits-rem:        10  cl-subs:        1  v-elim:      0  v-fix:    0  time: 31.72 s
4231.88/1061.40	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
4231.88/1061.44	c vivif2 --  cl tried    69717 cl shrink        0 lits rem          0 time: 0.17
4232.72/1061.65	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.80
4232.72/1061.66	c calculated reachability. Time: 0.00
4232.72/1061.66	c  N dy 11485   1710749     19337     83149         0     69717    253156   2550066    132.06   no data  --
4266.97/1070.25	c  N dy 11615   1730808     19337     83149         0     89774    253156   6764664    132.07    168.39  --
4304.83/1079.78	c  N dy 11757   1750818     19337     83149         0    109784    253156  10994599    132.10    148.32  --
4342.71/1089.23	c  N dy 11887   1770916     19337     83149         0     68882    253156   2190522    132.10    151.27  --
4377.04/1097.83	c  N dy 12028   1790985     19337     83149         0     88949    253156   6454511    132.13    173.46  --
4415.69/1107.58	c  N dy 12163   1811046     19337     83149         0    109007    253156  10691785    132.15    156.10  --
4457.95/1118.19	c  N dy 12300   1831105     19337     83149         0     67069    253156   1654712    132.17    140.76  --
4494.64/1127.33	c  N dy 12442   1851245     19337     83149         0     87205    253156   5910231    132.20    139.83  --
4534.93/1137.42	c  N dy 12577   1871360     19337     83149         0    107320    253156  10149453    132.23    141.51  --
4578.79/1148.46	c  N dy 12722   1891515     19337     83149         0     64476    253156    875173    132.26    141.39  --
4613.88/1157.26	c  N dy 12850   1911537     19337     83149         0     84497    253156   5057243    132.25    139.58  --
4653.35/1167.15	c  N dy 12986   1931581     19337     83149         0    104539    253156   9278785    132.26    143.03  --
4697.22/1178.17	c  N dy 13117   1951783     19337     83149         0    124740    253156  13547836    132.26    139.84  --
4733.86/1187.35	c  N dy 13249   1971856     19337     83149         0     80825    253156   4022865    132.25    139.57  --
4772.54/1197.01	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: 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-3368614-1305398704/watcher-3368614-1305398704 -o /tmp/evaluation-result-3368614-1305398704/solver-3368614-1305398704 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368614-1305398704.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.50 8.03 8.02 1/378 11231
/proc/meminfo: memFree=14903488/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 730101115 52465664 352 33554432000 4194304 4650419 140734440147600 18446744073709551615 47448975210418 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 12809 352 303 112 0 7774 0
[pid=11231/tid=11232] ppid=11228 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 730101115 52465664 352 33554432000 4194304 4650419 140734440147600 18446744073709551615 47448975210418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 730101115 52465664 352 33554432000 4194304 4650419 140734440147600 18446744073709551615 47448975210416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730101115 52465664 352 33554432000 4194304 4650419 140734440147600 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.113897 s]
/proc/loadavg: 7.50 8.03 8.02 1/378 11231
/proc/meminfo: memFree=14903488/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=368972 CPUtime=0.36 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 14543 0 0 0 25 11 0 0 17 0 4 0 730101115 377827328 12567 33554432000 4194304 4650419 140734440147600 18446744073709551615 4370035 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 92243 12592 360 112 0 87208 0
[pid=11231/tid=11232] ppid=11228 vsize=368972 CPUtime=0.08 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 3663 0 0 0 6 2 0 0 17 0 4 0 730101115 377827328 12602 33554432000 4194304 4650419 140734440147600 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=368972 CPUtime=0.08 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) S 11228 11231 11082 0 -1 4202560 3433 0 0 0 5 3 0 0 17 0 4 0 730101115 377827328 12628 33554432000 4194304 4650419 140734440147600 18446744073709551615 216735283694 0 0 4096 2 18446604466915797056 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=368972 CPUtime=0.07 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) S 11228 11231 11082 0 -1 4202560 3468 0 0 0 5 2 0 0 17 0 4 0 730101115 377827328 12650 33554432000 4194304 4650419 140734440147600 18446744073709551615 216735283694 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 368972

[startup+0.219291 s]
/proc/loadavg: 7.50 8.03 8.02 1/378 11231
/proc/meminfo: memFree=14903488/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=381428 CPUtime=0.76 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 18568 0 0 0 65 11 0 0 18 0 4 0 730101115 390582272 15111 33554432000 4194304 4650419 140734440147600 18446744073709551615 216734876016 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 95357 15117 377 112 0 90322 0
[pid=11231/tid=11232] ppid=11228 vsize=381428 CPUtime=0.19 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 4727 0 0 0 17 2 0 0 18 0 4 0 730101115 390582272 15118 33554432000 4194304 4650419 140734440147600 18446744073709551615 4370858 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=381428 CPUtime=0.18 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 4470 0 0 0 15 3 0 0 18 0 4 0 730101115 390582272 15119 33554432000 4194304 4650419 140734440147600 18446744073709551615 4245055 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=381428 CPUtime=0.17 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 3650 0 0 0 15 2 0 0 18 0 4 0 730101115 390582272 15119 33554432000 4194304 4650419 140734440147600 18446744073709551615 216735283694 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 381428

[startup+0.300786 s]
/proc/loadavg: 7.50 8.03 8.02 1/378 11231
/proc/meminfo: memFree=14903488/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=387536 CPUtime=1.09 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 24005 0 0 0 97 12 0 0 18 0 4 0 730101115 396836864 20295 33554432000 4194304 4650419 140734440147600 18446744073709551615 4441740 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 96884 20295 385 112 0 91849 0
[pid=11231/tid=11232] ppid=11228 vsize=387536 CPUtime=0.27 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 6175 0 0 0 24 3 0 0 18 0 4 0 730101115 396836864 20295 33554432000 4194304 4650419 140734440147600 18446744073709551615 4506836 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=387536 CPUtime=0.26 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 6664 0 0 0 23 3 0 0 18 0 4 0 730101115 396836864 20295 33554432000 4194304 4650419 140734440147600 18446744073709551615 4551275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=387536 CPUtime=0.25 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 3715 0 0 0 23 2 0 0 18 0 4 0 730101115 396836864 20295 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 387536

[startup+0.700713 s]
/proc/loadavg: 7.50 8.03 8.02 1/378 11231
/proc/meminfo: memFree=14903488/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=393416 CPUtime=2.69 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 31147 0 0 0 255 14 0 0 18 0 4 0 730101115 402857984 23538 33554432000 4194304 4650419 140734440147600 18446744073709551615 4333611 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 98354 23538 391 112 0 93319 0
[pid=11231/tid=11232] ppid=11228 vsize=393416 CPUtime=0.67 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 8242 0 0 0 64 3 0 0 18 0 4 0 730101115 402857984 23538 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=393416 CPUtime=0.66 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 9037 0 0 0 62 4 0 0 18 0 4 0 730101115 402857984 23538 33554432000 4194304 4650419 140734440147600 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=393416 CPUtime=0.65 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 4021 0 0 0 63 2 0 0 18 0 4 0 730101115 402857984 23538 33554432000 4194304 4650419 140734440147600 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 393416

[startup+1.50057 s]
/proc/loadavg: 7.50 8.03 8.02 9/390 11246
/proc/meminfo: memFree=14761908/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=393416 CPUtime=5.87 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 34097 0 0 0 573 14 0 0 19 0 4 0 730101115 402857984 26470 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363506 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 98354 26471 391 112 0 93319 0
[pid=11231/tid=11232] ppid=11228 vsize=393416 CPUtime=1.48 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 8989 0 0 0 144 4 0 0 19 0 4 0 730101115 402857984 26471 33554432000 4194304 4650419 140734440147600 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=393416 CPUtime=1.46 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 9796 0 0 0 142 4 0 0 19 0 4 0 730101115 402857984 26471 33554432000 4194304 4650419 140734440147600 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=393416 CPUtime=1.44 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 4673 0 0 0 142 2 0 0 19 0 4 0 730101115 402857984 26471 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 393416

[startup+3.10029 s]
/proc/loadavg: 7.50 8.03 8.02 9/390 11246
/proc/meminfo: memFree=14745664/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=553040 CPUtime=12.26 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 39710 0 0 0 1210 16 0 0 25 0 4 0 730101115 566312960 32083 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 138260 32083 391 112 0 133225 0
[pid=11231/tid=11232] ppid=11228 vsize=553040 CPUtime=3.07 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 10380 0 0 0 303 4 0 0 23 0 4 0 730101115 566312960 32083 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=553040 CPUtime=3.06 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 11102 0 0 0 302 4 0 0 23 0 4 0 730101115 566312960 32083 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=553040 CPUtime=3.03 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 6185 0 0 0 300 3 0 0 23 0 4 0 730101115 566312960 32083 33554432000 4194304 4650419 140734440147600 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 553040

[startup+6.30074 s]
/proc/loadavg: 7.62 8.05 8.02 9/390 11246
/proc/meminfo: memFree=14664584/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=406556 CPUtime=25.02 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 55236 0 0 0 2483 19 0 0 25 0 4 0 730101115 416313344 28664 33554432000 4194304 4650419 140734440147600 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 101639 28664 393 112 0 96604 0
[pid=11231/tid=11232] ppid=11228 vsize=406556 CPUtime=6.27 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 14404 0 0 0 622 5 0 0 25 0 4 0 730101115 416313344 28664 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=406556 CPUtime=6.27 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 14825 0 0 0 622 5 0 0 25 0 4 0 730101115 416313344 28664 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=406556 CPUtime=6.18 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 10184 0 0 0 615 3 0 0 25 0 4 0 730101115 416313344 28664 33554432000 4194304 4650419 140734440147600 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 406556

[startup+12.7006 s]
/proc/loadavg: 7.65 8.04 8.02 9/390 11246
/proc/meminfo: memFree=14461732/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=650576 CPUtime=50.53 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 113201 0 0 0 5021 32 0 0 25 0 4 0 730101115 666189824 75062 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 162644 75062 395 112 0 157609 0
[pid=11231/tid=11232] ppid=11228 vsize=650576 CPUtime=12.66 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 40988 0 0 0 1256 10 0 0 25 0 4 0 730101115 666189824 75062 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=650576 CPUtime=12.66 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 21072 0 0 0 1260 6 0 0 25 0 4 0 730101115 666189824 75062 33554432000 4194304 4650419 140734440147600 18446744073709551615 4237226 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=650576 CPUtime=12.5 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 16364 0 0 0 1245 5 0 0 25 0 4 0 730101115 666189824 75062 33554432000 4194304 4650419 140734440147600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 650576

[startup+25.5004 s]
/proc/loadavg: 7.73 8.04 8.02 9/390 11246
/proc/meminfo: memFree=14285736/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=829804 CPUtime=101.55 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 176500 0 0 0 10105 50 0 0 25 0 4 0 730101115 849719296 104411 33554432000 4194304 4650419 140734440147600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 207451 104411 395 112 0 202416 0
[pid=11231/tid=11232] ppid=11228 vsize=829804 CPUtime=25.47 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 58402 0 0 0 2533 14 0 0 25 0 4 0 730101115 849719296 104411 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=829804 CPUtime=25.46 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 34925 0 0 0 2536 10 0 0 25 0 4 0 730101115 849719296 104411 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=829804 CPUtime=25.12 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 38947 0 0 0 2500 12 0 0 25 0 4 0 730101115 849719296 104411 33554432000 4194304 4650419 140734440147600 18446744073709551615 4333011 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 829804

[startup+51.1009 s]
/proc/loadavg: 7.88 8.05 8.02 9/390 11247
/proc/meminfo: memFree=14071896/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=891280 CPUtime=203.63 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 278190 0 0 0 20288 75 0 0 25 0 4 0 730101115 912670720 138879 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 222820 138879 395 112 0 217785 0
[pid=11231/tid=11232] ppid=11228 vsize=891280 CPUtime=51.06 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 90464 0 0 0 5086 20 0 0 25 0 4 0 730101115 912670720 138879 33554432000 4194304 4650419 140734440147600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=891280 CPUtime=51.06 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 59857 0 0 0 5090 16 0 0 25 0 4 0 730101115 912670720 138879 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=891280 CPUtime=50.41 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 56384 0 0 0 5023 18 0 0 25 0 4 0 730101115 912670720 138879 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.63
Current children cumulated vsize (KiB) 891280

[startup+102.301 s]
/proc/loadavg: 8.06 8.07 8.03 9/390 11249
/proc/meminfo: memFree=13961380/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=926480 CPUtime=407.8 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 363568 0 0 0 40674 106 0 0 25 0 4 0 730101115 948715520 157150 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 231620 157150 395 112 0 226585 0
[pid=11231/tid=11232] ppid=11228 vsize=926480 CPUtime=102.27 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 116178 0 0 0 10198 29 0 0 25 0 4 0 730101115 948715520 157159 33554432000 4194304 4650419 140734440147600 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=926480 CPUtime=102.28 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 84856 0 0 0 10202 26 0 0 25 0 4 0 730101115 948715520 157159 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=926480 CPUtime=100.95 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 82286 0 0 0 10068 27 0 0 25 0 4 0 730101115 948715520 157159 33554432000 4194304 4650419 140734440147600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.8
Current children cumulated vsize (KiB) 926480

[startup+162.301 s]

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

[pid=11231] ppid=11228 vsize=1406700 CPUtime=2560.86 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 1827871 0 0 0 255556 530 0 0 25 0 4 0 730101115 1440460800 244967 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 351675 244968 395 112 0 346640 0
[pid=11231/tid=11232] ppid=11228 vsize=1406700 CPUtime=638.98 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 353454 0 0 0 63776 122 0 0 25 0 4 0 730101115 1440460800 244968 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1406700 CPUtime=642.26 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 342786 0 0 0 64098 128 0 0 25 0 4 0 730101115 1440460800 244968 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1406700 CPUtime=637.33 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 459822 0 0 0 63603 130 0 0 25 0 4 0 730101115 1440460800 244968 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2560.86
Current children cumulated vsize (KiB) 1406700

[startup+702.3 s]
/proc/loadavg: 8.08 8.11 8.06 9/390 11265
/proc/meminfo: memFree=13158592/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1472884 CPUtime=2800.08 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 1886380 0 0 0 279446 562 0 0 25 0 4 0 730101115 1508233216 262900 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 368221 262900 395 112 0 363186 0
[pid=11231/tid=11232] ppid=11228 vsize=1472884 CPUtime=698.21 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 353454 0 0 0 69699 122 0 0 25 0 4 0 730101115 1508233216 262900 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1472884 CPUtime=702.26 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 342786 0 0 0 70098 128 0 0 25 0 4 0 730101115 1508233216 262900 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1472884 CPUtime=697.33 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 489197 0 0 0 69586 147 0 0 25 0 4 0 730101115 1508233216 262900 33554432000 4194304 4650419 140734440147600 18446744073709551615 4306773 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.08
Current children cumulated vsize (KiB) 1472884

[startup+762.301 s]
/proc/loadavg: 8.14 8.12 8.07 9/390 11266
/proc/meminfo: memFree=13156072/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1420212 CPUtime=3039.34 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 1972145 0 0 0 303337 597 0 0 25 0 4 0 730101115 1454297088 255411 33554432000 4194304 4650419 140734440147600 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 355053 255411 395 112 0 350018 0
[pid=11231/tid=11232] ppid=11228 vsize=1420212 CPUtime=757.46 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 357074 0 0 0 75623 123 0 0 25 0 4 0 730101115 1454297088 255417 33554432000 4194304 4650419 140734440147600 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1420212 CPUtime=762.27 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 369028 0 0 0 76090 137 0 0 25 0 4 0 730101115 1454297088 255417 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1420212 CPUtime=757.34 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 518278 0 0 0 75575 159 0 0 25 0 4 0 730101115 1454297088 255417 33554432000 4194304 4650419 140734440147600 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3039.34
Current children cumulated vsize (KiB) 1420212

[startup+822.3 s]
/proc/loadavg: 8.12 8.11 8.07 9/390 11268
/proc/meminfo: memFree=13115248/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1461860 CPUtime=3278.56 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 2065611 0 0 0 327215 641 0 0 25 0 4 0 730101115 1496944640 264788 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476761 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 365465 264788 395 112 0 360430 0
[pid=11231/tid=11232] ppid=11228 vsize=1461860 CPUtime=816.68 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 386335 0 0 0 81530 138 0 0 25 0 4 0 730101115 1496944640 264788 33554432000 4194304 4650419 140734440147600 18446744073709551615 4361036 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1461860 CPUtime=822.26 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 400157 0 0 0 82075 151 0 0 25 0 4 0 730101115 1496944640 264788 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1461860 CPUtime=817.33 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 549035 0 0 0 81560 173 0 0 25 0 4 0 730101115 1496944640 264788 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3278.56
Current children cumulated vsize (KiB) 1461860

[startup+882.315 s]
/proc/loadavg: 8.11 8.10 8.07 9/390 11269
/proc/meminfo: memFree=13068608/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1463112 CPUtime=3517.83 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 2171716 0 0 0 351104 679 0 0 25 0 4 0 730101115 1498226688 271344 33554432000 4194304 4650419 140734440147600 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 365778 271344 395 112 0 360743 0
[pid=11231/tid=11232] ppid=11228 vsize=1463112 CPUtime=875.93 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 413830 0 0 0 87443 150 0 0 25 0 4 0 730101115 1498226688 271344 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1463112 CPUtime=882.26 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 429791 0 0 0 88065 161 0 0 25 0 4 0 730101115 1498226688 271344 33554432000 4194304 4650419 140734440147600 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1463112 CPUtime=877.34 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 574056 0 0 0 87552 182 0 0 25 0 4 0 730101115 1498226688 271344 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3517.83
Current children cumulated vsize (KiB) 1463112

[startup+942.3 s]
/proc/loadavg: 8.15 8.11 8.07 9/390 11271
/proc/meminfo: memFree=13064864/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1451068 CPUtime=3757 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 2289015 0 0 0 374976 724 0 0 25 0 4 0 730101115 1485893632 277206 33554432000 4194304 4650419 140734440147600 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 362767 277206 395 112 0 357732 0
[pid=11231/tid=11232] ppid=11228 vsize=1451068 CPUtime=935.14 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 439182 0 0 0 93353 161 0 0 25 0 4 0 730101115 1485893632 277206 33554432000 4194304 4650419 140734440147600 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1451068 CPUtime=942.24 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 461630 0 0 0 94054 170 0 0 25 0 4 0 730101115 1485893632 277206 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1451068 CPUtime=937.31 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 604229 0 0 0 93538 193 0 0 25 0 4 0 730101115 1485893632 277206 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3757
Current children cumulated vsize (KiB) 1451068

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 8.08 9/390 11286
/proc/meminfo: memFree=13026336/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1511204 CPUtime=3996.23 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 2356366 0 0 0 398864 759 0 0 25 0 4 0 730101115 1547472896 281291 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 377801 281291 395 112 0 372766 0
[pid=11231/tid=11232] ppid=11228 vsize=1511204 CPUtime=994.38 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 451350 0 0 0 99272 166 0 0 25 0 4 0 730101115 1547472896 281291 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1511204 CPUtime=1002.24 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 461632 0 0 0 100054 170 0 0 25 0 4 0 730101115 1547472896 281291 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1511204 CPUtime=997.31 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 633091 0 0 0 99523 208 0 0 25 0 4 0 730101115 1547472896 281291 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3996.23
Current children cumulated vsize (KiB) 1511204

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.08 9/390 11287
/proc/meminfo: memFree=12899960/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1563340 CPUtime=4235.46 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 2410174 0 0 0 422754 792 0 0 25 0 4 0 730101115 1600860160 284266 33554432000 4194304 4650419 140734440147600 18446744073709551615 4363493 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 390835 284266 395 112 0 385800 0
[pid=11231/tid=11232] ppid=11228 vsize=1563340 CPUtime=1053.62 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 456508 0 0 0 105192 170 0 0 25 0 4 0 730101115 1600860160 284266 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1563340 CPUtime=1062.24 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 461632 0 0 0 106054 170 0 0 25 0 4 0 730101115 1600860160 284266 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1563340 CPUtime=1057.31 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 657119 0 0 0 105508 223 0 0 25 0 4 0 730101115 1600860160 284266 33554432000 4194304 4650419 140734440147600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4235.46
Current children cumulated vsize (KiB) 1563340

[startup+1122.3 s]
/proc/loadavg: 8.09 8.11 8.08 9/390 11289
/proc/meminfo: memFree=12770216/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1548328 CPUtime=4474.69 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 2505804 0 0 0 446633 836 0 0 25 0 4 0 730101115 1585487872 308947 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 387082 308947 395 112 0 382047 0
[pid=11231/tid=11232] ppid=11228 vsize=1548328 CPUtime=1112.85 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 481618 0 0 0 111101 184 0 0 25 0 4 0 730101115 1585487872 308947 33554432000 4194304 4650419 140734440147600 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1548328 CPUtime=1122.24 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 461990 0 0 0 112054 170 0 0 25 0 4 0 730101115 1585487872 308947 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1548328 CPUtime=1117.31 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 697294 0 0 0 111497 234 0 0 25 0 4 0 730101115 1585487872 308947 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4474.69
Current children cumulated vsize (KiB) 1548328

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/390 11290
/proc/meminfo: memFree=12722096/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1587852 CPUtime=4713.94 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 2557470 0 0 0 470522 872 0 0 25 0 4 0 730101115 1625960448 315769 33554432000 4194304 4650419 140734440147600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 396963 315769 395 112 0 391928 0
[pid=11231/tid=11232] ppid=11228 vsize=1587852 CPUtime=1172.1 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 509194 0 0 0 117006 204 0 0 25 0 4 0 730101115 1625960448 315769 33554432000 4194304 4650419 140734440147600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1587852 CPUtime=1182.24 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 462048 0 0 0 118054 170 0 0 25 0 4 0 730101115 1625960448 315769 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1587852 CPUtime=1177.3 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 697294 0 0 0 117496 234 0 0 25 0 4 0 730101115 1625960448 315769 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4713.94
Current children cumulated vsize (KiB) 1587852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.09 8.11 8.08 9/390 11291
/proc/meminfo: memFree=12721724/32951124 swapFree=65586204/67111528
[pid=11231] ppid=11228 vsize=1587892 CPUtime=4800.08 cores=1,3,5,7
/proc/11231/stat : 11231 (strangenight1-m) R 11228 11231 11082 0 -1 4202496 2573298 0 0 0 479124 884 0 0 25 0 4 0 730101115 1626001408 320107 33554432000 4194304 4650419 140734440147600 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11231/statm: 396973 320107 395 112 0 391938 0
[pid=11231/tid=11232] ppid=11228 vsize=1587892 CPUtime=1193.42 cores=1,3,5,7
/proc/11231/task/11232/stat : 11232 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 515807 0 0 0 119132 210 0 0 25 0 4 0 730101115 1626001408 320109 33554432000 4194304 4650419 140734440147600 18446744073709551615 4331245 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1587892 CPUtime=1203.86 cores=1,3,5,7
/proc/11231/task/11233/stat : 11233 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 462061 0 0 0 120216 170 0 0 25 0 4 0 730101115 1626001408 320109 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1587892 CPUtime=1198.92 cores=1,3,5,7
/proc/11231/task/11234/stat : 11234 (strangenight1-m) R 11228 11231 11082 0 -1 4202560 697294 0 0 0 119658 234 0 0 25 0 4 0 730101115 1626001408 320109 33554432000 4194304 4650419 140734440147600 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1587892

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.98
CPU time (s): 4800.19
CPU user time (s): 4791.29
CPU system time (s): 8.89965
CPU usage (%): 398.694
Max. virtual memory (cumulated for all children) (KiB): 1644220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.29
system time used= 8.89965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2573300
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= 11195
involuntary context switches= 33023

runsolver used 4.11837 second user time and 11.2493 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 20:45:05
IDJOB=3368614
IDBENCH=82623
IDSOLVER=1846
FILE ID=node119/3368614-1305398704
RUNJOBID= node119-1305397498-11103
PBS_JOBID= 13324462
Free space on /tmp= 73192 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368614-1305398704/watcher-3368614-1305398704 -o /tmp/evaluation-result-3368614-1305398704/solver-3368614-1305398704 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368614-1305398704.cnf

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

MD5SUM BENCH= c8a628789219fd1293880c95bfb25038
RANDOM SEED=1676127010

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14903768 kB
Buffers:        281812 kB
Cached:        4553048 kB
SwapCached:       4756 kB
Active:       14697452 kB
Inactive:      3017544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14903768 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:            7824 kB
Writeback:           0 kB
AnonPages:    12878400 kB
Mapped:          29828 kB
Slab:           210424 kB
PageTables:      56608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102458416 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= 73180 MiB
End job on node119 at 2011-05-14 21:05:11