Trace number 3368687

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.47 1203.18

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
MD5SUMdd49a0090ce99bfddfd58615449391d9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.1482
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-3368687-1305400691.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.00/0.09	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.00/0.09	c -- vars added      25000
0.00/0.17	c Parsing time:  0.28 s
0.00/0.17	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.00/0.17	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.29
0.19/0.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
0.19/0.37	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.19/0.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.19/0.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
0.19/0.37	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.03 s
0.19/0.83	c lits-rem:         0  cl-subs:        0  v-elim:    699  v-fix:    0  time:  0.99 s
0.19/0.83	c Finding binary XORs  T:     0.02 s  found:       0
0.19/0.83	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
0.19/0.83	c calculated reachability. Time: 0.00
0.19/0.83	c Calc default polars -  time:   0.03 s pos:   11191 undec:    2835 neg:   10974
0.19/0.83	c =========================================================================================
0.19/0.83	c types(t): F = full restart, N = normal restart
0.19/0.83	c types(t): S = simplification begin/end, E = solution found
0.19/0.83	c restart types(rt): st = static, dy = dynamic
0.19/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.19/0.83	c  B st     0         0     24301    103886         0         0    315509         0   no data   no data  --
6.76/1.78	c  N dy    21      4033     24301    103886         0      4033    315509    927598    134.96    145.04  --
11.55/2.93	c  N dy    49      8090     24301    103886         0      8089    315509   1781202    136.12    146.00  --
16.36/4.13	c  N dy    83     12101     24301    103886         0     12100    315509   2666013    140.18    162.47  --
21.16/5.39	c  N dy   112     16201     24301    103886         0     16200    315509   3581865    142.06    165.37  --
26.70/6.72	c  N dy   142     20272     24301    103886         0     10276    315509    649137    143.48    155.04  --
31.50/7.97	c  N dy   170     24369     24301    103886         0     14371    315509   1577297    143.68    155.05  --
32.29/8.17	c  F st   176     25002     24301    103886         0     15004    315509   1728447    143.91   no data  --
39.07/9.89	c  N dy   182     30001     24301    103886         0     20003    315509   3287934    143.91   no data  --
39.07/9.89	c  S st   182     30001     24301    103886         0     20003    315509   3287934    143.91   no data  --
39.87/10.06	c  S st   182     30507     24301    103886         0     20509    315509   3376496    143.91   no data  --
39.87/10.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
39.87/10.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.67/10.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
41.87/10.57	c bin-w-bin subsume rem            0 bins  time:  0.03 s
41.87/10.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
41.87/10.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.04 s
42.27/10.60	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
71.79/18.07	c lits-rem:         0  cl-subs:     1967  v-elim:    136  v-fix:    0  time: 29.68 s
72.60/18.21	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.53
72.60/18.21	c calculated reachability. Time: 0.00
72.60/18.21	c  N dy   182     30507     24165    104022         0     18542    316752   2411071    143.91   no data  --
78.21/19.69	c  N dy   211     34508     24165    104022         0     22542    316752   3291337    143.94    152.89  --
84.56/21.24	c  N dy   240     38570     24165    104022         0     26604    316752   4190552    143.94    153.25  --
90.97/22.83	c  N dy   267     42578     24165    104022         0     30612    316752   5079332    143.99    152.71  --
95.35/23.93	c  S st   290     45760     24165    104022         0     18296    316752   1330194    144.10   no data  --
96.13/24.10	c  S st   290     46262     24165    104022         0     18798    316752   1414699    144.10   no data  --
96.13/24.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
96.13/24.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.53/24.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.51
96.92/24.36	c bin-w-bin subsume rem            0 bins  time:  0.03 s
96.92/24.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
96.92/24.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.03 s
96.92/24.39	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
109.69/27.59	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.71 s
110.10/27.60	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
110.10/27.62	c vivif2 --  cl tried    18798 cl shrink        0 lits rem          0 time: 0.09
110.49/27.75	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.48
110.49/27.75	c calculated reachability. Time: 0.00
110.49/27.75	c  N dy   290     46262     24165    104022         0     18798    316752   1414697    144.10   no data  --
116.08/29.18	c  N dy   321     50369     24165    104022         0     22905    316752   2362114    144.67    155.90  --
121.69/30.58	c  N dy   347     54411     24165    104022         0     26947    316752   3254428    144.47    175.96  --
127.65/32.05	c  N dy   378     58498     24165    104022         0     31033    316752   4162073    144.46    156.68  --
133.63/33.57	c  N dy   406     62566     24165    104022         0     35101    316752   5067957    144.34    158.80  --
139.67/35.05	c  N dy   436     66622     24165    104022         0     20406    316752   1075134    144.85    162.56  --
143.21/35.97	c  S st   454     69393     24165    104022         0     23177    316752   1701622    144.62   no data  --
144.05/36.13	c  S st   454     69894     24165    104022         0     23678    316752   1776466    144.62   no data  --
144.05/36.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
144.05/36.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.41/36.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.53
145.21/36.42	c bin-w-bin subsume rem            0 bins  time:  0.03 s
145.21/36.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
145.21/36.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
145.21/36.44	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
160.77/40.34	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.50 s
160.77/40.35	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
160.77/40.38	c vivif2 --  cl tried    23678 cl shrink        0 lits rem          0 time: 0.11
161.61/40.51	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.51
161.61/40.52	c calculated reachability. Time: 0.00
161.61/40.52	c  N dy   454     69894     24165    104022         0     23678    316752   1776465    144.62   no data  --
167.95/42.11	c  N dy   490     74414     24165    104022         0     28198    316752   2840073    144.98    170.18  --
174.77/43.83	c  N dy   520     79378     24165    104022         0     33162    316752   3949070    144.62    152.43  --
181.92/45.69	c  N dy   555     84534     24165    104022         0     38318    316752   5106566    144.76    158.27  --
186.71/46.80	c  F st   574     87502     24165    104022         0     41286    316752   5791966    144.74   no data  --
191.50/48.04	c  N st   579     90797     24165    104022         0     23707    316752   1456786    144.74   no data  --
199.47/50.06	c  N dy   605     96646     24165    104022         0     29556    316752   2882058    144.68    169.49  --
208.65/52.38	c  N dy   645    103022     24165    104022         0     35932    316752   4295640    144.71    153.02  --
211.44/53.08	c  S st   658    104843     24165    104022         0     37753    316752   4700650    144.71   no data  --
212.24/53.28	c  S st   658    105347     24165    104022         0     38257    316752   4788806    144.71   no data  --
212.64/53.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
212.64/53.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
213.04/53.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.58
214.63/53.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
214.63/53.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
214.63/53.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.03 s
214.63/53.82	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
394.98/99.04	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 179.86 s
394.98/99.05	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
395.39/99.13	c vivif2 --  cl tried    38254 cl shrink        0 lits rem          0 time: 0.28
395.79/99.29	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.65
395.79/99.30	c calculated reachability. Time: 0.01
396.18/99.30	c  N dy   658    105347     24165    104022         0     38254    316752   4788136    144.71   no data  --
406.16/101.88	c  N dy   704    112166     24165    104022         0     22638    316752    656443    144.77    153.54  --
416.17/104.36	c  N dy   750    119455     24165    104022         0     29926    316752   2296370    144.61    159.19  --
427.31/107.18	c  N dy   806    127241     24165    104022         0     37712    316752   4074901    144.80    152.81  --
439.67/110.24	c  N dy   860    135515     24165    104022         0     45986    316752   5940213    144.85    152.76  --
452.04/113.35	c  N dy   916    144200     24165    104022         0     30953    316752   2210538    144.87    153.64  --
466.01/116.84	c  N dy   984    153640     24165    104022         0     40392    316752   4375256    145.02    161.27  --
472.40/118.50	c  S st  1011    158023     24165    104022         0     44775    316752   5360402    145.01   no data  --
473.59/118.70	c  S st  1011    158525     24165    104022         0     45277    316752   5447822    145.01   no data  --
473.59/118.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
473.59/118.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
473.99/118.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.61
475.59/119.26	c bin-w-bin subsume rem            0 bins  time:  0.03 s
475.59/119.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
475.59/119.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
475.59/119.29	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
729.35/182.83	c lits-rem:        10  cl-subs:        1  v-elim:      0  v-fix:    0  time: 252.71 s
729.35/182.84	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
729.75/182.92	c vivif2 --  cl tried    45276 cl shrink        0 lits rem          0 time: 0.32
730.55/183.10	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.72
730.55/183.11	c calculated reachability. Time: 0.00
730.55/183.11	c  N dy  1011    158525     24165    104022         0     45276    316752   5447088    145.01   no data  --
745.35/186.82	c  N dy  1072    168662     24165    104022         0     30556    316752   1854701    144.85    162.95  --
761.27/190.85	c  N dy  1142    179456     24165    104022         0     41350    316752   4263788    144.78    155.09  --
779.63/195.47	c  N dy  1218    190996     24165    104022         0     26960    316752    750456    144.84    153.42  --
797.60/199.99	c  N dy  1297    203207     24165    104022         0     39171    316752   3490287    144.77    165.26  --
818.34/205.17	c  N dy  1379    216223     24165    104022         0     52187    316752   6378242    144.61    156.09  --
839.87/210.53	c  N dy  1470    230481     24165    104022         0     39481    316752   3283981    144.47    152.74  --
851.44/213.46	c  S st  1527    237787     24165    104022         0     46786    316752   4976878    144.60    108.67  --
852.25/213.67	c  S st  1527    238291     24165    104022         0     47289    316752   5063777    144.60   no data  --
852.25/213.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
852.25/213.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
853.04/213.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
854.24/214.18	c bin-w-bin subsume rem            0 bins  time:  0.03 s
854.24/214.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
854.24/214.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.03 s
854.66/214.21	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.03 s
1084.06/271.75	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 228.94 s
1084.06/271.76	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
1084.47/271.84	c vivif2 --  cl tried    47286 cl shrink        0 lits rem          0 time: 0.31
1085.27/272.03	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.75
1085.27/272.04	c calculated reachability. Time: 0.00
1085.27/272.04	c  N dy  1527    238291     24165    104022         0     47286    316752   5062355    144.60   no data  --
1109.23/278.07	c  N dy  1623    253560     24165    104022         0     34570    316752   1966472    144.55    152.74  --
1135.15/284.60	c  N dy  1737    269864     24165    104022         0     50873    316752   5690155    144.70    154.35  --
1161.90/291.23	c  N dy  1850    287202     24165    104022         0     39221    316752   2803131    144.72    156.10  --
1190.60/298.43	c  N dy  1971    305688     24165    104022         0     57707    316752   6962556    144.68    158.28  --
1191.40/298.66	c  F st  1975    306253     24165    104022         0     58272    316752   7088115    144.65   no data  --
1221.32/306.14	c  N dy  2065    325278     24165    104022         0     47304    316752   4721682    144.66    159.08  --
1254.06/314.31	c  N dy  2196    345279     24165    104022         0     36318    316752   1654970    144.67    152.42  --
1272.79/319.05	c  S st  2275    357437     24165    104022         0     48476    316752   4342472    144.62   no data  --
1273.59/319.27	c  S st  2275    357940     24165    104022         0     48979    316752   4430646    144.62   no data  --
1273.59/319.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1273.59/319.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1274.39/319.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
1275.59/319.75	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1275.59/319.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1275.59/319.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.03 s
1275.59/319.78	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1433.20/359.27	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 157.12 s
1433.20/359.29	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
1433.60/359.36	c vivif2 --  cl tried    48977 cl shrink        0 lits rem          0 time: 0.27
1434.43/359.55	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.76
1434.43/359.56	c calculated reachability. Time: 0.00
1434.43/359.56	c  N dy  2275    357940     24165    104022         0     48977    316752   4429900    144.62   no data  --
1467.92/367.95	c  N dy  2410    378051     24165    104022         0     37082    316752   1629809    144.74    153.11  --
1500.27/376.01	c  N dy  2545    398079     24165    104022         0     57110    316752   6223029    144.83    157.98  --
1534.14/384.55	c  N dy  2691    418248     24165    104022         0     44282    316752   3033570    144.93    155.02  --
1568.86/393.29	c  N dy  2823    438295     24165    104022         0     64329    316752   7631126    144.94    165.20  --
1602.37/401.67	c  N dy  2961    458352     24165    104022         0     50380    316752   4159762    144.94    158.60  --
1638.29/410.61	c  N dy  3090    478452     24165    104022         0     35480    316752    570242    144.95    153.73  --
1671.02/418.82	c  N dy  3211    498551     24165    104022         0     55579    316752   5095262    144.91    155.57  --
1707.31/427.96	c  N dy  3343    518688     24165    104022         0     39715    316752   1288489    144.91    153.28  --
1737.63/435.54	c  S st  3475    536911     24165    104022         0     57937    316752   5447340    145.00   no data  --
1738.43/435.76	c  S st  3475    537413     24165    104022         0     58439    316752   5531141    145.00   no data  --
1738.43/435.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1738.43/435.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1739.23/435.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.67
1740.83/436.31	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1740.83/436.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1740.83/436.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
1740.83/436.34	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2022.91/507.01	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 281.34 s
2022.91/507.02	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
2023.31/507.11	c vivif2 --  cl tried    58435 cl shrink        0 lits rem          0 time: 0.34
2024.11/507.31	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.82
2024.11/507.32	c calculated reachability. Time: 0.00
2024.11/507.32	c  N dy  3475    537413     24165    104022         0     58435    316752   5530340    145.00   no data  --
2057.26/515.66	c  N dy  3607    557434     24165    104022         0     41459    316752   1520079    145.00    214.05  --
2089.15/523.69	c  N dy  3744    577496     24165    104022         0     61521    316752   6088745    145.05    176.33  --
2123.09/532.20	c  N dy  3889    597694     24165    104022         0     43717    316752   1779174    145.15    160.90  --
2155.37/540.29	c  N dy  4022    617883     24165    104022         0     63904    316752   6345261    145.15    157.29  --
2189.34/548.78	c  N dy  4156    637924     24165    104022         0     44948    316752   1813429    145.17    156.59  --
2221.61/556.87	c  N dy  4291    657980     24165    104022         0     65002    316752   6426180    145.20    152.87  --
2255.92/565.49	c  N dy  4423    678137     24165    104022         0     45164    316752   1638824    145.22    154.07  --
2289.05/573.76	c  N dy  4560    698473     24165    104022         0     65499    316752   6356939    145.27    154.37  --
2324.16/582.59	c  N dy  4704    718492     24165    104022         0     44520    316752   1308527    145.40    156.62  --
2356.46/590.67	c  N dy  4838    738574     24165    104022         0     64598    316752   5872296    145.41    155.36  --
2392.78/599.71	c  N dy  4968    758949     24165    104022         0     42980    316752    687533    145.35    156.92  --
2424.70/607.74	c  N dy  5104    778950     24165    104022         0     62980    316752   5272853    145.39    154.02  --
2460.22/616.67	c  N dy  5238    798986     24165    104022         0     83015    316752   9813267    145.39    153.09  --
2472.58/619.72	c  S st  5284    806119     24165    104022         0     47150    316752   1404589    145.38   no data  --
2473.37/619.93	c  S st  5284    806621     24165    104022         0     47652    316752   1500498    145.38   no data  --
2473.37/619.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2473.37/619.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2473.77/620.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.61
2474.61/620.22	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2474.61/620.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2474.61/620.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
2474.61/620.24	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2489.33/623.91	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 14.59 s
2489.33/623.92	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
2489.33/623.95	c vivif2 --  cl tried    47651 cl shrink        0 lits rem          0 time: 0.10
2490.13/624.12	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.70
2490.13/624.13	c calculated reachability. Time: 0.00
2490.13/624.13	c  N dy  5284    806621     24165    104022         0     47651    316752   1500257    145.38   no data  --
2523.24/632.41	c  N dy  5425    826725     24165    104022         0     67755    316752   6182703    145.44    153.21  --
2559.95/641.61	c  N dy  5564    846798     24165    104022         0     87828    316752  10821404    145.48    160.58  --
2592.28/649.72	c  N dy  5696    866814     24165    104022         0     63838    316752   4998427    145.48    155.59  --
2630.18/659.27	c  N dy  5829    886835     24165    104022         0     83856    316752   9529335    145.49    153.18  --
2666.49/668.38	c  N dy  5964    906878     24165    104022         0     58900    316752   3653982    145.47    153.49  --
2704.39/677.86	c  N dy  6107    926908     24165    104022         0     78927    316752   8242231    145.51    154.35  --
2743.09/687.52	c  N dy  6238    946982     24165    104022         0     53006    316752   2101726    145.49    155.60  --
2777.80/696.23	c  N dy  6356    967019     24165    104022         0     73040    316752   6623336    145.42    153.19  --
2817.30/706.11	c  N dy  6492    987043     24165    104022         0     93060    316752  11193753    145.44    158.33  --
2852.82/715.06	c  N dy  6632   1007175     24165    104022         0     66199    316752   4886171    145.49    153.65  --
2891.57/724.73	c  N dy  6760   1027220     24165    104022         0     86244    316752   9422653    145.47    159.67  --
2929.83/734.30	c  N dy  6893   1047287     24165    104022         0     58312    316752   2869426    145.50    154.12  --
2966.94/743.64	c  N dy  7023   1067483     24165    104022         0     78506    316752   7480140    145.50    156.69  --
2975.71/745.82	c  F st  7054   1071875     24165    104022         0     82898    316752   8521989    145.52    144.01  --
3008.03/753.98	c  N dy  7130   1087555     24165    104022         0     49578    316752    644752    145.53    166.90  --
3043.54/762.89	c  N dy  7273   1107558     24165    104022         0     69578    316752   5274439    145.60    153.83  --
3083.45/772.84	c  N dy  7413   1127735     24165    104022         0     89754    316752   9942612    145.65    157.63  --
3121.75/782.49	c  N dy  7547   1147837     24165    104022         0     59864    316752   2767691    145.67    157.13  --
3158.46/791.64	c  N dy  7683   1167940     24165    104022         0     79965    316752   7289518    145.64    153.86  --
3197.96/801.52	c  N dy  7824   1188107     24165    104022         0    100131    316752  11899680    145.66    157.82  --
3231.47/810.00	c  N dy  7958   1208120     24165    104022         0     69150    316752   4607384    145.66    156.37  --
3234.66/810.77	c  S st  7969   1209932     24165    104022         0     70962    316752   5029976    145.65   no data  --
3235.86/811.02	c  S st  7969   1210432     24165    104022         0     71462    316752   5122394    145.65   no data  --
3235.86/811.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3235.86/811.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3236.66/811.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3237.88/811.54	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3237.88/811.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3237.88/811.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
3237.88/811.57	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
3495.61/876.13	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 256.65 s
3495.61/876.14	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
3496.01/876.22	c vivif2 --  cl tried    71460 cl shrink        0 lits rem          0 time: 0.32
3496.83/876.45	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.92
3496.83/876.46	c calculated reachability. Time: 0.00
3496.83/876.46	c  N dy  7969   1210432     24165    104022         0     71460    316752   5121507    145.65   no data  --
3533.51/885.65	c  N dy  8102   1230630     24165    104022         0     91658    316752   9761266    145.66    155.17  --
3570.62/894.91	c  N dy  8241   1250632     24165    104022         0     59663    316752   2223440    145.67    160.56  --
3605.33/903.67	c  N dy  8381   1270640     24165    104022         0     79671    316752   6817655    145.71    154.41  --
3644.42/913.40	c  N dy  8521   1290726     24165    104022         0     99757    316752  11388881    145.71    169.65  --
3679.94/922.37	c  N dy  8662   1310801     24165    104022         0     66829    316752   3732640    145.74    170.28  --
3716.26/931.50	c  N dy  8808   1330844     24165    104022         0     86870    316752   8407378    145.82    154.27  --
3756.19/941.45	c  N dy  8944   1350862     24165    104022         0    106886    316752  12992225    145.84    154.11  --
3790.46/950.08	c  N dy  9080   1370938     24165    104022         0     72965    316752   4832204    145.85    158.30  --
3827.56/959.37	c  N dy  9210   1391026     24165    104022         0     93052    316752   9420803    145.86    179.71  --
3867.46/969.37	c  N dy  9350   1411147     24165    104022         0     58172    316752   1232206    145.88    154.04  --
3902.17/978.01	c  N dy  9488   1431223     24165    104022         0     78246    316752   5822656    145.90    156.33  --
3940.11/987.53	c  N dy  9617   1451313     24165    104022         0     98335    316752  10456278    145.92    160.93  --
3978.38/997.18	c  N dy  9749   1471406     24165    104022         0     62428    316752   1975104    145.92    154.35  --
4013.49/1005.98	c  N dy  9885   1491473     24165    104022         0     82494    316752   6550134    145.91    155.51  --
4052.19/1015.68	c  N dy 10022   1511509     24165    104022         0    102530    316752  11151904    145.91    157.70  --
4092.09/1025.60	c  N dy 10158   1531634     24165    104022         0     65654    316752   2527224    145.93    153.80  --
4129.24/1034.93	c  N dy 10285   1551677     24165    104022         0     85694    316752   7078299    145.93    155.97  --
4171.89/1045.60	c  N dy 10418   1571758     24165    104022         0    105773    316752  11625724    145.94    158.89  --
4213.38/1056.05	c  N dy 10560   1591938     24165    104022         0     67958    316752   2833549    145.96    159.41  --
4252.49/1065.89	c  N dy 10701   1611968     24165    104022         0     87986    316752   7436576    145.98    156.06  --
4295.61/1076.68	c  N dy 10841   1631986     24165    104022         0    108004    316752  11971750    145.98    155.73  --
4337.48/1087.11	c  N dy 10977   1652039     24165    104022         0     69059    316752   2865692    146.00    154.29  --
4377.38/1097.16	c  N dy 11118   1672195     24165    104022         0     89213    316752   7526265    146.03    166.56  --
4420.07/1107.87	c  N dy 11251   1692250     24165    104022         0    109268    316752  12161938    146.03    154.53  --
4458.00/1117.33	c  S st 11377   1710436     24165    104022         0     67458    316752   2289369    146.05    131.93  --
4458.77/1117.57	c  S st 11377   1710942     24165    104022         0     67964    316752   2360813    146.05   no data  --
4458.77/1117.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4458.77/1117.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4459.58/1117.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
4460.37/1117.95	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4460.37/1117.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4460.37/1117.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24165 time:  0.04 s
4460.37/1117.98	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4489.49/1125.22	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 28.79 s
4489.49/1125.23	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.06
4489.49/1125.27	c vivif2 --  cl tried    67961 cl shrink        0 lits rem          0 time: 0.16
4490.70/1125.50	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.90
4490.70/1125.51	c calculated reachability. Time: 0.00
4490.70/1125.51	c  N dy 11377   1710942     24165    104022         0     67961    316752   2360043    146.05   no data  --
4528.22/1134.99	c  N dy 11519   1731035     24165    104022         0     88052    316752   7046848    146.10    165.69  --
4570.10/1145.48	c  N dy 11662   1751142     24165    104022         0    108158    316752  11711802    146.14    156.78  --
4612.38/1156.03	c  N dy 11796   1771222     24165    104022         0     67246    316752   2048032    146.16    160.44  --
4650.29/1165.57	c  N dy 11933   1791378     24165    104022         0     87402    316752   6726637    146.17    154.05  --
4692.18/1176.07	c  N dy 12064   1811673     24165    104022         0    107694    316752  11366414    146.18    160.50  --
4736.47/1187.11	c  N dy 12207   1831786     24165    104022         0     65807    316752   1436264    146.21    167.56  --
4774.77/1196.80	c  N dy 12343   1851989     24165    104022         0     86010    316752   6056844    146.21    162.57  --

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-3368687-1305400691/watcher-3368687-1305400691 -o /tmp/evaluation-result-3368687-1305400691/solver-3368687-1305400691 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368687-1305400691.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: 6.86 7.84 7.98 6/320 14181
/proc/meminfo: memFree=28003012/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 651667904 52465664 352 33554432000 4194304 4650419 140736005255920 18446744073709551615 47523024537522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 12809 352 303 112 0 7774 0
[pid=14181/tid=14182] ppid=14179 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651667904 52465664 352 33554432000 4194304 4650419 140736005255920 18446744073709551615 47523024537526 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651667904 52465664 352 33554432000 4194304 4650419 140736005255920 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651667904 52465664 352 33554432000 4194304 4650419 140736005255920 18446744073709551615 47523024537522 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0454859 s]
/proc/loadavg: 6.86 7.84 7.98 6/320 14181
/proc/meminfo: memFree=28003012/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=303480 CPUtime=0.19 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 13771 0 0 0 17 2 0 0 18 0 4 0 651667904 310763520 11670 33554432000 4194304 4650419 140736005255920 18446744073709551615 268272350241 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 76203 13404 344 112 0 71168 0
[pid=14181/tid=14182] ppid=14179 vsize=306828 CPUtime=0.07 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 3968 0 0 0 7 0 0 0 18 0 4 0 651667904 314191872 14480 33554432000 4194304 4650419 140736005255920 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=327140 CPUtime=0.16 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) D 14179 14181 13843 0 -1 4202560 5502 0 0 0 15 1 0 0 18 0 4 0 651667904 334991360 18024 33554432000 4194304 4650419 140736005255920 18446744073709551615 268272349505 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=327140 CPUtime=0.16 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 4414 0 0 0 15 1 0 0 18 0 4 0 651667904 334991360 17526 33554432000 4194304 4650419 140736005255920 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 303480

[startup+0.336197 s]
/proc/loadavg: 6.86 7.84 7.98 6/320 14181
/proc/meminfo: memFree=28003012/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=318932 CPUtime=4.23 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 37048 0 0 0 416 7 0 0 19 0 4 0 651667904 326586368 29154 33554432000 4194304 4650419 140736005255920 18446744073709551615 4333600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 79733 29154 391 112 0 74698 0
[pid=14181/tid=14182] ppid=14179 vsize=318932 CPUtime=1.05 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 10278 0 0 0 104 1 0 0 19 0 4 0 651667904 326586368 29154 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=318932 CPUtime=1.03 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 10402 0 0 0 102 1 0 0 19 0 4 0 651667904 326586368 29154 33554432000 4194304 4650419 140736005255920 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=318932 CPUtime=1.05 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 5100 0 0 0 104 1 0 0 19 0 4 0 651667904 326586368 29154 33554432000 4194304 4650419 140736005255920 18446744073709551615 4316028 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 318932

[startup+1.16731 s]
/proc/loadavg: 6.86 7.84 7.98 6/320 14181
/proc/meminfo: memFree=28003012/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=318932 CPUtime=4.63 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 37429 0 0 0 456 7 0 0 19 0 4 0 651667904 326586368 29535 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 79733 29535 391 112 0 74698 0
[pid=14181/tid=14182] ppid=14179 vsize=318932 CPUtime=1.15 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 10394 0 0 0 114 1 0 0 19 0 4 0 651667904 326586368 29535 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=318932 CPUtime=1.13 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 10492 0 0 0 112 1 0 0 19 0 4 0 651667904 326586368 29535 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=318932 CPUtime=1.15 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 5176 0 0 0 114 1 0 0 19 0 4 0 651667904 326586368 29535 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 318932

[startup+1.2673 s]
/proc/loadavg: 6.86 7.84 7.98 6/320 14181
/proc/meminfo: memFree=28003012/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=318932 CPUtime=5.03 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 37762 0 0 0 496 7 0 0 19 0 4 0 651667904 326586368 29868 33554432000 4194304 4650419 140736005255920 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 79733 29870 391 112 0 74698 0
[pid=14181/tid=14182] ppid=14179 vsize=318932 CPUtime=1.25 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 10478 0 0 0 124 1 0 0 19 0 4 0 651667904 326586368 29870 33554432000 4194304 4650419 140736005255920 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=318932 CPUtime=1.23 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 10579 0 0 0 122 1 0 0 19 0 4 0 651667904 326586368 29870 33554432000 4194304 4650419 140736005255920 18446744073709551615 4334650 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=318932 CPUtime=1.25 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 5247 0 0 0 124 1 0 0 19 0 4 0 651667904 326586368 29870 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364477 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 318932

[startup+1.50026 s]
/proc/loadavg: 6.86 7.84 7.98 6/320 14181
/proc/meminfo: memFree=28003012/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=318932 CPUtime=5.96 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 38470 0 0 0 589 7 0 0 20 0 4 0 651667904 326586368 30576 33554432000 4194304 4650419 140736005255920 18446744073709551615 4365453 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 79733 30576 391 112 0 74698 0
[pid=14181/tid=14182] ppid=14179 vsize=318932 CPUtime=1.49 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 10650 0 0 0 148 1 0 0 19 0 4 0 651667904 326586368 30576 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=318932 CPUtime=1.48 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 10770 0 0 0 146 2 0 0 19 0 4 0 651667904 326586368 30576 33554432000 4194304 4650419 140736005255920 18446744073709551615 4311000 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=318932 CPUtime=1.48 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 5423 0 0 0 147 1 0 0 20 0 4 0 651667904 326586368 30576 33554432000 4194304 4650419 140736005255920 18446744073709551615 4328259 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) 318932

[startup+3.11197 s]
/proc/loadavg: 6.86 7.84 7.98 9/324 14185
/proc/meminfo: memFree=27820752/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=353220 CPUtime=12.39 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 43674 0 0 0 1231 8 0 0 25 0 4 0 651667904 361697280 35780 33554432000 4194304 4650419 140736005255920 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 88305 35781 391 112 0 83270 0
[pid=14181/tid=14182] ppid=14179 vsize=353220 CPUtime=3.1 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 11832 0 0 0 309 1 0 0 25 0 4 0 651667904 361697280 35781 33554432000 4194304 4650419 140736005255920 18446744073709551615 4326660 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=353220 CPUtime=3.06 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 12005 0 0 0 304 2 0 0 24 0 4 0 651667904 361697280 35781 33554432000 4194304 4650419 140736005255920 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=353220 CPUtime=3.09 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 7023 0 0 0 308 1 0 0 25 0 4 0 651667904 361697280 35781 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363371 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 353220

[startup+6.30041 s]
/proc/loadavg: 6.95 7.84 7.98 9/324 14185
/proc/meminfo: memFree=27747120/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=463916 CPUtime=25.13 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 54795 0 0 0 2504 9 0 0 25 0 4 0 651667904 475049984 41866 33554432000 4194304 4650419 140736005255920 18446744073709551615 4229486 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 115979 41866 393 112 0 110944 0
[pid=14181/tid=14182] ppid=14179 vsize=463916 CPUtime=6.3 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 14098 0 0 0 629 1 0 0 25 0 4 0 651667904 475049984 41878 33554432000 4194304 4650419 140736005255920 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=463916 CPUtime=6.23 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 14284 0 0 0 620 3 0 0 25 0 4 0 651667904 475049984 41878 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=463916 CPUtime=6.29 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 11313 0 0 0 628 1 0 0 25 0 4 0 651667904 475049984 41878 33554432000 4194304 4650419 140736005255920 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 463916

[startup+12.7003 s]
/proc/loadavg: 7.03 7.84 7.98 9/324 14185
/proc/meminfo: memFree=27635048/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=694180 CPUtime=50.65 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 109327 0 0 0 5042 23 0 0 25 0 4 0 651667904 710840320 80133 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 173545 80136 395 112 0 168510 0
[pid=14181/tid=14182] ppid=14179 vsize=694180 CPUtime=12.69 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 34390 0 0 0 1263 6 0 0 25 0 4 0 651667904 710840320 80138 33554432000 4194304 4650419 140736005255920 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=694180 CPUtime=12.57 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 20513 0 0 0 1253 4 0 0 25 0 4 0 651667904 710840320 80139 33554432000 4194304 4650419 140736005255920 18446744073709551615 4334509 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=694180 CPUtime=12.69 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 15860 0 0 0 1266 3 0 0 25 0 4 0 651667904 710840320 80139 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 694180

[startup+25.501 s]
/proc/loadavg: 7.24 7.85 7.98 9/324 14185
/proc/meminfo: memFree=27391476/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=722056 CPUtime=101.72 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 197283 0 0 0 10130 42 0 0 25 0 4 0 651667904 739385344 113535 33554432000 4194304 4650419 140736005255920 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 180514 113535 395 112 0 175479 0
[pid=14181/tid=14182] ppid=14179 vsize=722056 CPUtime=25.49 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 74037 0 0 0 2537 12 0 0 25 0 4 0 651667904 739385344 113535 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=722056 CPUtime=25.23 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 36598 0 0 0 2514 9 0 0 25 0 4 0 651667904 739385344 113535 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=722056 CPUtime=25.49 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 39850 0 0 0 2541 8 0 0 25 0 4 0 651667904 739385344 113535 33554432000 4194304 4650419 140736005255920 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 722056

[startup+51.1004 s]
/proc/loadavg: 7.50 7.86 7.98 9/324 14186
/proc/meminfo: memFree=27269400/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=782616 CPUtime=203.86 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 354442 0 0 0 20311 75 0 0 25 0 4 0 651667904 801398784 132953 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 195654 132953 395 112 0 190619 0
[pid=14181/tid=14182] ppid=14179 vsize=782616 CPUtime=51.09 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 167406 0 0 0 5083 26 0 0 25 0 4 0 651667904 801398784 132953 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=782616 CPUtime=50.58 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 63891 0 0 0 5041 17 0 0 25 0 4 0 651667904 801398784 132953 33554432000 4194304 4650419 140736005255920 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=782616 CPUtime=51.08 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 55018 0 0 0 5096 12 0 0 25 0 4 0 651667904 801398784 132953 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 782616

[startup+102.3 s]
/proc/loadavg: 7.78 7.88 7.98 9/324 14187
/proc/meminfo: memFree=27106308/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=835824 CPUtime=408.14 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 709031 0 0 0 40676 138 0 0 25 0 4 0 651667904 855883776 156828 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 208956 156828 395 112 0 203921 0
[pid=14181/tid=14182] ppid=14179 vsize=835824 CPUtime=102.29 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 191175 0 0 0 10194 35 0 0 25 0 4 0 651667904 855883776 156828 33554432000 4194304 4650419 140736005255920 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=835824 CPUtime=101.26 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 95970 0 0 0 10098 28 0 0 25 0 4 0 651667904 855883776 156828 33554432000 4194304 4650419 140736005255920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=835824 CPUtime=102.28 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 73482 0 0 0 10209 19 0 0 25 0 4 0 651667904 855883776 156828 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 835824

[startup+162.301 s]

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

[pid=14181] ppid=14179 vsize=1133096 CPUtime=2562.75 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 2721650 0 0 0 255649 626 0 0 25 0 4 0 651667904 1160290304 244318 33554432000 4194304 4650419 140736005255920 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 283274 244318 395 112 0 278239 0
[pid=14181/tid=14182] ppid=14179 vsize=1133096 CPUtime=642.28 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 873864 0 0 0 64037 191 0 0 25 0 4 0 651667904 1160290304 244318 33554432000 4194304 4650419 140736005255920 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1133096 CPUtime=635.86 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 510271 0 0 0 63444 142 0 0 25 0 4 0 651667904 1160290304 244318 33554432000 4194304 4650419 140736005255920 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1133096 CPUtime=642.29 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 265765 0 0 0 64132 97 0 0 25 0 4 0 651667904 1160290304 244318 33554432000 4194304 4650419 140736005255920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.75
Current children cumulated vsize (KiB) 1133096

[startup+702.301 s]
/proc/loadavg: 8.06 8.07 8.02 10/324 14203
/proc/meminfo: memFree=26445148/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1397784 CPUtime=2802.14 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 2984661 0 0 0 279530 684 0 0 25 0 4 0 651667904 1431330816 273489 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 349446 273489 395 112 0 344411 0
[pid=14181/tid=14182] ppid=14179 vsize=1397784 CPUtime=702.29 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1068830 0 0 0 70011 218 0 0 25 0 4 0 651667904 1431330816 273489 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1397784 CPUtime=695.27 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 538879 0 0 0 69372 155 0 0 25 0 4 0 651667904 1431330816 273489 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1397784 CPUtime=702.29 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 277915 0 0 0 70127 102 0 0 25 0 4 0 651667904 1431330816 273489 33554432000 4194304 4650419 140736005255920 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.14
Current children cumulated vsize (KiB) 1397784

[startup+762.301 s]
/proc/loadavg: 8.07 8.07 8.02 9/324 14205
/proc/meminfo: memFree=26486288/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1312996 CPUtime=3041.54 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 3600986 0 0 0 303360 794 0 0 25 0 4 0 651667904 1344507904 257838 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 328249 257838 421 112 0 323214 0
[pid=14181/tid=14182] ppid=14179 vsize=1312996 CPUtime=762.29 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1327115 0 0 0 75976 253 0 0 25 0 4 0 651667904 1344507904 257838 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1312996 CPUtime=754.66 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 840488 0 0 0 75269 197 0 0 25 0 4 0 651667904 1344507904 257838 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1312996 CPUtime=762.29 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 303230 0 0 0 76113 116 0 0 25 0 4 0 651667904 1344507904 257838 33554432000 4194304 4650419 140736005255920 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.54
Current children cumulated vsize (KiB) 1312996

[startup+822.3 s]
/proc/loadavg: 8.06 8.07 8.02 9/324 14207
/proc/meminfo: memFree=26405660/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1399896 CPUtime=3280.95 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 4020208 0 0 0 327217 878 0 0 25 0 4 0 651667904 1433493504 280904 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 349974 280904 395 112 0 344939 0
[pid=14181/tid=14182] ppid=14179 vsize=1399896 CPUtime=822.28 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1517738 0 0 0 81946 282 0 0 25 0 4 0 651667904 1433493504 280904 33554432000 4194304 4650419 140736005255920 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1399896 CPUtime=814.07 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 967829 0 0 0 81186 221 0 0 25 0 4 0 651667904 1433493504 280904 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1399896 CPUtime=822.29 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 329924 0 0 0 82100 129 0 0 25 0 4 0 651667904 1433493504 280904 33554432000 4194304 4650419 140736005255920 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.95
Current children cumulated vsize (KiB) 1399896

[startup+882.301 s]
/proc/loadavg: 8.10 8.08 8.02 9/324 14208
/proc/meminfo: memFree=26416672/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1314336 CPUtime=3520.34 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 4423429 0 0 0 351068 966 0 0 25 0 4 0 651667904 1345880064 274271 33554432000 4194304 4650419 140736005255920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 328584 274271 395 112 0 323549 0
[pid=14181/tid=14182] ppid=14179 vsize=1314336 CPUtime=882.28 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1541414 0 0 0 87933 295 0 0 25 0 4 0 651667904 1345880064 274271 33554432000 4194304 4650419 140736005255920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1314336 CPUtime=873.46 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 995438 0 0 0 87113 233 0 0 25 0 4 0 651667904 1345880064 274271 33554432000 4194304 4650419 140736005255920 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1314336 CPUtime=882.29 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 357068 0 0 0 88086 143 0 0 25 0 4 0 651667904 1345880064 274271 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.34
Current children cumulated vsize (KiB) 1314336

[startup+942.301 s]
/proc/loadavg: 8.15 8.09 8.03 9/324 14210
/proc/meminfo: memFree=26415272/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1353152 CPUtime=3759.74 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 4533875 0 0 0 374968 1006 0 0 25 0 4 0 651667904 1385627648 266036 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 338288 266036 395 112 0 333253 0
[pid=14181/tid=14182] ppid=14179 vsize=1353152 CPUtime=942.28 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1563885 0 0 0 93925 303 0 0 25 0 4 0 651667904 1385627648 266036 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1353152 CPUtime=932.86 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1022095 0 0 0 93044 242 0 0 25 0 4 0 651667904 1385627648 266036 33554432000 4194304 4650419 140736005255920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1353152 CPUtime=942.28 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 385918 0 0 0 94075 153 0 0 25 0 4 0 651667904 1385627648 266036 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.74
Current children cumulated vsize (KiB) 1353152

[startup+1002.3 s]
/proc/loadavg: 8.16 8.10 8.03 9/324 14211
/proc/meminfo: memFree=26363672/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1425464 CPUtime=3999.12 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 4646442 0 0 0 398867 1045 0 0 25 0 4 0 651667904 1459675136 287337 33554432000 4194304 4650419 140736005255920 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 356366 287337 395 112 0 351331 0
[pid=14181/tid=14182] ppid=14179 vsize=1425464 CPUtime=1002.28 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1587742 0 0 0 99918 310 0 0 25 0 4 0 651667904 1459675136 287337 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1425464 CPUtime=992.26 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1053455 0 0 0 98973 253 0 0 25 0 4 0 651667904 1459675136 287337 33554432000 4194304 4650419 140736005255920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1425464 CPUtime=1002.28 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 413312 0 0 0 100064 164 0 0 25 0 4 0 651667904 1459675136 287337 33554432000 4194304 4650419 140736005255920 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.12
Current children cumulated vsize (KiB) 1425464

[startup+1062.3 s]
/proc/loadavg: 8.20 8.11 8.04 9/324 14213
/proc/meminfo: memFree=26278832/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1491532 CPUtime=4238.55 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 4949175 0 0 0 422745 1110 0 0 25 0 4 0 651667904 1527328768 307892 33554432000 4194304 4650419 140736005255920 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 372883 307892 395 112 0 367848 0
[pid=14181/tid=14182] ppid=14179 vsize=1491532 CPUtime=1062.29 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1600062 0 0 0 105914 315 0 0 25 0 4 0 651667904 1527328768 307892 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1491532 CPUtime=1051.66 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1295247 0 0 0 104877 289 0 0 25 0 4 0 651667904 1527328768 307892 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1491532 CPUtime=1062.29 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 435519 0 0 0 106055 174 0 0 25 0 4 0 651667904 1527328768 307892 33554432000 4194304 4650419 140736005255920 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.55
Current children cumulated vsize (KiB) 1491532

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 8.03 9/324 14215
/proc/meminfo: memFree=26251144/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1507376 CPUtime=4477.93 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 5344298 0 0 0 446603 1190 0 0 25 0 4 0 651667904 1543553024 324383 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 376844 324383 395 112 0 371809 0
[pid=14181/tid=14182] ppid=14179 vsize=1507376 CPUtime=1122.28 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1608822 0 0 0 111908 320 0 0 25 0 4 0 651667904 1543553024 324383 33554432000 4194304 4650419 140736005255920 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1507376 CPUtime=1111.06 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1631003 0 0 0 110766 340 0 0 25 0 4 0 651667904 1543553024 324383 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1507376 CPUtime=1122.29 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 462435 0 0 0 112039 190 0 0 25 0 4 0 651667904 1543553024 324383 33554432000 4194304 4650419 140736005255920 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.93
Current children cumulated vsize (KiB) 1507376

[startup+1182.31 s]
/proc/loadavg: 8.02 8.07 8.03 9/324 14216
/proc/meminfo: memFree=26162088/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1566596 CPUtime=4717.36 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 5772410 0 0 0 470459 1277 0 0 25 0 4 0 651667904 1604194304 333072 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 391649 333072 395 112 0 386614 0
[pid=14181/tid=14182] ppid=14179 vsize=1566596 CPUtime=1182.29 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1631065 0 0 0 117897 332 0 0 25 0 4 0 651667904 1604194304 333072 33554432000 4194304 4650419 140736005255920 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1566596 CPUtime=1170.46 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1985036 0 0 0 116657 389 0 0 25 0 4 0 651667904 1604194304 333072 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1566596 CPUtime=1182.3 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 487861 0 0 0 118026 204 0 0 25 0 4 0 651667904 1604194304 333072 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.36
Current children cumulated vsize (KiB) 1566596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.02 8.06 8.02 6/320 14218
/proc/meminfo: memFree=26681288/32950928 swapFree=60199044/67111528
[pid=14181] ppid=14179 vsize=1575952 CPUtime=4800.37 cores=1,3,5,7
/proc/14181/stat : 14181 (strangenight1-m) R 14179 14181 13843 0 -1 4202496 5924654 0 0 0 478730 1307 0 0 25 0 4 0 651667904 1613774848 331641 33554432000 4194304 4650419 140736005255920 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14181/statm: 393988 331641 395 112 0 388953 0
[pid=14181/tid=14182] ppid=14179 vsize=1575952 CPUtime=1203.11 cores=1,3,5,7
/proc/14181/task/14182/stat : 14182 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 1637857 0 0 0 119975 336 0 0 25 0 4 0 651667904 1613774848 331647 33554432000 4194304 4650419 140736005255920 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14181/tid=14183] ppid=14179 vsize=1575952 CPUtime=1191.06 cores=1,3,5,7
/proc/14181/task/14183/stat : 14183 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 2114321 0 0 0 118698 408 0 0 25 0 4 0 651667904 1613774848 331647 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14181/tid=14184] ppid=14179 vsize=1575952 CPUtime=1203.11 cores=1,3,5,7
/proc/14181/task/14184/stat : 14184 (strangenight1-m) R 14179 14181 13843 0 -1 4202560 493302 0 0 0 120105 206 0 0 25 0 4 0 651667904 1613774848 331647 33554432000 4194304 4650419 140736005255920 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1575952

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.18
CPU time (s): 4800.47
CPU user time (s): 4787.34
CPU system time (s): 13.125
CPU usage (%): 398.982
Max. virtual memory (cumulated for all children) (KiB): 1575952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.34
system time used= 13.125
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5924666
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= 2198
involuntary context switches= 31312

runsolver used 3.05653 second user time and 9.00963 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 21:18:11
IDJOB=3368687
IDBENCH=82696
IDSOLVER=1846
FILE ID=node122/3368687-1305400691
RUNJOBID= node122-1305400691-14159
PBS_JOBID= 13324448
Free space on /tmp= 73428 MiB

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

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

MD5SUM BENCH= dd49a0090ce99bfddfd58615449391d9
RANDOM SEED=1277962292

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28003292 kB
Buffers:        272004 kB
Cached:        3353448 kB
SwapCached:      50104 kB
Active:         884380 kB
Inactive:      3854796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28003292 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           14924 kB
Writeback:           0 kB
AnonPages:     1074896 kB
Mapped:          13740 kB
Slab:           112936 kB
PageTables:      31808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52612904 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= 73428 MiB
End job on node122 at 2011-05-14 21:38:16