Trace number 3368515

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf
MD5SUMaeb1e99b5983291023a10a1b4c71c10e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark40.0889
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368515-1305395535.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.04/0.17	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.04/0.17	c -- vars added      25000
0.04/0.17	c Parsing time:  0.29 s
0.04/0.17	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.04/0.17	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.29
0.04/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
3.42/0.90	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3.42/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3.42/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
3.42/0.90	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
3.42/0.90	c lits-rem:         0  cl-subs:        0  v-elim:    722  v-fix:    0  time:  0.99 s
3.42/0.90	c Finding binary XORs  T:     0.02 s  found:       0
3.42/0.90	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
3.42/0.90	c calculated reachability. Time: 0.00
3.42/0.90	c Calc default polars -  time:   0.04 s pos:   11290 undec:    2881 neg:   10829
3.42/0.90	c =========================================================================================
3.42/0.90	c types(t): F = full restart, N = normal restart
3.42/0.90	c types(t): S = simplification begin/end, E = solution found
3.42/0.90	c restart types(rt): st = static, dy = dynamic
3.42/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.42/0.90	c  B st     0         0     24278    103795         0         0    315330         0   no data   no data  --
7.20/1.85	c  N dy    17      4085     24278    103795         0      4084    315330   1085919    145.96    171.22  --
11.93/3.05	c  N dy    46      8154     24278    103795         0      8153    315330   2012914    147.32    168.35  --
16.72/4.29	c  N dy    77     12241     24278    103795         0     12240    315330   2966855    147.72    158.92  --
21.91/5.59	c  N dy   100     16556     24278    103795         0     16554    315330   3949011    146.05    155.27  --
27.50/6.93	c  N dy   125     20690     24278    103795         0     10690    315330    749278    145.95    154.05  --
32.29/8.15	c  N dy   152     24695     24278    103795         0     14695    315330   1662863    145.99    154.06  --
32.68/8.24	c  F st   154     25000     24278    103795         0     15000    315330   1729459    145.88   no data  --
39.46/9.97	c  N dy   160     30003     24278    103795         0     20003    315330   3352311    145.88   no data  --
39.46/9.97	c  S st   160     30003     24278    103795         0     20003    315330   3352311    145.88   no data  --
40.25/10.13	c  S st   160     30507     24278    103795         0     20507    315330   3430976    145.88   no data  --
40.25/10.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
40.25/10.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.65/10.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
42.30/10.65	c bin-w-bin subsume rem            0 bins  time:  0.03 s
42.30/10.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
42.30/10.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.03 s
42.30/10.68	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
73.00/18.37	c lits-rem:         1  cl-subs:     2065  v-elim:    140  v-fix:    0  time: 30.53 s
73.75/18.50	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.52
73.75/18.51	c calculated reachability. Time: 0.00
73.75/18.51	c  N dy   160     30507     24138    103935         0     18442    316616   2481951    145.88   no data  --
79.34/19.99	c  N dy   187     34561     24138    103935         0     22496    316616   3401929    145.83    160.40  --
85.74/21.61	c  N dy   215     38692     24138    103935         0     26627    316616   4357552    145.93    156.19  --
92.50/23.26	c  N dy   242     42763     24138    103935         0     30698    316616   5271192    145.73    191.14  --
96.89/24.31	c  S st   265     45760     24138    103935         0     18197    316616   1308936    145.92   no data  --
97.29/24.48	c  S st   265     46263     24138    103935         0     18700    316616   1396595    145.92   no data  --
97.29/24.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
97.29/24.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.08/24.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
98.48/24.74	c bin-w-bin subsume rem            0 bins  time:  0.03 s
98.48/24.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
98.48/24.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
98.48/24.77	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
111.24/27.95	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 12.62 s
111.24/27.96	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
111.24/27.98	c vivif2 --  cl tried    18699 cl shrink        0 lits rem          0 time: 0.08
111.64/28.11	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.48
112.06/28.11	c calculated reachability. Time: 0.00
112.06/28.11	c  N dy   265     46263     24138    103935         0     18699    316616   1396200    145.92   no data  --
117.62/29.56	c  N dy   291     50455     24138    103935         0     22891    316616   2337277    145.64    174.05  --
123.61/31.00	c  N dy   316     54575     24138    103935         0     27011    316616   3268905    145.59    155.20  --
129.19/32.47	c  N dy   346     58611     24138    103935         0     31046    316616   4199755    145.84    156.00  --
135.17/33.92	c  N dy   371     62731     24138    103935         0     35166    316616   5101949    145.47    154.31  --
140.75/35.38	c  N dy   398     66823     24138    103935         0     20514    316616   1094368    145.45    176.64  --
144.33/36.22	c  S st   415     69394     24138    103935         0     23085    316616   1650911    145.29    143.13  --
144.73/36.38	c  S st   415     69896     24138    103935         0     23587    316616   1728306    145.29   no data  --
145.13/36.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
145.13/36.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.54/36.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.54
145.93/36.67	c bin-w-bin subsume rem            0 bins  time:  0.03 s
145.93/36.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
145.93/36.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
146.34/36.70	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
161.08/40.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.96 s
161.08/40.47	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
161.08/40.50	c vivif2 --  cl tried    23587 cl shrink        0 lits rem          0 time: 0.10
161.88/40.62	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.51
161.88/40.63	c calculated reachability. Time: 0.00
161.88/40.63	c  N dy   415     69896     24138    103935         0     23587    316616   1728306    145.29   no data  --
167.87/42.16	c  N dy   444     74366     24138    103935         0     28057    316616   2745232    145.46    159.91  --
174.64/43.88	c  N dy   473     79322     24138    103935         0     33012    316616   3860537    145.22    153.52  --
182.24/45.80	c  N dy   508     84518     24138    103935         0     38208    316616   5049709    145.26    159.01  --
187.06/46.91	c  F st   527     87503     24138    103935         0     41193    316616   5729119    145.20   no data  --
191.80/48.14	c  N st   532     90801     24138    103935         0     23617    316616   1478563    145.20   no data  --
199.80/50.15	c  N dy   556     96617     24138    103935         0     29433    316616   2929915    145.07    165.92  --
209.00/52.43	c  N dy   597    102909     24138    103935         0     35724    316616   4379625    145.09    156.24  --
211.74/53.17	c  S st   610    104845     24138    103935         0     37660    316616   4824608    144.98   no data  --
212.54/53.39	c  S st   610    105352     24138    103935         0     38167    316616   4916038    144.98   no data  --
212.54/53.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
212.54/53.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
213.38/53.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.59
214.92/53.93	c bin-w-bin subsume rem            0 bins  time:  0.03 s
214.92/53.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
214.92/53.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
214.92/53.96	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
401.19/100.67	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 185.70 s
401.19/100.68	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
401.60/100.75	c vivif2 --  cl tried    38159 cl shrink        0 lits rem          0 time: 0.27
402.37/100.92	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.65
402.37/100.92	c calculated reachability. Time: 0.01
402.37/100.92	c  N dy   610    105352     24138    103935         0     38159    316616   4911436    144.98   no data  --
412.75/103.52	c  N dy   658    112108     24138    103935         0     22478    316616    624113    145.08    160.08  --
422.73/106.00	c  N dy   709    119292     24138    103935         0     29662    316616   2239728    145.09    160.51  --
433.89/108.86	c  N dy   763    127190     24138    103935         0     37557    316616   4050748    145.16    154.66  --
446.25/111.96	c  N dy   817    135364     24138    103935         0     45729    316616   5895916    145.15    154.10  --
459.06/115.16	c  N dy   877    144147     24138    103935         0     30796    316616   2196595    145.12    154.51  --
472.57/118.52	c  N dy   937    153442     24138    103935         0     40090    316616   4298779    145.11    153.94  --
479.36/120.26	c  S st   966    158028     24138    103935         0     44676    316616   5332523    145.09    144.64  --
480.16/120.46	c  S st   966    158533     24138    103935         0     45181    316616   5420018    145.09   no data  --
480.16/120.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
480.16/120.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
480.99/120.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.60
482.54/121.02	c bin-w-bin subsume rem            0 bins  time:  0.03 s
482.54/121.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
482.54/121.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
482.54/121.04	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
737.39/184.99	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 254.18 s
737.80/185.00	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
737.80/185.08	c vivif2 --  cl tried    45178 cl shrink        0 lits rem          0 time: 0.32
738.59/185.26	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.72
738.59/185.27	c calculated reachability. Time: 0.00
738.59/185.27	c  N dy   966    158533     24138    103935         0     45178    316616   5418793    145.09   no data  --
754.54/189.22	c  N dy  1034    168738     24138    103935         0     30525    316616   1774937    144.95    154.88  --
771.29/193.43	c  N dy  1108    179640     24138    103935         0     41427    316616   4284040    145.08    155.07  --
789.63/198.09	c  N dy  1185    191153     24138    103935         0     27013    316616    775803    144.95    154.75  --
808.38/202.71	c  N dy  1273    203411     24138    103935         0     39269    316616   3580354    145.09    154.91  --
829.12/207.96	c  N dy  1362    216485     24138    103935         0     52342    316616   6557118    145.06    159.72  --
850.66/213.31	c  N dy  1451    230496     24138    103935         0     39385    316616   3315658    144.99    154.09  --
862.24/216.23	c  S st  1503    237800     24138    103935         0     46689    316616   4966463    144.98   no data  --
863.02/216.43	c  S st  1503    238302     24138    103935         0     47191    316616   5051264    144.98   no data  --
863.02/216.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
863.02/216.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
863.82/216.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
865.02/216.95	c bin-w-bin subsume rem            0 bins  time:  0.03 s
865.02/216.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
865.02/216.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
865.02/216.98	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1093.55/274.26	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 227.76 s
1093.55/274.27	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.06
1093.95/274.35	c vivif2 --  cl tried    47189 cl shrink        0 lits rem          0 time: 0.32
1094.76/274.55	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.76
1094.76/274.56	c calculated reachability. Time: 0.00
1094.76/274.56	c  N dy  1503    238302     24138    103935         0     47189    316616   5050926    144.98   no data  --
1118.27/280.41	c  N dy  1598    253549     24138    103935         0     34456    316616   1954438    144.92    174.41  --
1142.60/286.61	c  N dy  1712    269808     24138    103935         0     50715    316616   5603946    145.02    157.62  --
1169.33/293.27	c  N dy  1824    287149     24138    103935         0     39067    316616   2798332    145.02    159.59  --
1198.43/300.52	c  N dy  1944    305543     24138    103935         0     57461    316616   7022036    145.07    155.75  --
1199.63/300.81	c  F st  1949    306250     24138    103935         0     58168    316616   7171451    145.04   no data  --
1228.74/308.10	c  N dy  2046    325141     24138    103935         0     47065    316616   4630882    145.08    152.88  --
1261.89/316.49	c  N dy  2187    345242     24138    103935         0     36165    316616   1612909    145.19    163.02  --
1281.38/321.35	c  S st  2270    357454     24138    103935         0     48377    316616   4372146    145.18    144.11  --
1282.18/321.58	c  S st  2270    357958     24138    103935         0     48881    316616   4461148    145.18   no data  --
1282.18/321.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1282.59/321.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1282.99/321.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
1284.17/322.05	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1284.17/322.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1284.17/322.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
1284.17/322.08	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1445.30/362.47	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 160.33 s
1445.30/362.48	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
1445.71/362.55	c vivif2 --  cl tried    48879 cl shrink        0 lits rem          0 time: 0.25
1446.50/362.74	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.77
1446.50/362.75	c calculated reachability. Time: 0.00
1446.50/362.75	c  N dy  2270    357958     24138    103935         0     48879    316616   4460984    145.18   no data  --
1480.40/371.21	c  N dy  2414    378060     24138    103935         0     36982    316616   1618924    145.28    154.83  --
1513.50/379.59	c  N dy  2549    398138     24138    103935         0     57058    316616   6165257    145.26    169.42  --
1547.80/388.14	c  N dy  2683    418193     24138    103935         0     44113    316616   2932367    145.23    154.44  --
1582.90/396.91	c  N dy  2811    438328     24138    103935         0     64248    316616   7463006    145.17    154.47  --
1616.41/405.35	c  N dy  2942    458345     24138    103935         0     50271    316616   4128251    145.19    184.37  --
1652.68/414.43	c  N dy  3071    478370     24138    103935         0     35295    316616    529550    145.09    172.13  --
1686.60/422.92	c  N dy  3210    498455     24138    103935         0     55379    316616   5112470    145.14    174.71  --
1722.88/432.07	c  N dy  3348    518571     24138    103935         0     39496    316616   1247392    145.12    156.50  --
1754.39/439.92	c  S st  3471    536937     24138    103935         0     57860    316616   5447235    145.14    140.65  --
1755.19/440.15	c  S st  3471    537442     24138    103935         0     58365    316616   5530646    145.14   no data  --
1755.19/440.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1755.19/440.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1755.99/440.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.67
1757.20/440.70	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1757.20/440.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1757.63/440.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
1757.63/440.73	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2040.74/511.77	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 282.85 s
2040.74/511.79	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
2041.14/511.87	c vivif2 --  cl tried    58359 cl shrink        0 lits rem          0 time: 0.34
2041.95/512.08	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.83
2041.95/512.09	c calculated reachability. Time: 0.00
2041.95/512.09	c  N dy  3471    537442     24138    103935         0     58359    316616   5529626    145.14   no data  --
2075.84/520.51	c  N dy  3602    557588     24138    103935         0     41504    316616   1498930    145.15    154.57  --
2107.34/528.48	c  N dy  3735    577659     24138    103935         0     61575    316616   6079246    145.16    156.87  --
2142.04/537.10	c  N dy  3877    597814     24138    103935         0     43731    316616   1810260    145.29    154.88  --
2173.95/545.17	c  N dy  4005    617829     24138    103935         0     63745    316616   6380604    145.29    158.73  --
2208.24/553.75	c  N dy  4142    637906     24138    103935         0     44822    316616   1830975    145.31    154.19  --
2240.94/561.93	c  N dy  4273    657907     24138    103935         0     64822    316616   6401539    145.34    153.29  --
2275.63/570.61	c  N dy  4410    678003     24138    103935         0     44924    316616   1621354    145.36    158.13  --
2307.94/578.70	c  N dy  4536    698070     24138    103935         0     64991    316616   6192881    145.36    155.23  --
2343.03/587.52	c  N dy  4678    718120     24138    103935         0     44041    316616   1169069    145.42    158.23  --
2374.94/595.58	c  N dy  4812    738132     24138    103935         0     64053    316616   5732092    145.40    153.29  --
2411.28/604.69	c  N dy  4946    758171     24138    103935         0     42092    316616    493665    145.42    162.80  --
2443.54/612.74	c  N dy  5078    778267     24138    103935         0     62188    316616   5028887    145.41    162.45  --
2479.43/621.75	c  N dy  5214    798356     24138    103935         0     82274    316616   9621786    145.44    155.47  --
2493.39/625.23	c  S st  5267    806163     24138    103935         0     47083    316616   1420277    145.46   no data  --
2494.21/625.43	c  S st  5267    806672     24138    103935         0     47592    316616   1503520    145.46   no data  --
2494.21/625.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2494.21/625.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2494.98/625.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.62
2495.38/625.72	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2495.38/625.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2495.38/625.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
2495.38/625.75	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2510.54/629.59	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.28 s
2510.94/629.60	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
2510.94/629.63	c vivif2 --  cl tried    47592 cl shrink        0 lits rem          0 time: 0.10
2511.34/629.80	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.70
2511.75/629.81	c calculated reachability. Time: 0.00
2511.75/629.81	c  N dy  5267    806672     24138    103935         0     47592    316616   1503517    145.46   no data  --
2544.44/638.02	c  N dy  5401    826684     24138    103935         0     67603    316616   6133433    145.50    193.87  --
2581.53/647.32	c  N dy  5530    846798     24138    103935         0     87716    316616  10685829    145.48    154.01  --
2615.83/655.91	c  N dy  5672    866892     24138    103935         0     63811    316616   5072539    145.55    155.64  --
2652.91/665.20	c  N dy  5811    886922     24138    103935         0     83840    316616   9611701    145.56    154.07  --
2689.61/674.44	c  N dy  5942    906973     24138    103935         0     58890    316616   3645848    145.53    161.40  --
2727.50/683.97	c  N dy  6086    927072     24138    103935         0     78986    316616   8251337    145.56    159.47  --
2766.20/693.66	c  N dy  6225    947139     24138    103935         0     53054    316616   2088033    145.59    153.63  --
2804.47/703.24	c  N dy  6364    967332     24138    103935         0     73246    316616   6735835    145.62    161.44  --
2844.75/713.34	c  N dy  6500    987352     24138    103935         0     93264    316616  11281563    145.63    185.80  --
2880.26/722.26	c  N dy  6631   1007409     24138    103935         0     66329    316616   4866648    145.61    159.24  --
2919.34/732.03	c  N dy  6776   1027446     24138    103935         0     86364    316616   9469078    145.63    154.21  --
2957.22/741.50	c  N dy  6906   1047471     24138    103935         0     58394    316616   2874755    145.62    156.91  --
2994.76/750.94	c  N dy  7048   1067603     24138    103935         0     78526    316616   7481551    145.65    154.07  --
3003.10/753.03	c  F st  7077   1071875     24138    103935         0     82797    316616   8475458    145.66   no data  --
3034.98/761.06	c  N dy  7153   1087646     24138    103935         0     49569    316616    627525    145.63    156.85  --
3070.88/770.02	c  N dy  7293   1107745     24138    103935         0     69668    316616   5228133    145.66    174.40  --
3109.96/779.82	c  N dy  7429   1127850     24138    103935         0     89770    316616   9848720    145.71    162.12  --
3146.26/788.90	c  N dy  7560   1147940     24138    103935         0     59862    316616   2777289    145.73    155.89  --
3181.35/797.79	c  N dy  7702   1168017     24138    103935         0     79935    316616   7397869    145.77    154.85  --
3219.63/807.38	c  N dy  7837   1188070     24138    103935         0     99988    316616  11971768    145.77    153.88  --
3254.32/816.05	c  N dy  7970   1208241     24138    103935         0     69160    316616   4730692    145.78    155.00  --
3257.53/816.84	c  S st  7983   1210010     24138    103935         0     70928    316616   5140847    145.79   no data  --
3258.30/817.08	c  S st  7983   1210515     24138    103935         0     71433    316616   5224443    145.79   no data  --
3258.71/817.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3258.71/817.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3259.11/817.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3260.71/817.61	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3260.71/817.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3260.71/817.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
3260.71/817.63	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
3525.92/884.18	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 264.51 s
3526.32/884.20	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
3526.32/884.28	c vivif2 --  cl tried    71426 cl shrink        0 lits rem          0 time: 0.32
3527.52/884.51	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.94
3527.52/884.52	c calculated reachability. Time: 0.00
3527.52/884.52	c  N dy  7983   1210515     24138    103935         0     71426    316616   5222270    145.79   no data  --
3564.21/893.75	c  N dy  8112   1230605     24138    103935         0     91515    316616   9807548    145.79    154.87  --
3600.90/902.98	c  N dy  8245   1250607     24138    103935         0     59512    316616   2226261    145.78    156.11  --
3636.00/911.70	c  N dy  8380   1270629     24138    103935         0     79534    316616   6835385    145.78    156.59  --
3674.30/921.31	c  N dy  8517   1290675     24138    103935         0     99580    316616  11406669    145.80    167.73  --
3710.16/930.33	c  N dy  8655   1310769     24138    103935         0     66685    316616   3644417    145.83    154.52  --
3746.47/939.46	c  N dy  8792   1330860     24138    103935         0     86774    316616   8275335    145.84    157.47  --
3786.75/949.56	c  N dy  8930   1350930     24138    103935         0    106844    316616  12860350    145.83    153.71  --
3821.45/958.29	c  N dy  9067   1370988     24138    103935         0     72902    316616   4913501    145.88    159.64  --
3858.56/967.60	c  N dy  9198   1391061     24138    103935         0     92975    316616   9511507    145.88    154.18  --
3899.60/977.89	c  N dy  9350   1411262     24138    103935         0     58177    316616   1264133    145.98    154.56  --
3934.70/986.63	c  N dy  9485   1431297     24138    103935         0     78210    316616   5940275    146.00    154.06  --
3972.20/996.11	c  N dy  9622   1451311     24138    103935         0     98223    316616  10472036    146.00    172.10  --
4011.28/1005.86	c  N dy  9754   1471347     24138    103935         0     62259    316616   1939162    146.00    156.18  --
4048.36/1015.14	c  N dy  9889   1491391     24138    103935         0     82303    316616   6533328    146.00    162.53  --
4090.64/1025.71	c  N dy 10029   1511457     24138    103935         0    102368    316616  11220466    146.04    168.54  --
4132.12/1036.18	c  N dy 10158   1531546     24138    103935         0     65456    316616   2487597    146.04    159.45  --
4171.60/1046.01	c  N dy 10298   1551582     24138    103935         0     85492    316616   7035180    146.03    154.67  --
4213.89/1056.66	c  N dy 10425   1571618     24138    103935         0    105527    316616  11633866    146.02    159.80  --
4255.36/1067.08	c  N dy 10556   1591715     24138    103935         0     67623    316616   2758521    146.04    154.12  --
4295.64/1077.19	c  N dy 10690   1611834     24138    103935         0     87741    316616   7326438    146.05    153.95  --
4337.51/1087.62	c  N dy 10823   1631879     24138    103935         0    107786    316616  11841978    146.04    155.57  --
4378.59/1097.91	c  N dy 10961   1652077     24138    103935         0     68986    316616   2822569    146.04    157.97  --
4417.27/1107.62	c  N dy 11103   1672086     24138    103935         0     88995    316616   7424500    146.07    154.00  --
4459.57/1118.22	c  N dy 11238   1692191     24138    103935         0    109097    316616  12014003    146.08    155.79  --
4497.44/1127.70	c  S st 11359   1710516     24138    103935         0     67423    316616   2269509    146.09   no data  --
4498.23/1127.95	c  S st 11359   1711016     24138    103935         0     67923    316616   2352817    146.09   no data  --
4498.23/1127.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4498.23/1127.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4499.05/1128.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.69
4499.83/1128.33	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4499.83/1128.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4499.83/1128.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
4499.83/1128.36	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4528.14/1135.43	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 28.19 s
4528.14/1135.45	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.06
4528.14/1135.49	c vivif2 --  cl tried    67922 cl shrink        0 lits rem          0 time: 0.16
4529.34/1135.72	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.91
4529.34/1135.73	c calculated reachability. Time: 0.01
4529.34/1135.73	c  N dy 11359   1711016     24138    103935         0     67922    316616   2352723    146.09   no data  --
4567.23/1145.27	c  N dy 11490   1731132     24138    103935         0     88035    316616   7016928    146.09    156.13  --
4609.15/1155.76	c  N dy 11627   1751205     24138    103935         0    108105    316616  11611348    146.10    155.40  --
4652.59/1166.69	c  N dy 11763   1771678     24138    103935         0     67590    316616   2097318    146.12    163.62  --
4690.86/1176.22	c  N dy 11899   1791743     24138    103935         0     87653    316616   6686892    146.13    154.34  --
4733.13/1186.80	c  N dy 12032   1811979     24138    103935         0    107887    316616  11312342    146.12    154.47  --
4776.60/1197.74	c  N dy 12164   1832014     24138    103935         0     65921    316616   1449415    146.13    212.15  --

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

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

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


[startup+0 s]
/proc/loadavg: 4.14 6.58 7.26 6/352 2398
/proc/meminfo: memFree=26243268/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 651156125 52465664 352 33554432000 4194304 4650419 140735738360144 18446744073709551615 216634571761 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 12809 352 303 112 0 7774 0
[pid=2398/tid=2399] ppid=2396 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651156126 52465664 352 33554432000 4194304 4650419 140735738360144 18446744073709551615 47823334078386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651156126 52465664 352 33554432000 4194304 4650419 140735738360144 18446744073709551615 47823334078380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651156126 52465664 352 33554432000 4194304 4650419 140735738360144 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0175829 s]
/proc/loadavg: 4.14 6.58 7.26 6/352 2398
/proc/meminfo: memFree=26243268/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=258276 CPUtime=0.04 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 4684 0 0 0 3 1 0 0 18 0 4 0 651156125 264474624 4014 33554432000 4194304 4650419 140735738360144 18446744073709551615 216634558599 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 64504 4109 341 112 0 59469 0
[pid=2398/tid=2399] ppid=2396 vsize=257756 CPUtime=0.01 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1138 0 0 0 1 0 0 0 18 0 4 0 651156126 263942144 3983 33554432000 4194304 4650419 140735738360144 18446744073709551615 216634541162 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=257380 CPUtime=0.01 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1181 0 0 0 1 0 0 0 18 0 4 0 651156126 263557120 3970 33554432000 4194304 4650419 140735738360144 18446744073709551615 216634573226 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=257660 CPUtime=0 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) D 2396 2398 1623 0 -1 4202560 1088 0 0 0 0 0 0 0 18 0 4 0 651156126 263843840 3972 33554432000 4194304 4650419 140735738360144 18446744073709551615 4354216 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 258276

[startup+0.288005 s]
/proc/loadavg: 4.14 6.58 7.26 6/352 2398
/proc/meminfo: memFree=26243268/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=337352 CPUtime=3.42 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 35905 0 0 0 336 6 0 0 18 0 4 0 651156125 345448448 29785 33554432000 4194304 4650419 140735738360144 18446744073709551615 4367295 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 84338 29786 391 112 0 79303 0
[pid=2398/tid=2399] ppid=2396 vsize=337352 CPUtime=0.85 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 10823 0 0 0 83 2 0 0 18 0 4 0 651156126 345448448 29786 33554432000 4194304 4650419 140735738360144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=337352 CPUtime=0.85 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 9736 0 0 0 84 1 0 0 18 0 4 0 651156126 345448448 29787 33554432000 4194304 4650419 140735738360144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=337352 CPUtime=0.84 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 4909 0 0 0 83 1 0 0 19 0 4 0 651156126 345448448 29787 33554432000 4194304 4650419 140735738360144 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 337352

[startup+0.965105 s]
/proc/loadavg: 4.14 6.58 7.26 6/352 2398
/proc/meminfo: memFree=26243268/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=337352 CPUtime=3.82 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 36262 0 0 0 376 6 0 0 18 0 4 0 651156125 345448448 30142 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 84338 30142 391 112 0 79303 0
[pid=2398/tid=2399] ppid=2396 vsize=337352 CPUtime=0.95 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 10914 0 0 0 93 2 0 0 19 0 4 0 651156126 345448448 30142 33554432000 4194304 4650419 140735738360144 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=337352 CPUtime=0.95 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 9830 0 0 0 94 1 0 0 19 0 4 0 651156126 345448448 30142 33554432000 4194304 4650419 140735738360144 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=337352 CPUtime=0.94 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 4990 0 0 0 93 1 0 0 19 0 4 0 651156126 345448448 30142 33554432000 4194304 4650419 140735738360144 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 337352

[startup+1.06509 s]
/proc/loadavg: 4.14 6.58 7.26 6/352 2398
/proc/meminfo: memFree=26243268/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=337352 CPUtime=4.22 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 36615 0 0 0 416 6 0 0 19 0 4 0 651156125 345448448 30495 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363455 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 84338 30495 391 112 0 79303 0
[pid=2398/tid=2399] ppid=2396 vsize=337352 CPUtime=1.05 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 11000 0 0 0 103 2 0 0 19 0 4 0 651156126 345448448 30495 33554432000 4194304 4650419 140735738360144 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=337352 CPUtime=1.05 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 9926 0 0 0 104 1 0 0 19 0 4 0 651156126 345448448 30495 33554432000 4194304 4650419 140735738360144 18446744073709551615 4333045 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=337352 CPUtime=1.04 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 5073 0 0 0 103 1 0 0 19 0 4 0 651156126 345448448 30495 33554432000 4194304 4650419 140735738360144 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 337352

[startup+1.50101 s]
/proc/loadavg: 4.14 6.58 7.26 6/352 2398
/proc/meminfo: memFree=26243268/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=337352 CPUtime=5.97 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 38185 0 0 0 590 7 0 0 19 0 4 0 651156125 345448448 32065 33554432000 4194304 4650419 140735738360144 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 84338 32065 391 112 0 79303 0
[pid=2398/tid=2399] ppid=2396 vsize=337352 CPUtime=1.49 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 11414 0 0 0 147 2 0 0 20 0 4 0 651156126 345448448 32065 33554432000 4194304 4650419 140735738360144 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=337352 CPUtime=1.48 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 10298 0 0 0 147 1 0 0 20 0 4 0 651156126 345448448 32066 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=337352 CPUtime=1.47 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 5421 0 0 0 146 1 0 0 20 0 4 0 651156126 345448448 32066 33554432000 4194304 4650419 140735738360144 18446744073709551615 4329701 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 337352

[startup+3.10073 s]
/proc/loadavg: 4.14 6.58 7.26 9/356 2402
/proc/meminfo: memFree=26065664/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=370172 CPUtime=12.34 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 43414 0 0 0 1226 8 0 0 24 0 4 0 651156125 379056128 37294 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 92543 37294 391 112 0 87508 0
[pid=2398/tid=2399] ppid=2396 vsize=370172 CPUtime=3.08 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 12653 0 0 0 306 2 0 0 25 0 4 0 651156126 379056128 37294 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=370172 CPUtime=3.08 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 11491 0 0 0 307 1 0 0 25 0 4 0 651156126 379056128 37294 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=370172 CPUtime=3.05 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 6985 0 0 0 303 2 0 0 25 0 4 0 651156126 379056128 37294 33554432000 4194304 4650419 140735738360144 18446744073709551615 4367401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 370172

[startup+6.30117 s]
/proc/loadavg: 4.45 6.60 7.27 9/356 2402
/proc/meminfo: memFree=25920020/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=477080 CPUtime=25.09 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 54637 0 0 0 2499 10 0 0 25 0 4 0 651156125 488529920 43478 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 119270 43478 393 112 0 114235 0
[pid=2398/tid=2399] ppid=2396 vsize=477080 CPUtime=6.29 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 14920 0 0 0 626 3 0 0 25 0 4 0 651156126 488529920 43478 33554432000 4194304 4650419 140735738360144 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=477080 CPUtime=6.28 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 13801 0 0 0 626 2 0 0 25 0 4 0 651156126 488529920 43478 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=477080 CPUtime=6.21 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 11241 0 0 0 618 3 0 0 25 0 4 0 651156126 488529920 43478 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 477080

[startup+12.701 s]
/proc/loadavg: 4.73 6.63 7.27 9/356 2402
/proc/meminfo: memFree=25781392/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=707912 CPUtime=50.64 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 105930 0 0 0 5040 24 0 0 25 0 4 0 651156125 724901888 78773 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 176978 78774 395 112 0 171943 0
[pid=2398/tid=2399] ppid=2396 vsize=707912 CPUtime=12.7 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 33473 0 0 0 1262 8 0 0 25 0 4 0 651156126 724901888 79318 33554432000 4194304 4650419 140735738360144 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=707912 CPUtime=12.7 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 19666 0 0 0 1266 4 0 0 25 0 4 0 651156126 724901888 79320 33554432000 4194304 4650419 140735738360144 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=707912 CPUtime=12.55 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 15760 0 0 0 1251 4 0 0 25 0 4 0 651156126 724901888 79322 33554432000 4194304 4650419 140735738360144 18446744073709551615 4364648 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 707912

[startup+25.5008 s]
/proc/loadavg: 5.52 6.71 7.29 9/356 2403
/proc/meminfo: memFree=25546536/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=756204 CPUtime=101.67 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 193670 0 0 0 10124 43 0 0 25 0 4 0 651156125 774352896 115379 33554432000 4194304 4650419 140735738360144 18446744073709551615 4438235 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 189051 115379 395 112 0 184016 0
[pid=2398/tid=2399] ppid=2396 vsize=756204 CPUtime=25.48 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 74166 0 0 0 2534 14 0 0 25 0 4 0 651156126 774352896 115379 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=756204 CPUtime=25.49 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 34114 0 0 0 2541 8 0 0 25 0 4 0 651156126 774352896 115379 33554432000 4194304 4650419 140735738360144 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=756204 CPUtime=25.19 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 39757 0 0 0 2509 10 0 0 25 0 4 0 651156126 774352896 115379 33554432000 4194304 4650419 140735738360144 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 756204

[startup+51.1003 s]
/proc/loadavg: 6.61 6.86 7.32 9/356 2403
/proc/meminfo: memFree=25348388/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=876936 CPUtime=203.77 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 340002 0 0 0 20302 75 0 0 25 0 4 0 651156125 897982464 132760 33554432000 4194304 4650419 140735738360144 18446744073709551615 4303912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 219234 132760 395 112 0 214199 0
[pid=2398/tid=2399] ppid=2396 vsize=876936 CPUtime=51.08 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 158952 0 0 0 5081 27 0 0 25 0 4 0 651156126 897982464 132760 33554432000 4194304 4650419 140735738360144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=876936 CPUtime=51.07 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 56829 0 0 0 5093 14 0 0 25 0 4 0 651156126 897982464 132760 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=876936 CPUtime=50.49 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 57414 0 0 0 5032 17 0 0 25 0 4 0 651156126 897982464 132760 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 876936

[startup+102.3 s]
/proc/loadavg: 7.44 7.05 7.36 9/356 2405
/proc/meminfo: memFree=25204892/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=889092 CPUtime=407.96 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 692343 0 0 0 40657 139 0 0 25 0 4 0 651156125 910430208 154994 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 222273 154994 395 112 0 217238 0
[pid=2398/tid=2399] ppid=2396 vsize=889092 CPUtime=102.28 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 181185 0 0 0 10193 35 0 0 25 0 4 0 651156126 910430208 154994 33554432000 4194304 4650419 140735738360144 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=889092 CPUtime=102.27 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 78762 0 0 0 10206 21 0 0 25 0 4 0 651156126 910430208 154994 33554432000 4194304 4650419 140735738360144 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=889092 CPUtime=101.09 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 85355 0 0 0 10080 29 0 0 25 0 4 0 651156126 910430208 154994 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363394 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 889092

[startup+162.301 s]

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

[pid=2398] ppid=2396 vsize=1334652 CPUtime=2800.88 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 3582998 0 0 0 279282 806 0 0 25 0 4 0 651156125 1366683648 250761 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 333663 250761 395 112 0 328628 0
[pid=2398/tid=2399] ppid=2396 vsize=1334652 CPUtime=702.28 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1079473 0 0 0 70002 226 0 0 25 0 4 0 651156126 1366683648 250761 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1334652 CPUtime=702.27 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 305435 0 0 0 70104 123 0 0 25 0 4 0 651156126 1366683648 250761 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476634 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1334652 CPUtime=694 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1038488 0 0 0 69170 230 0 0 25 0 4 0 651156126 1366683648 250761 33554432000 4194304 4650419 140735738360144 18446744073709551615 4542393 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.88
Current children cumulated vsize (KiB) 1334652

[startup+762.3 s]
/proc/loadavg: 8.20 8.06 7.75 9/356 2434
/proc/meminfo: memFree=24498396/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1278708 CPUtime=3040.16 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 3935283 0 0 0 303135 881 0 0 25 0 4 0 651156125 1309396992 260161 33554432000 4194304 4650419 140735738360144 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 319677 260161 416 112 0 314642 0
[pid=2398/tid=2399] ppid=2396 vsize=1278708 CPUtime=762.28 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1370891 0 0 0 75960 268 0 0 25 0 4 0 651156126 1309396992 260161 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1278708 CPUtime=762.27 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 305435 0 0 0 76104 123 0 0 25 0 4 0 651156126 1309396992 260161 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1278708 CPUtime=753.29 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1068936 0 0 0 75082 247 0 0 25 0 4 0 651156126 1309396992 260161 33554432000 4194304 4650419 140735738360144 18446744073709551615 4364450 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.16
Current children cumulated vsize (KiB) 1278708

[startup+822.301 s]
/proc/loadavg: 8.16 8.08 7.77 9/356 2436
/proc/meminfo: memFree=24408944/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1358232 CPUtime=3279.47 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 4148037 0 0 0 327015 932 0 0 25 0 4 0 651156125 1390829568 271208 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476738 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 339558 271208 395 112 0 334523 0
[pid=2398/tid=2399] ppid=2396 vsize=1358232 CPUtime=822.3 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1488733 0 0 0 81943 287 0 0 25 0 4 0 651156126 1390829568 271216 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1358232 CPUtime=822.29 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 331438 0 0 0 82095 134 0 0 25 0 4 0 651156126 1390829568 271216 33554432000 4194304 4650419 140735738360144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1358232 CPUtime=812.59 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1096305 0 0 0 81002 257 0 0 25 0 4 0 651156126 1390829568 271216 33554432000 4194304 4650419 140735738360144 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.47
Current children cumulated vsize (KiB) 1358232

[startup+882.301 s]
/proc/loadavg: 8.06 8.06 7.78 9/356 2437
/proc/meminfo: memFree=24394020/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1358592 CPUtime=3518.75 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 4580062 0 0 0 350859 1016 0 0 25 0 4 0 651156125 1391198208 274177 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 339648 274177 422 112 0 334613 0
[pid=2398/tid=2399] ppid=2396 vsize=1358592 CPUtime=882.28 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1516336 0 0 0 87930 298 0 0 25 0 4 0 651156126 1391198208 274177 33554432000 4194304 4650419 140735738360144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1358592 CPUtime=882.28 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 358532 0 0 0 88083 145 0 0 25 0 4 0 651156126 1391198208 274177 33554432000 4194304 4650419 140735738360144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1358592 CPUtime=871.87 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1122775 0 0 0 86920 267 0 0 25 0 4 0 651156126 1391198208 274177 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.75
Current children cumulated vsize (KiB) 1358592

[startup+942.314 s]
/proc/loadavg: 8.09 8.07 7.80 9/356 2439
/proc/meminfo: memFree=24293432/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1439952 CPUtime=3758.08 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 4704475 0 0 0 374748 1060 0 0 25 0 4 0 651156125 1474510848 301213 33554432000 4194304 4650419 140735738360144 18446744073709551615 4281421 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 359988 301213 395 112 0 354953 0
[pid=2398/tid=2399] ppid=2396 vsize=1439952 CPUtime=942.3 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1540661 0 0 0 93922 308 0 0 25 0 4 0 651156126 1474510848 301213 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1439952 CPUtime=942.28 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 386100 0 0 0 94073 155 0 0 25 0 4 0 651156126 1474510848 301213 33554432000 4194304 4650419 140735738360144 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1439952 CPUtime=931.16 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1153524 0 0 0 92838 278 0 0 25 0 4 0 651156126 1474510848 301213 33554432000 4194304 4650419 140735738360144 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.08
Current children cumulated vsize (KiB) 1439952

[startup+1002.3 s]
/proc/loadavg: 8.03 8.06 7.81 9/356 2441
/proc/meminfo: memFree=24331724/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1441192 CPUtime=3997.33 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 4804630 0 0 0 398633 1100 0 0 25 0 4 0 651156125 1475780608 299992 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 360298 299992 395 112 0 355263 0
[pid=2398/tid=2399] ppid=2396 vsize=1441192 CPUtime=1002.29 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1564394 0 0 0 99911 318 0 0 25 0 4 0 651156126 1475780608 299992 33554432000 4194304 4650419 140735738360144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1441192 CPUtime=1002.27 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 409670 0 0 0 100061 166 0 0 25 0 4 0 651156126 1475780608 299992 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1441192 CPUtime=990.46 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1178362 0 0 0 98759 287 0 0 25 0 4 0 651156126 1475780608 299992 33554432000 4194304 4650419 140735738360144 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.33
Current children cumulated vsize (KiB) 1441192

[startup+1062.3 s]
/proc/loadavg: 8.23 8.11 7.84 9/356 2442
/proc/meminfo: memFree=24139748/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1496516 CPUtime=4236.61 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 4875736 0 0 0 422529 1132 0 0 25 0 4 0 651156125 1532432384 299165 33554432000 4194304 4650419 140735738360144 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 374129 299165 395 112 0 369094 0
[pid=2398/tid=2399] ppid=2396 vsize=1496516 CPUtime=1062.29 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1573092 0 0 0 105907 322 0 0 25 0 4 0 651156126 1532432384 299165 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1496516 CPUtime=1062.27 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 421293 0 0 0 106059 168 0 0 25 0 4 0 651156126 1532432384 299165 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1496516 CPUtime=1049.74 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1203313 0 0 0 104673 301 0 0 25 0 4 0 651156126 1532432384 299165 33554432000 4194304 4650419 140735738360144 18446744073709551615 4366018 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.61
Current children cumulated vsize (KiB) 1496516

[startup+1122.3 s]
/proc/loadavg: 8.23 8.12 7.86 9/356 2444
/proc/meminfo: memFree=24129048/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1526772 CPUtime=4475.9 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 4954342 0 0 0 446421 1169 0 0 25 0 4 0 651156125 1563414528 311268 33554432000 4194304 4650419 140735738360144 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 381693 311268 395 112 0 376658 0
[pid=2398/tid=2399] ppid=2396 vsize=1526772 CPUtime=1122.29 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1594395 0 0 0 111898 331 0 0 25 0 4 0 651156126 1563414528 311268 33554432000 4194304 4650419 140735738360144 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1526772 CPUtime=1122.27 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 421293 0 0 0 112059 168 0 0 25 0 4 0 651156126 1563414528 311268 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1526772 CPUtime=1109.03 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1231397 0 0 0 110588 315 0 0 25 0 4 0 651156126 1563414528 311268 33554432000 4194304 4650419 140735738360144 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.9
Current children cumulated vsize (KiB) 1526772

[startup+1182.3 s]
/proc/loadavg: 8.22 8.12 7.87 9/356 2445
/proc/meminfo: memFree=24126288/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1527540 CPUtime=4715.18 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 5025684 0 0 0 470311 1207 0 0 25 0 4 0 651156125 1564200960 311087 33554432000 4194304 4650419 140735738360144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 381885 311087 395 112 0 376850 0
[pid=2398/tid=2399] ppid=2396 vsize=1527540 CPUtime=1182.28 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1616103 0 0 0 117886 342 0 0 25 0 4 0 651156126 1564200960 311088 33554432000 4194304 4650419 140735738360144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1527540 CPUtime=1182.27 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 421293 0 0 0 118059 168 0 0 25 0 4 0 651156126 1564200960 311088 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1527540 CPUtime=1168.32 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1258394 0 0 0 116503 329 0 0 25 0 4 0 651156126 1564200960 311088 33554432000 4194304 4650419 140735738360144 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.18
Current children cumulated vsize (KiB) 1527540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.16 8.12 7.88 9/356 2446
/proc/meminfo: memFree=24166212/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1481568 CPUtime=4800.14 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 5056686 0 0 0 478791 1223 0 0 25 0 4 0 651156125 1517125632 300789 33554432000 4194304 4650419 140735738360144 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 370392 300789 395 112 0 365357 0
[pid=2398/tid=2399] ppid=2396 vsize=1481568 CPUtime=1203.59 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1625847 0 0 0 120012 347 0 0 25 0 4 0 651156126 1517125632 300799 33554432000 4194304 4650419 140735738360144 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1481568 CPUtime=1203.59 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 421293 0 0 0 120191 168 0 0 25 0 4 0 651156126 1517125632 300799 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1481568 CPUtime=1189.37 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1268970 0 0 0 118603 334 0 0 25 0 4 0 651156126 1517125632 300799 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 1481568

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

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

[startup+1203.6 s]
/proc/loadavg: 8.16 8.12 7.88 9/356 2446
/proc/meminfo: memFree=24166212/32951124 swapFree=53501236/67111528
[pid=2398] ppid=2396 vsize=1481568 CPUtime=4800.14 cores=1,3,5,7
/proc/2398/stat : 2398 (strangenight1-m) R 2396 2398 1623 0 -1 4202496 5056686 0 0 0 478791 1223 0 0 25 0 4 0 651156125 1517125632 300789 33554432000 4194304 4650419 140735738360144 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2398/statm: 370392 300789 395 112 0 365357 0
[pid=2398/tid=2399] ppid=2396 vsize=1481568 CPUtime=1203.59 cores=1,3,5,7
/proc/2398/task/2399/stat : 2399 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1625847 0 0 0 120012 347 0 0 25 0 4 0 651156126 1517125632 300799 33554432000 4194304 4650419 140735738360144 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2398/tid=2400] ppid=2396 vsize=1481568 CPUtime=1203.59 cores=1,3,5,7
/proc/2398/task/2400/stat : 2400 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 421293 0 0 0 120191 168 0 0 25 0 4 0 651156126 1517125632 300799 33554432000 4194304 4650419 140735738360144 18446744073709551615 4476216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2398/tid=2401] ppid=2396 vsize=1481568 CPUtime=1189.37 cores=1,3,5,7
/proc/2398/task/2401/stat : 2401 (strangenight1-m) R 2396 2398 1623 0 -1 4202560 1268970 0 0 0 118603 334 0 0 25 0 4 0 651156126 1517125632 300799 33554432000 4194304 4650419 140735738360144 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 1481568

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.67
CPU time (s): 4800.25
CPU user time (s): 4787.97
CPU system time (s): 12.2831
CPU usage (%): 398.801
Max. virtual memory (cumulated for all children) (KiB): 1542400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.97
system time used= 12.2831
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5056700
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= 2007
involuntary context switches= 37669

runsolver used 3.56946 second user time and 10.6554 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 19:52:15
IDJOB=3368515
IDBENCH=82524
IDSOLVER=1846
FILE ID=node103/3368515-1305395535
RUNJOBID= node103-1305395535-2375
PBS_JOBID= 13324444
Free space on /tmp= 72984 MiB

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

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

MD5SUM BENCH= aeb1e99b5983291023a10a1b4c71c10e
RANDOM SEED=609670991

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26243424 kB
Buffers:        293212 kB
Cached:        3864832 kB
SwapCached:     340192 kB
Active:        1332008 kB
Inactive:      5106940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26243424 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           15168 kB
Writeback:           0 kB
AnonPages:     1952188 kB
Mapped:          10456 kB
Slab:           151420 kB
PageTables:      52924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78378236 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= 72976 MiB
End job on node103 at 2011-05-14 20:12:21