Trace number 3174922

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.14 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf
MD5SUMfdeac497d04edcceaf426c845c7872aa
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark43.8933
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-3174922-1304052572.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.15/0.09	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.15/0.09	c -- vars added      20000
0.15/0.09	c Parsing time:  0.22 s
0.15/0.09	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.31/0.17	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.21
0.31/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.15
0.75/0.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.75/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.75/0.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.03 s
0.75/0.28	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
3.97/1.02	c lits-rem:         0  cl-subs:        0  v-elim:    663  v-fix:    0  time:  0.78 s
3.97/1.02	c Finding binary XORs  T:     0.02 s  found:       0
3.97/1.02	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
3.97/1.02	c calculated reachability. Time: 0.00
3.97/1.02	c Calc default polars -  time:   0.02 s pos:    8722 undec:    2386 neg:    8892
3.97/1.02	c =========================================================================================
3.97/1.02	c types(t): F = full restart, N = normal restart
3.97/1.02	c types(t): S = simplification begin/end, E = solution found
3.97/1.02	c restart types(rt): st = static, dy = dynamic
3.97/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.97/1.02	c  B st     0         0     19337     83128         0         0    253067         0   no data   no data  --
5.89/1.54	c  N dy    21      4071     19337     83128         0      4071    253067    979521    130.78    139.57  --
9.88/2.54	c  N dy    49      8074     19337     83128         0      8074    253067   1802028    131.17    143.69  --
13.88/3.57	c  N dy    71     12075     19337     83128         0     12074    253067   2678282    131.46    141.06  --
18.27/4.64	c  N dy    99     16103     19337     83128         0     16100    253067   3504891    131.13    141.18  --
22.67/5.75	c  N dy   127     20118     19337     83128         0     10117    253067    584139    131.23    138.15  --
26.66/6.77	c  N dy   155     24148     19337     83128         0     14146    253067   1391580    130.82    141.70  --
27.85/7.00	c  F st   158     25000     19337     83128         0     14998    253067   1567803    130.52    126.47  --
31.45/7.93	c  N st   163     28298     19337     83128         0     18296    253067   2425564    130.52   no data  --
33.44/8.42	c  S st   164     30001     19337     83128         0     19999    253067   2869201    130.52   no data  --
33.84/8.55	c  S st   164     30503     19337     83128         0     20501    253067   2941356    130.52   no data  --
33.84/8.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
33.84/8.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.24/8.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.37
35.45/8.95	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.45/8.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.45/8.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
35.45/8.97	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
55.82/14.00	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 20.01 s
56.22/14.11	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.44
56.22/14.12	c calculated reachability. Time: 0.00
56.22/14.12	c  N dy   164     30503     19337     83128         0     20500    253067   2941271    130.52   no data  --
61.41/15.41	c  N dy   191     34546     19337     83128         0     24543    253067   3775230    130.82    138.72  --
66.60/16.73	c  N dy   219     38597     19337     83128         0     28592    253067   4605756    130.97    138.07  --
71.79/18.07	c  N dy   248     42647     19337     83128         0     17143    253067   1016813    131.47    141.62  --
75.79/19.04	c  S st   270     45756     19337     83128         0     20252    253067   1638058    131.20   no data  --
76.60/19.21	c  S st   270     46260     19337     83128         0     20756    253067   1709295    131.20   no data  --
76.60/19.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
76.60/19.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.00/19.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.39
77.38/19.45	c bin-w-bin subsume rem            0 bins  time:  0.02 s
77.38/19.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
77.38/19.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
77.38/19.47	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
90.97/22.85	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.48 s
90.97/22.86	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
90.97/22.89	c vivif2 --  cl tried    20755 cl shrink        0 lits rem          0 time: 0.10
91.37/22.99	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.42
91.76/23.00	c calculated reachability. Time: 0.00
91.76/23.00	c  N dy   270     46260     19337     83128         0     20755    253067   1708481    131.20   no data  --
96.56/24.22	c  N dy   295     50420     19337     83128         0     24915    253067   2575756    131.11    141.09  --
101.75/25.50	c  N dy   323     54623     19337     83128         0     29116    253067   3459782    131.29    138.25  --
106.55/26.78	c  N dy   349     58727     19337     83128         0     33219    253067   4289338    131.08    139.83  --
112.16/28.11	c  N dy   378     62783     19337     83128         0     37275    253067   5136401    131.23    139.70  --
116.92/29.37	c  N dy   399     67009     19337     83128         0     22755    253067   1464911    130.98    138.87  --
119.73/30.08	c  S st   419     69391     19337     83128         0     25137    253067   1987680    131.43    132.77  --
120.55/30.24	c  S st   419     69894     19337     83128         0     25640    253067   2061384    131.43   no data  --
120.55/30.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
120.55/30.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.94/30.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
121.72/30.50	c bin-w-bin subsume rem            0 bins  time:  0.02 s
121.72/30.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
121.72/30.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
121.72/30.52	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
137.70/34.59	c lits-rem:        17  cl-subs:        1  v-elim:      0  v-fix:    0  time: 16.19 s
138.11/34.60	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.06
138.11/34.63	c vivif2 --  cl tried    25639 cl shrink        0 lits rem          0 time: 0.12
138.51/34.75	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.46
138.51/34.75	c calculated reachability. Time: 0.00
138.51/34.75	c  N dy   419     69894     19337     83128         0     25639    253067   2060600    131.43   no data  --
144.09/36.11	c  N dy   450     74418     19337     83128         0     30163    253067   2981716    131.43    139.08  --
149.67/37.56	c  N dy   480     79184     19337     83128         0     34927    253067   3944962    131.22    138.61  --
156.09/39.18	c  N dy   512     84303     19337     83128         0     40045    253067   4993338    131.07    166.13  --
160.48/40.21	c  F st   535     87500     19337     83128         0     22373    253067    930320    131.27    133.40  --
164.47/41.29	c  N st   540     90798     19337     83128         0     25671    253067   1925947    131.27   no data  --
172.05/43.11	c  N dy   566     96707     19337     83128         0     31579    253067   3252046    131.23    139.69  --
180.43/45.22	c  N dy   612    103033     19337     83128         0     37904    253067   4566623    131.28    138.22  --
182.83/45.81	c  S st   623    104842     19337     83128         0     39713    253067   4921279    131.16    125.54  --
183.23/45.99	c  S st   623    105343     19337     83128         0     40214    253067   4996499    131.16   no data  --
183.63/46.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
183.63/46.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
184.03/46.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.46
185.23/46.45	c bin-w-bin subsume rem            0 bins  time:  0.02 s
185.23/46.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
185.23/46.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
185.23/46.47	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
386.55/96.82	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time: 200.69 s
386.55/96.83	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
386.95/96.90	c vivif2 --  cl tried    40209 cl shrink        0 lits rem          0 time: 0.28
387.35/97.04	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.57
387.35/97.05	c calculated reachability. Time: 0.00
387.35/97.05	c  N dy   623    105343     19337     83128         0     40209    253067   4995630    131.16   no data  --
396.14/99.24	c  N dy   663    112211     19337     83128         0     24640    253067   1023078    130.92    138.45  --
404.93/101.40	c  N dy   710    119381     19337     83128         0     31810    253067   2499651    130.96    139.16  --
414.52/103.81	c  N dy   761    127018     19337     83128         0     39447    253067   4050139    130.91    139.12  --
425.70/106.66	c  N dy   821    135167     19337     83128         0     23883    253067    583478    131.22    138.28  --
437.31/109.53	c  N dy   882    143952     19337     83128         0     32668    253067   2387550    131.24    141.35  --
449.67/112.64	c  N dy   942    153183     19337     83128         0     41898    253067   4279816    131.13    139.31  --
456.46/114.35	c  S st   978    158014     19337     83128         0     46729    253067   5302820    131.23   no data  --
457.26/114.52	c  S st   978    158516     19337     83128         0     47231    253067   5391161    131.23   no data  --
457.26/114.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
457.26/114.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
457.66/114.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.46
458.87/114.99	c bin-w-bin subsume rem            0 bins  time:  0.02 s
458.87/115.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
459.27/115.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
459.27/115.02	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
726.90/182.03	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 267.16 s
726.90/182.04	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
727.30/182.12	c vivif2 --  cl tried    47222 cl shrink        0 lits rem          0 time: 0.31
727.69/182.29	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.66
727.69/182.29	c calculated reachability. Time: 0.00
727.69/182.29	c  N dy   978    158516     19337     83128         0     47222    253067   5388723    131.23   no data  --
741.27/185.63	c  N dy  1041    168695     19337     83128         0     32543    253067   2121632    131.08    138.26  --
755.64/189.26	c  N dy  1114    179522     19337     83128         0     43369    253067   4327909    131.07    138.99  --
771.63/193.24	c  N dy  1184    190989     19337     83128         0     28906    253067   1123273    130.99    141.84  --
788.01/197.34	c  N dy  1273    203262     19337     83128         0     41178    253067   3654285    131.06    139.19  --
806.39/201.92	c  N dy  1349    216258     19337     83128         0     27209    253067    533075    130.98    138.53  --
824.35/206.48	c  N dy  1446    230098     19337     83128         0     41049    253067   3436662    131.06    162.57  --
835.55/209.24	c  S st  1501    237775     19337     83128         0     48726    253067   5046509    131.15   no data  --
836.34/209.43	c  S st  1501    238278     19337     83128         0     49229    253067   5121637    131.15   no data  --
836.34/209.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
836.34/209.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
836.76/209.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.51
838.34/209.90	c bin-w-bin subsume rem            0 bins  time:  0.02 s
838.34/209.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
838.34/209.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
838.34/209.92	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1088.79/272.61	c lits-rem:         3  cl-subs:        7  v-elim:      0  v-fix:    0  time: 249.79 s
1088.79/272.62	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
1089.19/272.70	c vivif2 --  cl tried    49222 cl shrink        0 lits rem          0 time: 0.32
1089.59/272.88	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.72
1089.59/272.89	c calculated reachability. Time: 0.00
1089.59/272.89	c  N dy  1501    238278     19337     83128         0     49222    253067   5120382    131.15   no data  --
1111.16/278.20	c  N dy  1589    253524     19337     83128         0     36487    253067   2194093    130.87    139.23  --
1133.93/283.94	c  N dy  1695    269844     19337     83128         0     52806    253067   5591288    130.85    138.45  --
1157.92/289.97	c  N dy  1816    287128     19337     83128         0     41100    253067   3022840    131.06    138.98  --
1184.66/296.64	c  N dy  1937    305519     19337     83128         0     59491    253067   6753344    130.96    165.20  --
1185.85/296.96	c  F st  1942    306250     19337     83128         0     30225    253067    495222    130.95   no data  --
1211.83/303.44	c  N dy  2032    325076     19337     83128         0     49050    253067   4755740    130.93    140.93  --
1240.58/310.67	c  N dy  2163    345238     19337     83128         0     38219    253067   1895648    130.87    139.21  --
1257.76/314.99	c  S st  2252    357419     19337     83128         0     50399    253067   4417978    130.94   no data  --
1258.58/315.18	c  S st  2252    357924     19337     83128         0     50904    253067   4493888    130.94   no data  --
1258.58/315.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1258.58/315.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1259.35/315.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
1260.15/315.59	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1260.55/315.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1260.55/315.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
1260.55/315.61	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1434.74/359.20	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 173.75 s
1434.74/359.21	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
1434.74/359.28	c vivif2 --  cl tried    50898 cl shrink        0 lits rem          0 time: 0.27
1435.51/359.46	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.70
1435.51/359.47	c calculated reachability. Time: 0.01
1435.51/359.47	c  N dy  2252    357924     19337     83128         0     50898    253067   4492538    130.94   no data  --
1465.49/366.99	c  N dy  2383    378066     19337     83128         0     39039    253067   1900961    130.91    138.04  --
1495.85/374.51	c  N dy  2516    398268     19337     83128         0     59238    253067   6093158    130.94    138.85  --
1525.40/381.98	c  N dy  2654    418277     19337     83128         0     46248    253067   3193879    130.96    141.63  --
1556.96/389.82	c  N dy  2789    438331     19337     83128         0     66300    253067   7358667    131.03    138.10  --
1584.91/396.86	c  N dy  2921    458383     19337     83128         0     52359    253067   4281687    131.03    139.68  --
1615.67/404.52	c  N dy  3049    478411     19337     83128         0     37389    253067    945625    131.01    140.26  --
1644.43/411.77	c  N dy  3182    498484     19337     83128         0     57460    253067   5132998    131.02    139.96  --
1675.19/419.44	c  N dy  3319    518607     19337     83128         0     41582    253067   1613161    131.07    137.97  --
1701.14/425.98	c  S st  3439    536886     19337     83128         0     59858    253067   5407911    131.06    106.30  --
1701.94/426.17	c  S st  3439    537393     19337     83128         0     60365    253067   5477073    131.06   no data  --
1701.94/426.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1701.94/426.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1702.76/426.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.53
1703.94/426.64	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1703.94/426.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1703.94/426.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
1703.94/426.66	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1993.93/499.21	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 289.34 s
1993.93/499.22	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
1993.93/499.29	c vivif2 --  cl tried    60362 cl shrink        0 lits rem          0 time: 0.31
1994.73/499.48	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.73
1994.73/499.48	c calculated reachability. Time: 0.00
1994.73/499.49	c  N dy  3439    537393     19337     83128         0     60362    253067   5475346    131.06   no data  --
2023.90/506.73	c  N dy  3567    557541     19337     83128         0     43513    253067   1796662    131.00    143.96  --
2052.25/513.84	c  N dy  3709    577584     19337     83128         0     63555    253067   5922815    131.02    138.91  --
2081.81/521.23	c  N dy  3843    597902     19337     83128         0     45874    253067   2087048    131.02    138.54  --
2110.57/528.40	c  N dy  3974    617950     19337     83128         0     65921    253067   6213677    131.05    183.26  --
2140.12/535.89	c  N dy  4103    638155     19337     83128         0     47129    253067   2179966    131.09    149.75  --
2169.28/543.12	c  N dy  4236    658221     19337     83128         0     67194    253067   6366019    131.14    140.89  --
2199.27/550.63	c  N dy  4364    678292     19337     83128         0     47267    253067   1959128    131.14    145.67  --
2227.60/557.76	c  N dy  4491    698294     19337     83128         0     67266    253067   6094976    131.17    195.02  --
2258.36/565.45	c  N dy  4619    718466     19337     83128         0     46435    253067   1574923    131.13    138.19  --
2287.52/572.78	c  N dy  4750    738775     19337     83128         0     66743    253067   5792215    131.16    139.73  --
2319.07/580.64	c  N dy  4884    758829     19337     83128         0     44802    253067   1046723    131.17    139.02  --
2347.44/587.78	c  N dy  5019    778844     19337     83128         0     64815    253067   5184938    131.20    189.15  --
2381.79/596.30	c  N dy  5161    798886     19337     83128         0     84854    253067   9455006    131.32    142.36  --
2392.19/598.98	c  S st  5208    806089     19337     83128         0     49061    253067   1732728    131.33   no data  --
2392.97/599.17	c  S st  5208    806593     19337     83128         0     49565    253067   1811279    131.33   no data  --
2392.97/599.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2392.97/599.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2393.77/599.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.47
2394.17/599.42	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2394.17/599.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2394.17/599.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
2394.17/599.45	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
2412.15/603.93	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 17.89 s
2412.15/603.94	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
2412.15/603.97	c vivif2 --  cl tried    49563 cl shrink        0 lits rem          0 time: 0.11
2412.94/604.13	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.64
2412.94/604.13	c calculated reachability. Time: 0.00
2412.94/604.13	c  N dy  5208    806593     19337     83128         0     49563    253067   1810849    131.33   no data  --
2443.70/611.82	c  N dy  5344    826666     19337     83128         0     69635    253067   5991049    131.35    138.42  --
2478.06/620.48	c  N dy  5458    846704     19337     83128         0     45677    253067    823658    131.27    154.33  --
2508.80/628.11	c  N dy  5598    866862     19337     83128         0     65835    253067   4997241    131.28    143.06  --
2543.56/636.88	c  N dy  5734    886955     19337     83128         0     85925    253067   9222924    131.33    141.73  --
2575.52/644.88	c  N dy  5870    907012     19337     83128         0     60986    253067   3764977    131.31    139.92  --
2609.48/653.38	c  N dy  6000    927026     19337     83128         0     80999    253067   7919618    131.32    139.65  --
2643.83/661.94	c  N dy  6137    947054     19337     83128         0     55025    253067   2333215    131.30    138.37  --
2676.58/670.18	c  N dy  6272    967108     19337     83128         0     75078    253067   6540950    131.33    138.85  --
2712.96/679.29	c  N dy  6407    987127     19337     83128         0     48098    253067    700424    131.34    142.21  --
2744.89/687.20	c  N dy  6540   1007186     19337     83128         0     68155    253067   4939989    131.40    147.59  --
2780.41/696.12	c  N dy  6679   1027228     19337     83128         0     88197    253067   9126413    131.44    143.40  --
2813.99/704.52	c  N dy  6806   1047243     19337     83128         0     60214    253067   3002113    131.43    150.98  --
2846.73/712.71	c  N dy  6948   1067271     19337     83128         0     80242    253067   7131670    131.44    138.93  --
2854.71/714.72	c  F st  6978   1071876     19337     83128         0     84847    253067   8108681    131.44   no data  --
2881.87/721.56	c  N dy  7052   1087399     19337     83128         0     51378    253067    965682    131.42    141.26  --
2913.03/729.36	c  N dy  7197   1107468     19337     83128         0     71447    253067   5214278    131.48    139.71  --
2947.78/738.01	c  N dy  7332   1127523     19337     83128         0     91499    253067   9396136    131.51    142.84  --
2980.95/746.31	c  N dy  7469   1147534     19337     83128         0     61507    253067   2857713    131.53    138.84  --
3014.09/754.66	c  N dy  7607   1167554     19337     83128         0     81527    253067   7062908    131.58    140.54  --
3048.84/763.39	c  N dy  7739   1187575     19337     83128         0    101546    253067  11241853    131.60    151.55  --
3078.80/770.82	c  N dy  7879   1207637     19337     83128         0     70609    253067   4580576    131.62    140.39  --
3082.41/771.70	c  S st  7893   1209892     19337     83128         0     72864    253067   5055264    131.62   no data  --
3083.20/771.93	c  S st  7893   1210396     19337     83128         0     73368    253067   5142234    131.62   no data  --
3083.20/771.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3083.20/771.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3083.60/772.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.54
3084.79/772.37	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3084.79/772.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3084.79/772.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
3084.79/772.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
3352.82/839.43	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 267.16 s
3352.82/839.44	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
3353.22/839.51	c vivif2 --  cl tried    73362 cl shrink        0 lits rem          0 time: 0.30
3354.02/839.72	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.84
3354.02/839.73	c calculated reachability. Time: 0.00
3354.02/839.73	c  N dy  7893   1210396     19337     83128         0     73362    253067   5140807    131.62   no data  --
3387.16/848.08	c  N dy  8031   1230479     19337     83128         0     93444    253067   9397183    131.65    139.74  --
3420.34/856.31	c  N dy  8171   1250491     19337     83128         0     61460    253067   2515829    131.69    146.25  --
3451.50/864.16	c  N dy  8307   1270658     19337     83128         0     81625    253067   6671205    131.68    139.98  --
3486.25/872.90	c  N dy  8439   1290864     19337     83128         0    101828    253067  10826979    131.68    143.09  --
3518.18/880.80	c  N dy  8579   1310963     19337     83128         0     68926    253067   3904514    131.71    141.31  --
3550.54/888.99	c  N dy  8712   1331090     19337     83128         0     89050    253067   8126056    131.73    144.33  --
3586.49/897.93	c  N dy  8838   1351183     19337     83128         0     55150    253067    745644    131.71    138.65  --
3616.44/905.44	c  N dy  8966   1371200     19337     83128         0     75164    253067   4922112    131.71    142.55  --
3649.99/913.84	c  N dy  9103   1391249     19337     83128         0     95211    253067   9082737    131.72    146.51  --
3685.15/922.60	c  N dy  9235   1411358     19337     83128         0     60316    253067   1634043    131.74    139.91  --
3717.91/930.80	c  N dy  9375   1431572     19337     83128         0     80528    253067   5848084    131.76    138.89  --
3755.05/940.11	c  N dy  9514   1451830     19337     83128         0    100786    253067  10111439    131.79    139.08  --
3790.99/949.18	c  N dy  9650   1471991     19337     83128         0     64952    253067   2413381    131.82    146.41  --
3824.56/957.59	c  N dy  9781   1492137     19337     83128         0     85098    253067   6558745    131.82    140.59  --
3862.50/967.03	c  N dy  9920   1512145     19337     83128         0    105106    253067  10702632    131.83    140.65  --
3898.05/975.96	c  N dy 10063   1532224     19337     83128         0     68193    253067   2873351    131.87    151.69  --
3933.59/984.88	c  N dy 10198   1552268     19337     83128         0     88235    253067   7024438    131.87    139.84  --
3973.96/994.91	c  N dy 10339   1572425     19337     83128         0    108392    253067  11235006    131.88    142.22  --
4010.29/1004.06	c  N dy 10478   1592468     19337     83128         0     70434    253067   3156960    131.90    140.39  --
4046.24/1013.06	c  N dy 10612   1612492     19337     83128         0     90457    253067   7311428    131.90    140.15  --
4086.19/1023.09	c  N dy 10748   1632496     19337     83128         0    110460    253067  11497437    131.91    140.22  --
4123.35/1032.34	c  N dy 10887   1652534     19337     83128         0     71508    253067   3206269    131.94    142.01  --
4159.68/1041.42	c  N dy 11024   1672709     19337     83128         0     91682    253067   7438441    131.95    148.15  --
4199.23/1051.37	c  N dy 11165   1692717     19337     83128         0    111688    253067  11652628    131.98    164.72  --
4231.59/1059.47	c  S st 11283   1710399     19337     83128         0     69366    253067   2465437    131.98   no data  --
4232.39/1059.69	c  S st 11283   1710906     19337     83128         0     69873    253067   2538458    131.98   no data  --
4232.79/1059.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4232.79/1059.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4233.21/1059.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.57
4233.98/1060.02	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4233.98/1060.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4233.98/1060.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
4233.98/1060.05	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4265.94/1068.09	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 32.06 s
4265.94/1068.10	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
4266.34/1068.14	c vivif2 --  cl tried    69872 cl shrink        0 lits rem          0 time: 0.17
4267.14/1068.34	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.81
4267.14/1068.35	c calculated reachability. Time: 0.00
4267.14/1068.35	c  N dy 11283   1710906     19337     83128         0     69872    253067   2538281    131.98   no data  --
4301.49/1076.93	c  N dy 11422   1730992     19337     83128         0     89957    253067   6745601    131.99    140.13  --
4340.24/1086.61	c  N dy 11563   1751226     19337     83128         0    110190    253067  11021550    132.02    140.99  --
4379.38/1096.46	c  N dy 11695   1771264     19337     83128         0     69227    253067   2270107    132.03    139.48  --
4415.34/1105.47	c  N dy 11820   1791464     19337     83128         0     89425    253067   6479198    132.02    139.29  --
4455.68/1115.54	c  N dy 11946   1811526     19337     83128         0    109486    253067  10614022    132.00    139.43  --
4497.62/1126.07	c  N dy 12089   1831568     19337     83128         0     67531    253067   1735090    132.02    201.28  --
4533.97/1135.10	c  N dy 12225   1851596     19337     83128         0     87557    253067   5978877    132.04    139.01  --
4574.32/1145.22	c  N dy 12365   1871712     19337     83128         0    107672    253067  10129860    132.04    150.94  --
4618.25/1156.23	c  N dy 12507   1891785     19337     83128         0     64747    253067    942353    132.08    157.59  --
4653.80/1165.14	c  N dy 12646   1911854     19337     83128         0     84814    253067   5177918    132.10    140.87  --
4693.36/1175.05	c  N dy 12789   1931905     19337     83128         0    104865    253067   9337964    132.10    140.26  --
4737.29/1186.08	c  N dy 12927   1952072     19337     83128         0    125030    253067  13588764    132.13    144.58  --
4774.07/1195.24	c  N dy 13060   1972075     19337     83128         0     81038    253067   4136258    132.13    139.52  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.50 7.99 7.96 8/180 30498
/proc/meminfo: memFree=20485068/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 595487921 52465664 356 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895490491 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 12809 356 306 112 0 7774 0
[pid=30498/tid=30499] ppid=30496 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 595487922 52465664 356 33554432000 4194304 4650419 140736875551600 18446744073709551615 47079946377138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 595487922 52465664 356 33554432000 4194304 4650419 140736875551600 18446744073709551615 231890537558 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 595487922 52465664 356 33554432000 4194304 4650419 140736875551600 18446744073709551615 47079946377132 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.052874 s]
/proc/loadavg: 7.50 7.99 7.96 8/180 30498
/proc/meminfo: memFree=20485068/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=365260 CPUtime=0.15 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 11670 0 0 0 12 3 0 0 18 0 4 0 595487921 374026240 9581 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895155631 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 91315 9591 344 112 0 86280 0
[pid=30498/tid=30499] ppid=30496 vsize=365260 CPUtime=0.03 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) S 30496 30498 30360 0 -1 4202560 2830 0 0 0 3 0 0 0 18 0 4 0 595487922 374026240 9599 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895595502 0 0 4096 2 18446604445889686400 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=365260 CPUtime=0.03 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 2971 0 0 0 3 0 0 0 18 0 4 0 595487922 374026240 9613 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=365260 CPUtime=0.03 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) S 30496 30498 30360 0 -1 4202560 2615 0 0 0 2 1 0 0 18 0 4 0 595487922 374026240 9627 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895595502 0 0 4096 2 18446604445889686400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 365260

[startup+0.101808 s]
/proc/loadavg: 7.50 7.99 7.96 8/180 30498
/proc/meminfo: memFree=20485068/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=368436 CPUtime=0.31 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 14406 0 0 0 24 7 0 0 18 0 4 0 595487921 377278464 12317 33554432000 4194304 4650419 140736875551600 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 92109 12329 360 112 0 87074 0
[pid=30498/tid=30499] ppid=30496 vsize=368436 CPUtime=0.07 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 3424 0 0 0 6 1 0 0 17 0 4 0 595487922 377278464 12352 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=368436 CPUtime=0.07 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) S 30496 30498 30360 0 -1 4202560 3755 0 0 0 5 2 0 0 17 0 4 0 595487922 377278464 12363 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895595502 0 0 4096 2 18446604445889686400 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=368436 CPUtime=0.08 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) S 30496 30498 30360 0 -1 4202560 3335 0 0 0 6 2 0 0 17 0 4 0 595487922 377278464 12369 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895595502 0 0 4096 2 18446604445889686400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 368436

[startup+0.391545 s]
/proc/loadavg: 7.50 7.99 7.96 8/180 30498
/proc/meminfo: memFree=20485068/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=375516 CPUtime=1.45 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) S 30496 30498 30360 0 -1 4202496 28266 0 0 0 135 10 0 0 18 0 4 0 595487921 384528384 23228 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895595502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 93879 23247 387 112 0 88844 0
[pid=30498/tid=30499] ppid=30496 vsize=375516 CPUtime=0.36 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 7586 0 0 0 34 2 0 0 18 0 4 0 595487922 384528384 23256 33554432000 4194304 4650419 140736875551600 18446744073709551615 4422499 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=375516 CPUtime=0.35 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 7970 0 0 0 32 3 0 0 18 0 4 0 595487922 384528384 23269 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895187843 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=375516 CPUtime=0.36 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) S 30496 30498 30360 0 -1 4202560 3646 0 0 0 34 2 0 0 18 0 4 0 595487922 384528384 23270 33554432000 4194304 4650419 140736875551600 18446744073709551615 231895595502 0 0 4096 2 18446604445889686400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 375516

[startup+1.02263 s]
/proc/loadavg: 7.50 7.99 7.96 8/180 30498
/proc/meminfo: memFree=20485068/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=375516 CPUtime=3.97 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 32924 0 0 0 387 10 0 0 18 0 4 0 595487921 384528384 25970 33554432000 4194304 4650419 140736875551600 18446744073709551615 4229486 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 93879 25970 391 112 0 88844 0
[pid=30498/tid=30499] ppid=30496 vsize=375516 CPUtime=0.99 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 9308 0 0 0 97 2 0 0 18 0 4 0 595487922 384528384 25970 33554432000 4194304 4650419 140736875551600 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=375516 CPUtime=0.98 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 8872 0 0 0 95 3 0 0 19 0 4 0 595487922 384528384 25970 33554432000 4194304 4650419 140736875551600 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=375516 CPUtime=0.99 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 4139 0 0 0 97 2 0 0 19 0 4 0 595487922 384528384 25970 33554432000 4194304 4650419 140736875551600 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 375516

[startup+1.50054 s]
/proc/loadavg: 7.50 7.99 7.96 8/180 30498
/proc/meminfo: memFree=20485068/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=375516 CPUtime=5.89 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 34530 0 0 0 578 11 0 0 19 0 4 0 595487921 384528384 27570 33554432000 4194304 4650419 140736875551600 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 93879 27570 391 112 0 88844 0
[pid=30498/tid=30499] ppid=30496 vsize=375516 CPUtime=1.46 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 9695 0 0 0 144 2 0 0 19 0 4 0 595487922 384528384 27570 33554432000 4194304 4650419 140736875551600 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=375516 CPUtime=1.46 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 9262 0 0 0 143 3 0 0 19 0 4 0 595487922 384528384 27570 33554432000 4194304 4650419 140736875551600 18446744073709551615 4367398 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=375516 CPUtime=1.47 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 4533 0 0 0 144 3 0 0 19 0 4 0 595487922 384528384 27570 33554432000 4194304 4650419 140736875551600 18446744073709551615 4328119 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 375516

[startup+3.10024 s]
/proc/loadavg: 7.50 7.99 7.96 9/184 30502
/proc/meminfo: memFree=20333188/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=536208 CPUtime=12.27 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 40242 0 0 0 1214 13 0 0 24 0 4 0 595487921 549076992 33282 33554432000 4194304 4650419 140736875551600 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 134052 33282 391 112 0 129017 0
[pid=30498/tid=30499] ppid=30496 vsize=536208 CPUtime=3.07 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 11079 0 0 0 304 3 0 0 24 0 4 0 595487922 549076992 33282 33554432000 4194304 4650419 140736875551600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=536208 CPUtime=3.06 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 10666 0 0 0 303 3 0 0 24 0 4 0 595487922 549076992 33282 33554432000 4194304 4650419 140736875551600 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=536208 CPUtime=3.05 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 6022 0 0 0 302 3 0 0 24 0 4 0 595487922 549076992 33282 33554432000 4194304 4650419 140736875551600 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 536208

[startup+6.30064 s]
/proc/loadavg: 7.54 7.99 7.96 9/184 30502
/proc/meminfo: memFree=20293756/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=392816 CPUtime=25.06 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 56196 0 0 0 2489 17 0 0 18 0 4 0 595487921 402243584 30469 33554432000 4194304 4650419 140736875551600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 98204 30469 393 112 0 93169 0
[pid=30498/tid=30499] ppid=30496 vsize=392816 CPUtime=6.26 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 14880 0 0 0 623 3 0 0 25 0 4 0 595487922 402243584 30469 33554432000 4194304 4650419 140736875551600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=392816 CPUtime=6.25 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 14642 0 0 0 621 4 0 0 25 0 4 0 595487922 402243584 30469 33554432000 4194304 4650419 140736875551600 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=392816 CPUtime=6.23 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 10120 0 0 0 619 4 0 0 25 0 4 0 595487922 402243584 30470 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 392816

[startup+12.7064 s]
/proc/loadavg: 7.58 7.99 7.96 9/184 30502
/proc/meminfo: memFree=20079872/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=637448 CPUtime=50.65 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 111740 0 0 0 5034 31 0 0 25 0 4 0 595487921 652746752 74530 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30498/statm: 159362 74530 395 112 0 154327 0
[pid=30498/tid=30499] ppid=30496 vsize=637448 CPUtime=12.67 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 41471 0 0 0 1257 10 0 0 25 0 4 0 595487922 652746752 74530 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=637448 CPUtime=12.66 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 20800 0 0 0 1259 7 0 0 25 0 4 0 595487922 652746752 74530 33554432000 4194304 4650419 140736875551600 18446744073709551615 4326722 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=637448 CPUtime=12.61 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 16372 0 0 0 1256 5 0 0 25 0 4 0 595487922 652746752 74530 33554432000 4194304 4650419 140736875551600 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 637448

[startup+25.5011 s]
/proc/loadavg: 7.67 7.99 7.96 9/184 30502
/proc/meminfo: memFree=19919892/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=818600 CPUtime=101.75 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 161236 0 0 0 10132 43 0 0 25 0 4 0 595487921 838246400 105583 33554432000 4194304 4650419 140736875551600 18446744073709551615 4333890 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 204650 105583 395 112 0 199615 0
[pid=30498/tid=30499] ppid=30496 vsize=818600 CPUtime=25.46 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 45506 0 0 0 2535 11 0 0 25 0 4 0 595487922 838246400 105583 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=818600 CPUtime=25.46 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 34848 0 0 0 2534 12 0 0 25 0 4 0 595487922 838246400 105583 33554432000 4194304 4650419 140736875551600 18446744073709551615 4328328 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=818600 CPUtime=25.4 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 38227 0 0 0 2531 9 0 0 25 0 4 0 595487922 838246400 105583 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 818600

[startup+51.1003 s]
/proc/loadavg: 7.85 8.00 7.96 9/184 30503
/proc/meminfo: memFree=19728628/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=862176 CPUtime=204.02 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 252235 0 0 0 20334 68 0 0 25 0 4 0 595487921 882868224 139747 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 215544 139747 395 112 0 210509 0
[pid=30498/tid=30499] ppid=30496 vsize=862176 CPUtime=51.07 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 59332 0 0 0 5091 16 0 0 25 0 4 0 595487922 882868224 139747 33554432000 4194304 4650419 140736875551600 18446744073709551615 4333577 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=862176 CPUtime=51.07 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 54874 0 0 0 5089 18 0 0 25 0 4 0 595487922 882868224 139747 33554432000 4194304 4650419 140736875551600 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=862176 CPUtime=50.99 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 56079 0 0 0 5085 14 0 0 25 0 4 0 595487922 882868224 139747 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 862176

[startup+102.301 s]
/proc/loadavg: 8.02 8.02 7.97 9/184 30504
/proc/meminfo: memFree=19702684/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=870396 CPUtime=408.53 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 441361 0 0 0 40740 113 0 0 25 0 4 0 595487921 891285504 144734 33554432000 4194304 4650419 140736875551600 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 217599 144734 395 112 0 212564 0
[pid=30498/tid=30499] ppid=30496 vsize=870396 CPUtime=102.27 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 94376 0 0 0 10200 27 0 0 25 0 4 0 595487922 891285504 144734 33554432000 4194304 4650419 140736875551600 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=870396 CPUtime=102.26 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 84281 0 0 0 10199 27 0 0 25 0 4 0 595487922 891285504 144734 33554432000 4194304 4650419 140736875551600 18446744073709551615 4330551 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=870396 CPUtime=102.18 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 88101 0 0 0 10191 27 0 0 25 0 4 0 595487922 891285504 144734 33554432000 4194304 4650419 140736875551600 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 870396

[startup+162.306 s]

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

[pid=30498] ppid=30496 vsize=1367444 CPUtime=2805.2 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 2454006 0 0 0 279949 571 0 0 25 0 4 0 595487921 1400262656 265753 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 341861 265753 405 112 0 336826 0
[pid=30498/tid=30499] ppid=30496 vsize=1367444 CPUtime=702.27 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 544751 0 0 0 70084 143 0 0 25 0 4 0 595487922 1400262656 265753 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1367444 CPUtime=702.28 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 604074 0 0 0 70082 146 0 0 25 0 4 0 595487922 1400262656 265753 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1367444 CPUtime=702.12 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 500173 0 0 0 70082 130 0 0 25 0 4 0 595487922 1400262656 265753 33554432000 4194304 4650419 140736875551600 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.2
Current children cumulated vsize (KiB) 1367444

[startup+762.3 s]
/proc/loadavg: 8.14 8.09 8.01 9/184 30531
/proc/meminfo: memFree=18834944/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1487900 CPUtime=3044.85 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 2626157 0 0 0 303872 613 0 0 25 0 4 0 595487921 1523609600 291804 33554432000 4194304 4650419 140736875551600 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 371975 291804 395 112 0 366940 0
[pid=30498/tid=30499] ppid=30496 vsize=1487900 CPUtime=762.26 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 629307 0 0 0 76072 154 0 0 25 0 4 0 595487922 1523609600 291804 33554432000 4194304 4650419 140736875551600 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1487900 CPUtime=762.27 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 639380 0 0 0 76071 156 0 0 25 0 4 0 595487922 1523609600 291804 33554432000 4194304 4650419 140736875551600 18446744073709551615 4330854 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1487900 CPUtime=762.1 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 527805 0 0 0 76070 140 0 0 25 0 4 0 595487922 1523609600 291804 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 1487900

[startup+822.307 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 30533
/proc/meminfo: memFree=18943920/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1392776 CPUtime=3284.53 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 2829225 0 0 0 327789 664 0 0 25 0 4 0 595487921 1426202624 264119 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 348194 264119 395 112 0 343159 0
[pid=30498/tid=30499] ppid=30496 vsize=1392776 CPUtime=822.27 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 659916 0 0 0 82060 167 0 0 25 0 4 0 595487922 1426202624 264119 33554432000 4194304 4650419 140736875551600 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1392776 CPUtime=822.28 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 669590 0 0 0 82059 169 0 0 25 0 4 0 595487922 1426202624 264119 33554432000 4194304 4650419 140736875551600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1392776 CPUtime=822.1 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 557718 0 0 0 82058 152 0 0 25 0 4 0 595487922 1426202624 264119 33554432000 4194304 4650419 140736875551600 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.53
Current children cumulated vsize (KiB) 1392776

[startup+882.301 s]
/proc/loadavg: 8.16 8.10 8.02 9/184 30534
/proc/meminfo: memFree=18911660/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1463496 CPUtime=3524.18 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 2969818 0 0 0 351714 704 0 0 25 0 4 0 595487921 1498619904 274389 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 365874 274389 395 112 0 360839 0
[pid=30498/tid=30499] ppid=30496 vsize=1463496 CPUtime=882.25 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 684179 0 0 0 88048 177 0 0 25 0 4 0 595487922 1498619904 274389 33554432000 4194304 4650419 140736875551600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1463496 CPUtime=882.27 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 699385 0 0 0 88049 178 0 0 25 0 4 0 595487922 1498619904 274389 33554432000 4194304 4650419 140736875551600 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1463496 CPUtime=882.09 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 583276 0 0 0 88049 160 0 0 25 0 4 0 595487922 1498619904 274389 33554432000 4194304 4650419 140736875551600 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.18
Current children cumulated vsize (KiB) 1463496

[startup+942.301 s]
/proc/loadavg: 8.13 8.10 8.02 9/184 30536
/proc/meminfo: memFree=18664376/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1595924 CPUtime=3763.83 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 3085053 0 0 0 375640 743 0 0 25 0 4 0 595487921 1634226176 300115 33554432000 4194304 4650419 140736875551600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 398981 300115 395 112 0 393946 0
[pid=30498/tid=30499] ppid=30496 vsize=1595924 CPUtime=942.25 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 710904 0 0 0 94036 189 0 0 25 0 4 0 595487922 1634226176 300115 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1595924 CPUtime=942.27 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 736260 0 0 0 94040 187 0 0 25 0 4 0 595487922 1634226176 300115 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1595924 CPUtime=942.08 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 610212 0 0 0 94038 170 0 0 25 0 4 0 595487922 1634226176 300115 33554432000 4194304 4650419 140736875551600 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.83
Current children cumulated vsize (KiB) 1595924

[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/184 30537
/proc/meminfo: memFree=18678492/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1541596 CPUtime=4003.5 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 3227378 0 0 0 399570 780 0 0 25 0 4 0 595487921 1578594304 296929 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 385399 296929 395 112 0 380364 0
[pid=30498/tid=30499] ppid=30496 vsize=1541596 CPUtime=1002.25 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 807052 0 0 0 100020 205 0 0 25 0 4 0 595487922 1578594304 296929 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1541596 CPUtime=1002.27 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 736260 0 0 0 100040 187 0 0 25 0 4 0 595487922 1578594304 296929 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1541596 CPUtime=1002.07 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 635353 0 0 0 100027 180 0 0 25 0 4 0 595487922 1578594304 296929 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.5
Current children cumulated vsize (KiB) 1541596

[startup+1062.3 s]
/proc/loadavg: 8.18 8.11 8.02 9/184 30539
/proc/meminfo: memFree=18695964/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1485176 CPUtime=4243.18 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 3280839 0 0 0 423513 805 0 0 25 0 4 0 595487921 1520820224 302750 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 371294 302750 395 112 0 366259 0
[pid=30498/tid=30499] ppid=30496 vsize=1485176 CPUtime=1062.25 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 813109 0 0 0 106017 208 0 0 25 0 4 0 595487922 1520820224 302750 33554432000 4194304 4650419 140736875551600 18446744073709551615 4315256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1485176 CPUtime=1062.28 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 736260 0 0 0 106041 187 0 0 25 0 4 0 595487922 1520820224 302750 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1485176 CPUtime=1062.07 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 659011 0 0 0 106016 191 0 0 25 0 4 0 595487922 1520820224 302750 33554432000 4194304 4650419 140736875551600 18446744073709551615 4520254 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.18
Current children cumulated vsize (KiB) 1485176

[startup+1122.3 s]
/proc/loadavg: 8.19 8.12 8.02 9/184 30541
/proc/meminfo: memFree=18511428/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1644412 CPUtime=4482.84 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 3516902 0 0 0 447425 859 0 0 25 0 4 0 595487921 1683877888 338025 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 411103 338025 395 112 0 406068 0
[pid=30498/tid=30499] ppid=30496 vsize=1644412 CPUtime=1122.26 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 838506 0 0 0 112003 223 0 0 25 0 4 0 595487922 1683877888 338025 33554432000 4194304 4650419 140736875551600 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1644412 CPUtime=1122.28 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 891541 0 0 0 112020 208 0 0 25 0 4 0 595487922 1683877888 338025 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1644412 CPUtime=1122.06 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 688257 0 0 0 112008 198 0 0 25 0 4 0 595487922 1683877888 338025 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.84
Current children cumulated vsize (KiB) 1644412

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 8.03 9/184 30542
/proc/meminfo: memFree=18559640/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1645128 CPUtime=4722.51 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 3852921 0 0 0 471328 923 0 0 25 0 4 0 595487921 1684611072 328189 33554432000 4194304 4650419 140736875551600 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 411282 328189 395 112 0 406247 0
[pid=30498/tid=30499] ppid=30496 vsize=1645128 CPUtime=1182.25 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 865365 0 0 0 117986 239 0 0 25 0 4 0 595487922 1684611072 328189 33554432000 4194304 4650419 140736875551600 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1645128 CPUtime=1182.27 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 1172682 0 0 0 117983 244 0 0 25 0 4 0 595487922 1684611072 328189 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1645128 CPUtime=1182.06 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 691975 0 0 0 118008 198 0 0 25 0 4 0 595487922 1684611072 328189 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.51
Current children cumulated vsize (KiB) 1645128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.11 8.03 5/179 30544
/proc/meminfo: memFree=19216752/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1603060 CPUtime=4800.04 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 4015400 0 0 0 479053 951 0 0 25 0 4 0 595487921 1641533440 320348 33554432000 4194304 4650419 140736875551600 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 400765 320348 395 112 0 395730 0
[pid=30498/tid=30499] ppid=30496 vsize=1603060 CPUtime=1201.67 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 874032 0 0 0 119923 244 0 0 25 0 4 0 595487922 1641533440 320348 33554432000 4194304 4650419 140736875551600 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1603060 CPUtime=1201.69 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 1284899 0 0 0 119909 260 0 0 25 0 4 0 595487922 1641533440 320348 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1603060 CPUtime=1201.47 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 724039 0 0 0 119945 202 0 0 25 0 4 0 595487922 1641533440 320348 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 1603060

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.11 8.03 5/179 30544
/proc/meminfo: memFree=19216752/32950928 swapFree=67111524/67111528
[pid=30498] ppid=30496 vsize=1603060 CPUtime=4800.04 cores=0,2,4,6
/proc/30498/stat : 30498 (strangenight1-m) R 30496 30498 30360 0 -1 4202496 4015400 0 0 0 479053 951 0 0 25 0 4 0 595487921 1641533440 320348 33554432000 4194304 4650419 140736875551600 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30498/statm: 400765 320348 395 112 0 395730 0
[pid=30498/tid=30499] ppid=30496 vsize=1603060 CPUtime=1201.67 cores=0,2,4,6
/proc/30498/task/30499/stat : 30499 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 874032 0 0 0 119923 244 0 0 25 0 4 0 595487922 1641533440 320348 33554432000 4194304 4650419 140736875551600 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30498/tid=30500] ppid=30496 vsize=1603060 CPUtime=1201.69 cores=0,2,4,6
/proc/30498/task/30500/stat : 30500 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 1284899 0 0 0 119909 260 0 0 25 0 4 0 595487922 1641533440 320348 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30498/tid=30501] ppid=30496 vsize=1603060 CPUtime=1201.47 cores=0,2,4,6
/proc/30498/task/30501/stat : 30501 (strangenight1-m) R 30496 30498 30360 0 -1 4202560 724039 0 0 0 119945 202 0 0 25 0 4 0 595487922 1641533440 320348 33554432000 4194304 4650419 140736875551600 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 1603060

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.14
CPU user time (s): 4790.56
CPU system time (s): 9.58154
CPU usage (%): 399.418
Max. virtual memory (cumulated for all children) (KiB): 1645288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.56
system time used= 9.58154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4015404
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= 10745
involuntary context switches= 21303

runsolver used 1.9727 second user time and 4.6033 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 06:49:32
IDJOB=3174922
IDBENCH=82540
IDSOLVER=1588
FILE ID=node114/3174922-1304052572
RUNJOBID= node114-1304051368-30378
PBS_JOBID= 13170413
Free space on /tmp= 71796 MiB

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

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

MD5SUM BENCH= fdeac497d04edcceaf426c845c7872aa
RANDOM SEED=1415975545

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20485224 kB
Buffers:       2255528 kB
Cached:        9549336 kB
SwapCached:          4 kB
Active:        3424296 kB
Inactive:      8462300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20485224 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           14052 kB
Writeback:           0 kB
AnonPages:       81044 kB
Mapped:          15076 kB
Slab:           516016 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   280396 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= 71796 MiB
End job on node114 at 2011-04-29 07:09:36