Trace number 3172684

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 TechDemo-Alpha-mt? (TO) 4800.14 1201.94

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
MD5SUMcb40e65d82022f377e00087cafdb55b2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.0021
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 This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3172684-1304086576.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.29/0.30	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.29/0.30	c -- vars added      25000
0.29/0.30	c Parsing time:  0.28 s
0.29/0.31	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.29/0.38	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.31
0.67/0.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.33
0.67/0.49	c Calc non-exist non-lernt bins v-fix:     0 done:  25000 time:  0.04 s
0.67/0.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.67/0.50	c Subs w/ non-existent bins:      0 time:  0.02 s
0.67/0.55	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.67/0.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.67/0.57	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
0.67/0.85	c lits-rem:         0  cl-subs:        0  v-elim:   1257  v-fix:    0  time:  1.11 s
0.67/0.85	c learnt bin added due to v-elim: 0
0.67/0.85	c Finding binary XORs  T:     0.02 s  found:       0
0.67/0.93	c Finding non-binary XORs:     0.27 s (found:       0, avg size: nan)
0.67/0.93	c calculated reachability. Time: 0.00
0.67/0.94	c Calc default polars -  time:   0.03 s pos:   11075 undec:    2829 neg:   11096
0.67/0.94	c =========================================================================================
0.67/0.94	c types(t): F = full restart, N = normal restart
0.67/0.94	c types(t): S = simplification begin/end, E = solution found
0.67/0.94	c restart types(rt): st = static, dy = dynamic
0.67/0.94	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.67/0.94	c  B st     0         0     24339    103924         0         0    315407         0   no data   no data  --
5.47/1.66	c Decided on dynamic restart strategy
8.25/2.35	c  N dy    20      4072     24339    103924         0      4068    315407    876907    193.39    144.33  --
14.25/3.89	c  N dy    48      8141     24339    103924         0      8137    315407   1655548    212.55    136.83  --
20.23/5.37	c  N dy    77     12248     24339    103924         0     12244    315407   2403218    179.66    132.75  --
26.22/6.87	c  N dy   105     16277     24339    103924         0     16272    315407   3178518    190.49    132.43  --
33.41/8.64	c  N dy   134     20401     24339    103924         0     10398    315407    602724    191.44    132.66  --
39.81/10.29	c  N dy   162     24434     24339    103924         0     14431    315407   1375549    187.69    132.39  --
46.19/11.88	c  N dy   191     28565     24339    103924         0     18561    315407   2187419    189.25    132.92  --
49.40/12.66	c  S st   202     30001     24339    103924         0     19997    315407   2454953    190.97    132.76  --
50.19/12.86	c  S st   202     30505     24339    103924         0     20501    315407   2519392    190.97    132.76  --
50.19/12.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.19/12.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.39/13.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  1.11
51.39/13.16	c Calc non-exist non-lernt bins v-fix:     0 done:  24339 time:  0.05 s
51.39/13.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.39/13.19	c Subs w/ non-existent bins:      0 time:  0.11 s
52.58/13.41	c bin-w-bin subsume rem            0 bins  time:  0.04 s
52.58/13.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
52.58/13.42	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
78.55/19.97	c lits-rem:         0  cl-subs:     2796  v-elim:    591  v-fix:    0  time: 26.13 s
78.55/19.97	c learnt bin added due to v-elim: 0
78.55/19.98	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
78.95/20.00	c vivif2 --  cl tried    17705 cl shrink        0 lits rem          0 time: 0.10
79.75/20.25	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 1.00
79.75/20.26	c calculated reachability. Time: 0.00
79.75/20.26	c  N dy   202     30505     24204    104059         0     17705    316649   1861937    190.97    132.76  --
79.75/20.26	c  F st   202     30505     24204    104059         0     17705    316649   1861937    190.97    132.76  --
83.74/21.21	c Decided on dynamic restart strategy
86.94/22.09	c  N dy   222     34571     24204    104059         0     21770    316649   2767030    204.70    135.09  --
93.75/23.75	c  N dy   251     38686     24204    104059         0     25884    316649   3536092    188.97    134.27  --
100.52/25.40	c  N dy   280     42763     24204    104059         0     29961    316649   4289290    185.52    133.69  --
105.71/26.77	c  S st   302     45758     24204    104059         0     17459    316649   1020323    186.05    133.53  --
106.52/26.98	c  S st   302     46262     24204    104059         0     17963    316649   1084064    186.05    133.53  --
106.52/27.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
106.52/27.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.71/27.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.86
107.71/27.23	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.05 s
107.71/27.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.71/27.24	c Subs w/ non-existent bins:      0 time:  0.08 s
108.11/27.34	c bin-w-bin subsume rem            0 bins  time:  0.04 s
108.11/27.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
108.11/27.36	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
119.29/30.17	c lits-rem:         0  cl-subs:      549  v-elim:    398  v-fix:    0  time: 11.22 s
119.29/30.17	c learnt bin added due to v-elim: 0
119.29/30.18	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
119.29/30.20	c vivif2 --  cl tried    17414 cl shrink        0 lits rem          0 time: 0.05
120.11/30.39	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.77
120.48/30.40	c calculated reachability. Time: 0.01
120.48/30.40	c  N dy   302     46262     24204    104059         0     17414    316649   1054812    186.05    133.53  --
126.48/31.94	c  N dy   330     50289     24204    104059         0     21439    316649   1819177    191.09    133.18  --
133.29/33.65	c  N dy   358     54318     24204    104059         0     25467    316649   2610302    190.71    133.27  --
140.86/35.50	c  N dy   387     58397     24204    104059         0     29546    316649   3392051    179.42    133.08  --
147.65/37.28	c  N dy   415     62401     24204    104059         0     33550    316649   4188660    195.79    133.00  --
154.86/39.10	c  N dy   444     66489     24204    104059         0     18891    316649    677201    190.38    132.87  --
160.03/40.39	c  S st   465     69394     24204    104059         0     21795    316649   1247332    188.63    132.94  --
161.23/40.61	c  S st   465     69900     24204    104059         0     22301    316649   1323514    188.63    132.94  --
161.23/40.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
161.23/40.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.03/40.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.93
162.03/40.87	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.05 s
162.03/40.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.03/40.89	c Subs w/ non-existent bins:      0 time:  0.08 s
162.83/41.00	c bin-w-bin subsume rem            0 bins  time:  0.04 s
162.83/41.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
162.83/41.02	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
175.61/44.21	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
182.00/45.82	c Added 0 vars  tried: 80000 time: 6.44
182.00/45.82	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    6.44
182.00/45.88	c lits-rem:         0  cl-subs:      771  v-elim:    398  v-fix:    0  time: 19.39 s
182.00/45.88	c learnt bin added due to v-elim: 0
182.00/45.89	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.04
182.40/45.90	c vivif2 --  cl tried    21530 cl shrink        0 lits rem          0 time: 0.06
183.20/46.11	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.82
183.20/46.12	c calculated reachability. Time: 0.00
183.20/46.12	c  N dy   465     69900     24204    104059         0     21530    316649   1283439    188.63    132.94  --
183.20/46.12	c  F st   465     69900     24204    104059         0     21530    316649   1283439    188.63    132.94  --
186.79/47.03	c Decided on dynamic restart strategy
190.78/48.06	c  N dy   489     74495     24204    104059         0     26123    316649   2243290    177.28    133.34  --
199.20/50.13	c  N dy   522     79259     24204    104059         0     30885    316649   3169003    196.48    133.35  --
208.76/52.58	c  N dy   558     84350     24204    104059         0     35976    316649   4197337    198.81    133.60  --
219.55/55.21	c  N dy   597     89857     24204    104059         0     41480    316649   5237531    185.54    133.34  --
229.55/57.72	c  N dy   638     95659     24204    104059         0     26413    316649   1682944    186.14    133.23  --
240.32/60.49	c  N dy   681    101785     24204    104059         0     32539    316649   2825351    183.42    132.94  --
247.53/62.24	c  S st   703    104850     24204    104059         0     35603    316649   3399252    195.99    132.79  --
248.31/62.49	c  S st   703    105355     24204    104059         0     36108    316649   3469341    195.99    132.79  --
248.72/62.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
248.72/62.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
249.91/62.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.48
249.91/62.89	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.05 s
249.91/62.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.31/62.93	c Subs w/ non-existent bins:      0 time:  0.15 s
251.11/63.19	c bin-w-bin subsume rem            0 bins  time:  0.04 s
251.11/63.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
251.52/63.21	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
291.48/73.22	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
291.85/73.30	c lits-rem:         0  cl-subs:     1408  v-elim:    398  v-fix:    0  time: 40.32 s
291.85/73.30	c learnt bin added due to v-elim: 0
291.85/73.32	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
291.85/73.36	c vivif2 --  cl tried    34700 cl shrink        0 lits rem          0 time: 0.17
293.45/73.72	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 1.47
293.45/73.73	c calculated reachability. Time: 0.01
293.45/73.73	c  N dy   703    105355     24204    104059         0     34700    316649   3350630    195.99    132.79  --
305.43/76.71	c  N dy   751    112127     24204    104059         0     41472    316649   4675734    199.71    132.85  --
317.42/79.74	c  N dy   801    119289     24204    104059         0     26200    316649   1305503    186.24    132.78  --
330.20/82.94	c  N dy   855    126990     24204    104059         0     33901    316649   2766743    194.37    132.62  --
344.58/86.50	c  N dy   912    135123     24204    104059         0     42034    316649   4357835    218.21    132.64  --
360.56/90.54	c  N dy   973    143765     24204    104059         0     26958    316649   1170777    182.84    132.53  --
376.13/94.48	c  N dy  1038    152994     24204    104059         0     36187    316649   2855036    163.73    132.07  --
386.92/97.13	c  S st  1074    158032     24204    104059         0     41224    316649   3849236    205.03    132.15  --
387.73/97.37	c  S st  1074    158536     24204    104059         0     41728    316649   3921187    205.03    132.15  --
387.73/97.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
387.73/97.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
389.31/97.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.58
389.31/97.79	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.05 s
389.31/97.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
389.71/97.83	c Subs w/ non-existent bins:      0 time:  0.17 s
390.51/98.09	c bin-w-bin subsume rem            0 bins  time:  0.04 s
390.92/98.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
390.92/98.11	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
493.18/123.77	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
493.59/123.86	c lits-rem:         0  cl-subs:     1793  v-elim:    398  v-fix:    0  time: 102.82 s
493.59/123.86	c learnt bin added due to v-elim: 0
493.59/123.87	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
493.96/123.92	c vivif2 --  cl tried    39935 cl shrink        0 lits rem          0 time: 0.20
495.57/124.32	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 1.61
495.57/124.33	c calculated reachability. Time: 0.00
495.57/124.33	c  N dy  1074    158536     24204    104059         0     39935    316649   3767121    205.03    132.15  --
515.56/129.33	c  N dy  1145    168737     24204    104059         0     25277    316649    617532    193.55    132.37  --
535.51/134.38	c  N dy  1220    179520     24204    104059         0     36056    316649   2739043    208.10    132.47  --
557.48/139.84	c  N dy  1300    191032     24204    104059         0     47566    316649   4958533    208.27    132.34  --
581.06/145.75	c  N dy  1386    203277     24204    104059         0     33883    316649   2067596    193.45    132.22  --
605.82/151.90	c  N dy  1478    216382     24204    104059         0     46984    316649   4563478    188.26    132.17  --
633.38/158.83	c  N dy  1576    230327     24204    104059         0     33968    316649   1820025    198.38    132.07  --
648.96/162.72	c  S st  1629    237806     24204    104059         0     41445    316649   3269140    197.82    132.08  --
649.76/162.98	c  S st  1629    238313     24204    104059         0     41952    316649   3345724    197.82    132.08  --
649.76/162.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
649.76/162.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
651.37/163.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.57
651.37/163.40	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.05 s
651.37/163.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
651.77/163.44	c Subs w/ non-existent bins:      0 time:  0.15 s
652.55/163.66	c bin-w-bin subsume rem            0 bins  time:  0.04 s
652.55/163.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
652.55/163.68	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
694.10/174.02	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
694.50/174.11	c lits-rem:         0  cl-subs:     1947  v-elim:    398  v-fix:    0  time: 41.66 s
694.50/174.11	c learnt bin added due to v-elim: 0
694.50/174.12	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.06
694.50/174.17	c vivif2 --  cl tried    40005 cl shrink        0 lits rem          0 time: 0.18
696.09/174.56	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 1.54
696.09/174.56	c calculated reachability. Time: 0.00
696.09/174.56	c  N dy  1629    238313     24204    104059         0     40005    316649   3208133    197.82    132.08  --
726.85/182.27	c  N dy  1736    253526     24204    104059         0     55216    316649   6183602    200.54    132.11  --
756.42/189.70	c  N dy  1851    269845     24204    104059         0     43558    316649   3444665    198.10    132.03  --
790.37/198.13	c  N dy  1973    287189     24204    104059         0     31913    316649   1039485    189.27    132.04  --
823.52/206.45	c  N dy  2103    305603     24204    104059         0     50326    316649   4560494    213.31    131.97  --
860.27/215.66	c  N dy  2240    325189     24204    104059         0     39918    316649   2361743    180.15    131.98  --
899.42/225.44	c  N dy  2381    345214     24204    104059         0     59943    316649   6270913    191.92    132.05  --
923.39/231.40	c  S st  2467    357472     24204    104059         0     41202    316649   2442423    189.84    132.09  --
924.20/231.64	c  S st  2467    357972     24204    104059         0     41702    316649   2508498    189.84    132.09  --
924.20/231.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
924.20/231.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
925.78/232.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.55
925.78/232.06	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.05 s
925.78/232.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
925.78/232.09	c Subs w/ non-existent bins:      0 time:  0.12 s
926.58/232.25	c bin-w-bin subsume rem            0 bins  time:  0.03 s
926.58/232.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
926.58/232.27	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
954.15/239.17	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
963.75/241.59	c Added 0 vars  tried: 80000 time: 9.64
963.75/241.59	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    9.64
964.12/241.66	c lits-rem:         0  cl-subs:     2307  v-elim:    398  v-fix:    0  time: 37.49 s
964.12/241.66	c learnt bin added due to v-elim: 0
964.12/241.67	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
964.52/241.70	c vivif2 --  cl tried    39395 cl shrink        0 lits rem          0 time: 0.13
965.72/242.02	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 1.27
965.72/242.03	c calculated reachability. Time: 0.01
965.72/242.03	c  N dy  2467    357972     24204    104059         0     39395    316649   2384341    189.84    132.09  --
1006.47/252.25	c  N dy  2607    378098     24204    104059         0     59519    316649   6325485    202.06    132.13  --
1046.02/262.15	c  N dy  2748    398122     24204    104059         0     47546    316649   3432142    179.85    132.06  --
1088.76/272.87	c  N dy  2888    418220     24204    104059         0     34645    316649    779763    208.75    132.15  --
1128.70/282.89	c  N dy  3027    438245     24204    104059         0     54664    316649   4696768    213.97    132.21  --
1171.04/293.46	c  N dy  3168    458265     24204    104059         0     40688    316649   1690751    189.40    132.19  --
1212.58/303.82	c  N dy  3308    478364     24204    104059         0     60782    316649   5562801    208.64    132.17  --
1254.52/314.35	c  N dy  3449    498473     24204    104059         0     45896    316649   2563420    212.29    132.13  --
1297.28/325.03	c  N dy  3589    518541     24204    104059         0     65960    316649   6465301    185.42    132.16  --
1335.62/334.60	c  S st  3719    536959     24204    104059         0     48381    316649   2840324    192.17    132.16  --
1336.42/334.88	c  S st  3719    537462     24204    104059         0     48884    316649   2918884    192.17    132.16  --
1336.42/334.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1336.42/334.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1338.42/335.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  1.91
1338.42/335.39	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.05 s
1338.42/335.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1338.82/335.42	c Subs w/ non-existent bins:      0 time:  0.14 s
1339.62/335.61	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1339.62/335.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1339.62/335.63	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
1376.36/344.88	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
1376.77/344.97	c lits-rem:         6  cl-subs:     2841  v-elim:    398  v-fix:    0  time: 37.27 s
1376.77/344.97	c learnt bin added due to v-elim: 0
1376.77/344.98	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
1377.15/345.02	c vivif2 --  cl tried    46043 cl shrink        0 lits rem          0 time: 0.16
1378.35/345.38	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 1.45
1378.35/345.39	c calculated reachability. Time: 0.01
1378.35/345.39	c  N dy  3719    537462     24204    104059         0     46043    316649   2777366    192.17    132.16  --
1378.35/345.39	c  F st  3719    537462     24204    104059         0     46043    316649   2777366    192.17    132.16  --
1383.15/346.53	c Decided on dynamic restart strategy
1419.10/355.58	c  N dy  3851    557532     24204    104059         0     66112    316649   6844266    174.76    132.41  --
1459.44/365.69	c  N dy  3991    577575     24204    104059         0     49157    316649   2830045    179.77    132.41  --
1501.79/376.20	c  N dy  4132    597669     24204    104059         0     69249    316649   6636959    183.81    132.34  --
1542.53/386.46	c  N dy  4272    617679     24204    104059         0     51262    316649   2999186    188.62    132.31  --
1586.07/397.35	c  N dy  4413    637731     24204    104059         0     71313    316649   6959119    198.10    132.39  --
1628.81/408.07	c  N dy  4553    657853     24204    104059         0     52436    316649   3086865    201.55    132.50  --
1672.75/419.04	c  N dy  4694    677950     24204    104059         0     72532    316649   6924308    186.96    132.49  --
1716.30/429.92	c  N dy  4835    698059     24204    104059         0     52642    316649   2905632    192.12    132.46  --
1760.63/441.03	c  N dy  4975    718118     24204    104059         0     72700    316649   6737740    207.13    132.40  --
1803.77/451.87	c  N dy  5115    738162     24204    104059         0     51745    316649   2501762    208.44    132.35  --
1848.51/463.04	c  N dy  5255    758294     24204    104059         0     71868    316649   6457683    198.62    132.42  --
1893.25/474.29	c  N dy  5396    778403     24204    104059         0     49982    316649   2020751    203.23    132.39  --
1934.82/484.64	c  N dy  5536    798526     24204    104059         0     70105    316649   5976201    183.60    132.40  --
1954.37/489.57	c  S st  5591    806194     24204    104059         0     77773    316649   7450225    176.19    132.39  --
1955.57/489.87	c  S st  5591    806697     24204    104059         0     78276    316649   7527030    176.19    132.39  --
1955.57/489.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1955.57/489.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1959.16/490.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.0M T:  3.29
1959.16/490.73	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.05 s
1959.16/490.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1959.56/490.80	c Subs w/ non-existent bins:      0 time:  0.27 s
1961.18/491.28	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1961.18/491.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1961.55/491.30	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
2454.89/614.88	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
2482.45/621.78	c Added 0 vars  tried: 80000 time: 27.56
2482.45/621.78	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:   27.56
2483.25/621.93	c lits-rem:         0  cl-subs:     4349  v-elim:    398  v-fix:    0  time: 521.77 s
2483.25/621.93	c learnt bin added due to v-elim: 0
2483.25/621.95	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
2483.66/622.04	c vivif2 --  cl tried    73927 cl shrink        0 lits rem          0 time: 0.38
2485.64/622.57	c asymm  cl-useful: 0/79062/104059 lits-rem:0 time: 2.09
2485.64/622.58	c calculated reachability. Time: 0.00
2485.64/622.58	c  N dy  5591    806697     24204    104059         0     73927    316649   7209450    176.19    132.39  --
2530.78/633.85	c  N dy  5731    826722     24204    104059         0     50954    316649   1983801    177.60    132.35  --
2575.93/645.11	c  N dy  5872    846836     24204    104059         0     71062    316649   5913842    188.66    132.38  --
2623.85/657.17	c  N dy  6012    866881     24204    104059         0     47112    316649   1082873    199.93    132.42  --
2665.79/667.64	c  N dy  6153    886945     24204    104059         0     67171    316649   5055699    183.91    132.48  --
2709.74/678.64	c  N dy  6293    907050     24204    104059         0     87272    316649   8982228    193.60    132.50  --
2749.28/688.53	c  N dy  6434    927099     24204    104059         0     62328    316649   3858960    193.03    132.48  --
2792.82/699.40	c  N dy  6574    947127     24204    104059         0     82355    316649   7732535    204.55    132.48  --
2837.16/710.51	c  N dy  6715    967246     24204    104059         0     56477    316649   2534857    176.65    132.50  --
2880.29/721.39	c  N dy  6855    987346     24204    104059         0     76573    316649   6468953    206.05    132.53  --
2928.23/733.35	c  N dy  6996   1007459     24204    104059         0     49691    316649   1036524    208.18    132.52  --
2970.98/744.09	c  N dy  7135   1027469     24204    104059         0     69699    316649   4959219    178.67    132.54  --
3020.13/756.33	c  N dy  7276   1047562     24204    104059         0     89789    316649   8900758    197.66    132.55  --
3064.85/767.57	c  N dy  7415   1067565     24204    104059         0     61792    316649   3151103    195.70    132.54  --
3110.79/779.00	c  N dy  7555   1087588     24204    104059         0     81813    316649   7089821    206.32    132.57  --
3160.33/791.41	c  N dy  7696   1107603     24204    104059         0     52832    316649   1204257    184.70    132.54  --
3203.05/802.19	c  N dy  7836   1127629     24204    104059         0     72858    316649   5072405    201.48    132.53  --
3252.60/814.60	c  N dy  7977   1147769     24204    104059         0     92996    316649   8972499    191.66    132.53  --
3299.32/826.22	c  N dy  8118   1167870     24204    104059         0     63102    316649   3033427    195.43    132.54  --
3346.06/837.96	c  N dy  8259   1187904     24204    104059         0     83134    316649   6908249    203.14    132.53  --
3396.80/850.61	c  N dy  8399   1207936     24204    104059         0     52169    316649    723438    203.81    132.55  --
3401.59/851.84	c  S st  8415   1210045     24204    104059         0     54278    316649   1120348    187.54    132.54  --
3402.78/852.14	c  S st  8415   1210548     24204    104059         0     54781    316649   1184457    187.54    132.54  --
3402.78/852.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3402.78/852.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3405.18/852.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.2M T:  2.38
3405.18/852.77	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.06 s
3405.18/852.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3405.18/852.79	c Subs w/ non-existent bins:      0 time:  0.09 s
3405.98/852.90	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3405.98/852.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3405.98/852.92	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
3417.57/855.88	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
3417.97/855.95	c lits-rem:         0  cl-subs:     3612  v-elim:    398  v-fix:    0  time: 12.10 s
3417.97/855.95	c learnt bin added due to v-elim: 0
3417.97/855.96	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
3417.97/855.98	c vivif2 --  cl tried    51169 cl shrink        0 lits rem          0 time: 0.08
3418.37/856.06	c asymm  cl-useful: 0/24997/104059 lits-rem:0 time: 0.32
3418.37/856.07	c calculated reachability. Time: 0.00
3418.37/856.07	c  N dy  8415   1210548     24204    104059         0     51169    316649   1127714    187.54    132.54  --
3462.71/867.19	c  N dy  8556   1230634     24204    104059         0     71249    316649   4987291    200.37    132.51  --
3507.05/878.20	c  N dy  8696   1250695     24204    104059         0     91308    316649   8839765    191.96    132.48  --
3551.40/889.37	c  N dy  8835   1270709     24204    104059         0     59329    316649   1918964    177.25    132.47  --
3594.52/900.18	c  N dy  8975   1290799     24204    104059         0     79413    316649   5828155    191.16    132.47  --
3642.06/912.06	c  N dy  9115   1310877     24204    104059         0     99491    316649   9724526    191.55    132.47  --
3688.02/923.55	c  N dy  9255   1330928     24204    104059         0     66548    316649   3152934    191.68    132.49  --
3733.13/934.80	c  N dy  9395   1350975     24204    104059         0     86593    316649   7111775    184.81    132.52  --
3783.87/947.51	c  N dy  9535   1371082     24204    104059         0    106699    316649  11055394    190.46    132.53  --
3828.22/958.65	c  N dy  9675   1391106     24204    104059         0     72726    316649   4194002    198.92    132.55  --
3877.73/971.00	c  N dy  9816   1411215     24204    104059         0     92831    316649   8137165    178.49    132.57  --
3930.86/984.32	c  N dy  9956   1431326     24204    104059         0     57946    316649   1097793    196.52    132.58  --
3975.21/995.45	c  N dy 10096   1451389     24204    104059         0     78006    316649   4956999    204.82    132.57  --
4027.14/1008.43	c  N dy 10236   1471464     24204    104059         0     98076    316649   8910917    196.88    132.59  --
4078.26/1021.21	c  N dy 10376   1491512     24204    104059         0     62126    316649   1715201    182.31    132.59  --
4126.20/1033.27	c  N dy 10517   1511634     24204    104059         0     82246    316649   5603547    199.50    132.59  --
4177.32/1046.01	c  N dy 10658   1531704     24204    104059         0    102313    316649   9577035    187.26    132.61  --
4228.86/1058.98	c  N dy 10799   1551751     24204    104059         0     65368    316649   2136232    201.06    132.63  --
4276.00/1070.77	c  N dy 10939   1571752     24204    104059         0     85365    316649   6102907    203.52    132.66  --
4328.33/1083.83	c  N dy 11079   1591834     24204    104059         0    105445    316649  10100195    183.69    132.69  --
4380.25/1096.86	c  N dy 11219   1611925     24204    104059         0     67542    316649   2396122    207.86    132.68  --
4426.98/1108.50	c  N dy 11359   1632029     24204    104059         0     87638    316649   6339379    189.60    132.70  --
4473.32/1120.19	c  N dy 11500   1652136     24204    104059         0    107744    316649  10233482    191.37    132.70  --
4519.25/1131.65	c  N dy 11640   1672171     24204    104059         0     68787    316649   2453224    180.97    132.72  --
4563.60/1142.76	c  N dy 11781   1692277     24204    104059         0     88892    316649   6360502    191.33    132.72  --
4611.93/1154.88	c  S st 11909   1710548     24204    104059         0    107160    316649   9969874    196.94    132.74  --
4613.53/1155.29	c  S st 11909   1711053     24204    104059         0    107665    316649  10049786    196.94    132.74  --
4613.92/1155.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4613.92/1155.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4619.13/1156.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.3M T:  5.40
4619.13/1156.69	c Calc non-exist non-lernt bins v-fix:     0 done:  24204 time:  0.06 s
4619.13/1156.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4619.54/1156.78	c Subs w/ non-existent bins:      0 time:  0.37 s
4622.32/1157.41	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4622.32/1157.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4622.32/1157.43	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s

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

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

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


[startup+0 s]
/proc/loadavg: 8.12 8.11 8.03 1/172 2586
/proc/meminfo: memFree=30664316/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=22292 CPUtime=0 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 885 0 0 0 0 0 0 0 25 0 1 0 252848898 22827008 825 33554432000 4194304 4797429 140735680299680 18446744073709551615 4366078 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2586/statm: 5573 825 341 148 0 502 0

[startup+0.0719809 s]
/proc/loadavg: 8.12 8.11 8.03 1/172 2586
/proc/meminfo: memFree=30664316/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=92004 CPUtime=0.06 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 13163 0 0 0 5 1 0 0 25 0 1 0 252848898 94212096 9886 33554432000 4194304 4797429 140735680299680 18446744073709551615 268660323013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2586/statm: 23001 9888 348 148 0 17930 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92004

[startup+0.100972 s]
/proc/loadavg: 8.12 8.11 8.03 1/172 2586
/proc/meminfo: memFree=30664316/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=95304 CPUtime=0.09 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 14274 0 0 0 8 1 0 0 25 0 1 0 252848898 97591296 10941 33554432000 4194304 4797429 140735680299680 18446744073709551615 268660323013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2586/statm: 23826 10942 348 148 0 18755 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 95304

[startup+0.300946 s]
/proc/loadavg: 8.12 8.11 8.03 1/172 2586
/proc/meminfo: memFree=30664316/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=112732 CPUtime=0.29 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 20237 0 0 0 27 2 0 0 25 0 1 0 252848898 115437568 16596 33554432000 4194304 4797429 140735680299680 18446744073709551615 268660330887 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2586/statm: 28183 16596 348 148 0 23112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112732

[startup+1.13573 s]
/proc/loadavg: 8.12 8.11 8.03 1/172 2586
/proc/meminfo: memFree=30664316/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=755840 CPUtime=3.6 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 34117 0 0 0 355 5 0 0 19 0 4 0 252848898 773980160 27603 33554432000 4194304 4797429 140735680299680 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 188960 27603 410 148 0 183889 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 755840

[startup+1.50066 s]
/proc/loadavg: 8.12 8.11 8.03 1/172 2586
/proc/meminfo: memFree=30664316/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=757480 CPUtime=5.06 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 35269 0 0 0 501 5 0 0 19 0 4 0 252848898 775659520 28751 33554432000 4194304 4797429 140735680299680 18446744073709551615 4351787 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 189370 28752 410 148 0 184299 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 757480

[startup+3.10038 s]
/proc/loadavg: 8.11 8.11 8.03 9/184 2603
/proc/meminfo: memFree=30510404/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=758536 CPUtime=11.45 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 38872 0 0 0 1137 8 0 0 24 0 4 0 252848898 776740864 32341 33554432000 4194304 4797429 140735680299680 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 189634 32341 412 148 0 184563 0
[pid=2586/tid=2601] ppid=2584 vsize=758536 CPUtime=2.78 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 5196 0 0 0 276 2 0 0 25 0 4 0 252848929 776740864 32341 33554432000 4194304 4797429 140735680299680 18446744073709551615 268660358923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=758536 CPUtime=2.76 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 3521 0 0 0 276 0 0 0 24 0 4 0 252848929 776740864 32341 33554432000 4194304 4797429 140735680299680 18446744073709551615 4423648 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=758536 CPUtime=2.78 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 4938 0 0 0 277 1 0 0 23 0 4 0 252848929 776740864 32341 33554432000 4194304 4797429 140735680299680 18446744073709551615 4424639 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (KiB) 758536

[startup+6.30082 s]
/proc/loadavg: 8.10 8.11 8.03 9/184 2603
/proc/meminfo: memFree=30451140/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=776372 CPUtime=24.22 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 52320 0 0 0 2411 11 0 0 25 0 4 0 252848898 795004928 45766 33554432000 4194304 4797429 140735680299680 18446744073709551615 4389840 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 194093 45766 416 148 0 189022 0
[pid=2586/tid=2601] ppid=2584 vsize=776372 CPUtime=5.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 9089 0 0 0 595 3 0 0 25 0 4 0 252848929 795004928 45766 33554432000 4194304 4797429 140735680299680 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=776372 CPUtime=5.95 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 7062 0 0 0 594 1 0 0 25 0 4 0 252848929 795004928 45766 33554432000 4194304 4797429 140735680299680 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=776372 CPUtime=5.98 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 8894 0 0 0 596 2 0 0 25 0 4 0 252848929 795004928 45766 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.22
Current children cumulated vsize (KiB) 776372

[startup+12.7067 s]
/proc/loadavg: 8.17 8.12 8.04 9/184 2603
/proc/meminfo: memFree=30437492/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=781684 CPUtime=49.81 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 59023 0 0 0 4967 14 0 0 25 0 4 0 252848898 800444416 47330 33554432000 4194304 4797429 140735680299680 18446744073709551615 4387398 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 195421 47330 417 148 0 190350 0
[pid=2586/tid=2601] ppid=2584 vsize=781684 CPUtime=12.38 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 9557 0 0 0 1235 3 0 0 25 0 4 0 252848929 800444416 47330 33554432000 4194304 4797429 140735680299680 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=781684 CPUtime=12.31 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 8065 0 0 0 1230 1 0 0 25 0 4 0 252848929 800444416 47330 33554432000 4194304 4797429 140735680299680 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=781684 CPUtime=12.39 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 9387 0 0 0 1237 2 0 0 25 0 4 0 252848929 800444416 47330 33554432000 4194304 4797429 140735680299680 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (KiB) 781684

[startup+25.5005 s]
/proc/loadavg: 8.14 8.12 8.04 9/184 2603
/proc/meminfo: memFree=30394576/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=787312 CPUtime=100.91 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 68446 0 0 0 10073 18 0 0 25 0 4 0 252848898 806207488 56087 33554432000 4194304 4797429 140735680299680 18446744073709551615 268660323013 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 196828 56087 419 148 0 191757 0
[pid=2586/tid=2601] ppid=2584 vsize=787312 CPUtime=25.17 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 10714 0 0 0 2514 3 0 0 25 0 4 0 252848929 806207488 56087 33554432000 4194304 4797429 140735680299680 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=787312 CPUtime=25.05 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 9234 0 0 0 2503 2 0 0 25 0 4 0 252848929 806207488 56087 33554432000 4194304 4797429 140735680299680 18446744073709551615 4524600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=787312 CPUtime=25.18 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 10499 0 0 0 2516 2 0 0 25 0 4 0 252848929 806207488 56087 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.91
Current children cumulated vsize (KiB) 787312

[startup+51.101 s]
/proc/loadavg: 8.14 8.12 8.04 9/184 2604
/proc/meminfo: memFree=30365184/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=797288 CPUtime=203.19 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 85759 0 0 0 20295 24 0 0 25 0 4 0 252848898 816422912 60980 33554432000 4194304 4797429 140735680299680 18446744073709551615 268660358923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 199322 60980 420 148 0 194251 0
[pid=2586/tid=2601] ppid=2584 vsize=797288 CPUtime=50.78 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 12443 0 0 0 5074 4 0 0 25 0 4 0 252848929 816422912 60981 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=797288 CPUtime=50.51 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 10647 0 0 0 5049 2 0 0 25 0 4 0 252848929 816422912 60981 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=797288 CPUtime=50.79 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 12108 0 0 0 5076 3 0 0 25 0 4 0 252848929 816422912 60981 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.19
Current children cumulated vsize (KiB) 797288

[startup+102.301 s]
/proc/loadavg: 8.16 8.13 8.05 9/184 2605
/proc/meminfo: memFree=30339564/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=816172 CPUtime=407.7 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 120195 0 0 0 40734 36 0 0 25 0 4 0 252848898 835760128 64540 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 204043 64540 420 148 0 198972 0
[pid=2586/tid=2601] ppid=2584 vsize=816172 CPUtime=101.97 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 16293 0 0 0 10192 5 0 0 25 0 4 0 252848929 835760128 64540 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=816172 CPUtime=101.43 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 13976 0 0 0 10140 3 0 0 25 0 4 0 252848929 835760128 64540 33554432000 4194304 4797429 140735680299680 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=816172 CPUtime=101.98 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 16375 0 0 0 10194 4 0 0 25 0 4 0 252848929 835760128 64540 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.7
Current children cumulated vsize (KiB) 816172

[startup+162.306 s]
/proc/loadavg: 8.11 8.12 8.05 9/184 2607
/proc/meminfo: memFree=30300080/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=830044 CPUtime=647.38 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 147449 0 0 0 64690 48 0 0 25 0 4 0 252848898 849965056 72203 33554432000 4194304 4797429 140735680299680 18446744073709551615 4389772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 207511 72203 420 148 0 202440 0
[pid=2586/tid=2601] ppid=2584 vsize=830044 CPUtime=161.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 19010 0 0 0 16192 6 0 0 25 0 4 0 252848929 849965056 72203 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=830044 CPUtime=161.11 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 15545 0 0 0 16107 4 0 0 25 0 4 0 252848929 849965056 72203 33554432000 4194304 4797429 140735680299680 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=830044 CPUtime=161.98 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 19018 0 0 0 16193 5 0 0 25 0 4 0 252848929 849965056 72203 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.38
Current children cumulated vsize (KiB) 830044

[startup+222.301 s]
/proc/loadavg: 8.09 8.11 8.04 9/184 2608
/proc/meminfo: memFree=30282420/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=837872 CPUtime=887.04 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 184507 0 0 0 88639 65 0 0 25 0 4 0 252848898 857980928 74446 33554432000 4194304 4797429 140735680299680 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 209468 74446 420 148 0 204397 0
[pid=2586/tid=2601] ppid=2584 vsize=837872 CPUtime=221.97 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 23388 0 0 0 22190 7 0 0 25 0 4 0 252848929 857980928 74446 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=837872 CPUtime=220.77 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 18727 0 0 0 22072 5 0 0 25 0 4 0 252848929 857980928 74446 33554432000 4194304 4797429 140735680299680 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=837872 CPUtime=221.98 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 23432 0 0 0 22191 7 0 0 25 0 4 0 252848929 857980928 74446 33554432000 4194304 4797429 140735680299680 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.04
Current children cumulated vsize (KiB) 837872

[startup+282.3 s]
/proc/loadavg: 8.12 8.12 8.05 9/184 2610
/proc/meminfo: memFree=30248604/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=847452 CPUtime=1126.7 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 213667 0 0 0 112590 80 0 0 25 0 4 0 252848898 867790848 80840 33554432000 4194304 4797429 140735680299680 18446744073709551615 4388515 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 211863 80840 420 148 0 206792 0
[pid=2586/tid=2601] ppid=2584 vsize=847452 CPUtime=281.97 cores=0,2,4,6

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

[pid=2586] ppid=2584 vsize=879748 CPUtime=2804.42 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 382037 0 0 0 280281 161 0 0 25 0 4 0 252848898 900861952 95181 33554432000 4194304 4797429 140735680299680 18446744073709551615 268660358812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 219937 95181 420 148 0 214866 0
[pid=2586/tid=2601] ppid=2584 vsize=879748 CPUtime=701.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 39716 0 0 0 70184 14 0 0 25 0 4 0 252848929 900861952 95181 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=879748 CPUtime=698.16 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 35504 0 0 0 69804 12 0 0 25 0 4 0 252848929 900861952 95181 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=879748 CPUtime=702 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 41796 0 0 0 70185 15 0 0 25 0 4 0 252848929 900861952 95181 33554432000 4194304 4797429 140735680299680 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.42
Current children cumulated vsize (KiB) 879748

[startup+762.3 s]
/proc/loadavg: 8.12 8.13 8.09 9/184 2623
/proc/meminfo: memFree=30164584/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=885824 CPUtime=3044.07 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 414085 0 0 0 304233 174 0 0 25 0 4 0 252848898 907083776 93536 33554432000 4194304 4797429 140735680299680 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 221456 93536 420 148 0 216385 0
[pid=2586/tid=2601] ppid=2584 vsize=885824 CPUtime=761.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 42515 0 0 0 76183 15 0 0 25 0 4 0 252848929 907083776 93536 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=885824 CPUtime=757.84 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 36877 0 0 0 75771 13 0 0 25 0 4 0 252848929 907083776 93536 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=885824 CPUtime=761.99 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 44430 0 0 0 76183 16 0 0 25 0 4 0 252848929 907083776 93536 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.07
Current children cumulated vsize (KiB) 885824

[startup+822.307 s]
/proc/loadavg: 8.04 8.11 8.08 9/184 2624
/proc/meminfo: memFree=30139856/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=889432 CPUtime=3283.77 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 440473 0 0 0 328190 187 0 0 25 0 4 0 252848898 910778368 96729 33554432000 4194304 4797429 140735680299680 18446744073709551615 4422944 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 222358 96729 420 148 0 217287 0
[pid=2586/tid=2601] ppid=2584 vsize=889432 CPUtime=821.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 44316 0 0 0 82183 15 0 0 25 0 4 0 252848929 910778368 96729 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=889432 CPUtime=817.51 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 38245 0 0 0 81738 13 0 0 25 0 4 0 252848929 910778368 96729 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=889432 CPUtime=822 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 45088 0 0 0 82184 16 0 0 25 0 4 0 252848929 910778368 96729 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.77
Current children cumulated vsize (KiB) 889432

[startup+882.3 s]
/proc/loadavg: 8.01 8.08 8.08 9/184 2626
/proc/meminfo: memFree=30132116/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=891004 CPUtime=3523.42 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 467687 0 0 0 352139 203 0 0 25 0 4 0 252848898 912388096 98433 33554432000 4194304 4797429 140735680299680 18446744073709551615 4423083 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 222751 98433 420 148 0 217680 0
[pid=2586/tid=2601] ppid=2584 vsize=891004 CPUtime=881.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 46324 0 0 0 88182 16 0 0 25 0 4 0 252848929 912388096 98433 33554432000 4194304 4797429 140735680299680 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=891004 CPUtime=877.19 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 40299 0 0 0 87705 14 0 0 25 0 4 0 252848929 912388096 98433 33554432000 4194304 4797429 140735680299680 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=891004 CPUtime=882 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 47892 0 0 0 88183 17 0 0 25 0 4 0 252848929 912388096 98433 33554432000 4194304 4797429 140735680299680 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.42
Current children cumulated vsize (KiB) 891004

[startup+942.301 s]
/proc/loadavg: 8.00 8.07 8.07 9/184 2628
/proc/meminfo: memFree=30107004/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=891368 CPUtime=3763.09 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 496053 0 0 0 376092 217 0 0 25 0 4 0 252848898 912760832 102813 33554432000 4194304 4797429 140735680299680 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 222842 102813 420 148 0 217771 0
[pid=2586/tid=2601] ppid=2584 vsize=891368 CPUtime=941.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 48111 0 0 0 94181 17 0 0 25 0 4 0 252848929 912760832 102813 33554432000 4194304 4797429 140735680299680 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=891368 CPUtime=936.86 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 42006 0 0 0 93671 15 0 0 25 0 4 0 252848929 912760832 102813 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=891368 CPUtime=941.99 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 49853 0 0 0 94182 17 0 0 25 0 4 0 252848929 912760832 102813 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.09
Current children cumulated vsize (KiB) 891368

[startup+1002.3 s]
/proc/loadavg: 8.00 8.05 8.07 9/184 2629
/proc/meminfo: memFree=30100880/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=902484 CPUtime=4002.77 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 522168 0 0 0 400047 230 0 0 25 0 4 0 252848898 924143616 104636 33554432000 4194304 4797429 140735680299680 18446744073709551615 4389504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 225621 104636 420 148 0 220550 0
[pid=2586/tid=2601] ppid=2584 vsize=902484 CPUtime=1001.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 49320 0 0 0 100181 17 0 0 25 0 4 0 252848929 924143616 104636 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=902484 CPUtime=996.54 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 43484 0 0 0 99639 15 0 0 25 0 4 0 252848929 924143616 104636 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=902484 CPUtime=1002 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 51503 0 0 0 100182 18 0 0 25 0 4 0 252848929 924143616 104636 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.77
Current children cumulated vsize (KiB) 902484

[startup+1062.3 s]
/proc/loadavg: 8.00 8.04 8.06 9/184 2631
/proc/meminfo: memFree=30104184/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=905616 CPUtime=4242.43 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 546064 0 0 0 424000 243 0 0 25 0 4 0 252848898 927350784 103087 33554432000 4194304 4797429 140735680299680 18446744073709551615 4377500 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 226404 103087 420 148 0 221333 0
[pid=2586/tid=2601] ppid=2584 vsize=905616 CPUtime=1061.99 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 49928 0 0 0 106181 18 0 0 25 0 4 0 252848929 927350784 103087 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=905616 CPUtime=1056.21 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 44014 0 0 0 105606 15 0 0 25 0 4 0 252848929 927350784 103087 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=905616 CPUtime=1062 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 52890 0 0 0 106181 19 0 0 25 0 4 0 252848929 927350784 103087 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.43
Current children cumulated vsize (KiB) 905616

[startup+1122.3 s]
/proc/loadavg: 8.00 8.03 8.05 9/184 2632
/proc/meminfo: memFree=30107120/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=906920 CPUtime=4482.11 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 575031 0 0 0 447955 256 0 0 25 0 4 0 252848898 928686080 103194 33554432000 4194304 4797429 140735680299680 18446744073709551615 4424850 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 226730 103194 420 148 0 221659 0
[pid=2586/tid=2601] ppid=2584 vsize=906920 CPUtime=1121.98 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 53270 0 0 0 112180 18 0 0 25 0 4 0 252848929 928686080 103194 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=906920 CPUtime=1115.89 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 47056 0 0 0 111572 17 0 0 25 0 4 0 252848929 928686080 103194 33554432000 4194304 4797429 140735680299680 18446744073709551615 4359156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=906920 CPUtime=1122 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 54926 0 0 0 112181 19 0 0 25 0 4 0 252848929 928686080 103194 33554432000 4194304 4797429 140735680299680 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.11
Current children cumulated vsize (KiB) 906920

[startup+1182.3 s]
/proc/loadavg: 8.03 8.04 8.05 9/184 2634
/proc/meminfo: memFree=30065624/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=972472 CPUtime=4721.77 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 596897 0 0 0 471912 265 0 0 25 0 4 0 252848898 995811328 111573 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 243118 111573 420 148 0 238047 0
[pid=2586/tid=2601] ppid=2584 vsize=972472 CPUtime=1181.99 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 54875 0 0 0 118179 20 0 0 25 0 4 0 252848929 995811328 111573 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=972472 CPUtime=1175.56 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 48875 0 0 0 117538 18 0 0 25 0 4 0 252848929 995811328 111573 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=972472 CPUtime=1182 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 57236 0 0 0 118180 20 0 0 25 0 4 0 252848929 995811328 111573 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.77
Current children cumulated vsize (KiB) 972472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.16 8.06 8.06 5/180 2636
/proc/meminfo: memFree=30203028/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=972472 CPUtime=4800.08 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 598149 0 0 0 479741 267 0 0 25 0 4 0 252848898 995811328 112704 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 243118 112704 420 148 0 238047 0
[pid=2586/tid=2601] ppid=2584 vsize=972472 CPUtime=1201.59 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 55323 0 0 0 120139 20 0 0 25 0 4 0 252848929 995811328 112704 33554432000 4194304 4797429 140735680299680 18446744073709551615 4242465 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=972472 CPUtime=1195.05 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 49091 0 0 0 119487 18 0 0 25 0 4 0 252848929 995811328 112704 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=972472 CPUtime=1201.61 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 57824 0 0 0 120140 21 0 0 25 0 4 0 252848929 995811328 112704 33554432000 4194304 4797429 140735680299680 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 972472

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

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

[startup+1201.9 s]
/proc/loadavg: 8.16 8.06 8.06 5/180 2636
/proc/meminfo: memFree=30203028/32951124 swapFree=67111524/67111528
[pid=2586] ppid=2584 vsize=972472 CPUtime=4800.08 cores=0,2,4,6
/proc/2586/stat : 2586 (techdemo) R 2584 2586 2145 0 -1 4202496 598149 0 0 0 479741 267 0 0 25 0 4 0 252848898 995811328 112704 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2586/statm: 243118 112704 420 148 0 238047 0
[pid=2586/tid=2601] ppid=2584 vsize=972472 CPUtime=1201.59 cores=0,2,4,6
/proc/2586/task/2601/stat : 2601 (techdemo) R 2584 2586 2145 0 -1 4202560 55323 0 0 0 120139 20 0 0 25 0 4 0 252848929 995811328 112704 33554432000 4194304 4797429 140735680299680 18446744073709551615 4242465 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2586/tid=2602] ppid=2584 vsize=972472 CPUtime=1195.05 cores=0,2,4,6
/proc/2586/task/2602/stat : 2602 (techdemo) R 2584 2586 2145 0 -1 4202560 49091 0 0 0 119487 18 0 0 25 0 4 0 252848929 995811328 112704 33554432000 4194304 4797429 140735680299680 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2586/tid=2603] ppid=2584 vsize=972472 CPUtime=1201.61 cores=0,2,4,6
/proc/2586/task/2603/stat : 2603 (techdemo) R 2584 2586 2145 0 -1 4202560 57824 0 0 0 120140 21 0 0 25 0 4 0 252848929 995811328 112704 33554432000 4194304 4797429 140735680299680 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 972472

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.14
CPU user time (s): 4797.44
CPU system time (s): 2.69359
CPU usage (%): 399.367
Max. virtual memory (cumulated for all children) (KiB): 1014488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.44
system time used= 2.69359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598149
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= 1584
involuntary context switches= 35584

runsolver used 2.01269 second user time and 4.56731 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 16:16:16
IDJOB=3172684
IDBENCH=82702
IDSOLVER=1584
FILE ID=node107/3172684-1304086576
RUNJOBID= node107-1304085371-2471
PBS_JOBID= 13170536
Free space on /tmp= 71800 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172684-1304086576/watcher-3172684-1304086576 -o /tmp/evaluation-result-3172684-1304086576/solver-3172684-1304086576 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172684-1304086576.cnf

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

MD5SUM BENCH= cb40e65d82022f377e00087cafdb55b2
RANDOM SEED=1024657477

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30664596 kB
Buffers:        637832 kB
Cached:        1221832 kB
SwapCached:          4 kB
Active:         131168 kB
Inactive:      1791028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30664596 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9724 kB
Writeback:           0 kB
AnonPages:       62500 kB
Mapped:          14688 kB
Slab:           300684 kB
PageTables:       4652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184536 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= 71784 MiB
End job on node107 at 2011-04-29 16:36:20