Trace number 3368531

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.27 1203.67

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-3368531-1305396134.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.00/0.07	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.00/0.07	c -- vars added      20000
0.00/0.07	c Parsing time:  0.19 s
0.00/0.07	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.00/0.21	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.22
0.00/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.15
0.30/0.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.30/0.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.30/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
0.30/0.35	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
0.30/0.91	c lits-rem:         0  cl-subs:        0  v-elim:    663  v-fix:    0  time:  0.76 s
0.30/0.91	c Finding binary XORs  T:     0.02 s  found:       0
0.30/0.91	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
0.30/0.91	c calculated reachability. Time: 0.00
0.30/0.91	c Calc default polars -  time:   0.02 s pos:    8722 undec:    2386 neg:    8892
0.30/0.91	c =========================================================================================
0.30/0.91	c types(t): F = full restart, N = normal restart
0.30/0.91	c types(t): S = simplification begin/end, E = solution found
0.30/0.91	c restart types(rt): st = static, dy = dynamic
0.30/0.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.30/0.91	c  B st     0         0     19337     83128         0         0    253067         0   no data   no data  --
5.53/1.50	c  N dy    21      4071     19337     83128         0      4071    253067    979521    130.78    139.57  --
9.52/2.48	c  N dy    49      8074     19337     83128         0      8074    253067   1802028    131.17    143.69  --
13.90/3.50	c  N dy    71     12075     19337     83128         0     12074    253067   2678282    131.46    141.06  --
17.90/4.56	c  N dy    99     16103     19337     83128         0     16100    253067   3504891    131.13    141.18  --
22.28/5.66	c  N dy   127     20118     19337     83128         0     10117    253067    584139    131.23    138.15  --
26.27/6.67	c  N dy   155     24148     19337     83128         0     14146    253067   1391580    130.82    141.70  --
27.06/6.89	c  F st   158     25000     19337     83128         0     14998    253067   1567803    130.52    126.47  --
31.05/7.81	c  N st   163     28298     19337     83128         0     18296    253067   2425564    130.52   no data  --
33.06/8.30	c  S st   164     30001     19337     83128         0     19999    253067   2869201    130.52   no data  --
33.48/8.43	c  S st   164     30503     19337     83128         0     20501    253067   2941356    130.52   no data  --
33.48/8.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
33.48/8.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.89/8.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
35.04/8.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.04/8.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.04/8.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.02 s
35.04/8.85	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
55.42/13.91	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 20.06 s
55.83/14.02	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.44
55.83/14.03	c calculated reachability. Time: 0.00
55.83/14.03	c  N dy   164     30503     19337     83128         0     20500    253067   2941271    130.52   no data  --
60.97/15.32	c  N dy   191     34546     19337     83128         0     24543    253067   3775230    130.82    138.72  --
66.16/16.64	c  N dy   219     38597     19337     83128         0     28592    253067   4605756    130.97    138.07  --
71.34/17.97	c  N dy   248     42647     19337     83128         0     17143    253067   1016813    131.47    141.62  --
75.33/18.95	c  S st   270     45756     19337     83128         0     20252    253067   1638058    131.20   no data  --
76.13/19.10	c  S st   270     46260     19337     83128         0     20756    253067   1709295    131.20   no data  --
76.13/19.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
76.13/19.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
76.53/19.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
76.93/19.33	c bin-w-bin subsume rem            0 bins  time:  0.02 s
76.93/19.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
76.93/19.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
76.93/19.35	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
90.52/22.71	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.38 s
90.52/22.72	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.03
90.52/22.74	c vivif2 --  cl tried    20755 cl shrink        0 lits rem          0 time: 0.10
90.93/22.85	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.42
90.93/22.86	c calculated reachability. Time: 0.00
90.93/22.86	c  N dy   270     46260     19337     83128         0     20755    253067   1708481    131.20   no data  --
95.68/24.06	c  N dy   295     50420     19337     83128         0     24915    253067   2575756    131.11    141.09  --
100.87/25.34	c  N dy   323     54623     19337     83128         0     29116    253067   3459782    131.29    138.25  --
105.64/26.60	c  N dy   349     58727     19337     83128         0     33219    253067   4289338    131.08    139.83  --
111.23/27.91	c  N dy   378     62783     19337     83128         0     37275    253067   5136401    131.23    139.70  --
116.02/29.15	c  N dy   399     67009     19337     83128         0     22755    253067   1464911    130.98    138.87  --
118.81/29.87	c  S st   419     69391     19337     83128         0     25137    253067   1987680    131.43    132.77  --
119.61/30.02	c  S st   419     69894     19337     83128         0     25640    253067   2061384    131.43   no data  --
119.61/30.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
119.61/30.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.01/30.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.41
120.41/30.29	c bin-w-bin subsume rem            0 bins  time:  0.02 s
120.41/30.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
120.80/30.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
120.80/30.31	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
136.75/34.36	c lits-rem:        17  cl-subs:        1  v-elim:      0  v-fix:    0  time: 16.11 s
136.75/34.37	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
137.15/34.40	c vivif2 --  cl tried    25639 cl shrink        0 lits rem          0 time: 0.12
137.55/34.51	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.46
137.55/34.52	c calculated reachability. Time: 0.00
137.55/34.52	c  N dy   419     69894     19337     83128         0     25639    253067   2060600    131.43   no data  --
142.74/35.90	c  N dy   450     74418     19337     83128         0     30163    253067   2981716    131.43    139.08  --
148.72/37.34	c  N dy   480     79184     19337     83128         0     34927    253067   3944962    131.22    138.61  --
155.10/38.93	c  N dy   512     84303     19337     83128         0     40045    253067   4993338    131.07    166.13  --
159.09/39.95	c  F st   535     87500     19337     83128         0     22373    253067    930320    131.27    133.40  --
163.48/41.00	c  N st   540     90798     19337     83128         0     25671    253067   1925947    131.27   no data  --
170.66/42.82	c  N dy   566     96707     19337     83128         0     31579    253067   3252046    131.23    139.69  --
179.03/44.93	c  N dy   612    103033     19337     83128         0     37904    253067   4566623    131.28    138.22  --
181.43/45.51	c  S st   623    104842     19337     83128         0     39713    253067   4921279    131.16    125.54  --
181.83/45.67	c  S st   623    105343     19337     83128         0     40214    253067   4996499    131.16   no data  --
181.83/45.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
181.83/45.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.23/45.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.45
183.81/46.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
183.81/46.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
183.81/46.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.02 s
183.81/46.14	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
383.67/96.25	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time: 199.65 s
383.67/96.26	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
384.07/96.33	c vivif2 --  cl tried    40209 cl shrink        0 lits rem          0 time: 0.27
384.50/96.47	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.55
384.50/96.47	c calculated reachability. Time: 0.00
384.50/96.47	c  N dy   623    105343     19337     83128         0     40209    253067   4995630    131.16   no data  --
393.27/98.63	c  N dy   663    112211     19337     83128         0     24640    253067   1023078    130.92    138.45  --
401.62/100.77	c  N dy   710    119381     19337     83128         0     31810    253067   2499651    130.96    139.16  --
411.23/103.15	c  N dy   761    127018     19337     83128         0     39447    253067   4050139    130.91    139.12  --
422.75/106.00	c  N dy   821    135167     19337     83128         0     23883    253067    583478    131.22    138.28  --
433.85/108.84	c  N dy   882    143952     19337     83128         0     32668    253067   2387550    131.24    141.35  --
446.18/111.92	c  N dy   942    153183     19337     83128         0     41898    253067   4279816    131.13    139.31  --
452.86/113.60	c  S st   978    158014     19337     83128         0     46729    253067   5302820    131.23   no data  --
453.25/113.78	c  S st   978    158516     19337     83128         0     47231    253067   5391161    131.23   no data  --
453.65/113.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
453.65/113.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
454.04/113.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.47
455.22/114.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
455.22/114.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
455.22/114.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
455.22/114.28	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
721.11/181.01	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 265.23 s
721.11/181.02	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
721.11/181.10	c vivif2 --  cl tried    47222 cl shrink        0 lits rem          0 time: 0.31
721.96/181.26	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.65
721.96/181.27	c calculated reachability. Time: 0.00
721.96/181.27	c  N dy   978    158516     19337     83128         0     47222    253067   5388723    131.23   no data  --
735.12/184.58	c  N dy  1041    168695     19337     83128         0     32543    253067   2121632    131.08    138.26  --
749.43/188.18	c  N dy  1114    179522     19337     83128         0     43369    253067   4327909    131.07    138.99  --
765.41/192.11	c  N dy  1184    190989     19337     83128         0     28906    253067   1123273    130.99    141.84  --
781.35/196.18	c  N dy  1273    203262     19337     83128         0     41178    253067   3654285    131.06    139.19  --
799.69/200.72	c  N dy  1349    216258     19337     83128         0     27209    253067    533075    130.98    138.53  --
817.65/205.23	c  N dy  1446    230098     19337     83128         0     41049    253067   3436662    131.06    162.57  --
828.41/207.96	c  S st  1501    237775     19337     83128         0     48726    253067   5046509    131.15   no data  --
829.21/208.15	c  S st  1501    238278     19337     83128         0     49229    253067   5121637    131.15   no data  --
829.21/208.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
829.21/208.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
829.61/208.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
831.24/208.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
831.24/208.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
831.24/208.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
831.24/208.64	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1079.32/270.87	c lits-rem:         3  cl-subs:        7  v-elim:      0  v-fix:    0  time: 247.68 s
1079.32/270.88	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
1079.72/270.96	c vivif2 --  cl tried    49222 cl shrink        0 lits rem          0 time: 0.31
1080.52/271.14	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.71
1080.52/271.15	c calculated reachability. Time: 0.00
1080.52/271.15	c  N dy  1501    238278     19337     83128         0     49222    253067   5120382    131.15   no data  --
1101.65/276.49	c  N dy  1589    253524     19337     83128         0     36487    253067   2194093    130.87    139.23  --
1124.79/282.23	c  N dy  1695    269844     19337     83128         0     52806    253067   5591288    130.85    138.45  --
1148.72/288.22	c  N dy  1816    287128     19337     83128         0     41100    253067   3022840    131.06    138.98  --
1175.05/294.88	c  N dy  1937    305519     19337     83128         0     59491    253067   6753344    130.96    165.20  --
1176.65/295.20	c  F st  1942    306250     19337     83128         0     30225    253067    495222    130.95   no data  --
1202.18/301.66	c  N dy  2032    325076     19337     83128         0     49050    253067   4755740    130.93    140.93  --
1230.94/308.88	c  N dy  2163    345238     19337     83128         0     38219    253067   1895648    130.87    139.21  --
1248.50/313.21	c  S st  2252    357419     19337     83128         0     50399    253067   4417978    130.94   no data  --
1249.24/313.40	c  S st  2252    357924     19337     83128         0     50904    253067   4493888    130.94   no data  --
1249.24/313.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1249.24/313.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1249.64/313.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.51
1250.84/313.81	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1250.84/313.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1250.84/313.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
1250.84/313.84	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1424.01/357.27	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 172.98 s
1424.01/357.28	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
1424.36/357.35	c vivif2 --  cl tried    50898 cl shrink        0 lits rem          0 time: 0.28
1425.16/357.52	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.71
1425.16/357.53	c calculated reachability. Time: 0.00
1425.16/357.53	c  N dy  2252    357924     19337     83128         0     50898    253067   4492538    130.94   no data  --
1455.07/365.06	c  N dy  2383    378066     19337     83128         0     39039    253067   1900961    130.91    138.04  --
1485.03/372.61	c  N dy  2516    398268     19337     83128         0     59238    253067   6093158    130.94    138.85  --
1515.32/380.12	c  N dy  2654    418277     19337     83128         0     46248    253067   3193879    130.96    141.63  --
1546.46/387.92	c  N dy  2789    438331     19337     83128         0     66300    253067   7358667    131.03    138.10  --
1574.35/394.95	c  N dy  2921    458383     19337     83128         0     52359    253067   4281687    131.03    139.68  --
1605.06/402.64	c  N dy  3049    478411     19337     83128         0     37389    253067    945625    131.01    140.26  --
1633.78/409.84	c  N dy  3182    498484     19337     83128         0     57460    253067   5132998    131.02    139.96  --
1664.50/417.51	c  N dy  3319    518607     19337     83128         0     41582    253067   1613161    131.07    137.97  --
1690.43/424.07	c  S st  3439    536886     19337     83128         0     59858    253067   5407911    131.06    106.30  --
1691.25/424.26	c  S st  3439    537393     19337     83128         0     60365    253067   5477073    131.06   no data  --
1691.25/424.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1691.25/424.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1692.01/424.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.53
1693.21/424.74	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1693.21/424.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1693.21/424.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
1693.21/424.77	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1982.81/497.32	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 289.00 s
1982.81/497.33	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
1983.20/497.41	c vivif2 --  cl tried    60362 cl shrink        0 lits rem          0 time: 0.31
1983.60/497.59	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.73
1984.00/497.60	c calculated reachability. Time: 0.00
1984.00/497.60	c  N dy  3439    537393     19337     83128         0     60362    253067   5475346    131.06   no data  --
2012.31/504.79	c  N dy  3567    557541     19337     83128         0     43513    253067   1796662    131.00    143.96  --
2040.65/511.86	c  N dy  3709    577584     19337     83128         0     63555    253067   5922815    131.02    138.91  --
2070.16/519.22	c  N dy  3843    597902     19337     83128         0     45874    253067   2087048    131.02    138.54  --
2098.49/526.32	c  N dy  3974    617950     19337     83128         0     65921    253067   6213677    131.05    183.26  --
2128.00/533.77	c  N dy  4103    638155     19337     83128         0     47129    253067   2179966    131.09    149.75  --
2156.76/540.94	c  N dy  4236    658221     19337     83128         0     67194    253067   6366019    131.14    140.89  --
2186.24/548.35	c  N dy  4364    678292     19337     83128         0     47267    253067   1959128    131.14    145.67  --
2214.55/555.48	c  N dy  4491    698294     19337     83128         0     67266    253067   6094976    131.17    195.02  --
2245.27/563.14	c  N dy  4619    718466     19337     83128         0     46435    253067   1574923    131.13    138.19  --
2274.00/570.36	c  N dy  4750    738775     19337     83128         0     66743    253067   5792215    131.16    139.73  --
2305.12/578.18	c  N dy  4884    758829     19337     83128         0     44802    253067   1046723    131.17    139.02  --
2333.82/585.33	c  N dy  5019    778844     19337     83128         0     64815    253067   5184938    131.20    189.15  --
2367.37/593.79	c  N dy  5161    798886     19337     83128         0     84854    253067   9455006    131.32    142.36  --
2378.10/596.46	c  S st  5208    806089     19337     83128         0     49061    253067   1732728    131.33   no data  --
2378.90/596.65	c  S st  5208    806593     19337     83128         0     49565    253067   1811279    131.33   no data  --
2378.90/596.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2378.90/596.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2379.30/596.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
2380.13/596.91	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2380.13/596.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2380.13/596.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
2380.13/596.94	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
2398.09/601.43	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 17.92 s
2398.09/601.44	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
2398.09/601.47	c vivif2 --  cl tried    49563 cl shrink        0 lits rem          0 time: 0.12
2398.84/601.63	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.65
2398.84/601.64	c calculated reachability. Time: 0.00
2398.84/601.64	c  N dy  5208    806593     19337     83128         0     49563    253067   1810849    131.33   no data  --
2429.96/609.42	c  N dy  5344    826666     19337     83128         0     69635    253067   5991049    131.35    138.42  --
2464.26/618.05	c  N dy  5458    846704     19337     83128         0     45677    253067    823658    131.27    154.33  --
2494.62/625.63	c  N dy  5598    866862     19337     83128         0     65835    253067   4997241    131.28    143.06  --
2528.48/634.11	c  N dy  5734    886955     19337     83128         0     85925    253067   9222924    131.33    141.73  --
2559.20/641.87	c  N dy  5870    907012     19337     83128         0     60986    253067   3764977    131.31    139.92  --
2593.10/650.37	c  N dy  6000    927026     19337     83128         0     80999    253067   7919618    131.32    139.65  --
2627.41/658.90	c  N dy  6137    947054     19337     83128         0     55025    253067   2333215    131.30    138.37  --
2660.13/667.13	c  N dy  6272    967108     19337     83128         0     75078    253067   6540950    131.33    138.85  --
2696.46/676.24	c  N dy  6407    987127     19337     83128         0     48098    253067    700424    131.34    142.21  --
2727.92/684.13	c  N dy  6540   1007186     19337     83128         0     68155    253067   4939989    131.40    147.59  --
2763.43/693.02	c  N dy  6679   1027228     19337     83128         0     88197    253067   9126413    131.44    143.40  --
2796.55/701.35	c  N dy  6806   1047243     19337     83128         0     60214    253067   3002113    131.43    150.98  --
2830.45/709.85	c  N dy  6948   1067271     19337     83128         0     80242    253067   7131670    131.44    138.93  --
2838.82/711.93	c  F st  6978   1071876     19337     83128         0     84847    253067   8108681    131.44   no data  --
2866.35/718.90	c  N dy  7052   1087399     19337     83128         0     51378    253067    965682    131.42    141.26  --
2897.89/726.71	c  N dy  7197   1107468     19337     83128         0     71447    253067   5214278    131.48    139.71  --
2932.16/735.33	c  N dy  7332   1127523     19337     83128         0     91499    253067   9396136    131.51    142.84  --
2964.87/743.59	c  N dy  7469   1147534     19337     83128         0     61507    253067   2857713    131.53    138.84  --
2997.99/751.88	c  N dy  7607   1167554     19337     83128         0     81527    253067   7062908    131.58    140.54  --
3032.28/760.49	c  N dy  7739   1187575     19337     83128         0    101546    253067  11241853    131.60    151.55  --
3061.79/767.85	c  N dy  7879   1207637     19337     83128         0     70609    253067   4580576    131.62    140.39  --
3065.38/768.73	c  S st  7893   1209892     19337     83128         0     72864    253067   5055264    131.62   no data  --
3066.18/768.95	c  S st  7893   1210396     19337     83128         0     73368    253067   5142234    131.62   no data  --
3066.18/768.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3066.18/768.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3066.98/769.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
3068.18/769.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3068.18/769.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3068.18/769.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
3068.18/769.43	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
3334.23/836.14	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 265.71 s
3334.23/836.15	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
3334.63/836.22	c vivif2 --  cl tried    73362 cl shrink        0 lits rem          0 time: 0.30
3335.43/836.43	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.83
3335.43/836.44	c calculated reachability. Time: 0.00
3335.43/836.44	c  N dy  7893   1210396     19337     83128         0     73362    253067   5140807    131.62   no data  --
3368.53/844.77	c  N dy  8031   1230479     19337     83128         0     93444    253067   9397183    131.65    139.74  --
3401.24/852.94	c  N dy  8171   1250491     19337     83128         0     61460    253067   2515829    131.69    146.25  --
3432.36/860.77	c  N dy  8307   1270658     19337     83128         0     81625    253067   6671205    131.68    139.98  --
3467.06/869.43	c  N dy  8439   1290864     19337     83128         0    101828    253067  10826979    131.68    143.09  --
3498.17/877.27	c  N dy  8579   1310963     19337     83128         0     68926    253067   3904514    131.71    141.31  --
3530.87/885.42	c  N dy  8712   1331090     19337     83128         0     89050    253067   8126056    131.73    144.33  --
3565.97/894.28	c  N dy  8838   1351183     19337     83128         0     55150    253067    745644    131.71    138.65  --
3595.93/901.73	c  N dy  8966   1371200     19337     83128         0     75164    253067   4922112    131.71    142.55  --
3629.40/910.12	c  N dy  9103   1391249     19337     83128         0     95211    253067   9082737    131.72    146.51  --
3664.10/918.86	c  N dy  9235   1411358     19337     83128         0     60316    253067   1634043    131.74    139.91  --
3695.22/926.66	c  N dy  9375   1431572     19337     83128         0     80528    253067   5848084    131.76    138.89  --
3730.32/935.42	c  N dy  9514   1451830     19337     83128         0    100786    253067  10111439    131.79    139.08  --
3766.65/944.52	c  N dy  9650   1471991     19337     83128         0     64952    253067   2413381    131.82    146.41  --
3800.12/952.96	c  N dy  9781   1492137     19337     83128         0     85098    253067   6558745    131.82    140.59  --
3838.01/962.40	c  N dy  9920   1512145     19337     83128         0    105106    253067  10702632    131.83    140.65  --
3873.92/971.47	c  N dy 10063   1532224     19337     83128         0     68193    253067   2873351    131.87    151.69  --
3909.42/980.39	c  N dy 10198   1552268     19337     83128         0     88235    253067   7024438    131.87    139.84  --
3949.70/990.41	c  N dy 10339   1572425     19337     83128         0    108392    253067  11235006    131.88    142.22  --
3986.03/999.56	c  N dy 10478   1592468     19337     83128         0     70434    253067   3156960    131.90    140.39  --
4021.90/1008.55	c  N dy 10612   1612492     19337     83128         0     90457    253067   7311428    131.90    140.15  --
4061.79/1018.59	c  N dy 10748   1632496     19337     83128         0    110460    253067  11497437    131.91    140.22  --
4098.89/1027.84	c  N dy 10887   1652534     19337     83128         0     71508    253067   3206269    131.94    142.01  --
4135.22/1036.95	c  N dy 11024   1672709     19337     83128         0     91682    253067   7438441    131.95    148.15  --
4174.71/1046.87	c  N dy 11165   1692717     19337     83128         0    111688    253067  11652628    131.98    164.72  --
4207.38/1055.01	c  S st 11283   1710399     19337     83128         0     69366    253067   2465437    131.98   no data  --
4208.19/1055.23	c  S st 11283   1710906     19337     83128         0     69873    253067   2538458    131.98   no data  --
4208.19/1055.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4208.19/1055.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4208.59/1055.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.56
4209.39/1055.56	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4209.39/1055.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4209.39/1055.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19337 time:  0.03 s
4209.39/1055.58	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4241.69/1063.61	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 31.99 s
4241.69/1063.62	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
4241.69/1063.67	c vivif2 --  cl tried    69872 cl shrink        0 lits rem          0 time: 0.17
4242.49/1063.87	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.82
4242.49/1063.88	c calculated reachability. Time: 0.00
4242.49/1063.88	c  N dy 11283   1710906     19337     83128         0     69872    253067   2538281    131.98   no data  --
4276.80/1072.47	c  N dy 11422   1730992     19337     83128         0     89957    253067   6745601    131.99    140.13  --
4316.28/1082.34	c  N dy 11563   1751226     19337     83128         0    110190    253067  11021550    132.02    140.99  --
4355.77/1092.26	c  N dy 11695   1771264     19337     83128         0     69227    253067   2270107    132.03    139.48  --
4392.08/1101.33	c  N dy 11820   1791464     19337     83128         0     89425    253067   6479198    132.02    139.29  --
4432.37/1111.45	c  N dy 11946   1811526     19337     83128         0    109486    253067  10614022    132.00    139.43  --
4474.64/1122.04	c  N dy 12089   1831568     19337     83128         0     67531    253067   1735090    132.02    201.28  --
4510.95/1131.10	c  N dy 12225   1851596     19337     83128         0     87557    253067   5978877    132.04    139.01  --
4551.24/1141.29	c  N dy 12365   1871712     19337     83128         0    107672    253067  10129860    132.04    150.94  --
4595.52/1152.35	c  N dy 12507   1891785     19337     83128         0     64747    253067    942353    132.08    157.59  --
4631.05/1161.30	c  N dy 12646   1911854     19337     83128         0     84814    253067   5177918    132.10    140.87  --
4670.94/1171.24	c  N dy 12789   1931905     19337     83128         0    104865    253067   9337964    132.10    140.26  --
4715.17/1182.35	c  N dy 12927   1952072     19337     83128         0    125030    253067  13588764    132.13    144.58  --
4751.88/1191.55	c  N dy 13060   1972075     19337     83128         0     81038    253067   4136258    132.13    139.52  --
4790.97/1201.37	c  N dy 13207   1992242     19337     83128         0    101203    253067   8401489    132.16    139.69  --

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-3368531-1305396134/watcher-3368531-1305396134 -o /tmp/evaluation-result-3368531-1305396134/solver-3368531-1305396134 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368531-1305396134.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: 3.70 4.36 5.86 5/350 15320
/proc/meminfo: memFree=25801396/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=190544 CPUtime=0.01 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 4124 0 0 0 1 0 0 0 18 0 4 0 651213882 195117056 3537 33554432000 4194304 4650419 140737234526384 18446744073709551615 4316340 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 47636 3555 341 112 0 42601 0
[pid=15320/tid=15321] ppid=15318 vsize=197380 CPUtime=0 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1783 0 0 0 0 0 0 0 18 0 4 0 651213882 202117120 5084 33554432000 4194304 4650419 140737234526384 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=197380 CPUtime=0 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 360 0 0 0 0 0 0 0 23 0 4 0 651213882 202117120 5112 33554432000 4194304 4650419 140737234526384 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=197380 CPUtime=0 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1687 0 0 0 0 0 0 0 23 0 4 0 651213882 202117120 5132 33554432000 4194304 4650419 140737234526384 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.088276 s]
/proc/loadavg: 3.70 4.36 5.86 5/350 15320
/proc/meminfo: memFree=25801396/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=369000 CPUtime=0.3 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 14096 0 0 0 25 5 0 0 18 0 4 0 651213882 377856000 12579 33554432000 4194304 4650419 140737234526384 18446744073709551615 4536279 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 94022 17974 377 112 0 88987 0
[pid=15320/tid=15321] ppid=15318 vsize=376088 CPUtime=0.19 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 6167 0 0 0 18 1 0 0 18 0 4 0 651213882 385114112 17975 33554432000 4194304 4650419 140737234526384 18446744073709551615 4427009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=376088 CPUtime=0.18 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) S 15318 15320 14540 0 -1 4202560 4781 0 0 0 16 2 0 0 18 0 4 0 651213882 385114112 17975 33554432000 4194304 4650419 140737234526384 18446744073709551615 230809270766 0 0 4096 2 18446604441494245760 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=376088 CPUtime=0.18 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 3274 0 0 0 17 1 0 0 18 0 4 0 651213882 385114112 17975 33554432000 4194304 4650419 140737234526384 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 369000

[startup+0.237227 s]
/proc/loadavg: 3.70 4.36 5.86 5/350 15320
/proc/meminfo: memFree=25801396/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=377112 CPUtime=3.62 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 31755 0 0 0 354 8 0 0 19 0 4 0 651213882 386162688 26177 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 94278 26177 391 112 0 89243 0
[pid=15320/tid=15321] ppid=15318 vsize=377112 CPUtime=0.91 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 8983 0 0 0 89 2 0 0 19 0 4 0 651213882 386162688 26177 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=377112 CPUtime=0.89 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 9288 0 0 0 86 3 0 0 19 0 4 0 651213882 386162688 26177 33554432000 4194304 4650419 140737234526384 18446744073709551615 4333921 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=377112 CPUtime=0.89 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 3846 0 0 0 88 1 0 0 19 0 4 0 651213882 386162688 26177 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 377112

[startup+1.02457 s]
/proc/loadavg: 3.70 4.36 5.86 5/350 15320
/proc/meminfo: memFree=25801396/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=377112 CPUtime=4.02 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 32168 0 0 0 394 8 0 0 19 0 4 0 651213882 386162688 26590 33554432000 4194304 4650419 140737234526384 18446744073709551615 4333248 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 94278 26590 391 112 0 89243 0
[pid=15320/tid=15321] ppid=15318 vsize=377112 CPUtime=1.01 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 9088 0 0 0 99 2 0 0 19 0 4 0 651213882 386162688 26590 33554432000 4194304 4650419 140737234526384 18446744073709551615 4413242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=377112 CPUtime=0.99 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 9387 0 0 0 96 3 0 0 19 0 4 0 651213882 386162688 26590 33554432000 4194304 4650419 140737234526384 18446744073709551615 4329696 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=377112 CPUtime=0.99 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 3932 0 0 0 98 1 0 0 19 0 4 0 651213882 386162688 26590 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 377112

[startup+1.12455 s]
/proc/loadavg: 3.70 4.36 5.86 5/350 15320
/proc/meminfo: memFree=25801396/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=377112 CPUtime=4.42 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 32491 0 0 0 434 8 0 0 19 0 4 0 651213882 386162688 26913 33554432000 4194304 4650419 140737234526384 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 94278 26913 391 112 0 89243 0
[pid=15320/tid=15321] ppid=15318 vsize=377112 CPUtime=1.11 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 9161 0 0 0 109 2 0 0 19 0 4 0 651213882 386162688 26913 33554432000 4194304 4650419 140737234526384 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=377112 CPUtime=1.09 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 9468 0 0 0 106 3 0 0 19 0 4 0 651213882 386162688 26913 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=377112 CPUtime=1.09 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 4023 0 0 0 108 1 0 0 19 0 4 0 651213882 386162688 26913 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 377112

[startup+1.50049 s]
/proc/loadavg: 3.70 4.36 5.86 5/350 15320
/proc/meminfo: memFree=25801396/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=377384 CPUtime=5.93 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 33753 0 0 0 584 9 0 0 19 0 4 0 651213882 386441216 28175 33554432000 4194304 4650419 140737234526384 18446744073709551615 4419144 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 94346 28175 391 112 0 89311 0
[pid=15320/tid=15321] ppid=15318 vsize=377384 CPUtime=1.48 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 9466 0 0 0 146 2 0 0 19 0 4 0 651213882 386441216 28175 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=377384 CPUtime=1.47 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 9781 0 0 0 144 3 0 0 19 0 4 0 651213882 386441216 28175 33554432000 4194304 4650419 140737234526384 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=377384 CPUtime=1.47 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 4351 0 0 0 146 1 0 0 19 0 4 0 651213882 386441216 28175 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 377384

[startup+3.1002 s]
/proc/loadavg: 4.04 4.42 5.87 9/354 15324
/proc/meminfo: memFree=25640912/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=538324 CPUtime=12.3 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 39480 0 0 0 1220 10 0 0 25 0 4 0 651213882 551243776 33902 33554432000 4194304 4650419 140737234526384 18446744073709551615 4303936 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 134581 33902 391 112 0 129546 0
[pid=15320/tid=15321] ppid=15318 vsize=538324 CPUtime=3.08 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 10889 0 0 0 306 2 0 0 25 0 4 0 651213882 551243776 33902 33554432000 4194304 4650419 140737234526384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=538324 CPUtime=3.04 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 11157 0 0 0 301 3 0 0 25 0 4 0 651213882 551243776 33902 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=538324 CPUtime=3.07 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 5924 0 0 0 305 2 0 0 25 0 4 0 651213882 551243776 33902 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 538324

[startup+6.3126 s]
/proc/loadavg: 4.04 4.42 5.87 9/354 15324
/proc/meminfo: memFree=25603100/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=392572 CPUtime=25.12 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 55277 0 0 0 2499 13 0 0 25 0 4 0 651213882 401993728 30630 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 98143 30630 393 112 0 93108 0
[pid=15320/tid=15321] ppid=15318 vsize=392572 CPUtime=6.29 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 15019 0 0 0 626 3 0 0 25 0 4 0 651213882 401993728 30630 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=392572 CPUtime=6.22 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 14931 0 0 0 618 4 0 0 25 0 4 0 651213882 401993728 30630 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=392572 CPUtime=6.28 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 10100 0 0 0 626 2 0 0 25 0 4 0 651213882 401993728 30630 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 392572

[startup+12.7004 s]
/proc/loadavg: 4.36 4.47 5.88 9/354 15325
/proc/meminfo: memFree=25364076/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=634036 CPUtime=50.61 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 112179 0 0 0 5033 28 0 0 25 0 4 0 651213882 649252864 75774 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476411 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 158509 75774 395 112 0 153474 0
[pid=15320/tid=15321] ppid=15318 vsize=634036 CPUtime=12.68 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 41962 0 0 0 1258 10 0 0 25 0 4 0 651213882 649252864 75774 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=634036 CPUtime=12.54 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 21217 0 0 0 1248 6 0 0 25 0 4 0 651213882 649252864 75774 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=634036 CPUtime=12.68 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 16436 0 0 0 1264 4 0 0 25 0 4 0 651213882 649252864 75774 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 634036

[startup+25.5011 s]
/proc/loadavg: 5.25 4.66 5.92 9/354 15325
/proc/meminfo: memFree=25234204/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=764552 CPUtime=101.66 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 170936 0 0 0 10126 40 0 0 25 0 4 0 651213882 782901248 107202 33554432000 4194304 4650419 140737234526384 18446744073709551615 4333710 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 191138 107202 421 112 0 186103 0
[pid=15320/tid=15321] ppid=15318 vsize=764552 CPUtime=25.48 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 56961 0 0 0 2537 11 0 0 25 0 4 0 651213882 782901248 107202 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=764552 CPUtime=25.2 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 36402 0 0 0 2509 11 0 0 25 0 4 0 651213882 782901248 107202 33554432000 4194304 4650419 140737234526384 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=764552 CPUtime=25.47 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 38351 0 0 0 2540 7 0 0 25 0 4 0 651213882 782901248 107202 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 764552

[startup+51.1004 s]
/proc/loadavg: 6.26 4.95 5.98 9/354 15326
/proc/meminfo: memFree=25081752/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=927344 CPUtime=203.77 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 266614 0 0 0 20315 62 0 0 25 0 4 0 651213882 949600256 134974 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 231836 134974 395 112 0 226801 0
[pid=15320/tid=15321] ppid=15318 vsize=927344 CPUtime=51.08 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 88838 0 0 0 5091 17 0 0 25 0 4 0 651213882 949600256 134974 33554432000 4194304 4650419 140737234526384 18446744073709551615 4516030 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=927344 CPUtime=50.52 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 56884 0 0 0 5036 16 0 0 25 0 4 0 651213882 949600256 134974 33554432000 4194304 4650419 140737234526384 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=927344 CPUtime=51.06 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 54626 0 0 0 5094 12 0 0 25 0 4 0 651213882 949600256 134974 33554432000 4194304 4650419 140737234526384 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 927344

[startup+102.301 s]
/proc/loadavg: 7.38 5.45 6.09 9/354 15329
/proc/meminfo: memFree=24969484/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=945260 CPUtime=408 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 352666 0 0 0 40714 86 0 0 25 0 4 0 651213882 967946240 155105 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364471 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 236315 155105 395 112 0 231280 0
[pid=15320/tid=15321] ppid=15318 vsize=945260 CPUtime=102.28 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 117681 0 0 0 10203 25 0 0 25 0 4 0 651213882 967946240 155105 33554432000 4194304 4650419 140737234526384 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=945260 CPUtime=101.16 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 83316 0 0 0 10093 23 0 0 25 0 4 0 651213882 967946240 155105 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=945260 CPUtime=102.25 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 78369 0 0 0 10206 19 0 0 25 0 4 0 651213882 967946240 155105 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408
Current children cumulated vsize (KiB) 945260

[startup+162.301 s]

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

[pid=15320] ppid=15318 vsize=1332864 CPUtime=2561.19 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 1900254 0 0 0 255656 463 0 0 25 0 4 0 651213882 1364852736 247906 33554432000 4194304 4650419 140737234526384 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 333216 247906 395 112 0 328181 0
[pid=15320/tid=15321] ppid=15318 vsize=1332864 CPUtime=642.27 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 838872 0 0 0 64060 167 0 0 25 0 4 0 651213882 1364852736 247906 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1332864 CPUtime=634.46 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 573599 0 0 0 63304 142 0 0 25 0 4 0 651213882 1364852736 247907 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1332864 CPUtime=642.15 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 266030 0 0 0 64132 83 0 0 25 0 4 0 651213882 1364852736 247907 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.19
Current children cumulated vsize (KiB) 1332864

[startup+702.301 s]
/proc/loadavg: 8.17 7.78 7.06 9/354 15346
/proc/meminfo: memFree=24291420/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1292804 CPUtime=2800.53 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 1978378 0 0 0 279563 490 0 0 25 0 4 0 651213882 1323831296 246017 33554432000 4194304 4650419 140737234526384 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 323201 246017 395 112 0 318166 0
[pid=15320/tid=15321] ppid=15318 vsize=1292804 CPUtime=702.26 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 842032 0 0 0 70059 167 0 0 25 0 4 0 651213882 1323831296 246017 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1292804 CPUtime=693.82 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 598931 0 0 0 69236 146 0 0 25 0 4 0 651213882 1323831296 246017 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1292804 CPUtime=702.15 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 293173 0 0 0 70120 95 0 0 25 0 4 0 651213882 1323831296 246017 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.53
Current children cumulated vsize (KiB) 1292804

[startup+762.3 s]
/proc/loadavg: 8.20 7.86 7.13 9/354 15348
/proc/meminfo: memFree=24320592/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1209244 CPUtime=3039.85 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 2191833 0 0 0 303446 539 0 0 25 0 4 0 651213882 1238265856 242751 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363469 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 302311 242751 395 112 0 297276 0
[pid=15320/tid=15321] ppid=15318 vsize=1209244 CPUtime=762.27 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 959316 0 0 0 76042 185 0 0 25 0 4 0 651213882 1238265856 242751 33554432000 4194304 4650419 140737234526384 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1209244 CPUtime=753.15 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 633508 0 0 0 75160 155 0 0 25 0 4 0 651213882 1238265856 242751 33554432000 4194304 4650419 140737234526384 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1209244 CPUtime=762.12 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 324759 0 0 0 76106 106 0 0 25 0 4 0 651213882 1238265856 242751 33554432000 4194304 4650419 140737234526384 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.85
Current children cumulated vsize (KiB) 1209244

[startup+822.3 s]
/proc/loadavg: 8.21 7.93 7.20 9/354 15349
/proc/meminfo: memFree=24238304/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1415508 CPUtime=3279.18 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 2301661 0 0 0 327345 573 0 0 25 0 4 0 651213882 1449480192 268152 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 353877 268152 395 112 0 348842 0
[pid=15320/tid=15321] ppid=15318 vsize=1415508 CPUtime=822.1 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 990909 0 0 0 82014 196 0 0 25 0 4 0 651213882 1449480192 268152 33554432000 4194304 4650419 140737234526384 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1415508 CPUtime=812.67 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 660588 0 0 0 81102 165 0 0 25 0 4 0 651213882 1449480192 268152 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1415508 CPUtime=822.11 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 355627 0 0 0 82094 117 0 0 25 0 4 0 651213882 1449480192 268152 33554432000 4194304 4650419 140737234526384 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.18
Current children cumulated vsize (KiB) 1415508

[startup+882.3 s]
/proc/loadavg: 8.13 7.96 7.25 9/354 15351
/proc/meminfo: memFree=24186900/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1427088 CPUtime=3518.51 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 2416190 0 0 0 351244 607 0 0 25 0 4 0 651213882 1461338112 284561 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 356772 284562 395 112 0 351737 0
[pid=15320/tid=15321] ppid=15318 vsize=1427088 CPUtime=881.43 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1023242 0 0 0 87938 205 0 0 25 0 4 0 651213882 1461338112 284562 33554432000 4194304 4650419 140737234526384 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1427088 CPUtime=872.67 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 691572 0 0 0 87093 174 0 0 25 0 4 0 651213882 1461338112 284562 33554432000 4194304 4650419 140737234526384 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1427088 CPUtime=882.1 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 377399 0 0 0 88086 124 0 0 25 0 4 0 651213882 1461338112 284562 33554432000 4194304 4650419 140737234526384 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.51
Current children cumulated vsize (KiB) 1427088

[startup+942.3 s]
/proc/loadavg: 8.05 7.96 7.29 9/354 15352
/proc/meminfo: memFree=24045592/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1429508 CPUtime=3757.87 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 2538047 0 0 0 375143 644 0 0 25 0 4 0 651213882 1463816192 283544 33554432000 4194304 4650419 140737234526384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 357377 283544 395 112 0 352342 0
[pid=15320/tid=15321] ppid=15318 vsize=1429508 CPUtime=940.78 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1051013 0 0 0 93863 215 0 0 25 0 4 0 651213882 1463816192 283546 33554432000 4194304 4650419 140737234526384 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1429508 CPUtime=932.67 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 730739 0 0 0 93083 184 0 0 25 0 4 0 651213882 1463816192 283546 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1429508 CPUtime=942.1 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 404643 0 0 0 94078 132 0 0 25 0 4 0 651213882 1463816192 283546 33554432000 4194304 4650419 140737234526384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.87
Current children cumulated vsize (KiB) 1429508

[startup+1002.3 s]
/proc/loadavg: 8.05 7.98 7.34 9/354 15354
/proc/meminfo: memFree=24035980/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1495300 CPUtime=3997.17 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 2598750 0 0 0 399045 672 0 0 25 0 4 0 651213882 1531187200 288095 33554432000 4194304 4650419 140737234526384 18446744073709551615 4367305 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 373825 288095 395 112 0 368790 0
[pid=15320/tid=15321] ppid=15318 vsize=1495300 CPUtime=1000.13 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1063586 0 0 0 99792 221 0 0 25 0 4 0 651213882 1531187200 288095 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1495300 CPUtime=992.66 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 730933 0 0 0 99082 184 0 0 25 0 4 0 651213882 1531187200 288095 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1495300 CPUtime=1002.08 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 429772 0 0 0 100065 143 0 0 25 0 4 0 651213882 1531187200 288095 33554432000 4194304 4650419 140737234526384 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.17
Current children cumulated vsize (KiB) 1495300

[startup+1062.31 s]
/proc/loadavg: 8.09 8.00 7.38 9/354 15356
/proc/meminfo: memFree=24089600/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1370524 CPUtime=4236.55 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 2729854 0 0 0 422948 707 0 0 25 0 4 0 651213882 1403416576 274176 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 342631 274176 395 112 0 337596 0
[pid=15320/tid=15321] ppid=15318 vsize=1370524 CPUtime=1059.47 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1071736 0 0 0 105723 224 0 0 25 0 4 0 651213882 1403416576 274176 33554432000 4194304 4650419 140737234526384 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1370524 CPUtime=1052.67 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 810461 0 0 0 105073 194 0 0 25 0 4 0 651213882 1403416576 274176 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1370524 CPUtime=1062.08 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 450282 0 0 0 106055 153 0 0 25 0 4 0 651213882 1403416576 274176 33554432000 4194304 4650419 140737234526384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.55
Current children cumulated vsize (KiB) 1370524

[startup+1122.3 s]
/proc/loadavg: 8.10 8.01 7.42 9/354 15357
/proc/meminfo: memFree=23898220/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1525380 CPUtime=4475.84 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 2902320 0 0 0 446836 748 0 0 25 0 4 0 651213882 1561989120 318890 33554432000 4194304 4650419 140737234526384 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 381345 318890 395 112 0 376310 0
[pid=15320/tid=15321] ppid=15318 vsize=1525380 CPUtime=1118.82 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1096171 0 0 0 111646 236 0 0 25 0 4 0 651213882 1561989120 318890 33554432000 4194304 4650419 140737234526384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1525380 CPUtime=1112.66 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 906240 0 0 0 111059 207 0 0 25 0 4 0 651213882 1561989120 318890 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1525380 CPUtime=1122.05 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 478689 0 0 0 112045 160 0 0 25 0 4 0 651213882 1561989120 318890 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4475.84
Current children cumulated vsize (KiB) 1525380

[startup+1182.3 s]
/proc/loadavg: 8.10 8.02 7.46 9/354 15359
/proc/meminfo: memFree=23857360/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1583032 CPUtime=4715.17 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 3052746 0 0 0 470727 790 0 0 25 0 4 0 651213882 1621024768 325042 33554432000 4194304 4650419 140737234526384 18446744073709551615 4328348 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 395758 325042 395 112 0 390723 0
[pid=15320/tid=15321] ppid=15318 vsize=1583032 CPUtime=1178.16 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1119720 0 0 0 117566 250 0 0 25 0 4 0 651213882 1621024768 325042 33554432000 4194304 4650419 140737234526384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1583032 CPUtime=1172.67 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1010230 0 0 0 117045 222 0 0 25 0 4 0 651213882 1621024768 325042 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1583032 CPUtime=1182.05 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 478921 0 0 0 118045 160 0 0 25 0 4 0 651213882 1621024768 325042 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.17
Current children cumulated vsize (KiB) 1583032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.06 8.02 7.48 5/349 15360
/proc/meminfo: memFree=24557620/32951124 swapFree=40554400/67111528
[pid=15320] ppid=15318 vsize=1534712 CPUtime=4800.17 cores=0,2,4,6
/proc/15320/stat : 15320 (strangenight1-m) R 15318 15320 14540 0 -1 4202496 3105898 0 0 0 479213 804 0 0 25 0 4 0 651213882 1571545088 313053 33554432000 4194304 4650419 140737234526384 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15320/statm: 383678 313053 395 112 0 378643 0
[pid=15320/tid=15321] ppid=15318 vsize=1534712 CPUtime=1199.23 cores=0,2,4,6
/proc/15320/task/15321/stat : 15321 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1129702 0 0 0 119667 256 0 0 25 0 4 0 651213882 1571545088 313054 33554432000 4194304 4650419 140737234526384 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15320/tid=15322] ppid=15318 vsize=1534712 CPUtime=1193.97 cores=0,2,4,6
/proc/15320/task/15322/stat : 15322 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 1045877 0 0 0 119171 226 0 0 25 0 4 0 651213882 1571545088 313054 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=1534712 CPUtime=1203.36 cores=0,2,4,6
/proc/15320/task/15323/stat : 15323 (strangenight1-m) R 15318 15320 14540 0 -1 4202560 478921 0 0 0 120176 160 0 0 25 0 4 0 651213882 1571545088 313054 33554432000 4194304 4650419 140737234526384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1534712

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.67
CPU time (s): 4800.27
CPU user time (s): 4792.17
CPU system time (s): 8.09877
CPU usage (%): 398.803
Max. virtual memory (cumulated for all children) (KiB): 1600088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.17
system time used= 8.09877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3105905
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= 4301
involuntary context switches= 24451

runsolver used 3.73043 second user time and 9.41857 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 20:02:14
IDJOB=3368531
IDBENCH=82540
IDSOLVER=1846
FILE ID=node104/3368531-1305396134
RUNJOBID= node104-1305396134-15297
PBS_JOBID= 13324447
Free space on /tmp= 73388 MiB

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

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

MD5SUM BENCH= fdeac497d04edcceaf426c845c7872aa
RANDOM SEED=993771410

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25801576 kB
Buffers:        289564 kB
Cached:        2370528 kB
SwapCached:     122128 kB
Active:         932404 kB
Inactive:      5951256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25801576 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:           14024 kB
Writeback:          16 kB
AnonPages:     4114236 kB
Mapped:          10932 kB
Slab:           117264 kB
PageTables:      85032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74903496 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= 73388 MiB
End job on node104 at 2011-05-14 20:22:20