Trace number 3287400

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 1202.04

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
MD5SUMee159af2e208d290f7f3fefd15c344f2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark731.23
Satisfiable
(Un)Satisfiability was proved
Number of variables44692
Number of clauses129620
Sum of the clauses size302444
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 286412
Number of clauses of size 343206
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-3287400-1304045079.cnf'
0.00/0.00	c -- header says num vars:          44692
0.00/0.00	c -- header says num clauses:      129620
0.19/0.26	c -- clauses added:            0 learnts,       129620 normals,            0 xors
0.19/0.26	c -- vars added      44692
0.19/0.26	c Parsing time:  0.23 s
0.19/0.26	c  N st     0         0     44692     43206     86412         0    302442         0   no data   no data  --
2.00/0.72	c asymm  cl-useful: 581/43205/43205 lits-rem:1743 time: 1.84
7.19/2.06	c Flit:    52 Blit:   2428 bXBeca:    0 bXProp: 1265 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.2M T:  5.25
7.19/2.06	c Cleaning up after failed var search:     0.03 s 
7.59/2.16	c Calc non-exist non-lernt bins v-fix:     0 done:  31190 time:  0.39 s
7.59/2.17	c Cache  BProp: 1616 Set: 0 BXProp: 0 T: 0.02
7.59/2.18	c Subs w/ non-existent bins:    173 time:  0.04 s
7.59/2.19	c Replacing     1265 vars Replaced    24609 lits Time:     0.06 s 
8.01/2.22	c bin-w-bin subsume rem          171 bins  time:  0.04 s
8.01/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
8.01/2.30	c Removed useless bin:      82  fixed:     0  bprops:   3.34M  time:  0.22 s
8.77/2.44	c lits-rem:         0  cl-subs:       60  v-elim:  13521  v-fix:    0  time:  0.54 s
8.77/2.44	c learnt bin added due to v-elim: 0
8.77/2.49	c Finding binary XORs  T:     0.17 s  found:     121
9.17/2.50	c Replacing      121 vars Replaced     1552 lits Time:     0.04 s 
9.17/2.53	c Finding non-binary XORs:     0.10 s (found:     812, avg size: 3.0)
9.17/2.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    158 locsubst:     0 time:   0.04
9.17/2.55	c calculated reachability. Time: 0.04
9.17/2.55	c Calc default polars -  time:   0.02 s pos:    2285 undec:   19445 neg:   22962
9.17/2.55	c =========================================================================================
9.17/2.55	c types(t): F = full restart, N = normal restart
9.17/2.55	c types(t): S = simplification begin/end, E = solution found
9.17/2.55	c restart types(rt): st = static, dy = dynamic
9.17/2.55	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
9.17/2.55	c  B st     0         0     26763     44380     44033         0    230472         0   no data   no data  --
10.37/2.87	c Decided on dynamic restart strategy
11.56/3.17	c  N dy    21      4042     26737     44380     44857      3176    230472     40672     11.26      4.22  --
14.36/3.89	c  N dy    52      8089     26635     44380     46330      5056    230512     26420      9.46      4.16  --
17.56/4.60	c  N dy    76     12126     26577     44380     46681      8707    230512    130902     15.77      4.76  --
20.35/5.30	c  N dy   101     16256     26498     44380     48299     14888    230606     69683     18.16      4.97  --
22.75/5.93	c  N dy   124     20639     26456     44380     48526     19007    230606    163617     23.82      5.23  --
25.14/6.58	c  N dy   142     24664     26414     44380     48708     15159    230606     57904     40.30      5.58  --
27.94/7.21	c  N dy   163     28715     26342     44380     48845     19025    230606    180120     47.88      5.81  --
28.73/7.41	c  S st   170     30000     26318     44380     48902     20243    230606    209677     24.83      5.90  --
29.14/7.55	c  S st   170     30502     26313     44380     48994     20631    230606    213488     24.83      5.90  --
29.14/7.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     20 locsubst:     0 time:   0.04
29.14/7.56	c Cache  BProp: 1508 Set: 13 BXProp: 11 T: 0.01
95.44/24.11	c Flit:   138 Blit:    535 bXBeca:    0 bXProp: 1991 Bin:  51360 BRemL:   6599 BRemN:    402 CBin:       0 P: 60.0M T: 65.94
95.44/24.12	c Cleaning up after failed var search:     0.04 s 
96.26/24.34	c Calc non-exist non-lernt bins v-fix:     0 done:  24759 time:  0.84 s
96.26/24.35	c Cache  BProp: 1055 Set: 0 BXProp: 56 T: 0.06
96.64/24.43	c Subs w/ non-existent bins:   1667 time:  0.30 s
96.64/24.45	c Replacing     2060 vars Replaced    81543 lits Time:     0.10 s 
96.64/24.49	c bin-w-bin subsume rem         2091 bins  time:  0.06 s
97.04/24.53	c subs with bin:      802  lits-rem:      1228  v-fix:    0  time:  0.18 s
97.04/24.56	c Removed useless bin:      59  fixed:     0  bprops:   0.73M  time:  0.10 s
98.64/24.99	c lits-rem:       571  cl-subs:    16086  v-elim:  16005  v-fix:    0  time:  1.74 s
98.64/24.99	c learnt bin added due to v-elim: 0
99.03/25.04	c vivif2 --  cl tried    41170 cl shrink     2533 lits rem       3202 time: 0.19
99.03/25.05	c vivif2 --  cl tried     3761 cl shrink      220 lits rem        293 time: 0.02
101.03/25.53	c asymm  cl-useful: 555/17190/40177 lits-rem:1208 time: 1.91
101.03/25.54	c calculated reachability. Time: 0.06
101.03/25.55	c  N dy   170     30502     10177     39998     27495      3661    169953     44971     24.83      5.90  --
101.03/25.55	c  F st   170     30502     10177     39998     27495      3661    169953     44971     24.83      5.90  --
102.63/25.95	c Decided on dynamic restart strategy
103.83/26.24	c  N dy   182     34611     10145     39998    127668     12405    172497    418709     67.16      6.32  --
113.83/28.72	c  N dy   189     45754     10143     39998    127714     23400    172497   1402582    113.13      8.88  --
113.83/28.77	c  S st   189     45754     10143     39998    127714     23400    172497   1402582    113.13      8.88  --
114.61/28.96	c  S st   189     46258     10139     39998    153744     24585    172979   1460127    113.13      8.88  --
114.61/28.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     20 locsubst:     0 time:   0.05
114.61/28.98	c Cache  BProp: 991 Set: 0 BXProp: 0 T: 0.03
138.18/34.85	c Flit:    15 Blit:     17 bXBeca:    0 bXProp:  197 Bin:  20281 BRemL:  71039 BRemN:    709 CBin:       0 P: 40.5M T: 23.43
138.58/34.90	c Calc non-exist non-lernt bins v-fix:     0 done:  10059 time:  0.21 s
138.58/34.91	c Cache  BProp: 1003 Set: 0 BXProp: 0 T: 0.04
138.98/35.08	c Subs w/ non-existent bins:   3692 time:  0.69 s
139.38/35.12	c Replacing      199 vars Replaced    16764 lits Time:     0.14 s 
139.38/35.18	c bin-w-bin subsume rem         4838 bins  time:  0.08 s
140.20/35.37	c subs with bin:     1250  lits-rem:      4633  v-fix:    0  time:  0.78 s
140.20/35.38	c Removed useless bin:     226  fixed:     0  bprops:   0.11M  time:  0.04 s
148.17/37.40	c lits-rem:       599  cl-subs:     5296  v-elim:   2117  v-fix:    0  time:  8.05 s
148.17/37.40	c learnt bin added due to v-elim: 0
148.59/37.45	c vivif2 --  cl tried    37008 cl shrink      679 lits rem        803 time: 0.20
148.99/37.54	c vivif2 --  cl tried    17044 cl shrink     3156 lits rem       4546 time: 0.36
150.17/37.84	c asymm  cl-useful: 49/4650/36894 lits-rem:147 time: 1.20
150.17/37.86	c calculated reachability. Time: 0.07
150.17/37.86	c  N dy   189     46258      9532     36845     90137     16940    157585    964206    113.13      8.88  --
152.98/38.54	c  N dy   212     51280      9531     36845     90211     21797    157585   1105735     60.67      9.08  --
156.16/39.31	c  N dy   233     56031      9529     36845     90282     26412    157585   1287664     85.75      9.21  --
159.35/40.13	c  N dy   240     62757      9529     36845     90330     19707    157585    563244     70.33      9.68  --
161.77/40.76	c  N dy   253     66871      9529     36845     90373     23713    157585    720617     66.20      9.71  --
162.95/41.08	c Finding binary XORs  T:     0.49 s  found:      29
163.75/41.22	c  S st   266     69388      9529     36826     90247     13998    157521    257695     24.85      9.59  --
164.15/41.33	c  S st   266     69888      9529     36826     90277     14468    157521    261503     24.85      9.59  --
164.15/41.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.03
164.15/41.34	c Cache  BProp: 973 Set: 0 BXProp: 0 T: 0.02
184.53/46.42	c Flit:     4 Blit:      2 bXBeca:    0 bXProp:   26 Bin:  17511 BRemL:  24581 BRemN:    274 CBin:       0 P: 44.8M T: 20.29
184.53/46.47	c Calc non-exist non-lernt bins v-fix:     0 done:   9517 time:  0.16 s
184.53/46.47	c Cache  BProp: 946 Set: 0 BXProp: 0 T: 0.03
184.92/46.53	c Subs w/ non-existent bins:    186 time:  0.25 s
184.92/46.55	c Replacing       55 vars Replaced     2924 lits Time:     0.07 s 
184.92/46.58	c bin-w-bin subsume rem          363 bins  time:  0.06 s
185.32/46.62	c subs with bin:      624  lits-rem:       982  v-fix:    0  time:  0.16 s
185.32/46.63	c Removed useless bin:      21  fixed:     0  bprops:   0.11M  time:  0.03 s
186.92/47.07	c ORs :   3715 avg-s:  2.2 cl-sh:  2228 l-rem:   2320 b-add:    793 v-rep:   1 cl-rem: 75 avg s: 3.0 T:    1.09
202.10/50.82	c Added 0 vars  tried: 80000 time: 14.96
202.10/50.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:   14.96
202.10/50.83	c lits-rem:       479  cl-subs:     1059  v-elim:   1615  v-fix:    0  time: 16.77 s
202.10/50.83	c learnt bin added due to v-elim: 0
202.10/50.87	c vivif2 --  cl tried    35772 cl shrink      373 lits rem        422 time: 0.14
202.10/50.89	c vivif2 --  cl tried    12777 cl shrink      783 lits rem       1094 time: 0.08
204.90/51.55	c asymm  cl-useful: 34/9935/35718 lits-rem:102 time: 2.66
204.90/51.57	c calculated reachability. Time: 0.05
204.90/51.57	c  N dy   266     69888      9362     35684     81344     12728    153113    230664     24.85      9.59  --
204.90/51.57	c  F st   266     69888      9362     35684     81344     12728    153113    230664     24.85      9.59  --
204.90/51.58	c Replacing        1 vars Replaced       22 lits Time:     0.04 s 
206.12/51.88	c Decided on static restart strategy
211.29/53.10	c  N dy   273     79082      9359     35684    125492     24290    153867    795094     32.28      9.71  --
231.67/58.24	c  N dy   275    104832      9350     35684    146611     23571    154118    824089     46.55     11.78  --
231.67/58.26	c  S st   275    104832      9350     35684    146611     23571    154118    824089     46.55     11.78  --
232.49/58.40	c  S st   275    105333      9350     35684    146629     24050    154118    830822     46.55     11.78  --
232.49/58.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.04
232.49/58.42	c Cache  BProp: 831 Set: 0 BXProp: 0 T: 0.03
254.05/63.87	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:  123 Bin:   7532 BRemL:  64195 BRemN:    178 CBin:       0 P: 43.4M T: 21.77
254.46/63.92	c Calc non-exist non-lernt bins v-fix:     0 done:   9341 time:  0.18 s
254.46/63.93	c Cache  BProp: 787 Set: 0 BXProp: 0 T: 0.03
255.24/64.11	c Subs w/ non-existent bins:   1242 time:  0.72 s
255.24/64.16	c Replacing      124 vars Replaced    16229 lits Time:     0.22 s 
255.64/64.20	c bin-w-bin subsume rem         2493 bins  time:  0.06 s
256.04/64.31	c subs with bin:     1091  lits-rem:      2683  v-fix:    0  time:  0.43 s
256.04/64.31	c Removed useless bin:      77  fixed:     0  bprops:   0.12M  time:  0.03 s
266.02/66.86	c ORs :   3783 avg-s:  2.2 cl-sh:   830 l-rem:    834 b-add:    418 v-rep:   0 cl-rem: 34 avg s: 3.1 T:    1.23
266.02/66.88	c lits-rem:      1081  cl-subs:     4072  v-elim:   1708  v-fix:    0  time: 10.24 s
266.02/66.88	c learnt bin added due to v-elim: 0
266.42/66.92	c vivif2 --  cl tried    34190 cl shrink      417 lits rem        470 time: 0.16
266.82/67.01	c vivif2 --  cl tried    18757 cl shrink     1469 lits rem       2374 time: 0.37
267.23/67.20	c asymm  cl-useful: 11/2339/34114 lits-rem:33 time: 0.75
267.64/67.22	c calculated reachability. Time: 0.05
267.64/67.22	c  N dy   275    105333      9038     34103     84666     18655    147038    619543     46.55     11.78  --
301.18/75.60	c  N dy   278    157999      9029     34103    102820     27874    147172    883233     52.20     11.86  --
301.18/75.64	c  S st   278    157999      9029     34103    102820     27874    147172    883233     52.20     11.86  --
301.58/75.77	c  S st   278    158500      9029     34103    116404     28977    147310    917566     52.20     11.86  --
301.58/75.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.04
301.58/75.79	c Cache  BProp: 784 Set: 0 BXProp: 0 T: 0.03
326.34/81.92	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   77 Bin:   6452 BRemL:  41720 BRemN:    116 CBin:       0 P: 58.9M T: 24.50
326.34/81.96	c Calc non-exist non-lernt bins v-fix:     0 done:   9025 time:  0.17 s
326.34/81.97	c Cache  BProp: 784 Set: 0 BXProp: 0 T: 0.03
327.14/82.14	c Subs w/ non-existent bins:    613 time:  0.69 s
327.14/82.17	c Replacing       78 vars Replaced     5014 lits Time:     0.09 s 
327.54/82.21	c bin-w-bin subsume rem          819 bins  time:  0.05 s
328.76/82.60	c subs with bin:     1151  lits-rem:      7706  v-fix:    0  time:  1.56 s
329.16/82.61	c Removed useless bin:      22  fixed:     0  bprops:   0.13M  time:  0.03 s
338.72/85.09	c ORs :   3883 avg-s:  2.2 cl-sh:   218 l-rem:    218 b-add:    100 v-rep:   0 cl-rem: 24 avg s: 3.1 T:    1.22
339.12/85.11	c lits-rem:      1463  cl-subs:     4614  v-elim:   1294  v-fix:    0  time:  9.99 s
339.12/85.11	c learnt bin added due to v-elim: 0
339.12/85.15	c vivif2 --  cl tried    32969 cl shrink      178 lits rem        194 time: 0.16
339.52/85.26	c vivif2 --  cl tried    23156 cl shrink     4779 lits rem      11439 time: 0.42
340.72/85.51	c asymm  cl-useful: 188/800/32917 lits-rem:306 time: 1.00
340.72/85.52	c calculated reachability. Time: 0.06
340.72/85.53	c  N dy   278    158500      8864     32917     77944     23026    140894    643141     52.20     11.86  --
381.07/95.66	c  N dy   280    203209      8864     32917     77954     34418    140894   1226082     56.52     13.51  --
413.03/103.61	c  N dy   281    237752      8856     32917     98599     31802    141166   1298164    105.51     14.17  --
413.03/103.67	c  S st   281    237752      8856     32917     98599     31802    141166   1298164    105.51     14.17  --
413.43/103.77	c Finding binary XORs  T:     0.33 s  found:      50
414.23/103.92	c  S st   281    238256      8853     32858     98170     32252    140913   1302571    105.51     14.17  --
414.23/103.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.04
414.23/103.94	c Cache  BProp: 758 Set: 0 BXProp: 0 T: 0.03
439.01/110.14	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:   12 Bin:   5450 BRemL:  28309 BRemN:     72 CBin:       0 P: 60.0M T: 24.76
439.01/110.18	c Calc non-exist non-lernt bins v-fix:     0 done:   8848 time:  0.18 s
439.01/110.19	c Cache  BProp: 759 Set: 0 BXProp: 0 T: 0.03
439.79/110.33	c Subs w/ non-existent bins:    385 time:  0.57 s
440.19/110.40	c Replacing       62 vars Replaced    11739 lits Time:     0.26 s 
440.19/110.45	c bin-w-bin subsume rem          375 bins  time:  0.05 s
441.00/110.62	c subs with bin:      389  lits-rem:       914  v-fix:    0  time:  0.70 s
441.00/110.63	c Removed useless bin:      11  fixed:     0  bprops:   0.13M  time:  0.03 s
448.58/112.56	c ORs :   3902 avg-s:  2.2 cl-sh:   114 l-rem:    121 b-add:     80 v-rep:   0 cl-rem: 28 avg s: 3.1 T:    1.68
448.58/112.59	c lits-rem:       622  cl-subs:     1937  v-elim:   1210  v-fix:    0  time:  7.84 s
448.58/112.59	c learnt bin added due to v-elim: 0
448.98/112.64	c vivif2 --  cl tried    32422 cl shrink       59 lits rem         75 time: 0.18
449.38/112.76	c vivif2 --  cl tried    29870 cl shrink     5276 lits rem      11590 time: 0.51
450.58/113.05	c asymm  cl-useful: 154/2673/32407 lits-rem:186 time: 1.15
450.58/113.07	c calculated reachability. Time: 0.06
450.58/113.07	c  N dy   281    238256      8753     32404     74187     29839    138924   1150790    105.51     14.17  --
580.01/145.41	c  N dy   282    357385      8752     32404     74197     38034    138924   1149469     69.21     16.91  --
580.01/145.45	c  S st   282    357385      8752     32404     74197     38034    138924   1149469     69.21     16.91  --
580.81/145.62	c  S st   282    357887      8749     32404    100409     40574    139384   1213323     69.21     16.91  --
580.81/145.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
580.81/145.64	c Cache  BProp: 759 Set: 0 BXProp: 0 T: 0.03
604.78/151.61	c Flit:     6 Blit:      1 bXBeca:    0 bXProp:   96 Bin:   3340 BRemL:  23369 BRemN:     70 CBin:       0 P: 60.0M T: 23.84
604.78/151.65	c Calc non-exist non-lernt bins v-fix:     0 done:   8732 time:  0.18 s
604.78/151.66	c Cache  BProp: 746 Set: 0 BXProp: 0 T: 0.03
605.59/151.85	c Subs w/ non-existent bins:    530 time:  0.73 s
605.99/151.93	c Replacing       96 vars Replaced    28332 lits Time:     0.32 s 
605.99/151.97	c bin-w-bin subsume rem          437 bins  time:  0.05 s
606.77/152.17	c subs with bin:      734  lits-rem:      8932  v-fix:    0  time:  0.79 s
606.77/152.18	c Removed useless bin:      20  fixed:     0  bprops:   0.13M  time:  0.03 s
617.16/154.78	c ORs :   3884 avg-s:  2.2 cl-sh:   130 l-rem:    136 b-add:     91 v-rep:   2 cl-rem: 33 avg s: 3.4 T:    1.52
617.56/154.81	c lits-rem:      2116  cl-subs:     4932  v-elim:   1221  v-fix:    0  time: 10.50 s
617.56/154.81	c learnt bin added due to v-elim: 0
617.56/154.85	c vivif2 --  cl tried    31737 cl shrink       72 lits rem         92 time: 0.18
617.96/154.99	c vivif2 --  cl tried    34832 cl shrink     5787 lits rem      12611 time: 0.57
619.55/155.30	c asymm  cl-useful: 10/3544/31723 lits-rem:25 time: 1.21
619.55/155.32	c calculated reachability. Time: 0.06
619.55/155.32	c  N dy   282    357887      8572     31718     77494     34770    136007    922803     69.21     16.91  --
636.35/159.58	c Finding binary XORs  T:     0.34 s  found:      15
651.91/163.48	c  N dy   284    392184      8569     31704     80469     43005    136002   1400612     60.91     17.06  --
682.27/171.06	c  N dy   288    429484      8568     31704     85399     53264    136062   2298737     63.04     16.86  --
782.94/196.26	c  N dy   289    528215      8567     31704     85410     36855    136062    629256     43.34     17.19  --
783.34/196.36	c Finding binary XORs  T:     0.34 s  found:      47
787.73/197.47	c  S st   293    536830      8560     31646     91029     45688    135934    891539     35.44     17.03  --
788.53/197.61	c  S st   293    537335      8557     31646     91032     46185    135931    902114     35.44     17.03  --
788.53/197.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
788.53/197.63	c Cache  BProp: 691 Set: 0 BXProp: 0 T: 0.03
810.91/203.26	c Flit:     4 Blit:      3 bXBeca:    0 bXProp:   20 Bin:   1544 BRemL:  10386 BRemN:     44 CBin:       0 P: 60.0M T: 22.49
811.31/203.31	c Calc non-exist non-lernt bins v-fix:     0 done:   8547 time:  0.18 s
811.31/203.32	c Cache  BProp: 666 Set: 0 BXProp: 0 T: 0.03
811.71/203.49	c Subs w/ non-existent bins:    297 time:  0.70 s
812.12/203.54	c Replacing       84 vars Replaced    18625 lits Time:     0.16 s 
812.12/203.58	c bin-w-bin subsume rem          539 bins  time:  0.06 s
813.30/203.88	c subs with bin:      379  lits-rem:      1256  v-fix:    0  time:  1.20 s
813.30/203.89	c Removed useless bin:       9  fixed:     0  bprops:   0.12M  time:  0.03 s
823.29/206.33	c ORs :   3876 avg-s:  2.2 cl-sh:   490 l-rem:    503 b-add:     63 v-rep:   0 cl-rem: 17 avg s: 3.2 T:    1.25
823.29/206.35	c lits-rem:      3582  cl-subs:     4508  v-elim:   1074  v-fix:    0  time:  9.83 s
823.29/206.35	c learnt bin added due to v-elim: 0
823.29/206.40	c vivif2 --  cl tried    31173 cl shrink       36 lits rem         43 time: 0.18
824.09/206.52	c vivif2 --  cl tried    41180 cl shrink     2839 lits rem       7370 time: 0.52
824.89/206.78	c asymm  cl-useful: 11/1276/31166 lits-rem:11 time: 1.02
824.89/206.80	c calculated reachability. Time: 0.06
825.30/206.80	c  N dy   293    537335      8425     31166     80414     41149    133197    766568     35.44     17.03  --
825.30/206.80	c  F st   293    537335      8425     31166     80414     41149    133197    766568     35.44     17.03  --
827.28/207.32	c Decided on static restart strategy
983.49/246.48	c  N dy   300    651306      8424     31166     80419     58181    133197   1969936     55.16     17.54  --
984.27/246.60	c Finding binary XORs  T:     0.35 s  found:     103
984.67/246.72	c Replacing      103 vars Replaced    43205 lits Time:     0.48 s 
1188.80/297.81	c  N dy   307    806004      8307     31028     90598     70564    132737   3186046     95.45     17.49  --
1189.20/297.94	c  S st   307    806004      8307     31028     90598     70564    132737   3186046     95.45     17.49  --
1190.42/298.24	c  S st   307    806508      8280     31028     97491     72040    132943   3216428     95.45     17.49  --
1190.42/298.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1190.42/298.26	c Cache  BProp: 615 Set: 0 BXProp: 1 T: 0.02
1216.39/304.70	c Flit:    13 Blit:      8 bXBeca:    0 bXProp:  112 Bin:   6304 BRemL:  26172 BRemN:     67 CBin:       0 P: 60.0M T: 25.73
1216.39/304.77	c Calc non-exist non-lernt bins v-fix:     0 done:   8077 time:  0.16 s
1216.39/304.78	c Cache  BProp: 614 Set: 0 BXProp: 0 T: 0.03
1218.36/305.20	c Subs w/ non-existent bins:    871 time:  1.68 s
1218.76/305.36	c Replacing      114 vars Replaced    20471 lits Time:     0.66 s 
1219.16/305.45	c bin-w-bin subsume rem         1019 bins  time:  0.04 s
1221.18/305.93	c subs with bin:      924  lits-rem:     13375  v-fix:    0  time:  1.94 s
1221.18/305.94	c Removed useless bin:      16  fixed:     0  bprops:   0.10M  time:  0.03 s
1364.97/341.91	c ORs :   3700 avg-s:  2.2 cl-sh: 11371 l-rem:  11451 b-add:    123 v-rep:   1 cl-rem: 29 avg s: 3.5 T:    4.02
1367.76/342.63	c Added 51 vars  tried: 80000 time: 2.89
1368.56/342.80	c ORs :     51 avg-s:  0.0 cl-sh: 13554 l-rem:  13554 b-add:    102 v-rep:   0 cl-rem: 0 avg s: nan T:    3.58
1368.56/342.86	c lits-rem:       470  cl-subs:     6201  v-elim:   1184  v-fix:    0  time: 147.45 s
1368.56/342.86	c learnt bin added due to v-elim: 0
1368.96/342.90	c vivif2 --  cl tried    29262 cl shrink      112 lits rem        128 time: 0.16
1370.58/343.34	c vivif2 --  cl tried    62759 cl shrink    13175 lits rem      24215 time: 1.75
1371.76/343.61	c asymm  cl-useful: 10/1559/29244 lits-rem:20 time: 1.08
1371.76/343.63	c calculated reachability. Time: 0.05
1371.76/343.63	c  N dy   307    806508      7930     29239     51551     62567    124616   2761938     95.45     17.49  --
1442.06/361.29	c  N dy   310    866402      7930     29239     58002     45085    124780    836667     72.57     17.16  --
1568.70/392.94	c  N dy   312    950824      7928     29239     58682     47890    124796    931766     75.59     17.13  --
1569.10/393.05	c Finding binary XORs  T:     0.33 s  found:     102
1569.10/393.09	c Replacing      103 vars Replaced    21023 lits Time:     0.18 s 
2011.32/503.75	c  N dy   315   1209762      7809     29114     65106     84497    124175   1672840     31.23     17.34  --
2011.73/503.82	c  S st   315   1209762      7809     29114     65106     84497    124175   1672840     31.23     17.34  --
2012.13/503.93	c Finding binary XORs  T:     0.32 s  found:     107
2012.51/504.03	c Replacing      107 vars Replaced    22000 lits Time:     0.38 s 
2013.71/504.30	c  S st   315   1210265      7684     28955     75793     86935    123584   1704813     31.23     17.34  --
2013.71/504.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2013.71/504.32	c Cache  BProp: 595 Set: 0 BXProp: 0 T: 0.03
2035.28/509.72	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:    5 Bin:   1550 BRemL:  23788 BRemN:     89 CBin:       0 P: 60.0M T: 21.57
2035.28/509.76	c Calc non-exist non-lernt bins v-fix:     0 done:   7682 time:  0.15 s
2035.28/509.77	c Cache  BProp: 585 Set: 0 BXProp: 0 T: 0.02
2038.50/510.50	c Subs w/ non-existent bins:    754 time:  2.92 s
2038.50/510.53	c Replacing        5 vars Replaced      643 lits Time:     0.12 s 
2038.50/510.59	c bin-w-bin subsume rem         1842 bins  time:  0.04 s
2039.27/510.73	c subs with bin:      953  lits-rem:      3787  v-fix:    0  time:  0.58 s
2039.27/510.74	c Removed useless bin:      12  fixed:     0  bprops:   0.09M  time:  0.03 s
2056.44/515.07	c ORs :   3626 avg-s:  2.2 cl-sh:   339 l-rem:    344 b-add:    204 v-rep:   0 cl-rem: 35 avg s: 3.8 T:    1.65
2056.85/515.11	c lits-rem:      1790  cl-subs:     6909  v-elim:   1001  v-fix:    0  time: 17.46 s
2056.85/515.11	c learnt bin added due to v-elim: 0
2056.85/515.15	c vivif2 --  cl tried    28311 cl shrink      109 lits rem        120 time: 0.17
2058.85/515.63	c vivif2 --  cl tried    78821 cl shrink    11032 lits rem      14805 time: 1.92
2059.65/515.85	c asymm  cl-useful: 0/1445/28278 lits-rem:0 time: 0.87
2059.65/515.87	c calculated reachability. Time: 0.06
2059.65/515.87	c  N dy   315   1210265      7601     28278     50432     78660    120032   1525179     31.23     17.34  --
2541.83/636.60	c  N dy   317   1495050      7601     28278     50436     64537    120031   1464311     45.77     17.76  --
2542.62/636.70	c Finding binary XORs  T:     0.34 s  found:      96
2542.62/636.76	c Replacing       96 vars Replaced    15306 lits Time:     0.22 s 
3002.40/751.84	c  N dy   318   1710267      7500     28228     58105     60786    119862    844316     71.69     17.20  --
3002.40/751.87	c  S st   318   1710267      7500     28228     58105     60786    119862    844316     71.69     17.20  --
3002.80/751.98	c Finding binary XORs  T:     0.33 s  found:      74
3003.60/752.16	c  S st   318   1710774      7491     28174     66354     63030    119914    874071     71.69     17.20  --
3003.60/752.17	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.04
3003.60/752.18	c Cache  BProp: 574 Set: 0 BXProp: 0 T: 0.02
3023.17/757.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    904 BRemL:  12275 BRemN:     71 CBin:       0 P: 60.0M T: 19.45
3023.17/757.09	c Calc non-exist non-lernt bins v-fix:     0 done:   7490 time:  0.16 s
3023.17/757.10	c Cache  BProp: 574 Set: 0 BXProp: 0 T: 0.03
3024.37/757.30	c Subs w/ non-existent bins:    433 time:  0.83 s
3024.37/757.33	c Replacing       74 vars Replaced    11451 lits Time:     0.11 s 
3024.37/757.37	c bin-w-bin subsume rem          925 bins  time:  0.04 s
3025.17/757.58	c subs with bin:      634  lits-rem:     14390  v-fix:    0  time:  0.82 s
3025.17/757.58	c Removed useless bin:       6  fixed:     0  bprops:   0.09M  time:  0.03 s
3037.55/760.66	c ORs :   3548 avg-s:  2.2 cl-sh:   603 l-rem:    624 b-add:     89 v-rep:   0 cl-rem: 36 avg s: 4.0 T:    1.28
3051.53/764.18	c Added 8 vars  tried: 80000 time: 14.03
3051.53/764.18	c ORs :      8 avg-s:  0.0 cl-sh:  1244 l-rem:   1244 b-add:     16 v-rep:   0 cl-rem: 0 avg s: nan T:   14.05
3051.93/764.21	c lits-rem:      2898  cl-subs:     4855  v-elim:    885  v-fix:    0  time: 26.46 s
3051.93/764.21	c learnt bin added due to v-elim: 0
3051.93/764.25	c vivif2 --  cl tried    27678 cl shrink       44 lits rem         61 time: 0.17
3052.73/764.40	c vivif2 --  cl tried    57501 cl shrink     2143 lits rem       2587 time: 0.58
3053.55/764.61	c asymm  cl-useful: 3/1302/27673 lits-rem:9 time: 0.86
3053.55/764.63	c calculated reachability. Time: 0.05
3053.55/764.63	c  N dy   318   1710774      7388     27670     52977     57422    117237    764681     71.69     17.20  --
3182.97/797.07	c  N dy   319   1775660      7388     27670     52981     64323    117237   1001212     75.89     17.14  --
3289.22/823.69	c  N dy   322   1859729      7384     27670     55363     90030    117338   2138062     36.16     16.84  --
3329.16/833.66	c  N dy   323   1891385      7384     27670     55364     62103    117338    712567     46.17     16.80  --
3941.20/986.84	c  N dy   324   2210776      7384     27670     55712     69833    117342    999702     64.55     16.66  --
3941.20/986.88	c  S st   324   2210776      7384     27670     55712     69833    117342    999702     64.55     16.66  --
3941.58/986.98	c Finding binary XORs  T:     0.34 s  found:      79
3941.98/987.01	c Replacing       79 vars Replaced    16456 lits Time:     0.12 s 
3942.78/987.20	c  S st   324   2211279      7303     27644     60216     71129    117175   1021969     64.55     16.66  --
3942.78/987.21	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3942.78/987.22	c Cache  BProp: 574 Set: 0 BXProp: 0 T: 0.02
3960.35/991.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:    844 BRemL:   6050 BRemN:     40 CBin:       0 P: 60.0M T: 17.84
3960.75/991.72	c Calc non-exist non-lernt bins v-fix:     0 done:   7303 time:  0.14 s
3960.75/991.73	c Cache  BProp: 574 Set: 0 BXProp: 0 T: 0.03
3961.55/991.97	c Subs w/ non-existent bins:    420 time:  0.98 s
3961.55/991.99	c Replacing        6 vars Replaced      724 lits Time:     0.06 s 
3961.95/992.04	c bin-w-bin subsume rem          772 bins  time:  0.04 s
3962.77/992.27	c subs with bin:      593  lits-rem:      3852  v-fix:    0  time:  0.93 s
3962.77/992.28	c Removed useless bin:       6  fixed:     0  bprops:   0.09M  time:  0.03 s
3970.35/994.13	c ORs :   3527 avg-s:  2.2 cl-sh:    85 l-rem:     87 b-add:     39 v-rep:   0 cl-rem: 14 avg s: 3.5 T:    1.27
3970.35/994.16	c lits-rem:      1895  cl-subs:     5847  v-elim:    799  v-fix:    0  time:  7.51 s
3970.35/994.16	c learnt bin added due to v-elim: 0
3970.75/994.20	c vivif2 --  cl tried    27312 cl shrink       34 lits rem         39 time: 0.17
3971.15/994.39	c vivif2 --  cl tried    64578 cl shrink     3315 lits rem       4918 time: 0.78
3972.34/994.60	c asymm  cl-useful: 0/1044/27306 lits-rem:0 time: 0.82
3972.34/994.62	c calculated reachability. Time: 0.05
3972.34/994.62	c  N dy   324   2211279      7281     27306     54126     64546    115593    925289     64.55     16.66  --
4375.44/1095.50	c  N dy   327   2439102      7281     27306     54130     92131    115593   1692113     39.68     16.37  --
4469.32/1119.01	c  N dy   330   2482979      7276     27306     58720     68915    115759    752837     45.07     16.28  --
4575.17/1145.55	c  N dy   331   2540429      7276     27306     58961    125555    115773   3221986     25.87     16.16  --
4603.54/1152.60	c Finding binary XORs  T:     0.34 s  found:      84
4603.54/1152.63	c Replacing       84 vars Replaced    16221 lits Time:     0.13 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-3287400-1304045079/watcher-3287400-1304045079 -o /tmp/evaluation-result-3287400-1304045079/solver-3287400-1304045079 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3287400-1304045079.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: 7.74 7.89 6.50 5/180 31837
/proc/meminfo: memFree=25045408/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=52220 CPUtime=0 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 1315 0 0 0 0 0 0 0 25 0 1 0 516106378 53473280 1250 33554432000 4194304 4797429 140737248338192 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31837/statm: 13055 1250 348 148 0 7984 0

[startup+0.105515 s]
/proc/loadavg: 7.74 7.89 6.50 5/180 31837
/proc/meminfo: memFree=25045408/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=92580 CPUtime=0.1 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 12646 0 0 0 9 1 0 0 25 0 1 0 516106378 94801920 9266 33554432000 4194304 4797429 140737248338192 18446744073709551615 4365820 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31837/statm: 23145 9266 349 148 0 18074 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 92580

[startup+0.200511 s]
/proc/loadavg: 7.74 7.89 6.50 5/180 31837
/proc/meminfo: memFree=25045408/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=133728 CPUtime=0.19 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 23540 0 0 0 17 2 0 0 25 0 1 0 516106378 136937472 16480 33554432000 4194304 4797429 140737248338192 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31837/statm: 33432 16482 349 148 0 28361 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 133728

[startup+0.300449 s]
/proc/loadavg: 7.74 7.89 6.50 5/180 31837
/proc/meminfo: memFree=25045408/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=237716 CPUtime=0.4 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 28010 0 0 0 38 2 0 0 25 0 4 0 516106378 243421184 20872 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 59429 20872 377 148 0 54358 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 237716

[startup+0.700377 s]
/proc/loadavg: 7.74 7.89 6.50 5/180 31837
/proc/meminfo: memFree=25045408/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=237716 CPUtime=2 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 28015 0 0 0 198 2 0 0 25 0 4 0 516106378 243421184 20877 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 59429 20877 377 148 0 54358 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 237716

[startup+1.50025 s]
/proc/loadavg: 7.74 7.89 6.50 9/184 31841
/proc/meminfo: memFree=24911580/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=795436 CPUtime=5.19 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 51301 0 0 0 511 8 0 0 25 0 4 0 516106378 814526464 43315 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427326 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 198859 43315 386 148 0 193788 0
[pid=31837/tid=31839] ppid=31835 vsize=795436 CPUtime=1.22 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 5699 0 0 0 121 1 0 0 25 0 4 0 516106404 814526464 43315 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=795436 CPUtime=1.23 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 5822 0 0 0 122 1 0 0 25 0 4 0 516106404 814526464 43315 33554432000 4194304 4797429 140737248338192 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=795436 CPUtime=1.22 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 6118 0 0 0 121 1 0 0 25 0 4 0 516106404 814526464 43315 33554432000 4194304 4797429 140737248338192 18446744073709551615 4240955 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 795436

[startup+3.10098 s]
/proc/loadavg: 7.74 7.89 6.50 9/184 31841
/proc/meminfo: memFree=24870412/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=886860 CPUtime=11.56 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 65496 0 0 0 1144 12 0 0 18 0 4 0 516106378 908144640 56871 33554432000 4194304 4797429 140737248338192 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 221715 56871 418 148 0 216644 0
[pid=31837/tid=31839] ppid=31835 vsize=886860 CPUtime=2.82 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 9294 0 0 0 280 2 0 0 18 0 4 0 516106404 908144640 56871 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=886860 CPUtime=2.82 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 9532 0 0 0 280 2 0 0 18 0 4 0 516106404 908144640 56871 33554432000 4194304 4797429 140737248338192 18446744073709551615 4423623 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=886860 CPUtime=2.81 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 9358 0 0 0 279 2 0 0 18 0 4 0 516106404 908144640 56871 33554432000 4194304 4797429 140737248338192 18446744073709551615 4388503 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.56
Current children cumulated vsize (KiB) 886860

[startup+6.30044 s]
/proc/loadavg: 7.76 7.90 6.50 9/184 31842
/proc/meminfo: memFree=24787332/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=911268 CPUtime=24.34 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 85046 0 0 0 2418 16 0 0 25 0 4 0 516106378 933138432 64816 33554432000 4194304 4797429 140737248338192 18446744073709551615 4413290 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 227817 64816 419 148 0 222746 0
[pid=31837/tid=31839] ppid=31835 vsize=911268 CPUtime=6.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 16841 0 0 0 598 3 0 0 25 0 4 0 516106404 933138432 64816 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=911268 CPUtime=6.01 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 13788 0 0 0 599 2 0 0 25 0 4 0 516106404 933138432 64816 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=911268 CPUtime=6 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 15155 0 0 0 596 4 0 0 25 0 4 0 516106404 933138432 64816 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427996 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.34
Current children cumulated vsize (KiB) 911268

[startup+12.7004 s]
/proc/loadavg: 7.78 7.90 6.51 9/184 31842
/proc/meminfo: memFree=24609888/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=987776 CPUtime=49.91 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 140346 0 0 0 4966 25 0 0 25 0 4 0 516106378 1011482624 101450 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428020 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 246944 101450 419 148 0 241873 0
[pid=31837/tid=31839] ppid=31835 vsize=987776 CPUtime=12.41 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 32617 0 0 0 1235 6 0 0 25 0 4 0 516106404 1011482624 101450 33554432000 4194304 4797429 140737248338192 18446744073709551615 4346404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=987776 CPUtime=12.42 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 25991 0 0 0 1237 5 0 0 25 0 4 0 516106404 1011482624 101450 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=987776 CPUtime=12.36 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 28704 0 0 0 1231 5 0 0 25 0 4 0 516106404 1011482624 101450 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (KiB) 987776

[startup+25.5012 s]
/proc/loadavg: 7.91 7.92 6.54 9/184 31842
/proc/meminfo: memFree=24408512/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1173892 CPUtime=101.03 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 196557 0 0 0 10068 35 0 0 25 0 4 0 516106378 1202065408 134520 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 293473 134520 422 148 0 288402 0
[pid=31837/tid=31839] ppid=31835 vsize=1173892 CPUtime=25.21 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 44092 0 0 0 2513 8 0 0 25 0 4 0 516106404 1202065408 134520 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1173892 CPUtime=25.21 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 29933 0 0 0 2515 6 0 0 25 0 4 0 516106404 1202065408 134520 33554432000 4194304 4797429 140737248338192 18446744073709551615 4429692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1173892 CPUtime=25.1 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 44304 0 0 0 2502 8 0 0 25 0 4 0 516106404 1202065408 134520 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.03
Current children cumulated vsize (KiB) 1173892

[startup+51.1009 s]
/proc/loadavg: 8.00 7.94 6.58 9/184 31843
/proc/meminfo: memFree=24250196/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1203076 CPUtime=203.3 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 217450 0 0 0 20289 41 0 0 25 0 4 0 516106378 1231949824 146367 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428580 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 300769 146367 423 148 0 295698 0
[pid=31837/tid=31839] ppid=31835 vsize=1203076 CPUtime=50.81 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 48055 0 0 0 5071 10 0 0 25 0 4 0 516106404 1231949824 146367 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427889 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1203076 CPUtime=50.81 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 33487 0 0 0 5074 7 0 0 25 0 4 0 516106404 1231949824 146367 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1203076 CPUtime=50.56 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 49784 0 0 0 5047 9 0 0 25 0 4 0 516106404 1231949824 146367 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428604 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.3
Current children cumulated vsize (KiB) 1203076

[startup+102.3 s]
/proc/loadavg: 8.12 7.98 6.67 9/184 31844
/proc/meminfo: memFree=23921656/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1222336 CPUtime=407.86 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 246111 0 0 0 40736 50 0 0 25 0 4 0 516106378 1251672064 155732 33554432000 4194304 4797429 140737248338192 18446744073709551615 210204343995 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 305584 155732 423 148 0 300513 0
[pid=31837/tid=31839] ppid=31835 vsize=1222336 CPUtime=102.02 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 52393 0 0 0 10191 11 0 0 25 0 4 0 516106404 1251672064 155732 33554432000 4194304 4797429 140737248338192 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1222336 CPUtime=102.01 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 36757 0 0 0 10193 8 0 0 25 0 4 0 516106404 1251672064 155732 33554432000 4194304 4797429 140737248338192 18446744073709551615 210204305615 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1222336 CPUtime=101.5 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 53694 0 0 0 10140 10 0 0 25 0 4 0 516106404 1251672064 155732 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.86
Current children cumulated vsize (KiB) 1222336

[startup+162.3 s]
/proc/loadavg: 8.15 8.01 6.76 9/184 31846
/proc/meminfo: memFree=23776388/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1235808 CPUtime=647.51 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 271713 0 0 0 64694 57 0 0 25 0 4 0 516106378 1265467392 159992 33554432000 4194304 4797429 140737248338192 18446744073709551615 4341181 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 308952 159992 423 148 0 303881 0
[pid=31837/tid=31839] ppid=31835 vsize=1235808 CPUtime=162.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 55181 0 0 0 16189 12 0 0 25 0 4 0 516106404 1265467392 159992 33554432000 4194304 4797429 140737248338192 18446744073709551615 4332833 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1235808 CPUtime=162.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 39305 0 0 0 16193 9 0 0 25 0 4 0 516106404 1265467392 159992 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427441 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1235808 CPUtime=161.19 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 55737 0 0 0 16108 11 0 0 25 0 4 0 516106404 1265467392 159992 33554432000 4194304 4797429 140737248338192 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.51
Current children cumulated vsize (KiB) 1235808

[startup+222.306 s]
/proc/loadavg: 8.16 8.03 6.84 9/184 31847
/proc/meminfo: memFree=23646860/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1243332 CPUtime=887.23 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 293846 0 0 0 88657 66 0 0 25 0 4 0 516106378 1273171968 163962 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 310833 163962 423 148 0 305762 0
[pid=31837/tid=31839] ppid=31835 vsize=1243332 CPUtime=222.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 57111 0 0 0 22189 12 0 0 25 0 4 0 516106404 1273171968 163962 33554432000 4194304 4797429 140737248338192 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1243332 CPUtime=222.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 40613 0 0 0 22193 9 0 0 25 0 4 0 516106404 1273171968 163962 33554432000 4194304 4797429 140737248338192 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1243332 CPUtime=220.88 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 57290 0 0 0 22076 12 0 0 25 0 4 0 516106404 1273171968 163962 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.23
Current children cumulated vsize (KiB) 1243332

[startup+282.3 s]

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

[pid=31837] ppid=31835 vsize=1277668 CPUtime=2804.67 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 412543 0 0 0 280343 124 0 0 25 0 4 0 516106378 1308332032 177324 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 319417 177324 423 148 0 314346 0
[pid=31837/tid=31839] ppid=31835 vsize=1277668 CPUtime=702.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 64110 0 0 0 70186 15 0 0 25 0 4 0 516106404 1308332032 177324 33554432000 4194304 4797429 140737248338192 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1277668 CPUtime=702.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 46106 0 0 0 70190 12 0 0 25 0 4 0 516106404 1308332032 177324 33554432000 4194304 4797429 140737248338192 18446744073709551615 4346677 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1277668 CPUtime=698.32 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 63109 0 0 0 69817 15 0 0 25 0 4 0 516106404 1308332032 177324 33554432000 4194304 4797429 140737248338192 18446744073709551615 4423072 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.67
Current children cumulated vsize (KiB) 1277668

[startup+762.301 s]
/proc/loadavg: 8.12 7.99 7.32 9/184 32012
/proc/meminfo: memFree=25423168/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1277760 CPUtime=3044.36 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 423368 0 0 0 304305 131 0 0 25 0 4 0 516106378 1308426240 175668 33554432000 4194304 4797429 140737248338192 18446744073709551615 4508782 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 319440 175668 423 148 0 314369 0
[pid=31837/tid=31839] ppid=31835 vsize=1277760 CPUtime=762.02 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 64908 0 0 0 76186 16 0 0 25 0 4 0 516106404 1308426240 175668 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1277760 CPUtime=762.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 46996 0 0 0 76190 12 0 0 25 0 4 0 516106404 1308426240 175668 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1277760 CPUtime=758.01 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 63690 0 0 0 75785 16 0 0 25 0 4 0 516106404 1308426240 175668 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.36
Current children cumulated vsize (KiB) 1277760

[startup+822.301 s]
/proc/loadavg: 8.16 8.02 7.37 9/184 32013
/proc/meminfo: memFree=25064656/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1285912 CPUtime=3284.03 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 436402 0 0 0 328261 142 0 0 25 0 4 0 516106378 1316773888 177870 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424921 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 321478 177870 423 148 0 316407 0
[pid=31837/tid=31839] ppid=31835 vsize=1285912 CPUtime=822.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 65733 0 0 0 82185 16 0 0 25 0 4 0 516106404 1316773888 177870 33554432000 4194304 4797429 140737248338192 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1285912 CPUtime=822.01 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 47644 0 0 0 82189 12 0 0 25 0 4 0 516106404 1316773888 177870 33554432000 4194304 4797429 140737248338192 18446744073709551615 4242459 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1285912 CPUtime=817.68 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 64874 0 0 0 81751 17 0 0 25 0 4 0 516106404 1316773888 177870 33554432000 4194304 4797429 140737248338192 18446744073709551615 4429751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.03
Current children cumulated vsize (KiB) 1285912

[startup+882.307 s]
/proc/loadavg: 7.81 7.96 7.39 7/184 32015
/proc/meminfo: memFree=24964808/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1287844 CPUtime=3523.73 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 446729 0 0 0 352225 148 0 0 25 0 4 0 516106378 1318752256 178971 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 321961 178971 423 148 0 316890 0
[pid=31837/tid=31839] ppid=31835 vsize=1287844 CPUtime=882.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 66625 0 0 0 88185 16 0 0 25 0 4 0 516106404 1318752256 178971 33554432000 4194304 4797429 140737248338192 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1287844 CPUtime=882.03 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 48283 0 0 0 88190 13 0 0 25 0 4 0 516106404 1318752256 178971 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1287844 CPUtime=877.36 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 65175 0 0 0 87719 17 0 0 25 0 4 0 516106404 1318752256 178971 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428637 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.73
Current children cumulated vsize (KiB) 1287844

[startup+942.301 s]
/proc/loadavg: 6.13 7.45 7.25 6/184 32017
/proc/meminfo: memFree=24961060/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1289984 CPUtime=3763.41 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 456279 0 0 0 376187 154 0 0 25 0 4 0 516106378 1320943616 180345 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 322496 180345 423 148 0 317425 0
[pid=31837/tid=31839] ppid=31835 vsize=1289984 CPUtime=942.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 67274 0 0 0 94184 17 0 0 25 0 4 0 516106404 1320943616 180345 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428001 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1289984 CPUtime=942.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 48652 0 0 0 94189 13 0 0 25 0 4 0 516106404 1320943616 180345 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1289984 CPUtime=937.06 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 65888 0 0 0 93689 17 0 0 25 0 4 0 516106404 1320943616 180345 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427651 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.41
Current children cumulated vsize (KiB) 1289984

[startup+1002.3 s]
/proc/loadavg: 5.48 7.02 7.11 6/184 32027
/proc/meminfo: memFree=24954068/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1290136 CPUtime=4003.1 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 467029 0 0 0 400150 160 0 0 25 0 4 0 516106378 1321099264 180737 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 322534 180737 423 148 0 317463 0
[pid=31837/tid=31839] ppid=31835 vsize=1290136 CPUtime=1002.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 68300 0 0 0 100184 17 0 0 25 0 4 0 516106404 1321099264 180737 33554432000 4194304 4797429 140737248338192 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1290136 CPUtime=1002.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 49392 0 0 0 100189 13 0 0 25 0 4 0 516106404 1321099264 180737 33554432000 4194304 4797429 140737248338192 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1290136 CPUtime=996.75 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 66255 0 0 0 99657 18 0 0 25 0 4 0 516106404 1321099264 180737 33554432000 4194304 4797429 140737248338192 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.1
Current children cumulated vsize (KiB) 1290136

[startup+1062.3 s]
/proc/loadavg: 5.84 6.79 7.03 9/184 32059
/proc/meminfo: memFree=25688104/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1294112 CPUtime=4242.81 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 480011 0 0 0 424113 168 0 0 25 0 4 0 516106378 1325170688 181209 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 323528 181209 423 148 0 318457 0
[pid=31837/tid=31839] ppid=31835 vsize=1294112 CPUtime=1062.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 69082 0 0 0 106183 18 0 0 25 0 4 0 516106404 1325170688 181209 33554432000 4194304 4797429 140737248338192 18446744073709551615 4429754 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1294112 CPUtime=1062.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 49770 0 0 0 106189 13 0 0 25 0 4 0 516106404 1325170688 181209 33554432000 4194304 4797429 140737248338192 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1294112 CPUtime=1056.46 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 67032 0 0 0 105628 18 0 0 25 0 4 0 516106404 1325170688 181209 33554432000 4194304 4797429 140737248338192 18446744073709551615 4245681 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.81
Current children cumulated vsize (KiB) 1294112

[startup+1122.3 s]
/proc/loadavg: 7.20 7.01 7.08 9/184 32090
/proc/meminfo: memFree=25767944/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1302316 CPUtime=4482.5 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 490571 0 0 0 448075 175 0 0 25 0 4 0 516106378 1333571584 180441 33554432000 4194304 4797429 140737248338192 18446744073709551615 4424848 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 325579 180441 423 148 0 320508 0
[pid=31837/tid=31839] ppid=31835 vsize=1302316 CPUtime=1122.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 70147 0 0 0 112183 18 0 0 25 0 4 0 516106404 1333571584 180441 33554432000 4194304 4797429 140737248338192 18446744073709551615 4428751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1302316 CPUtime=1122.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 51404 0 0 0 112188 14 0 0 25 0 4 0 516106404 1333571584 180441 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427994 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1302316 CPUtime=1116.15 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 67516 0 0 0 111596 19 0 0 25 0 4 0 516106404 1333571584 180441 33554432000 4194304 4797429 140737248338192 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.5
Current children cumulated vsize (KiB) 1302316

[startup+1182.3 s]
/proc/loadavg: 7.71 7.19 7.14 11/185 32095
/proc/meminfo: memFree=25708384/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1318428 CPUtime=4722.03 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 501423 0 0 0 472022 181 0 0 25 0 4 0 516106378 1350070272 185852 33554432000 4194304 4797429 140737248338192 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 329607 185852 423 148 0 324536 0
[pid=31837/tid=31839] ppid=31835 vsize=1318428 CPUtime=1182.01 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 71878 0 0 0 118182 19 0 0 25 0 4 0 516106404 1350070272 185852 33554432000 4194304 4797429 140737248338192 18446744073709551615 4346313 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1318428 CPUtime=1182.02 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 51906 0 0 0 118188 14 0 0 25 0 4 0 516106404 1350070272 185852 33554432000 4194304 4797429 140737248338192 18446744073709551615 4226093 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1318428 CPUtime=1175.67 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 69222 0 0 0 117548 19 0 0 25 0 4 0 516106404 1350070272 185852 33554432000 4194304 4797429 140737248338192 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.03
Current children cumulated vsize (KiB) 1318428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.15 7.32 7.18 9/184 32095
/proc/meminfo: memFree=25724860/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1318484 CPUtime=4800.07 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 505206 0 0 0 479825 182 0 0 25 0 4 0 516106378 1350127616 184327 33554432000 4194304 4797429 140737248338192 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 329621 184327 423 148 0 324550 0
[pid=31837/tid=31839] ppid=31835 vsize=1318484 CPUtime=1201.72 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 72304 0 0 0 120153 19 0 0 25 0 4 0 516106404 1350127616 184327 33554432000 4194304 4797429 140737248338192 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1318484 CPUtime=1201.72 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 52084 0 0 0 120158 14 0 0 25 0 4 0 516106404 1350127616 184327 33554432000 4194304 4797429 140737248338192 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1318484 CPUtime=1194.61 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 69380 0 0 0 119441 20 0 0 25 0 4 0 516106404 1350127616 184327 33554432000 4194304 4797429 140737248338192 18446744073709551615 4429901 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1318484

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

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

[startup+1202 s]
/proc/loadavg: 8.15 7.32 7.18 9/184 32095
/proc/meminfo: memFree=25724860/32951124 swapFree=67088964/67111528
[pid=31837] ppid=31835 vsize=1318484 CPUtime=4800.07 cores=1,3,5,7
/proc/31837/stat : 31837 (techdemo) R 31835 31837 31580 0 -1 4202496 505206 0 0 0 479825 182 0 0 25 0 4 0 516106378 1350127616 184327 33554432000 4194304 4797429 140737248338192 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31837/statm: 329621 184327 423 148 0 324550 0
[pid=31837/tid=31839] ppid=31835 vsize=1318484 CPUtime=1201.72 cores=1,3,5,7
/proc/31837/task/31839/stat : 31839 (techdemo) R 31835 31837 31580 0 -1 4202560 72304 0 0 0 120153 19 0 0 25 0 4 0 516106404 1350127616 184327 33554432000 4194304 4797429 140737248338192 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31837/tid=31840] ppid=31835 vsize=1318484 CPUtime=1201.72 cores=1,3,5,7
/proc/31837/task/31840/stat : 31840 (techdemo) R 31835 31837 31580 0 -1 4202560 52084 0 0 0 120158 14 0 0 25 0 4 0 516106404 1350127616 184327 33554432000 4194304 4797429 140737248338192 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31837/tid=31841] ppid=31835 vsize=1318484 CPUtime=1194.61 cores=1,3,5,7
/proc/31837/task/31841/stat : 31841 (techdemo) R 31835 31837 31580 0 -1 4202560 69380 0 0 0 119441 20 0 0 25 0 4 0 516106404 1350127616 184327 33554432000 4194304 4797429 140737248338192 18446744073709551615 4429901 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1318484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.04
CPU time (s): 4800.14
CPU user time (s): 4798.28
CPU system time (s): 1.85872
CPU usage (%): 399.332
Max. virtual memory (cumulated for all children) (KiB): 1411912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.28
system time used= 1.85872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505206
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= 6978
involuntary context switches= 32905

runsolver used 1.80773 second user time and 4.53431 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 04:44:39
IDJOB=3287400
IDBENCH=82466
IDSOLVER=1584
FILE ID=node130/3287400-1304045079
RUNJOBID= node130-1304043773-31599
PBS_JOBID= 13170389
Free space on /tmp= 71980 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3287400-1304045079/watcher-3287400-1304045079 -o /tmp/evaluation-result-3287400-1304045079/solver-3287400-1304045079 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3287400-1304045079.cnf

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

MD5SUM BENCH= ee159af2e208d290f7f3fefd15c344f2
RANDOM SEED=361265878

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25045688 kB
Buffers:       1149928 kB
Cached:        4088248 kB
SwapCached:      22432 kB
Active:        2502412 kB
Inactive:      4967076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25045688 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:            9696 kB
Writeback:           0 kB
AnonPages:     2208624 kB
Mapped:          15868 kB
Slab:           368888 kB
PageTables:       9240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3061196 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= 71972 MiB
End job on node130 at 2011-04-29 05:04:43