Trace number 3174906

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.21 1201.77

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.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-3174906-1304049168.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.00/0.08	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.00/0.08	c -- vars added      25000
0.00/0.08	c Parsing time:  0.27 s
0.00/0.08	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.00/0.16	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.30
0.00/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
0.00/0.30	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.00/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.00/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
0.00/0.32	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
0.89/0.58	c lits-rem:         0  cl-subs:        0  v-elim:    722  v-fix:    0  time:  1.00 s
0.89/0.58	c Finding binary XORs  T:     0.02 s  found:       0
0.89/0.64	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
0.89/0.64	c calculated reachability. Time: 0.00
0.89/0.65	c Calc default polars -  time:   0.03 s pos:   11290 undec:    2881 neg:   10829
0.89/0.65	c =========================================================================================
0.89/0.65	c types(t): F = full restart, N = normal restart
0.89/0.65	c types(t): S = simplification begin/end, E = solution found
0.89/0.65	c restart types(rt): st = static, dy = dynamic
0.89/0.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.89/0.65	c  B st     0         0     24278    103795         0         0    315330         0   no data   no data  --
7.16/1.84	c  N dy    17      4085     24278    103795         0      4084    315330   1085919    145.96    171.22  --
11.97/3.03	c  N dy    46      8154     24278    103795         0      8153    315330   2012914    147.32    168.35  --
16.77/4.27	c  N dy    77     12241     24278    103795         0     12240    315330   2966855    147.72    158.92  --
21.94/5.56	c  N dy   100     16556     24278    103795         0     16554    315330   3949011    146.05    155.27  --
27.13/6.89	c  N dy   125     20690     24278    103795         0     10690    315330    749278    145.95    154.05  --
32.33/8.10	c  N dy   152     24695     24278    103795         0     14695    315330   1662863    145.99    154.06  --
32.33/8.20	c  F st   154     25000     24278    103795         0     15000    315330   1729459    145.88   no data  --
39.51/9.92	c  N dy   160     30003     24278    103795         0     20003    315330   3352311    145.88   no data  --
39.51/9.92	c  S st   160     30003     24278    103795         0     20003    315330   3352311    145.88   no data  --
39.91/10.08	c  S st   160     30507     24278    103795         0     20507    315330   3430976    145.88   no data  --
39.91/10.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
39.91/10.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.71/10.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.51
41.91/10.59	c bin-w-bin subsume rem            0 bins  time:  0.03 s
42.31/10.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
42.31/10.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.03 s
42.31/10.62	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
73.07/18.30	c lits-rem:         1  cl-subs:     2065  v-elim:    140  v-fix:    0  time: 30.53 s
73.49/18.44	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.52
73.49/18.44	c calculated reachability. Time: 0.00
73.49/18.44	c  N dy   160     30507     24138    103935         0     18442    316616   2481951    145.88   no data  --
79.46/19.92	c  N dy   187     34561     24138    103935         0     22496    316616   3401929    145.83    160.40  --
85.85/21.52	c  N dy   215     38692     24138    103935         0     26627    316616   4357552    145.93    156.19  --
92.25/23.18	c  N dy   242     42763     24138    103935         0     30698    316616   5271192    145.73    191.14  --
96.63/24.22	c  S st   265     45760     24138    103935         0     18197    316616   1308936    145.92   no data  --
97.03/24.38	c  S st   265     46263     24138    103935         0     18700    316616   1396595    145.92   no data  --
97.03/24.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
97.43/24.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.84/24.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
98.23/24.64	c bin-w-bin subsume rem            0 bins  time:  0.03 s
98.23/24.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
98.23/24.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.03 s
98.23/24.67	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
111.02/27.85	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 12.63 s
111.02/27.86	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
111.02/27.88	c vivif2 --  cl tried    18699 cl shrink        0 lits rem          0 time: 0.09
111.82/28.01	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.49
111.82/28.01	c calculated reachability. Time: 0.00
111.82/28.01	c  N dy   265     46263     24138    103935         0     18699    316616   1396200    145.92   no data  --
117.42/29.45	c  N dy   291     50455     24138    103935         0     22891    316616   2337277    145.64    174.05  --
123.00/30.89	c  N dy   316     54575     24138    103935         0     27011    316616   3268905    145.59    155.20  --
128.99/32.36	c  N dy   346     58611     24138    103935         0     31046    316616   4199755    145.84    156.00  --
134.99/33.81	c  N dy   371     62731     24138    103935         0     35166    316616   5101949    145.47    154.31  --
140.57/35.26	c  N dy   398     66823     24138    103935         0     20514    316616   1094368    145.45    176.64  --
143.79/36.09	c  S st   415     69394     24138    103935         0     23085    316616   1650911    145.29    143.13  --
144.57/36.26	c  S st   415     69896     24138    103935         0     23587    316616   1728306    145.29   no data  --
144.57/36.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
144.57/36.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.37/36.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.53
145.76/36.55	c bin-w-bin subsume rem            0 bins  time:  0.03 s
145.76/36.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
145.76/36.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
145.76/36.57	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
160.95/40.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.99 s
160.95/40.35	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
160.95/40.37	c vivif2 --  cl tried    23587 cl shrink        0 lits rem          0 time: 0.11
161.36/40.50	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.49
161.76/40.50	c calculated reachability. Time: 0.01
161.76/40.50	c  N dy   415     69896     24138    103935         0     23587    316616   1728306    145.29   no data  --
167.74/42.03	c  N dy   444     74366     24138    103935         0     28057    316616   2745232    145.46    159.91  --
174.55/43.75	c  N dy   473     79322     24138    103935         0     33012    316616   3860537    145.22    153.52  --
182.12/45.67	c  N dy   508     84518     24138    103935         0     38208    316616   5049709    145.26    159.01  --
186.51/46.78	c  F st   527     87503     24138    103935         0     41193    316616   5729119    145.20   no data  --
191.71/48.01	c  N st   532     90801     24138    103935         0     23617    316616   1478563    145.20   no data  --
199.69/50.01	c  N dy   556     96617     24138    103935         0     29433    316616   2929915    145.07    165.92  --
208.88/52.30	c  N dy   597    102909     24138    103935         0     35724    316616   4379625    145.09    156.24  --
211.68/53.04	c  S st   610    104845     24138    103935         0     37660    316616   4824608    144.98   no data  --
212.48/53.25	c  S st   610    105352     24138    103935         0     38167    316616   4916038    144.98   no data  --
212.48/53.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
212.48/53.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
213.28/53.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.60
214.50/53.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
214.87/53.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
214.87/53.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
214.87/53.82	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
401.43/100.50	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 185.84 s
401.43/100.51	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
401.43/100.59	c vivif2 --  cl tried    38159 cl shrink        0 lits rem          0 time: 0.29
402.22/100.75	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.65
402.22/100.75	c calculated reachability. Time: 0.00
402.22/100.76	c  N dy   610    105352     24138    103935         0     38159    316616   4911436    144.98   no data  --
412.61/103.33	c  N dy   658    112108     24138    103935         0     22478    316616    624113    145.08    160.08  --
422.59/105.80	c  N dy   709    119292     24138    103935         0     29662    316616   2239728    145.09    160.51  --
433.79/108.65	c  N dy   763    127190     24138    103935         0     37557    316616   4050748    145.16    154.66  --
446.16/111.74	c  N dy   817    135364     24138    103935         0     45729    316616   5895916    145.15    154.10  --
458.94/114.94	c  N dy   877    144147     24138    103935         0     30796    316616   2196595    145.12    154.51  --
472.12/118.28	c  N dy   937    153442     24138    103935         0     40090    316616   4298779    145.11    153.94  --
479.31/120.03	c  S st   966    158028     24138    103935         0     44676    316616   5332523    145.09    144.64  --
480.11/120.23	c  S st   966    158533     24138    103935         0     45181    316616   5420018    145.09   no data  --
480.11/120.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
480.11/120.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
480.91/120.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.61
482.13/120.79	c bin-w-bin subsume rem            0 bins  time:  0.03 s
482.13/120.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
482.53/120.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
482.53/120.82	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
737.37/184.61	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 254.04 s
737.37/184.63	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
737.75/184.71	c vivif2 --  cl tried    45178 cl shrink        0 lits rem          0 time: 0.32
738.15/184.89	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.72
738.15/184.90	c calculated reachability. Time: 0.01
738.55/184.90	c  N dy   966    158533     24138    103935         0     45178    316616   5418793    145.09   no data  --
754.14/188.84	c  N dy  1034    168738     24138    103935         0     30525    316616   1774937    144.95    154.88  --
770.91/193.03	c  N dy  1108    179640     24138    103935         0     41427    316616   4284040    145.08    155.07  --
789.28/197.67	c  N dy  1185    191153     24138    103935         0     27013    316616    775803    144.95    154.75  --
807.68/202.28	c  N dy  1273    203411     24138    103935         0     39269    316616   3580354    145.09    154.91  --
828.82/207.53	c  N dy  1362    216485     24138    103935         0     52342    316616   6557118    145.06    159.72  --
849.99/212.85	c  N dy  1451    230496     24138    103935         0     39385    316616   3315658    144.99    154.09  --
861.58/215.76	c  S st  1503    237800     24138    103935         0     46689    316616   4966463    144.98   no data  --
862.38/215.97	c  S st  1503    238302     24138    103935         0     47191    316616   5051264    144.98   no data  --
862.38/215.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
862.38/215.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
863.17/216.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
864.40/216.48	c bin-w-bin subsume rem            0 bins  time:  0.03 s
864.40/216.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
864.40/216.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
864.80/216.51	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1093.29/273.76	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 227.95 s
1093.29/273.77	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.06
1093.67/273.85	c vivif2 --  cl tried    47189 cl shrink        0 lits rem          0 time: 0.32
1094.47/274.04	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.77
1094.47/274.05	c calculated reachability. Time: 0.00
1094.47/274.05	c  N dy  1503    238302     24138    103935         0     47189    316616   5050926    144.98   no data  --
1117.63/279.87	c  N dy  1598    253549     24138    103935         0     34456    316616   1954438    144.92    174.41  --
1142.40/286.05	c  N dy  1712    269808     24138    103935         0     50715    316616   5603946    145.02    157.62  --
1168.75/292.69	c  N dy  1824    287149     24138    103935         0     39067    316616   2798332    145.02    159.59  --
1197.53/299.88	c  N dy  1944    305543     24138    103935         0     57461    316616   7022036    145.07    155.75  --
1198.74/300.17	c  F st  1949    306250     24138    103935         0     58168    316616   7171451    145.04   no data  --
1228.69/307.61	c  N dy  2046    325141     24138    103935         0     47065    316616   4630882    145.08    152.88  --
1261.83/315.94	c  N dy  2187    345242     24138    103935         0     36165    316616   1612909    145.19    163.02  --
1281.00/320.77	c  S st  2270    357454     24138    103935         0     48377    316616   4372146    145.18    144.11  --
1281.83/320.99	c  S st  2270    357958     24138    103935         0     48881    316616   4461148    145.18   no data  --
1282.23/321.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1282.23/321.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1282.61/321.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
1283.80/321.47	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1283.80/321.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1283.80/321.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
1284.20/321.50	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1445.18/361.81	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 160.28 s
1445.18/361.82	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.06
1445.18/361.89	c vivif2 --  cl tried    48879 cl shrink        0 lits rem          0 time: 0.27
1445.98/362.09	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.77
1445.98/362.09	c calculated reachability. Time: 0.00
1445.98/362.09	c  N dy  2270    357958     24138    103935         0     48879    316616   4460984    145.18   no data  --
1479.95/370.51	c  N dy  2414    378060     24138    103935         0     36982    316616   1618924    145.28    154.83  --
1512.28/378.69	c  N dy  2549    398138     24138    103935         0     57058    316616   6165257    145.26    169.42  --
1546.24/387.17	c  N dy  2683    418193     24138    103935         0     44113    316616   2932367    145.23    154.44  --
1581.01/395.86	c  N dy  2811    438328     24138    103935         0     64248    316616   7463006    145.17    154.47  --
1614.55/404.24	c  N dy  2942    458345     24138    103935         0     50271    316616   4128251    145.19    184.37  --
1650.50/413.25	c  N dy  3071    478370     24138    103935         0     35295    316616    529550    145.09    172.13  --
1684.05/421.68	c  N dy  3210    498455     24138    103935         0     55379    316616   5112470    145.14    174.71  --
1720.81/430.86	c  N dy  3348    518571     24138    103935         0     39496    316616   1247392    145.12    156.50  --
1750.76/438.35	c  S st  3471    536937     24138    103935         0     57860    316616   5447235    145.14    140.65  --
1751.56/438.58	c  S st  3471    537442     24138    103935         0     58365    316616   5530646    145.14   no data  --
1751.56/438.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1751.56/438.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1752.38/438.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.66
1753.97/439.12	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1753.97/439.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1753.97/439.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
1753.97/439.15	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2037.58/510.18	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 283.18 s
2037.58/510.19	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
2037.99/510.28	c vivif2 --  cl tried    58359 cl shrink        0 lits rem          0 time: 0.33
2038.77/510.49	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.83
2038.77/510.49	c calculated reachability. Time: 0.00
2038.77/510.49	c  N dy  3471    537442     24138    103935         0     58359    316616   5529626    145.14   no data  --
2072.73/518.91	c  N dy  3602    557588     24138    103935         0     41504    316616   1498930    145.15    154.57  --
2104.27/526.83	c  N dy  3735    577659     24138    103935         0     61575    316616   6079246    145.16    156.87  --
2138.64/535.42	c  N dy  3877    597814     24138    103935         0     43731    316616   1810260    145.29    154.88  --
2170.58/543.43	c  N dy  4005    617829     24138    103935         0     63745    316616   6380604    145.29    158.73  --
2204.55/551.98	c  N dy  4142    637906     24138    103935         0     44822    316616   1830975    145.31    154.19  --
2237.29/560.11	c  N dy  4273    657907     24138    103935         0     64822    316616   6401539    145.34    153.29  --
2271.63/568.75	c  N dy  4410    678003     24138    103935         0     44924    316616   1621354    145.36    158.13  --
2303.98/576.80	c  N dy  4536    698070     24138    103935         0     64991    316616   6192881    145.36    155.23  --
2338.74/585.55	c  N dy  4678    718120     24138    103935         0     44041    316616   1169069    145.42    158.23  --
2370.69/593.57	c  N dy  4812    738132     24138    103935         0     64053    316616   5732092    145.40    153.29  --
2407.06/602.63	c  N dy  4946    758171     24138    103935         0     42092    316616    493665    145.42    162.80  --
2438.99/610.64	c  N dy  5078    778267     24138    103935         0     62188    316616   5028887    145.41    162.45  --
2474.95/619.61	c  N dy  5214    798356     24138    103935         0     82274    316616   9621786    145.44    155.47  --
2488.53/623.08	c  S st  5267    806163     24138    103935         0     47083    316616   1420277    145.46   no data  --
2489.32/623.28	c  S st  5267    806672     24138    103935         0     47592    316616   1503520    145.46   no data  --
2489.32/623.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2489.72/623.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2490.14/623.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.61
2490.54/623.57	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2490.54/623.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2490.54/623.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
2490.92/623.60	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2506.10/627.43	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.25 s
2506.10/627.44	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
2506.10/627.46	c vivif2 --  cl tried    47592 cl shrink        0 lits rem          0 time: 0.10
2506.89/627.64	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.71
2506.89/627.65	c calculated reachability. Time: 0.00
2506.89/627.65	c  N dy  5267    806672     24138    103935         0     47592    316616   1503517    145.46   no data  --
2539.64/635.84	c  N dy  5401    826684     24138    103935         0     67603    316616   6133433    145.50    193.87  --
2576.80/645.11	c  N dy  5530    846798     24138    103935         0     87716    316616  10685829    145.48    154.01  --
2610.75/653.65	c  N dy  5672    866892     24138    103935         0     63811    316616   5072539    145.55    155.64  --
2649.49/663.32	c  N dy  5811    886922     24138    103935         0     83840    316616   9611701    145.56    154.07  --
2685.84/672.41	c  N dy  5942    906973     24138    103935         0     58890    316616   3645848    145.53    161.40  --
2723.79/681.92	c  N dy  6086    927072     24138    103935         0     78986    316616   8251337    145.56    159.47  --
2762.14/691.57	c  N dy  6225    947139     24138    103935         0     53054    316616   2088033    145.59    153.63  --
2798.48/700.63	c  N dy  6364    967332     24138    103935         0     73246    316616   6735835    145.62    161.44  --
2838.43/710.68	c  N dy  6500    987352     24138    103935         0     93264    316616  11281563    145.63    185.80  --
2873.98/719.55	c  N dy  6631   1007409     24138    103935         0     66329    316616   4866648    145.61    159.24  --
2913.13/729.33	c  N dy  6776   1027446     24138    103935         0     86364    316616   9469078    145.63    154.21  --
2950.68/738.77	c  N dy  6906   1047471     24138    103935         0     58394    316616   2874755    145.62    156.91  --
2988.23/748.14	c  N dy  7048   1067603     24138    103935         0     78526    316616   7481551    145.65    154.07  --
2996.62/750.23	c  F st  7077   1071875     24138    103935         0     82797    316616   8475458    145.66   no data  --
3028.58/758.25	c  N dy  7153   1087646     24138    103935         0     49569    316616    627525    145.63    156.85  --
3064.52/767.20	c  N dy  7293   1107745     24138    103935         0     69668    316616   5228133    145.66    174.40  --
3104.47/777.22	c  N dy  7429   1127850     24138    103935         0     89770    316616   9848720    145.71    162.12  --
3140.84/786.37	c  N dy  7560   1147940     24138    103935         0     59862    316616   2777289    145.73    155.89  --
3176.37/795.21	c  N dy  7702   1168017     24138    103935         0     79935    316616   7397869    145.77    154.85  --
3214.32/804.74	c  N dy  7837   1188070     24138    103935         0     99988    316616  11971768    145.77    153.88  --
3249.07/813.42	c  N dy  7970   1208241     24138    103935         0     69160    316616   4730692    145.78    155.00  --
3252.26/814.21	c  S st  7983   1210010     24138    103935         0     70928    316616   5140847    145.79   no data  --
3253.06/814.46	c  S st  7983   1210515     24138    103935         0     71433    316616   5224443    145.79   no data  --
3253.06/814.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3253.06/814.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3253.86/814.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3255.07/814.99	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3255.07/814.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3255.46/815.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
3255.46/815.01	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
3520.69/881.48	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 264.55 s
3520.69/881.49	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
3521.09/881.57	c vivif2 --  cl tried    71426 cl shrink        0 lits rem          0 time: 0.32
3522.29/881.81	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.93
3522.29/881.82	c calculated reachability. Time: 0.00
3522.29/881.82	c  N dy  7983   1210515     24138    103935         0     71426    316616   5222270    145.79   no data  --
3558.64/890.97	c  N dy  8112   1230605     24138    103935         0     91515    316616   9807548    145.79    154.87  --
3595.78/900.22	c  N dy  8245   1250607     24138    103935         0     59512    316616   2226261    145.78    156.11  --
3630.13/908.89	c  N dy  8380   1270629     24138    103935         0     79534    316616   6835385    145.78    156.59  --
3668.48/918.46	c  N dy  8517   1290675     24138    103935         0     99580    316616  11406669    145.80    167.73  --
3704.44/927.49	c  N dy  8655   1310769     24138    103935         0     66685    316616   3644417    145.83    154.52  --
3741.18/936.65	c  N dy  8792   1330860     24138    103935         0     86774    316616   8275335    145.84    157.47  --
3781.13/946.65	c  N dy  8930   1350930     24138    103935         0    106844    316616  12860350    145.83    153.71  --
3815.88/955.31	c  N dy  9067   1370988     24138    103935         0     72902    316616   4913501    145.88    159.64  --
3853.02/964.63	c  N dy  9198   1391061     24138    103935         0     92975    316616   9511507    145.88    154.18  --
3893.76/974.81	c  N dy  9350   1411262     24138    103935         0     58177    316616   1264133    145.98    154.56  --
3928.52/983.52	c  N dy  9485   1431297     24138    103935         0     78210    316616   5940275    146.00    154.06  --
3966.48/993.03	c  N dy  9622   1451311     24138    103935         0     98223    316616  10472036    146.00    172.10  --
4004.80/1002.69	c  N dy  9754   1471347     24138    103935         0     62259    316616   1939162    146.00    156.18  --
4039.96/1011.48	c  N dy  9889   1491391     24138    103935         0     82303    316616   6533328    146.00    162.53  --
4081.50/1021.85	c  N dy 10029   1511457     24138    103935         0    102368    316616  11220466    146.04    168.54  --
4123.45/1032.30	c  N dy 10158   1531546     24138    103935         0     65456    316616   2487597    146.04    159.45  --
4162.19/1042.05	c  N dy 10298   1551582     24138    103935         0     85492    316616   7035180    146.03    154.67  --
4204.53/1052.69	c  N dy 10425   1571618     24138    103935         0    105527    316616  11633866    146.02    159.80  --
4246.48/1063.10	c  N dy 10556   1591715     24138    103935         0     67623    316616   2758521    146.04    154.12  --
4286.42/1073.11	c  N dy 10690   1611834     24138    103935         0     87741    316616   7326438    146.05    153.95  --
4327.96/1083.51	c  N dy 10823   1631879     24138    103935         0    107786    316616  11841978    146.04    155.57  --
4368.71/1093.77	c  N dy 10961   1652077     24138    103935         0     68986    316616   2822569    146.04    157.97  --
4407.06/1103.37	c  N dy 11103   1672086     24138    103935         0     88995    316616   7424500    146.07    154.00  --
4449.00/1113.85	c  N dy 11238   1692191     24138    103935         0    109097    316616  12014003    146.08    155.79  --
4486.54/1123.29	c  S st 11359   1710516     24138    103935         0     67423    316616   2269509    146.09   no data  --
4487.74/1123.54	c  S st 11359   1711016     24138    103935         0     67923    316616   2352817    146.09   no data  --
4487.74/1123.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4487.74/1123.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4488.54/1123.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
4489.37/1123.92	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4489.37/1123.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4489.37/1123.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24138 time:  0.04 s
4489.37/1123.95	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4517.70/1131.03	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 28.24 s
4517.70/1131.04	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.06
4517.70/1131.08	c vivif2 --  cl tried    67922 cl shrink        0 lits rem          0 time: 0.16
4518.91/1131.31	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.91
4518.91/1131.32	c calculated reachability. Time: 0.00
4518.91/1131.32	c  N dy 11359   1711016     24138    103935         0     67922    316616   2352723    146.09   no data  --
4556.44/1140.77	c  N dy 11490   1731132     24138    103935         0     88035    316616   7016928    146.09    156.13  --
4597.99/1151.19	c  N dy 11627   1751205     24138    103935         0    108105    316616  11611348    146.10    155.40  --
4641.53/1162.09	c  N dy 11763   1771678     24138    103935         0     67590    316616   2097318    146.12    163.62  --
4679.47/1171.56	c  N dy 11899   1791743     24138    103935         0     87653    316616   6686892    146.13    154.34  --
4721.42/1182.05	c  N dy 12032   1811979     24138    103935         0    107887    316616  11312342    146.12    154.47  --
4764.96/1192.94	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174906-1304049168/watcher-3174906-1304049168 -o /tmp/evaluation-result-3174906-1304049168/solver-3174906-1304049168 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174906-1304049168.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: 8.09 8.08 7.71 6/180 4284
/proc/meminfo: memFree=22185468/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 418 0 0 0 0 0 0 0 23 0 4 0 497332156 52465664 357 33554432000 4194304 4650419 140736798543840 18446744073709551615 47716447561644 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 12809 357 306 112 0 7774 0
[pid=4284/tid=4285] ppid=4282 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 497332156 52465664 357 33554432000 4194304 4650419 140736798543840 18446744073709551615 254261616571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 497332156 52465664 357 33554432000 4194304 4650419 140736798543840 18446744073709551615 47716447561650 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 497332156 52465664 357 33554432000 4194304 4650419 140736798543840 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.069902 s]
/proc/loadavg: 8.09 8.08 7.71 6/180 4284
/proc/meminfo: memFree=22185468/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=321524 CPUtime=0.89 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 21633 0 0 0 84 5 0 0 25 0 4 0 497332156 329240576 17655 33554432000 4194304 4650419 140736798543840 18446744073709551615 4426530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 81093 19131 377 112 0 76058 0
[pid=4284/tid=4285] ppid=4282 vsize=326216 CPUtime=0.25 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 6763 0 0 0 24 1 0 0 18 0 4 0 497332156 334045184 21053 33554432000 4194304 4650419 140736798543840 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=328204 CPUtime=0.26 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) D 4282 4284 4149 0 -1 4202560 7224 0 0 0 25 1 0 0 18 0 4 0 497332156 336080896 22558 33554432000 4194304 4650419 140736798543840 18446744073709551615 254261277381 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=331200 CPUtime=0.27 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 4491 0 0 0 26 1 0 0 25 0 4 0 497332156 339148800 23435 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 321524

[startup+1.0094 s]
/proc/loadavg: 8.09 8.08 7.71 6/180 4284
/proc/meminfo: memFree=22185468/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=338216 CPUtime=4 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 35907 0 0 0 392 8 0 0 25 0 4 0 497332156 346333184 30334 33554432000 4194304 4650419 140736798543840 18446744073709551615 4334514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 84554 30334 391 112 0 79519 0
[pid=4284/tid=4285] ppid=4282 vsize=338216 CPUtime=1 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 10527 0 0 0 98 2 0 0 19 0 4 0 497332156 346333184 30334 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=338216 CPUtime=0.99 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 9815 0 0 0 98 1 0 0 19 0 4 0 497332156 346333184 30334 33554432000 4194304 4650419 140736798543840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=338216 CPUtime=0.99 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 5033 0 0 0 98 1 0 0 25 0 4 0 497332156 346333184 30334 33554432000 4194304 4650419 140736798543840 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 338216

[startup+1.10938 s]
/proc/loadavg: 8.09 8.08 7.71 6/180 4284
/proc/meminfo: memFree=22185468/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=338216 CPUtime=4.4 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 36257 0 0 0 432 8 0 0 25 0 4 0 497332156 346333184 30684 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363331 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 84554 30684 391 112 0 79519 0
[pid=4284/tid=4285] ppid=4282 vsize=338216 CPUtime=1.1 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 10631 0 0 0 108 2 0 0 19 0 4 0 497332156 346333184 30684 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=338216 CPUtime=1.09 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 9896 0 0 0 108 1 0 0 19 0 4 0 497332156 346333184 30685 33554432000 4194304 4650419 140736798543840 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=338216 CPUtime=1.09 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 5106 0 0 0 108 1 0 0 25 0 4 0 497332156 346333184 30685 33554432000 4194304 4650419 140736798543840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 338216

[startup+1.20937 s]
/proc/loadavg: 8.09 8.08 7.71 6/180 4284
/proc/meminfo: memFree=22185468/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=338216 CPUtime=4.8 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 36659 0 0 0 471 9 0 0 25 0 4 0 497332156 346333184 31086 33554432000 4194304 4650419 140736798543840 18446744073709551615 4367302 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 84554 31086 391 112 0 79519 0
[pid=4284/tid=4285] ppid=4282 vsize=338216 CPUtime=1.2 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 10723 0 0 0 118 2 0 0 19 0 4 0 497332156 346333184 31086 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=338216 CPUtime=1.19 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 10006 0 0 0 118 1 0 0 19 0 4 0 497332156 346333184 31086 33554432000 4194304 4650419 140736798543840 18446744073709551615 4229486 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=338216 CPUtime=1.19 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 5188 0 0 0 118 1 0 0 25 0 4 0 497332156 346333184 31086 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 338216

[startup+1.50032 s]
/proc/loadavg: 8.09 8.08 7.71 6/180 4284
/proc/meminfo: memFree=22185468/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=338216 CPUtime=5.96 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 37654 0 0 0 587 9 0 0 25 0 4 0 497332156 346333184 32081 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 84554 32081 391 112 0 79519 0
[pid=4284/tid=4285] ppid=4282 vsize=338216 CPUtime=1.49 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 10981 0 0 0 147 2 0 0 20 0 4 0 497332156 346333184 32081 33554432000 4194304 4650419 140736798543840 18446744073709551615 4361062 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=338216 CPUtime=1.49 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 10230 0 0 0 147 2 0 0 19 0 4 0 497332156 346333184 32081 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=338216 CPUtime=1.48 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 5427 0 0 0 147 1 0 0 25 0 4 0 497332156 346333184 32081 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 338216

[startup+3.10703 s]
/proc/loadavg: 8.33 8.13 7.72 9/184 4288
/proc/meminfo: memFree=22001756/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=371036 CPUtime=12.38 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 42925 0 0 0 1227 11 0 0 25 0 4 0 497332156 379940864 37352 33554432000 4194304 4650419 140736798543840 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 92759 37352 391 112 0 87724 0
[pid=4284/tid=4285] ppid=4282 vsize=371036 CPUtime=3.09 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 12226 0 0 0 307 2 0 0 25 0 4 0 497332156 379940864 37352 33554432000 4194304 4650419 140736798543840 18446744073709551615 4306784 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=371036 CPUtime=3.08 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 11421 0 0 0 306 2 0 0 25 0 4 0 497332156 379940864 37352 33554432000 4194304 4650419 140736798543840 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=371036 CPUtime=3.09 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 7022 0 0 0 307 2 0 0 25 0 4 0 497332156 379940864 37352 33554432000 4194304 4650419 140736798543840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 371036

[startup+6.30047 s]
/proc/loadavg: 8.30 8.13 7.72 9/184 4288
/proc/meminfo: memFree=21876640/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=477944 CPUtime=25.16 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 54188 0 0 0 2502 14 0 0 25 0 4 0 497332156 489414656 43576 33554432000 4194304 4650419 140736798543840 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 119486 43576 393 112 0 114451 0
[pid=4284/tid=4285] ppid=4282 vsize=477944 CPUtime=6.3 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 14505 0 0 0 627 3 0 0 25 0 4 0 497332156 489414656 43576 33554432000 4194304 4650419 140736798543840 18446744073709551615 4332040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=477944 CPUtime=6.26 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 13714 0 0 0 623 3 0 0 25 0 4 0 497332156 489414656 43576 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=477944 CPUtime=6.29 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 11315 0 0 0 626 3 0 0 25 0 4 0 497332156 489414656 43576 33554432000 4194304 4650419 140736798543840 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 477944

[startup+12.7003 s]
/proc/loadavg: 8.27 8.12 7.73 9/184 4288
/proc/meminfo: memFree=21775248/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=708776 CPUtime=50.7 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 107647 0 0 0 5042 28 0 0 25 0 4 0 497332156 725786624 81022 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 177194 81024 395 112 0 172159 0
[pid=4284/tid=4285] ppid=4282 vsize=708776 CPUtime=12.69 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 34590 0 0 0 1261 8 0 0 25 0 4 0 497332156 725786624 81025 33554432000 4194304 4650419 140736798543840 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=708776 CPUtime=12.62 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 19625 0 0 0 1258 4 0 0 25 0 4 0 497332156 725786624 81026 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=708776 CPUtime=12.68 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 15876 0 0 0 1264 4 0 0 25 0 4 0 497332156 725786624 81026 33554432000 4194304 4650419 140736798543840 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 708776

[startup+25.5011 s]
/proc/loadavg: 8.23 8.12 7.73 9/184 4288
/proc/meminfo: memFree=21476160/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=757104 CPUtime=101.83 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 193468 0 0 0 10134 49 0 0 25 0 4 0 497332156 775274496 115461 33554432000 4194304 4650419 140736798543840 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 189276 115461 395 112 0 184241 0
[pid=4284/tid=4285] ppid=4282 vsize=757104 CPUtime=25.48 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 73798 0 0 0 2534 14 0 0 25 0 4 0 497332156 775274496 115461 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=757104 CPUtime=25.35 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 34032 0 0 0 2526 9 0 0 25 0 4 0 497332156 775274496 115461 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=757104 CPUtime=25.48 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 40024 0 0 0 2536 12 0 0 25 0 4 0 497332156 775274496 115462 33554432000 4194304 4650419 140736798543840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 757104

[startup+51.1005 s]
/proc/loadavg: 8.21 8.12 7.74 9/184 4289
/proc/meminfo: memFree=21294544/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=877800 CPUtime=204.08 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 339240 0 0 0 20330 78 0 0 25 0 4 0 497332156 898867200 132772 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 219450 132772 395 112 0 214415 0
[pid=4284/tid=4285] ppid=4282 vsize=877800 CPUtime=51.08 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 158143 0 0 0 5080 28 0 0 25 0 4 0 497332156 898867200 132772 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=877800 CPUtime=50.81 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 56617 0 0 0 5067 14 0 0 25 0 4 0 497332156 898867200 132772 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=877800 CPUtime=51.08 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 57622 0 0 0 5092 16 0 0 25 0 4 0 497332156 898867200 132772 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 877800

[startup+102.3 s]
/proc/loadavg: 8.15 8.12 7.76 9/184 4290
/proc/meminfo: memFree=21109648/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=889992 CPUtime=408.61 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 691735 0 0 0 40715 146 0 0 25 0 4 0 497332156 911351808 155308 33554432000 4194304 4650419 140736798543840 18446744073709551615 4331981 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 222498 155308 395 112 0 217463 0
[pid=4284/tid=4285] ppid=4282 vsize=889992 CPUtime=102.28 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 180445 0 0 0 10191 37 0 0 25 0 4 0 497332156 911351808 155308 33554432000 4194304 4650419 140736798543840 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=889992 CPUtime=101.73 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 78444 0 0 0 10150 23 0 0 25 0 4 0 497332156 911351808 155308 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=889992 CPUtime=102.28 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 86295 0 0 0 10202 26 0 0 25 0 4 0 497332156 911351808 155308 33554432000 4194304 4650419 140736798543840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 889992

[startup+162.301 s]

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

[pid=4284] ppid=4282 vsize=1334076 CPUtime=2565.61 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 3099413 0 0 0 255835 726 0 0 25 0 4 0 497332156 1366093824 266430 33554432000 4194304 4650419 140736798543840 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 333519 266431 395 112 0 328484 0
[pid=4284/tid=4285] ppid=4282 vsize=1334076 CPUtime=642.26 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 855582 0 0 0 64022 204 0 0 25 0 4 0 497332156 1366093824 266431 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1334076 CPUtime=638.77 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 290557 0 0 0 63760 117 0 0 25 0 4 0 497332156 1366093824 266431 33554432000 4194304 4650419 140736798543840 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1334076 CPUtime=642.27 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 833107 0 0 0 64038 189 0 0 25 0 4 0 497332156 1366093824 266431 33554432000 4194304 4650419 140736798543840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.61
Current children cumulated vsize (KiB) 1334076

[startup+702.301 s]
/proc/loadavg: 8.06 8.09 7.91 9/184 4315
/proc/meminfo: memFree=20451592/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1335104 CPUtime=2805.28 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 3590224 0 0 0 279704 824 0 0 25 0 4 0 497332156 1367146496 257391 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363582 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 333776 257391 395 112 0 328741 0
[pid=4284/tid=4285] ppid=4282 vsize=1335104 CPUtime=702.25 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1086905 0 0 0 69987 238 0 0 25 0 4 0 497332156 1367146496 257391 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1335104 CPUtime=698.45 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 311260 0 0 0 69714 131 0 0 25 0 4 0 497332156 1367146496 257391 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1335104 CPUtime=702.27 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1044624 0 0 0 70003 224 0 0 25 0 4 0 497332156 1367146496 257391 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.28
Current children cumulated vsize (KiB) 1335104

[startup+762.3 s]
/proc/loadavg: 8.13 8.10 7.92 9/184 4317
/proc/meminfo: memFree=20421576/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1279160 CPUtime=3044.95 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 3946481 0 0 0 303594 901 0 0 25 0 4 0 497332156 1309859840 267174 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 319790 267174 395 112 0 314755 0
[pid=4284/tid=4285] ppid=4282 vsize=1279160 CPUtime=762.25 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1381687 0 0 0 75947 278 0 0 25 0 4 0 497332156 1309859840 267174 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1279160 CPUtime=758.12 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 311260 0 0 0 75681 131 0 0 25 0 4 0 497332156 1309859840 267174 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1279160 CPUtime=762.27 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1075436 0 0 0 75986 241 0 0 25 0 4 0 497332156 1309859840 267174 33554432000 4194304 4650419 140736798543840 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.95
Current children cumulated vsize (KiB) 1279160

[startup+822.301 s]
/proc/loadavg: 8.22 8.13 7.94 9/184 4319
/proc/meminfo: memFree=20405304/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1351768 CPUtime=3284.62 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 4158672 0 0 0 327505 957 0 0 25 0 4 0 497332156 1384210432 264196 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 337942 264197 395 112 0 332907 0
[pid=4284/tid=4285] ppid=4282 vsize=1351768 CPUtime=822.25 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1487684 0 0 0 81926 299 0 0 25 0 4 0 497332156 1384210432 264197 33554432000 4194304 4650419 140736798543840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1351768 CPUtime=817.8 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 333793 0 0 0 81638 142 0 0 25 0 4 0 497332156 1384210432 264197 33554432000 4194304 4650419 140736798543840 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1351768 CPUtime=822.27 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1104862 0 0 0 81975 252 0 0 25 0 4 0 497332156 1384210432 264197 33554432000 4194304 4650419 140736798543840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.62
Current children cumulated vsize (KiB) 1351768

[startup+882.301 s]
/proc/loadavg: 8.22 8.14 7.95 9/184 4320
/proc/meminfo: memFree=20320720/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1352992 CPUtime=3524.28 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 4580690 0 0 0 351384 1044 0 0 25 0 4 0 497332156 1385463808 267172 33554432000 4194304 4650419 140736798543840 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 338248 267172 395 112 0 333213 0
[pid=4284/tid=4285] ppid=4282 vsize=1352992 CPUtime=882.24 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1511699 0 0 0 87912 312 0 0 25 0 4 0 497332156 1385463808 267172 33554432000 4194304 4650419 140736798543840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1352992 CPUtime=877.47 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 357374 0 0 0 87594 153 0 0 25 0 4 0 497332156 1385463808 267172 33554432000 4194304 4650419 140736798543840 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1352992 CPUtime=882.27 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1132005 0 0 0 87960 267 0 0 25 0 4 0 497332156 1385463808 267172 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.28
Current children cumulated vsize (KiB) 1352992

[startup+942.3 s]
/proc/loadavg: 8.20 8.14 7.96 9/184 4322
/proc/meminfo: memFree=20281648/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1434688 CPUtime=3763.95 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 4690823 0 0 0 375309 1086 0 0 25 0 4 0 497332156 1469120512 282811 33554432000 4194304 4650419 140736798543840 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 358672 282811 395 112 0 353637 0
[pid=4284/tid=4285] ppid=4282 vsize=1434688 CPUtime=942.24 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1536073 0 0 0 93904 320 0 0 25 0 4 0 497332156 1469120512 282811 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1434688 CPUtime=937.14 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 384995 0 0 0 93550 164 0 0 25 0 4 0 497332156 1469120512 282811 33554432000 4194304 4650419 140736798543840 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1434688 CPUtime=942.26 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1157229 0 0 0 93950 276 0 0 25 0 4 0 497332156 1469120512 282811 33554432000 4194304 4650419 140736798543840 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.95
Current children cumulated vsize (KiB) 1434688

[startup+1002.3 s]
/proc/loadavg: 8.13 8.13 7.96 10/184 4323
/proc/meminfo: memFree=20253112/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1393012 CPUtime=4003.61 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 4802579 0 0 0 399233 1128 0 0 25 0 4 0 497332156 1426444288 289174 33554432000 4194304 4650419 140736798543840 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 348253 289174 395 112 0 343218 0
[pid=4284/tid=4285] ppid=4282 vsize=1393012 CPUtime=1002.24 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1559938 0 0 0 99894 330 0 0 25 0 4 0 497332156 1426444288 289174 33554432000 4194304 4650419 140736798543840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1393012 CPUtime=996.81 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 412083 0 0 0 99508 173 0 0 25 0 4 0 497332156 1426444288 289175 33554432000 4194304 4650419 140736798543840 18446744073709551615 4360522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1393012 CPUtime=1002.26 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1188460 0 0 0 99938 288 0 0 25 0 4 0 497332156 1426444288 289175 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.61
Current children cumulated vsize (KiB) 1393012

[startup+1062.3 s]
/proc/loadavg: 8.10 8.12 7.97 9/184 4325
/proc/meminfo: memFree=20177200/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1381372 CPUtime=4243.3 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 4870740 0 0 0 423168 1162 0 0 25 0 4 0 497332156 1414524928 280847 33554432000 4194304 4650419 140736798543840 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 345343 280847 395 112 0 340308 0
[pid=4284/tid=4285] ppid=4282 vsize=1381372 CPUtime=1062.24 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1563889 0 0 0 105892 332 0 0 25 0 4 0 497332156 1414524928 280848 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1381372 CPUtime=1056.49 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 425243 0 0 0 105473 176 0 0 25 0 4 0 497332156 1414524928 280848 33554432000 4194304 4650419 140736798543840 18446744073709551615 4441740 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1381372 CPUtime=1062.27 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1213352 0 0 0 105924 303 0 0 25 0 4 0 497332156 1414524928 280848 33554432000 4194304 4650419 140736798543840 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 1381372

[startup+1122.3 s]
/proc/loadavg: 8.09 8.11 7.97 9/184 4327
/proc/meminfo: memFree=20099692/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1454692 CPUtime=4482.95 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 4948034 0 0 0 447091 1204 0 0 25 0 4 0 497332156 1489604608 300314 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363556 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 363673 300314 395 112 0 358638 0
[pid=4284/tid=4285] ppid=4282 vsize=1454692 CPUtime=1122.24 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1586503 0 0 0 111879 345 0 0 25 0 4 0 497332156 1489604608 300314 33554432000 4194304 4650419 140736798543840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1454692 CPUtime=1116.16 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 425286 0 0 0 111440 176 0 0 25 0 4 0 497332156 1489604608 300314 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1454692 CPUtime=1122.26 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1241210 0 0 0 111907 319 0 0 25 0 4 0 497332156 1489604608 300314 33554432000 4194304 4650419 140736798543840 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.95
Current children cumulated vsize (KiB) 1454692

[startup+1182.31 s]
/proc/loadavg: 8.08 8.10 7.98 9/184 4328
/proc/meminfo: memFree=20065208/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1528528 CPUtime=4722.64 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 5026154 0 0 0 471019 1245 0 0 25 0 4 0 497332156 1565212672 308736 33554432000 4194304 4650419 140736798543840 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4284/statm: 382132 308736 395 112 0 377097 0
[pid=4284/tid=4285] ppid=4282 vsize=1528528 CPUtime=1182.23 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1612014 0 0 0 117865 358 0 0 25 0 4 0 497332156 1565212672 308736 33554432000 4194304 4650419 140736798543840 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1528528 CPUtime=1175.84 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 425286 0 0 0 117408 176 0 0 25 0 4 0 497332156 1565212672 308736 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1528528 CPUtime=1182.27 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1269971 0 0 0 117891 336 0 0 25 0 4 0 497332156 1565212672 308736 33554432000 4194304 4650419 140736798543840 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.64
Current children cumulated vsize (KiB) 1528528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.09 7.98 5/180 4330
/proc/meminfo: memFree=20876448/32951124 swapFree=67111528/67111528
[pid=4284] ppid=4282 vsize=1594352 CPUtime=4800.12 cores=1,3,5,7
/proc/4284/stat : 4284 (strangenight1-m) R 4282 4284 4149 0 -1 4202496 5094153 0 0 0 478747 1265 0 0 25 0 4 0 497332156 1632616448 330141 33554432000 4194304 4650419 140736798543840 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4284/statm: 398588 330141 395 112 0 393553 0
[pid=4284/tid=4285] ppid=4282 vsize=1594352 CPUtime=1201.63 cores=1,3,5,7
/proc/4284/task/4285/stat : 4285 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1617805 0 0 0 119802 361 0 0 25 0 4 0 497332156 1632616448 330141 33554432000 4194304 4650419 140736798543840 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4284/tid=4286] ppid=4282 vsize=1594352 CPUtime=1195.16 cores=1,3,5,7
/proc/4284/task/4286/stat : 4286 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 425286 0 0 0 119340 176 0 0 25 0 4 0 497332156 1632616448 330141 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4284/tid=4287] ppid=4282 vsize=1594352 CPUtime=1201.66 cores=1,3,5,7
/proc/4284/task/4287/stat : 4287 (strangenight1-m) R 4282 4284 4149 0 -1 4202560 1322266 0 0 0 119819 347 0 0 25 0 4 0 497332156 1632616448 330141 33554432000 4194304 4650419 140736798543840 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1594352

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): 1201.77
CPU time (s): 4800.21
CPU user time (s): 4787.49
CPU system time (s): 12.7151
CPU usage (%): 399.428
Max. virtual memory (cumulated for all children) (KiB): 1594352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.49
system time used= 12.7151
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5094157
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= 1844
involuntary context switches= 31453

runsolver used 1.66075 second user time and 4.90425 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 05:52:48
IDJOB=3174906
IDBENCH=82524
IDSOLVER=1588
FILE ID=node140/3174906-1304049168
RUNJOBID= node140-1304047964-4168
PBS_JOBID= 13170406
Free space on /tmp= 72656 MiB

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

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

MD5SUM BENCH= aeb1e99b5983291023a10a1b4c71c10e
RANDOM SEED=1167521164

node140.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.833
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.66
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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
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.833
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.833
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.833
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.833
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.74
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.833
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.833
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:      22185748 kB
Buffers:       2296304 kB
Cached:        7825248 kB
SwapCached:          0 kB
Active:        2669484 kB
Inactive:      7529804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22185748 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15176 kB
Writeback:           0 kB
AnonPages:       77992 kB
Mapped:          15460 kB
Slab:           504048 kB
PageTables:       4276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   272408 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= 72656 MiB
End job on node140 at 2011-04-29 06:12:52